Distributions of Integral Points and Dedekind Zeta Values

1. Problem Statement

The paper addresses the asymptotic counting of integral points on a specific class of affine varieties over the ring of integers $\mathcal{O}$ of a number field $F$.

• The Variety ($X$): Let $\chi(x) \in \mathcal{O}[x]$ be a regular monic polynomial of degree $n$. $X$ is the variety representing the set of $n \times n$ matrices with characteristic polynomial $\chi(x)$.
• The Counting Function: The authors study $N(X, T)$, the number of matrices $A \in M_n(\mathcal{O})$ such that $\det(xI - A) = \chi(x)$ and the archimedean norm $\|A\| \leq T$, as $T \to \infty$.
• The Goal: Previous works (e.g., Eskin-Mozes-Shah, Duke-Rudnick-Sarnak) established that $N(X, T)$ grows asymptotically as $C(\chi) T^d (\log T)^r$, where $d = n(n-1)/2$ and $r$ depends on the factorization of $\chi$. The central problem is to determine the leading constant $C(\chi)$ explicitly in terms of arithmetic invariants.
• The Challenge: Unlike cases solvable by the Hardy-Littlewood circle method, the constant $C(\chi)$ generally cannot be written as a simple product of local densities. It requires a global analysis involving orbital integrals and endoscopy.

2. Methodology

The authors employ a sophisticated synthesis of ergodic theory, the trace formula, endoscopy theory, and the geometry of numbers. The proof strategy is divided into four main logical steps:

Step 1: Refined Equi-distribution Property

• Context: The counting problem is approached via the action of the group $G = SL_n$ on the Lie algebra $\mathfrak{g} = \mathfrak{sl}_n$ (or $\tilde{G} = GL_n$ on $\tilde{\mathfrak{g}}$).
• Refinement: Building on the work of Eskin-Mozes-Shah and Zhang, the authors refine the equi-distribution property of lattice orbits. They establish that the number of integral points in a $\Gamma$-orbit is asymptotically proportional to the volume of a "truncation window" in the homogeneous space.
• Polytope Volume: A crucial technical contribution is the calculation of a specific volume $v_\chi$ associated with a polytope $P_\chi$ defined by submodular functions. This volume determines the leading coefficient of the logarithmic term. The authors relate this to graphical zonotopes and use a weighted version of Cayley's identity to compute it explicitly.

Step 2: Decomposition via Brauer-Manin Obstruction

• Global Decomposition: The set of integral points $X(\mathcal{O})$ is decomposed according to the orbits of the arithmetic group $\Gamma$.
• Brauer Group: Using the Brauer-Manin obstruction, the counting function is expressed as a sum over the Brauer group $Br(X)$. This decomposition translates the geometric counting problem into a sum of local orbital integrals indexed by characters $\kappa$ of the cohomology group $H^1(F, T(\mathbb{A})/T(F))$, where $T$ is the stabilizer of the matrix.
• Orbital Integrals: The problem reduces to evaluating generalized $\kappa$-orbital integrals $O_\gamma^\kappa(f^T)$, where $f^T$ is a test function supported on matrices with norm $\leq T$.

Step 3: Endoscopy and the Fundamental Lemma

• Twisted Endoscopy: The $\kappa$-orbital integrals are identified as twisted orbital integrals on $GL_n$.
• Transfer: By applying the Fundamental Lemma (specifically the twisted version for Lie algebras by Lemaire-Waldspurger), these twisted integrals are transferred to stable orbital integrals on endoscopic subgroups $H$.
• Structure of $H$: The endoscopic subgroups $H$ are identified as restrictions of scalars $Res_{E/F} GL_m$, where $E$ is a cyclic subfield of the algebra $K = F[x]/(\chi(x))$ and $E/F$ is unramified everywhere.

Step 4: Connection to Zeta Functions

• Yun's Relation: The authors utilize a key result by Yun relating orbital integrals to the values of zeta functions of orders. Specifically, the stable orbital integral on the endoscopic group is proportional to the ratio of the Dedekind zeta function of the field $K$ and the zeta function of the order $R_E = \mathcal{O}_E[x]/(\chi_E(x))$.
• Synthesis: By summing over all valid endoscopic subgroups (corresponding to unramified cyclic subfields $E$), the authors derive a closed formula for $C(\chi)$ involving the leading Laurent coefficients of these zeta functions at $s=1$.

3. Key Contributions and Results

Main Theorem (Theorem 1.2)

The paper provides an explicit formula for the asymptotic constant $C(\chi)$ for any regular monic polynomial $\chi(x)$ over a general number field $F$:

$$C(\chi) = \sum_{E} \phi([E:F]) \delta(E) \left( \lim_{s \to 1} (s-1)^{r+1} \zeta_{R_E}(s) \right) \cdot \frac{v_\chi w_n}{|\Delta_F|^d \pi^{nr_2} \text{Res}_{s=1}\Lambda_F(s) \prod_{k=2}^n \Lambda_F(k)}$$

Where:

• The sum runs over intermediate fields $E$ such that $F \subset E \subset K_i$ (where $K_i$ are the irreducible factors of $\chi$), $E/F$ is cyclic, and unramified everywhere (including archimedean places).
• $\zeta_{R_E}(s)$ is the zeta function of the order $R_E = \mathcal{O}_E[x]/(\chi_E(x))$.
• $\phi$ is the Euler totient function.
• $\delta(E)$ is a local density factor related to unit groups.
• $v_\chi$ is the explicit volume of the polytope $P_\chi$ (calculated as $[F:\mathbb{Q}]^r n^{r-1} \prod n_i$).
• $w_n$ and $\Lambda_F$ are standard volume and complete zeta factors.

Special Case (Theorem 1.1)

For $F = \mathbb{Q}$, the formula simplifies to:
$$C(\chi) = \left( \lim_{s \to 1} (s-1)^{r+1} \zeta_R(s) \right) \cdot \frac{v_\chi w_n}{\prod_{k=2}^n \Lambda(k)}$$
This recovers and generalizes the Eskin-Mozes-Shah theorem for irreducible $\chi$ to the case where $\chi$ is reducible.

Technical Innovations

1. Removal of Conditions: Previous works (e.g., Wei-Xu, Jeon-Lee) required conditions like $\chi(0)=1$ or specific splitting behavior at small primes. This paper removes all such restrictions by working with the conjugation action on the Lie algebra $\mathfrak{gl}_n$ rather than the group $GL_n$, and by utilizing the full power of the fundamental lemma for Lie algebras.
2. Polytope Volume: The explicit computation of the volume $v_\chi$ using graphical zonotopes and Cayley's identity is a significant geometric contribution.
3. Beyond Endoscopy Connection: The authors discuss how their method of isolating contributions via zeta values relates to the "Beyond Endoscopy" program, suggesting a link between counting integral points and the analytic properties of orbital integrals.

4. Significance

• Unification: The result unifies the counting of integral points on homogeneous spaces with the arithmetic of orders in number fields. It demonstrates that the leading constant is not just a product of local densities but is intrinsically tied to the global arithmetic of orders (via $\zeta_R(s)$).
• Generality: It is the first explicit formula for $C(\chi)$ that holds for any regular polynomial $\chi$ over any number field $F$, without assuming irreducibility or specific local splitting conditions.
• Methodological Bridge: The paper successfully bridges ergodic theory (equi-distribution), automorphic forms (orbital integrals and endoscopy), and algebraic number theory (zeta functions of orders). This provides a robust template for solving similar counting problems in other homogeneous spaces where the Hardy-Littlewood method fails.
• Algorithmic Potential: The explicit nature of the formula suggests the feasibility of computing these constants algorithmically, which is a non-trivial task given the complexity of zeta functions of orders.

In summary, Cai and Deng have solved a long-standing problem in the arithmetic of homogeneous spaces by determining the precise leading constant for the asymptotic count of integral matrices, revealing a deep connection between lattice point distributions and the analytic behavior of zeta functions associated with orders in number fields.