## The genus zeta function of hereditary orders in central simple algebras over global fields

HTML articles powered by AMS MathViewer

- by M. Denert PDF
- Math. Comp.
**54**(1990), 449-465 Request permission

## Abstract:

Louis Solomon introduced the notion of a zeta function ${\zeta _\Theta }(s)$ of an order $\Theta$ in a finite-dimensional central simple*K*-algebra

*A*, with

*K*a number field or its completion ${K_P}$ (

*P*a non-Archimedean prime in

*K*). In several papers, C. J. Bushnell and I. Reiner have developed the theory of zeta functions and they gave explicit formulae in some special cases. One important property of these zeta functions is the Euler product, which implies that in order to calculate ${\zeta _\Theta }(s)$, it is sufficient to consider the zeta function of local orders ${\Theta _P}$. However, since these local orders ${\Theta _P}$ are in general not principal ideal domains, their zeta function is a finite sum of so-called ’partial zeta functions’. The most complicated term is the ’genus zeta function’, ${Z_{{\Theta _P}}}(s)$, which is related to the free ${\Theta _P}$-ideals. I. Reiner and C. J. Bushnell calculated the genus zeta function for hereditary orders in quaternion algebras (i.e., $[A:K] = 4$). The authors mention the general case but they remark that the calculations are cumbersome. In this paper we derive an explicit method to calculate the genus zeta function ${Z_{{\Theta _P}}}(s)$ of any local hereditary order ${\Theta _P}$ in a central simple algebra over a local field. We obtain ${Z_{{\Theta _P}}}(s)$ as a finite sum of explicit terms which can be calculated with a computer. We make some remarks on the programming of the formula and give a short list of examples. The genus zeta function of the minimal hereditary orders (corresponding to the partition (1, 1, ... , 1) of

*n*) seems to have a surprising property. In all examples, the nominator of this zeta function is a generating function for the

*q*-Eulerian polynomials. We conclude with some remarks on a conjectured identity.

## References

- Colin J. Bushnell and Irving Reiner,
*Zeta functions of arithmetic orders and Solomon’s conjectures*, Math. Z.**173**(1980), no. 2, 135–161. MR**583382**, DOI 10.1007/BF01159955 - Colin J. Bushnell and Irving Reiner,
*$L$-functions of arithmetic orders and asymptotic distribution of ideals*, J. Reine Angew. Math.**327**(1981), 156–183. MR**631314**, DOI 10.1515/crll.1981.327.156 - Colin J. Bushnell and Irving Reiner,
*$L$-functions of arithmetic orders and asymptotic distribution of ideals*, J. Reine Angew. Math.**327**(1981), 156–183. MR**631314**, DOI 10.1515/crll.1981.327.156 - Colin J. Bushnell and Irving Reiner,
*Zeta functions of hereditary orders and integral group rings*, Visiting scholars’ lectures—1980 (Lubbock, Tex., 1980) Math. Ser., vol. 14, Texas Tech Univ., Lubbock, Tex., 1981, pp. 71–94. MR**640732** - Colin J. Bushnell and Irving Reiner,
*A survey of analytic methods in noncommutative number theory*, Orders and their applications (Oberwolfach, 1984) Lecture Notes in Math., vol. 1142, Springer, Berlin, 1985, pp. 50–87. MR**812490**, DOI 10.1007/BFb0074792 - L. Carlitz,
*$q$-Bernoulli and Eulerian numbers*, Trans. Amer. Math. Soc.**76**(1954), 332–350. MR**60538**, DOI 10.1090/S0002-9947-1954-0060538-2 - Marleen Denert and Jan Van Geel,
*Cancellation property for orders in non-Eichler division algebras over global functionfields*, J. Reine Angew. Math.**368**(1986), 165–171. MR**850620** - Marleen Denert and Jan Van Geel,
*The class number of hereditary orders in non-Eichler algebras over global function fields*, Math. Ann.**282**(1988), no. 3, 379–393. MR**967020**, DOI 10.1007/BF01460041
M. Denert, - I. Reiner,
*Maximal orders*, London Mathematical Society Monographs, No. 5, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1975. MR**0393100** - Louis Solomon,
*Zeta functions and integral representation theory*, Advances in Math.**26**(1977), no. 3, 306–326. MR**460292**, DOI 10.1016/0001-8708(77)90044-5
A. Weil,

*Affine and projective orders in central simple algebras over global function fields*(

*An analytic approach to the ideal theory*), Thesis, State University of Ghent, 1987. —,

*Solomon’s second conjecture*:

*a proof for local hereditary orders in central simple algebras*, preprint.

*Adeles and algebraic groups*, Institute for Advanced Studies, Princeton, N.J., 1961.

## Additional Information

- © Copyright 1990 American Mathematical Society
- Journal: Math. Comp.
**54**(1990), 449-465 - MSC: Primary 11R54; Secondary 16A18
- DOI: https://doi.org/10.1090/S0025-5718-1990-0993928-7
- MathSciNet review: 993928