Solomon's second conjecture: A proof for local hereditary orders in central simple algebras (Q804633): Difference between revisions

Let K be a local field and A a central simple K-algebra. Let R be a discrete valuation ring in K and \(\Lambda\) a local order in A. By Wedderburn's theorem \(A\cong M_ n(D)\), if \(\Delta\) is the unique maximal R-order in D, and \(\wp\) its unique maximal ideal then \(\Delta\) /\(\wp\) is a finite field, put {\#}\(\Delta\) /\(\wp =q\). The partial zeta function s of a local order \(\Lambda\) corresponds to a choice of two left \(\Lambda\)-ideals L,M in A and is defined by: \[ Z_{L,M}(s)=\sum_{X\cong L,X\subset M}(M : X)^{-s},\quad Re(s)>1. \] Let \(L_ 1,...,L_ k\) be a full set of representatives of the isomorphism classes of \(\Lambda\)-left ideals, then Solomon showed that the matrix \(A=(Z_{L_ i,L_ j(s)})_{1\leq i,j\leq h}\) has an inverse \(A^{-1}\in M_ h({\mathbb{Z}}[q,q^{-s}]).\) Solomon conjectured that \[ \det (A^{-1})=\pm \prod_{j}(1-q^{a_ j-ns})^{b_ j}. \] In the paper this conjecture is proved to be true for hereditary orders. The proof is based on an explicit calculation of the zeta functions. Actually the numbers \(a_ j,b_ j\) can be determined explicitly.