Asymptotic growth of translation-dilation orbits

Victor Y. Wang
2023-09-14
Abstract:By studying some Clausen-like multiple Dirichlet series, we complete the proof of Manin's conjecture for sufficiently split smooth equivariant compactifications of the translation-dilation group over the rationals. Secondary terms remain elusive in general.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove the validity of the Manin conjecture for the fully split smooth equivariant compactifications of the translation - dilation group under certain conditions. Specifically, by studying some multiple Dirichlet series similar to Clausen's, the author completed the proof of the Manin conjecture in the fully split smooth equivariant compactifications over the field of rational numbers. However, the sub - leading term is still elusive in general. The core contribution of the paper lies in solving the key problems in previous works and establishing the validity of the Manin conjecture for all sufficiently split spaces $X$. The key techniques include using infinite - dimensional representation theory, the "complexity reduction" method in non - Archimedean calculations, and introducing new local coordinates and cancellation phenomena in complete exponential integrals to appropriately restrict a class of multiple Dirichlet series. Specifically, the main theorem (Theorem 1.1) in the paper shows that, assuming $X$ is strictly split (Definition 2.1), if $H$ is a standard Weil height associated with the anti - canonical line bundle $K_X^{-1}$, then for any $w\in C_c^\infty(\mathbb{R})$, as $B\rightarrow\infty$, we have: \[ \sum_{x\in G(\mathbb{Q})} w\left(\frac{H(x)}{B}\right)=B (\log B)^{\text{rank}(\text{Pic}(X)) - 1}\left(A\int_0^\infty w(t)dt + O\left(\frac{1}{\log B}\right)\right), \] where $A = A_{X,H}>0$ is the Peyre constant (2.8). If we replace $O\left(\frac{1}{\log B}\right)$ with $o(1)$, then this result can be extended to all functions $w\in S_{p,q}\in\mathbb{R}: p < q C[p, q]$, including $w = 1_{t\in[0,1]}\in C[0,1]$. This result not only promotes the research on the Manin conjecture but also provides a new perspective for understanding the geometric and arithmetic properties of the translation - dilation group.