Lattice point counting problems on step-two nilpotent Lie groups
Abstract
We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{α,M}(x, t)=\left(|M_1x|^α+ |M_2t|^{α/ 2}\right)^{1 / α}$ adapted to the dilation structure, where α>0 and M1,M2 are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all α>0. The bounds are sharp when the group center is unidimensional and α=2, in certain rational sense. Our study also generalizes and even quantitatively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from 2/3 to 1/3 if $α\in(3,4] $ or α=1; and the factor $\log ^{2/3} R $ is dropped if α∈(2,3]. (ii) In dimension $3$, the estimation is upgraded from Oε(R 5/2+ε) to O(R2log 1/2 R) for α=1, and to O(R19/8) for α∈ (1,2); and the factor log R is removed for α>4. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitative improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.
Related
- Square root cancellation in the hyperbolic lattice counting problem over cocompact groups
- Polynomial-Time Lattice-Point Counting without Barvinok Decomposition
- Counting Nilpotent Galois extensions with prescribed genus number
- Counting Irreducible Components of the Semistable Global Nilpotent Cone
- A nilpotent quotient algorithm for certain infinitely presented groups and its applications
BibTeX
@misc{mao2026lattice,
title = {{Lattice point counting problems on step-two nilpotent Lie groups}},
author = {Sheng-Chen Mao},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2605.26033},
eprint = {2605.26033},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.26033},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Lattice point counting problems on step-two nilpotent Lie groups
AU - Sheng-Chen Mao
PY - 2026
DA - 2026/08/31
PB - arXiv
DO - 10.48550/arxiv.2605.26033
UR - https://arxiv.org/abs/2605.26033
AB - We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{α,M}(x, t)=\left(|M_1x|^α+ |M_2t|^{α/ 2}\right)^{1 / α}$ adapted to the dilation structure, where α>0 and M_1,M_2 are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all α>0. The bounds are sharp when the group center is unidimensional and α=2, in certain rational sense. Our study also generalizes and even quantitatively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from 2/3 to 1/3 if $α\in(3,4] $ or α=1; and the factor $\log ^{2/3} R $ is dropped if α∈(2,3]. (ii) In dimension $3$, the estimation is upgraded from O_ε(R^ 5/2+ε) to O(R^2log^ 1/2 R) for α=1, and to O(R^19/8) for α∈ (1,2); and the factor log R is removed for α>4. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitative improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.
ER -