Symplectic lattice counting and zeta functions of higher Heisenberg groups
Pith reviewed 2026-05-25 05:14 UTC · model grok-4.3
The pith
Explicit formulae are derived for the subalgebra zeta functions of all higher Heisenberg Lie algebras over any compact discrete valuation ring.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By developing Hecke-theoretic techniques for the enumeration, by two distinct invariants, of sublattices of an o-lattice of finite rank endowed with a non-degenerate symplectic form, the authors derive explicit formulae for the subalgebra zeta functions of all higher Heisenberg Lie algebras over an arbitrary compact discrete valuation ring o.
What carries the argument
Hecke-theoretic enumeration techniques for counting sublattices by two invariants of a non-degenerate symplectic form on an o-lattice of finite rank
Load-bearing premise
The Hecke-theoretic enumeration techniques developed for counting sublattices by two invariants of a non-degenerate symplectic form on an o-lattice of finite rank are sufficient to produce the claimed explicit formulae for every higher Heisenberg Lie algebra.
What would settle it
Compute the subalgebra zeta function directly for the 5-dimensional higher Heisenberg Lie algebra over Z_p for a small prime p and verify whether the resulting rational function matches the explicit formula given by the counting method.
read the original abstract
We derive explicit formulae for the subalgebra zeta functions of all higher Heisenberg Lie algebras over an arbitrary compact discrete valuation ring $\mathfrak{o}$. To this end, we develop Hecke-theoretic techniques for the enumeration, by two distinct invariants, of sublattices of an $\mathfrak{o}$-lattice of finite rank endowed with a non-degenerate symplectic form.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to derive explicit formulae for the subalgebra zeta functions of all higher Heisenberg Lie algebras over an arbitrary compact discrete valuation ring o. This is achieved by developing Hecke-theoretic techniques for the enumeration, by two distinct invariants, of sublattices of an o-lattice of finite rank endowed with a non-degenerate symplectic form.
Significance. If the explicit formulae and the supporting enumeration techniques can be verified, the work would advance the computation of subalgebra zeta functions for nilpotent Lie algebras over p-adic rings, building on prior Hecke-algebra methods for lattice counting. The two-invariant symplectic enumeration approach, if parameter-free and applicable uniformly across ranks, could extend to other classes of Lie algebras or groups with bilinear forms.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript. No specific major comments were listed in the report, so we have no points to address point-by-point at this stage. We remain available to provide additional verification or clarification of the explicit formulae or the Hecke-theoretic techniques if requested.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper states it derives explicit formulae for subalgebra zeta functions by developing Hecke-theoretic enumeration techniques for sublattices counted by two invariants under a non-degenerate symplectic form on an o-lattice. This approach introduces new counting methods to handle the bracket-closed subalgebra condition for higher Heisenberg Lie algebras, without reducing any claimed prediction or formula to a fitted parameter, self-definition, or load-bearing self-citation chain. The central derivation chain is independent of its target outputs by construction, as the techniques are presented as external to the final zeta function expressions.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
- [1]
-
[2]
Pro-isomorphic zeta functions of nilpo- tent groups and Lie rings under base extension
M. N. Berman, I. Glazer, and M. M. Schein. “Pro-isomorphic zeta functions of nilpo- tent groups and Lie rings under base extension”. In:Trans. Amer. Math. Soc.375.2 (2022), pp. 1051–1100
work page 2022
-
[3]
Proisomorphic zeta functions of groups
M. N. Berman. “Proisomorphic zeta functions of groups”. Doctoral dissertation. Ox- ford: University of Oxford, 2005. REFERENCES 49
work page 2005
-
[4]
V. Blomer and C. Voll.Analytic properties of representation zeta functions of groups of typeA 2. to appear in Math. Ann. 2026. arXiv:2509 . 13254 [math.NT].url: https://arxiv.org/abs/2509.13254
-
[5]
q-Eulerian polynomials arising from Coxeter groups
F. Brenti. “q-Eulerian polynomials arising from Coxeter groups”. In:European J. Combin.15.5 (1994), pp. 417–441.doi:10.1006/eujc.1994.1046
-
[6]
Generalized Igusa functions and ideal growth in nilpotent Lie rings
A. Carnevale, M. M. Schein, and C. Voll. “Generalized Igusa functions and ideal growth in nilpotent Lie rings”. In:Algebra Number Theory18.3 (2024), pp. 537–582. doi:10.2140/ant.2024.18.537
-
[7]
Enumerating traceless matrices over compact discrete valuation rings
A. Carnevale, S. Shechter, and C. Voll. “Enumerating traceless matrices over compact discrete valuation rings”. In:Israel J. Math.227.2 (2018), pp. 957–986
work page 2018
-
[8]
Reduced zeta functions of Lie algebras
A. Evseev. “Reduced zeta functions of Lie algebras”. In:J. Reine Angew. Math.633 (2009), pp. 197–211.doi:10.1515/CRELLE.2009.065
-
[9]
S. Ezzat. “Counting irreducible representations of the Heisenberg group over the integers of a quadratic number field”. In:J. Algebra397 (2014), pp. 609–624
work page 2014
-
[10]
G. Gasper and M. Rahman.Basic Hypergeometric Series. 2nd ed. Vol. 96. Encyclo- pedia of Mathematics and its Applications. Cambridge: Cambridge University Press, 2004.isbn: 9780521833578.doi:10.1017/CBO9780511526251
-
[11]
Subgroups of finite index in nilpotent groups
F. J. Grunewald, D. Segal, and G. C. Smith. “Subgroups of finite index in nilpotent groups”. In:Invent. Math.93.1 (1988), pp. 185–223.doi:10.1007/BF01393692
-
[12]
Spherical functions and local densities of alternating forms
Y. Hironaka and F. Sato. “Spherical functions and local densities of alternating forms”. In:Amer. J. Math.110.3 (1988), pp. 473–512.doi:10.2307/2374620
-
[13]
Universalp-adic zeta functions and their functional equations
J.-i. Igusa. “Universalp-adic zeta functions and their functional equations”. In:Amer. J. Math.111.5 (1989), pp. 671–716
work page 1989
-
[14]
Igusa-type functions associated to finite formed spaces and their functional equations
B. Klopsch and C. Voll. “Igusa-type functions associated to finite formed spaces and their functional equations”. In:Trans. Amer. Math. Soc.361.8 (2009), pp. 4405–4436. doi:10.1090/S0002-9947-09-04671-6
-
[15]
P. Luschny.OEIS Sequence A393141. Accessed: 2026-04-27. 2026.url:https:// oeis.org/A393141
work page 2026
-
[16]
I. G. Macdonald.Symmetric Functions and Hall Polynomials. 2nd ed. Oxford Math- ematical Monographs. Oxford: Oxford University Press, 1995.isbn: 9780198534891
work page 1995
-
[17]
J. Maglione and C. Voll.Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration. 2025. arXiv:2410 . 08075 [math.CO].url:https : / / arxiv . org/abs/2410.08075
-
[18]
V. Reiner. “Signed permutation statistics”. In:European J. Combin.14.6 (1993), pp. 553–567
work page 1993
-
[19]
Computing local zeta functions of groups, algebras, and modules
T. Rossmann. “Computing local zeta functions of groups, algebras, and modules”. In:Trans. Amer. Math. Soc.370.7 (2018), pp. 4841–4879
work page 2018
-
[20]
T. Rossmann.Zeta, version 0.4.2. Seehttps : / / github . com / torossmann / Zeta. 2022
work page 2022
-
[21]
Analytic properties of zeta functions and sub- group growth
M. du Sautoy and F. Grunewald. “Analytic properties of zeta functions and sub- group growth”. In:Annals of Mathematics152.3 (2000), pp. 793–833.doi:10.2307/ 2661355. 50 REFERENCES
work page 2000
-
[22]
M. du Sautoy and L. Woodward.Zeta Functions of Groups and Rings. Vol. 1925. Lecture Notes in Mathematics. Berlin: Springer, 2008, pp. xii+208.isbn: 978-3-540- 74701-7.doi:10.1007/978-3-540-74776-5
-
[23]
Normal zeta functions of the Heisenberg groups over number rings I: the unramified case
M. M. Schein and C. Voll. “Normal zeta functions of the Heisenberg groups over number rings I: the unramified case”. In:J. Lond. Math. Soc. (2)91.1 (2015), pp. 19– 46.doi:10.1112/jlms/jdu061
-
[24]
Normal zeta functions of the Heisenberg groups over number rings II—the non-split case
M. M. Schein and C. Voll. “Normal zeta functions of the Heisenberg groups over number rings II—the non-split case”. In:Israel J. Math.211.1 (2016), pp. 171–195. doi:10.1007/s11856-015-1271-8
-
[25]
Groups with pairings, Hall modules, and Hall–Littlewood polynomials
J. Shen and R. Van Peski. “Groups with pairings, Hall modules, and Hall–Littlewood polynomials”. In:Int. Math. Res. Not. IMRN2025.22 (2025), rnaf339.doi:10.1093/ imrn/rnaf339
work page 2025
-
[26]
J. Shen and R. Van Peski.Non-Archimedean GUE corners and Hecke modules. 2024. arXiv:2412.05999 [math.PR].url:https://arxiv.org/abs/2412.05999
-
[27]
V. Siconolfi, M. Vantomme, and C. Voll.Subgroup growth in free class-2-nilpotent groups. to appear in J. Combin. Algebra. 2024. arXiv:2305.19665 [math.GR].url: https://arxiv.org/abs/2305.19665
-
[28]
R. P. Stanley.Enumerative Combinatorics. Volume 1. 2nd ed. Vol. 49. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press, 2011. doi:10.1017/CBO9781139058520
-
[29]
Representation zeta functions of nilpotent groups and generating functions for Weyl groups of type B
A. Stasinski and C. Voll. “Representation zeta functions of nilpotent groups and generating functions for Weyl groups of type B”. In:Amer. J. Math.136.2 (2014), pp. 501–550.doi:10.1353/ajm.2014.0010
-
[30]
Counting subgroups in a family of nilpotent semi-direct products
C. Voll. “Counting subgroups in a family of nilpotent semi-direct products”. In:Bull. Lond. Math. Soc.38.5 (2006), pp. 743–752.doi:10.1112/S0024609306018881
-
[31]
Functional equations for local normal zeta functions of nilpotent groups
C. Voll. “Functional equations for local normal zeta functions of nilpotent groups”. In:Geom. Funct. Anal.15.1 (2005). With an appendix by Arnaud Beauville, pp. 274– 295.doi:10.1007/s00039-005-0506-y
-
[32]
Functional equations for zeta functions of groups and rings
C. Voll. “Functional equations for zeta functions of groups and rings”. In:Ann. of Math. (2)172.2 (2010), pp. 1181–1218.doi:10.4007/annals.2010.172.1181
-
[33]
Partitions, flags, tableaux: combinatorial aspects of lattice enumeration
C. Voll. “Partitions, flags, tableaux: combinatorial aspects of lattice enumeration”. In:Nieuw Arch. Wiskd. (5)26.2 (2025), pp. 74–77
work page 2025
-
[34]
Zeta functions of groups: computer calculations and functional equa- tions
L. Woodward. “Zeta functions of groups: computer calculations and functional equa- tions”. Doctoral dissertation. Oxford: University of Oxford, 2005. Email address:jshen@math.uni-bielefeld.de Email address:C.Voll.98@cantab.net F akult¨at f ¨ur Mathematik, Universit ¨at Bielefeld, D-33501 Bielefeld, Germany
work page 2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.