On the density of rational lines on diagonal cubic hypersurfaces

Résumé Technique : Sur la densité des droites rationnelles sur les hypersurfaces cubiques diagonales

Énoncé du problème
Cet article traite du problème quantitatif du comptage des droites rationnelles contenues dans des hypersurfaces cubiques diagonales. Plus précisément, il considère l'hypersurface définie par l'équation $\sum_{i=1}^s c_i z_i^3 = 0$, où $c_i \in \mathbb{Z} \setminus \{0\}$. Une droite rationnelle sur cette variété est représentée par une paire de vecteurs entiers $\mathbf{x}, \mathbf{y} \in \mathbb{Z}^s$ tels que la droite $\mathbf{x} + t\mathbf{y}$ repose entièrement sur l'hypersurface. Cette condition se traduit par un système de quatre équations homogènes :
$$\sum_{i=1}^s c_i x_i^3 = \sum_{i=1}^s c_i x_i^2 y_i = \sum_{i=1}^s c_i x_i y_i^2 = \sum_{i=1}^s c_i y_i^3 = 0.$$
L'objectif principal est d'établir une formule asymptotique pour $N_s(X)$, le nombre de telles paires de solutions $(\mathbf{x}, \mathbf{y})$ dont les coordonnées sont bornées par $X$ (c'est-à-dire dans $[-X, X]^{2s}$).

Méthodologie
L'auteur utilise la méthode du cercle de Hardy-Littlewood pour dériver la formule asymptotique. La représentation intégrale de $N_s(X)$ est décomposée en contributions provenant des « grands arcs » ($\mathfrak{N}_\delta$) et des « petits arcs » ($\mathfrak{n}_\delta$).

1. Grands arcs : Il est démontré que la contribution des grands arcs produit le terme principal de la formule asymptotique, impliquant une série singulière $\mathfrak{S}$ et une intégrale singulière $\mathfrak{J}$. Cette partie s'appuie sur des résultats établis dans la littérature (spécifiquement Zhao [Zha16] et Parsell [Par09]), qui confirment que pour $s \ge 16$, l'intégrale des grands arcs fournit le terme principal attendu $\mathfrak{S}\mathfrak{J}X^{2s-12}$.

2. Petits arcs : L'innovation technique centrale de l'article réside dans l'estimation de l'intégrale sur les petits arcs. L'auteur vise à montrer que pour $s \ge 19$, la contribution des petits arcs est d'un ordre inférieur au terme principal. La preuve de cette borne (Lemme 2.2) intègre trois composantes spécifiques :

   • Estimations précises pour les systèmes de Parsell-Vinogradov : La preuve utilise des estimations récentes et précises pour le système de Parsell-Vinogradov cubique (spécifiquement [BDG17] et [GZ19]), qui fournissent des bornes fortes pour les valeurs moyennes de sommes exponentielles associées aux systèmes diagonaux.
   • Variables de décalage multidimensionnelles : Le papier généralise l'argument des « variables de décalage » (shifting variables), introduit à l'origine par Wooley [Woo12], à un cadre multidimensionnel. Cette technique implique la définition de sommes exponentielles auxiliaires $G(\boldsymbol{\alpha}, \boldsymbol{\beta}, \boldsymbol{\theta})$ impliquant des plongements de Veronese de degrés 1, 2 et 3. En décalant les variables d'intégration et en utilisant l'orthogonalité, l'auteur relie la valeur moyenne de la somme exponentielle originale $F(\boldsymbol{\alpha})$ aux valeurs moyennes de ces sommes auxiliaires.
   • Argument d'élagage (Pruning) : Un argument d'élagage est appliqué pour décomposer les petits arcs en intervalles dyadiques. Cela permet d'appliquer l'argument des variables de décalage multidimensionnelles sur des sous-ensembles spécifiques des petits arcs où les sommes exponentielles peuvent être efficacement bornées.

Contributions clés et résultats
L'article établit le théorème principal suivant :

Théorème 1.1 : Pour $s \ge 19$, le nombre de solutions satisfait la formule asymptotique :
$$N_s(X) = \sigma X^{2s-12} + O(X^{2s-12-\delta}),$$
où $\sigma > 0$ est une constante dépendant des coefficients $c_i$, et $\delta > 0$.

Ce résultat améliore la meilleure borne connue précédemment de $s \ge 21$, établie par Zhao [Zha16]. Avant cela, Parsell [Par12] exigeait $s \ge 29$, et des travaux antérieurs de Parsell [Par00] nécessitaient $s \ge 55$ pour une borne inférieure.

La preuve repose largement sur le Lemme 3.1, qui fournit une borne pour la valeur moyenne de la somme exponentielle $|F(\boldsymbol{\alpha})|^{2s}$ sur des sous-ensembles spécifiques de grands arcs $M_l(H)$. Ce lemme sert de moteur pour l'estimation des petits arcs dans le Lemme 2.2, démontrant que l'intégrale des petits arcs est bornée par $O(X^{2s-12-\eta})$ pour $s \ge 19$.

Signification et revendications
L'article affirme que l'amélioration de $s \ge 21$ à $s \ge 19$ est obtenue en combinant l'argument des variables de décalage multidimensionnelles avec une technique d'élagage et en exploitant les estimations précises pour le système de Parsell-Vinogradov.

L'auteur note que la méthodologie présentée n'est pas limitée aux hypersurfaces cubiques. Il est suggéré que l'application de ces arguments, combinée à de nouvelles techniques de variables de décalage généralisées et à des estimations précises pour des systèmes de Parsell-Vinogradov de degré supérieur, pourrait améliorer les bornes existantes pour le nombre d'espaces linéaires sur des hypersurfaces diagonales définies par $\sum_{i=1}^s c_i z_i^k = 0$ pour des degrés $k \ge 3$. Cependant, le papier ne réalise pas explicitement ces extensions pour $k > 3$, se concentrant uniquement sur le cas cubique ($k=3$).

Le travail est présenté comme un raffinement de la théorie quantitative des droites rationnelles sur les variétés algébriques, s'appuyant directement sur les approches inductives fondatrices initiées par Brauer et Birch et sur les développements quantitatifs ultérieurs de Brandes, Parsell, Wooley et Zhao.