A proof of Solomon's second conjecture on local zeta functions of orders

Auslander-Reiten quivers determinants hereditary orders indecomposable lattices orders in semisimple algebras representation finite orders submodules of finite index zeta functions

Mathematics Subject Classification ID

Algebras and orders, and their zeta functions (11S45) Representations of orders, lattices, algebras over commutative rings (16G30) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05)

Review text

Let \(R\) be a complete discrete valuation domain with quotient field \(K\) and residue field \(k\) such that \(|k|=q<\infty\). Let \(\Lambda\) be an \(R\)-order in a semisimple \(K\)-algebra \(A\), and let \(V\) be a finite dimensional \(A\)-module. By the Jordan-Zassenhaus theorem, there is a finite representing system \(I\) of full \(\Lambda\)-lattices in \(V\). For \(L,M\in I\), consider the zeta function \[ Z_{LM}(s)=\sum(L:N)^{-s}, \] where \(N\) runs through the \(\Lambda\)-submodules of finite index in \(L\) which are isomorphic to \(M\). Solomon has shown that the \(|I|\times|I|\) matrix \(\mathbb{Z}_\Lambda(V;s)=(Z_{LM}(s))\) has an inverse with coefficients in \(\mathbb{Z}[q^{-s}]\). His second conjecture (1978) states that the determinant of \(\mathbb{Z}_\Lambda(V;s)\) is of the form \[ \prod(1-q^{a_i-b_is})^{-1} \] with \(a_i\in\mathbb{N}\) and \(b_i\in\mathbb{N}\setminus\{ 0\}\). The author proves this conjecture by an inductive method which already led to a solution of two other important problems in representation theory. Firstly, he obtained a characterization of the Auslander-Reiten quivers of representation-finite orders [\(\tau\)-categories, I, II, III, 72pp., Algebr. Represent. Theory (to appear)]. Secondly, he proved a conjecture of Ringel-Yamagata, which implies that the representation dimension of any Artinian algebra is finite [Proc. Am. Math. Soc. 131, No. 4, 1011-1014 (2003; Zbl 1018.16010)]. For the proof of Solomon's second conjecture, the author considers the full subcategory \(\mathcal C_V=\text{add }\mathcal X\) of \(\Lambda\text{-}\mathbf{lat}\), where \(\mathcal X\) consists of the finitely generated \(\Lambda\)-submodules of \(V\). By the Jordan-Zassenhaus theorem, there are only finitely many isomorphism-classes of indecomposable objects in \(\mathcal C_V\). He proves that there exists a chain \(\mathcal C_V=\mathcal C_m\supset\mathcal C_{m-1}\supset\cdots\supset\mathcal C_0=\Gamma\text{-}\mathbf{lat}\) of full subcategories with a hereditary overorder \(\Gamma\) of \(\Lambda\), such that \(\mathcal C_{i-1}\) has exactly one indecomposable \(\Lambda\)-lattice less than \(\mathcal C_i\), up to isomorphism. Note that for an additive generator \(M\) of \(\mathcal C_V\), the endomorphism ring \(\text{End}_\Lambda(M)\) is quasi-hereditary, and the chain of \(\mathcal C_i\) is closely related to a heredity chain. The author makes use of this chain to prove a more general formula for zeta function determinants by induction. A specialization to Solomon's context yields an explicit formula for \(\det\mathbb{Z}_\Lambda(V;s)\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: A proof of Solomon's second conjecture on local zeta functions of orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1867302)