Abstract
We study a lattice point-counting problem for spheres arising from the Heisenberg groups. In particular, we prove an upper bound on the number of points on and near large dilates of the unit spheres generated by the anisotropic norms \(\Vert (z,t)\Vert _\alpha = ( \left| z\right| ^\alpha + \left| t\right| ^{\alpha /2})^{1/\alpha }\) for \(\alpha \ge 2\). As a first step, we reduce our counting problem to one of bounding an energy integral. The primary new challenges that arise are the presence of vanishing curvature and nonisotropic dilations. In the process, we establish bounds on the Fourier transform of the surface measures arising from these norms. Further, we utilize the techniques developed here to estimate the number of lattice points in the intersection of two such surfaces.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Notes
Here, \(x \lesssim y\) means that there exists some constant C such that \(x \le Cy\), and \(x \sim y\) means that both \(x \lesssim y\) and \(y \lesssim x\).
Technically, given \(({\tilde{z}},z_n) \in {\mathbb {R}}^n\), \(z_n-\varphi ({\tilde{z}})\) is the defining function. A limited working explanation of this process is provided here; for the full details of these terms and relations see [37, Chapter 8].
In the boundary case, where \(r_0=\epsilon \), the first integral is simply zero and the second becomes an integral to \(2\epsilon \), which produces no substantive change.
In the boundary case, where \(r_0=|\xi _3|^{-\frac{1}{\alpha }}\), so \(r_0=\epsilon \), the first integral is simply zero and the second becomes an integral to \(2\epsilon \), which produces no substantive change.
For \(\alpha =4\) and \(d \ge 3\), Gath’s result in [14] would provide a similar improvement.
References
Andrews, G.: A lower bound for the volume of strictly convex bodies with many boundary lattice points. Trans. Am. Math. Soc. 106, 270–279 (1963)
Bennett, M., Iosevich, A., Taylor, K.: Finite chains inside thin subsets of Euclidean space. Anal. PDE 9(3), 597–614 (2016)
Bourgain, J., Watt, N.: Mean square of zeta function, circle problem and divisor problem revisited. (2017). arXiv:1709.04340
Bourgain, J., Watt, N.: Decoupling for perturbed cones and the mean square of \(|\zeta (\frac{1}{2}+it)|\). Int. Math. Res. Not. 2018(17), 5219–5296 (2018)
Berndt, B., Sun, K., Zaharescu, A.: The circle problem of Gauss and the divisor problem of Dirichlet-still unsolved. Am. Math. Mon. 125(2), 99–114 (2018)
Campolongo, E.G.: Lattice Point Counting through Fractal Geometry and Stationary Phase for Surfaces with Vanishing Curvature [Doctoral Dissertation, The Ohio State University] (2022)
Chamizo, F.: Lattice points in bodies of revolution. Acta Arith. 85(3), 265–277 (1998)
Cygan, J.: Wiener’s test for the Brownian motion on the Heisenberg group. Colloq. Math. 39(2), 367–373 (1978)
Cygan, J.: Subadditivity of homogeneous norms on certain nilpotent Lie groups. Proc. Am. Math. Soc. 83(1), 69–70 (1981)
Falconer, K.J.: On the Hausdorff dimensions of distance sets. Mathematika 32(2), 206–212 (1985)
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton University Press, Princeton (1989)
Garg, R., Nevo, A., Taylor, K.: The lattice point counting problem on the Heisenberg groups. Ann. Inst. Fourier Grenoble 65(5), 2199–2233 (2015)
Gath, Y.A.: On the best possible exponent for the error term in the lattice point counting problem on the first Heisenberg group (2017). arXiv:1710.02995
Gath, Y.A.: On an analogue of the Gauss circle problem for the Heisenberg groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 23(2), 645–717 (2022)
Herz, C.S.: On the number of lattice points in a convex set. Am. J. Math. 84, 126–133 (1962)
Hilbert, D., Cohn-Vossen, S.: Geometry and the Imagination. American Mathematical Society, Providence (1999)
Hlawka, E.: Über Integrale auf konvexen Körpern, I. Monatsh. Math. 54, 1–36 (1950)
Huxley, M.N.: Exponential sums and lattice points III. Proc. Lond. Math. Soc. 87(3), 591–609 (2003)
Iosevich, A., Taylor, K.: Lattice points close to families of surfaces, nonisotropic dilations and regularity of generalized Radon transforms. N.Y. J. Math. 17, 811–828 (2011)
Iosevich, A., Taylor, K.: Finite Trees Inside Thin Subsets of \({{{\mathbb{R} }}}^d\). Modern Methods in Operator Theory and Harmonic Analysis. Springer Proc. Math. Stat., pp. 51–56. Springer, Cham (2019)
Ivić, A., Krätzel, E., Kühleitner, M., Nowak, W.G.: Lattice points in large regions and related arithmetic functions: recent developments in a very classic topic. Elem. Anal. Zahlentheorie 20, 89–128 (2006)
Korányi, A.: Geometric properties of Heisenberg-type groups. Adv. Math. 56(1), 28–38 (1985)
Krätzel, E.: Lattice points in some special three-dimensional convex bodies with points of Gaussian curvature zero at the boundary. Comment. Math. Univ. Carolin. 43(4), 755–771 (2002)
Krätzel, E.: Lattice points in three-dimensional convex bodies with points of Gaussian curvature zero at the boundary. Monatsh. Math. 137(3), 197–211 (2002)
Krätzel, E., Nowak, W.G.: The lattice discrepancy of bodies bounded by a rotating Lamé’s curve. Monatsh. Math. 154(2), 145–156 (2008)
Lettington, M.C.: Integer points close to convex hypersurfaces. Acta Arith. 141, 73–101 (2010)
Littman, W.: Fourier transforms of surface-carried measures and differentiability of surface averages. Bull. Am. Math. Soc. 69(6), 766–770 (1963)
Malloy, I., Hollenbeck, D.: Post-Quantum Cryptography: Riemann Primitives and Chrysalis (2018). arXiv:1801.07702
Mattila, P.: Fourier Analysis and Hausdorff Dimension. Cambridge University Press, Cambridge (2015)
Nowak, W.G.: On the lattice discrepancy of bodies of rotation with boundary points of curvature zero. Arch. Math. 90(2), 181–192 (2008)
Peter, M.: The local contribution of zeros of curvature to lattice points asymptotics. Math. Z. 233(4), 803–815 (2000)
Peter, M.: Lattice points in convex bodies with planar points on the boundary. Monatsh. Math. 135(1), 37–57 (2002)
Randol, B.: A lattice point problem. Trans. Am. Math. Soc. 121, 257–268 (1966)
Randol, B.: A lattice point problem II. Trans. Am. Math. Soc. 125, 101–113 (1966)
Roos, J., Seeger, A., Srivastava, R.: Lebesgue space estimates for spherical maximal functions on Heisenberg groups. Int. Math. Res. Not. (2021). https://doi.org/10.1093/imrn/rnab246
Schmidt, W.: Integer points on hypersurfaces. Montash. Math. 102(1), 27–58 (1986)
Shakarchi, R., Stein, E.M.: Functional Analysis: Introduction to Further Topics in Analysis. Princeton Lectures in Analysis IV. Princeton University Press, Princeton (2011)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton (1993)
Acknowledgements
We would like to acknowledge Professor Allan Greenleaf at the University of Rochester for sharing invaluable insights and feedback that greatly improved our article. Thank you for your endless patience and kindness.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Taylor is supported in part by the Simons Foundation Grant 523555.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Campolongo, E.G., Taylor, K. Lattice Points Close to the Heisenberg Spheres. La Matematica 2, 156–196 (2023). https://doi.org/10.1007/s44007-022-00040-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44007-022-00040-z