Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Poset block equivalence of integral matrices


Authors: Mike Boyle and Danrun Huang
Journal: Trans. Amer. Math. Soc. 355 (2003), 3861-3886
MSC (2000): Primary 15A21; Secondary 06A11, 06F99, 15A36, 16G20, 37B10, 46L35
DOI: https://doi.org/10.1090/S0002-9947-03-02947-7
Published electronically: June 10, 2003
MathSciNet review: 1990568
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Given square matrices $B$ and $B'$ with a poset-indexed block structure (for which an $ij$ block is zero unless $i\preceq j$), when are there invertible matrices $U$ and $V$ with this required-zero-block structure such that $UBV = B'$? We give complete invariants for the existence of such an equivalence for matrices over a principal ideal domain $\mathcal R$. As one application, when $\mathcal R$ is a field we classify such matrices up to similarity by matrices respecting the block structure. We also give complete invariants for equivalence under the additional requirement that the diagonal blocks of $U$ and $V$ have determinant $1$. The invariants involve an associated diagram (the ``$K$-web'') of $\mathcal R$-module homomorphisms. The study is motivated by applications to symbolic dynamics and $C^*$-algebras.


References [Enhancements On Off] (What's this?)

  • [AW] W.A. Adkins and S.H. Weintraub, Algebra: An Approach via Module Theory, Graduate Texts in Math 136, Springer-Verlag (1992). MR 94a:00001
  • [Ar] D.M.Arnold, Representations of partially ordered sets and abelian groups, Contemporary Math. 87 (1989), 91-109. MR 90j:20118
  • [BowF] R. Bowen and J. Franks. Homology for zero-dimensional basic sets. Annals of Math. 106 (1977), 73-92. MR 56:16692
  • [B] M. Boyle, Flow equivalence of reducible shifts of finite type via positive factorizations, Pacific J. Math. 204 (2002), 273-317. MR 2003f:37018
  • [C] J. Cuntz, A class of $C^*$-algebras and topological Markov chains II: reducible chains and the Ext-functor for $C^*$-algebras, Inventiones Math. 63 (1981), 25-40. MR 82f:46073b
  • [CK] J. Cuntz and W. Krieger, A class of C*-Algebras and topological Markov chains, Inventiones Math. 56 (1980), 251-268. MR 82f:46073a
  • [Fa] D.K.Faddeev, On the equivalence of systems of integral matrices, Izv. Akad. Nauk SSSR Ser. Mat. 30(1966), 449-454. MR 33:2642
  • [F] J. Franks, Flow equivalence of subshifts of finite type, Ergod. Th. & Dynam. Sys. 4(1984), 53-66. MR 86j:58078
  • [Fri] S. Friedland, Simultaneous similarity of matrices, Advances in Math. 50, No. 3 (1983), 189-265. MR 86b:14020
  • [G] F. Grunewald, Solution of the conjugacy problem in certain arithmetic groups, in Stud. Logic Foundations Math. 95, Word problems, II (Conf. on Decision Problems in Algebra, Oxford, 1976), pp. 101-139, North-Holland, 1980. MR 81h:20054
  • [GS] F. Grunewald and D. Segal, Some general algorithms. I. Arithmetic groups, Annals of Math. (2) 112 (1980) 531-583. MR 82d:20048a
  • [H1] D. Huang, Flow equivalence of reducible shifts of finite type, Ergod. Th. & Dynam. Sys. 14 (1994), 695-720. MR 95k:46110
  • [H2] D. Huang, The classification of two-component Cuntz-Krieger algebras, Proc. Amer. Math. Soc. 124(2) (1996), 505-512. MR 96d:46078
  • [H3] D. Huang, Flow equivalence of reducible shifts of finite type and Cuntz-Krieger algebra, J. Reine. Angew. Math. 462 (1995), 185-217. MR 96m:46123
  • [H4] D. Huang, Automorphisms of Bowen-Franks groups for shifts of finite type, Ergod. Th. & Dynam. Sys. 21 (2001), 1113-1137. MR 2002i:37013
  • [H5] D. Huang, A cyclic six-term exact sequence for block matrices over a PID, Linear and Multilinear Algebra 49(2) (2001), 91-114. MR 2003a:15009
  • [H6] D. Huang, The K-web invariant and flow equivalence of reducible shifts of finite type, in preparation.
  • [KL] L. Klingler and L. Levy, Sweeping-similarity of matrices, Linear Alg and Appl. 75 (1986), 67-104. MR 87k:15015
  • [NR] L.A. Nazarova and A.V. Roiter, Representations of partially ordered sets, J. Soviet Math. 23 (1975), 585-607.
  • [Ne] M. Newman, Integral Matrices, Academic Press, New York (1972). MR 49:5038
  • [PS] W. Parry and D. Sullivan, A topological invariant for flows on one-dimensional spaces, Topology 14(1975), 297-299. MR 53:9179
  • [Pl] V.V. Plahotnik, Representations of partially ordered sets over commutative rings, Math. USSR Izvestija 10 (1976), No.3, 497-514. (Russian original, MR 56:5658)
  • [R] M. Rørdam, Classification of Cuntz-Krieger algebras, K-theory 9 (1995), 31-58. MR 96k:46103
  • [Ros] J. Rosenberg, Algebraic $K$-theory and its applications, Graduate Texts in Mathematics 147, Springer-Verlag (1994). MR 95e:19001
  • [S] D. Simson, Linear representations of partially ordered sets and vector space categories, Algebra, Logic and Applications 4, Gordon and Breach (1992). MR 95g:16013

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 15A21, 06A11, 06F99, 15A36, 16G20, 37B10, 46L35

Retrieve articles in all journals with MSC (2000): 15A21, 06A11, 06F99, 15A36, 16G20, 37B10, 46L35


Additional Information

Mike Boyle
Affiliation: Department of Mathematics, University of Maryland, College Park, Maryland 20742-4015
Email: mmb@math.umd.edu

Danrun Huang
Affiliation: Department of Mathematics, St. Cloud State University, St. Cloud, Minnesota 56301-4498
Email: dhuang@stcloudstate.edu

DOI: https://doi.org/10.1090/S0002-9947-03-02947-7
Keywords: Block, equivalence, poset, integer, matrix, principal ideal domain, cokernel, flow equivalence, representation, similarity
Received by editor(s): September 13, 2000
Published electronically: June 10, 2003
Additional Notes: The first author gratefully acknowledges support of NSF Grant DMS9706852, and sabbatical support from the University of Maryland and the University of Washington. The second author gratefully acknowledges support of Research Grant 211243 from the St. Cloud State University
Article copyright: © Copyright 2003 American Mathematical Society

American Mathematical Society