Counting lattice points and O-minimal structures

DOI10.1093/IMRN/RNT102MaRDI QIDQ2927901zbMATH OpenOpenAlexFDO

Authors Fabrizio Barroero, Martin Widmer

Publication date 5 November 2014

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.5943

zbMATH Keywords

definable familiesfiberslatticelattice pointsO-minimal structures

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Minima of forms (11H50) Lattice points in specified regions (11P21)

Abstract: Let $Lambda$ be a lattice in $R^n$, and let $Zsubseteq{R}^{m+n}$ be a definable family in an o-minimal structure over $R$. We give sharp estimates for the number of lattice points in the fibers $Z_T=xin{R}^n:(T,x)inZ$. Along the way we show that for any subspace $Sigmasubseteq{R}^n$ of dimension $j>0$ the $j$-volume of the orthogonal projection of $Z_T$ to $Sigma$ is, up to a constant depending only on the family $Z$, bounded by the maximal $j$-dimensional volume of the orthogonal projections to the $j$-dimensional coordinate subspaces.

Review text

The authors introduce a wide class of sets (definable sets) such that the number of lattice points in these sets admits a sharp estimate.NEWLINENEWLINEMore precisely, let \(\Lambda\) be a lattice in \(\mathbb{R}^n\), and \(Z\subseteq\mathbb{R}^{n+m}\) be a definable set. Suppose that the fibers \(Z_T=\{x\in\mathbb{R}^n:(T,x)\in Z\}\) are bounded. Then the exists a constant \(c_Z\), depending only on \(Z\), such that NEWLINE\[NEWLINE\left| |Z_T\cap\Lambda|-\frac{Vol(Z_T)}{\det \Lambda}\right| \leq c_Z \sum_{j=0}^{n-1} \frac{V_j(Z_T)}{\lambda_1\dots\lambda_j} .NEWLINE\]NEWLINE Here \(\lambda_j\) is the \(j\)-th successive minima of \(\Lambda\) with respect to the zero-centered unit ball and \(V_j(Z_T)\) is the sum of the \(j\)-dimensional volumes of the orthogonal projections of \(Z_T\) on every \(j\)-dimensional coordinate subspace of \(\mathbb{R}^n\).NEWLINENEWLINEThe definition of the definable set is quite complicate and based on the concept of O-minimal structure from model theory. But it is shown that many ``good sets are definable. For example, every semialgebraic set has this property.

Recommendations

• Diophantine properties of sets definable in o-minimal structures
• On a Counting Theorem for Weakly Admissible Lattices
• The rational points of a definable set
• On the algebraic points of a definable set
• WEAK ADMISSIBILITY, PRIMITIVITY, O‐MINIMALITY, AND DIOPHANTINE APPROXIMATION

Cited in

(27)

• Joint distribution of conjugate algebraic numbers: a random polynomial approach
• On the frequency of height values
• On the torsion values for sections of an elliptic scheme
• Distribution of real algebraic integers
• On the arithmetic of simple singularities of type \(E\)
• Slicing the stars: counting algebraic numbers, integers, and units by degree and height
• The Hasse principle for random Fano hypersurfaces
• Algebraic S-integers of fixed degree and bounded height
• Lipschitz class, narrow class, and counting lattice points
• WEAK ADMISSIBILITY, PRIMITIVITY, O‐MINIMALITY, AND DIOPHANTINE APPROXIMATION
• On the volume and the number of lattice points of some semialgebraic sets
• Counting algebraic integers of fixed degree and bounded height
• Counting degenerate polynomials of fixed degree and bounded height
• Large families of elliptic curves ordered by conductor
• The split torsor method for Manin's conjecture
• Higher-rank Bohr sets and multiplicative Diophantine approximation
• Diophantine properties of sets definable in o-minimal structures
• Arithmetic statistics of Prym surfaces
• Finiteness theorems on elliptical billiards and a variant of the dynamical Mordell–Lang conjecture
• Finiteness theorems and counting conjectures for the flux landscape
• Points of bounded height in images of morphisms of weighted projective stacks: with applications to counting elliptic curves
• Probabilistic effectivity in the subspace theorem
• Points of bounded height on quintic del Pezzo surfaces over number fields
• Average analytic ranks of elliptic curves over number fields
• Graded Lie algebras, compactified Jacobians and arithmetic statistics
• Monogenicity and 2-torsion in the class group of number fields of odd degree
• Sharp o-minimality and lattice point counting

This page was built for publication: Counting lattice points and O-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2927901)