Generalized Bowen-Franks groups of integral matrices with the same zeta function (Q837017)

This article deals with relations between two invariants of an integral matrix \(A\): the zeta function \(\zeta_A(x) = \det (I - Ax)^{-1}\) and the generalized Bowen--Franks group \(BF_{g(x)}(A) = {\mathbb Z}^n / g(A){\mathbb Z}^n\) (\(g(x) \in {\mathbb Z}[x]\), \(g(0) = 1\)). The main results are concerned with two nonnegative integer matrices \(A\) and \(B\) whose invertible parts \(A^\times\) and \(B^\times\) are diagonalizable over \({\mathbb C}\) (the diagonalizable part \(C^\times\) of matrix \(C\) is the restriction of linear transformation \(C\) to the \(\bigcap_{k=1}^\infty C^k{\mathbb Q}^n\)). It is proved: (a) If \(A\) and \(B\) have the same zeta function, then there exists an integer \(m\), which depends only on the zeta function, such that, for any prime \(q\) with \(\text{gcd} \, (q,m) = 1\), for any \(g(x) \in {\mathbb Z}[x]\), \(g(0) = 1\), the \(q\)-Sylow subgroup of generalized Bowen--Franks groups \(BF_{g(x)}(A)\) and \(BF_{g(x)}(B)\) are also the same. (b) In particular, if \(m = 1\), then \(BF_{g(x)}(A)\) and \(BF_{g(x)}(A)\) are the same. In the end of the article the case \(m = 2\) and some numerical examples are considered.