Restriction estimates with sifted integers

Résumé technique : Estimations de restriction avec des entiers criblés

Énoncé du problème
L'article aborde le problème de l'obtention d'estimations de restriction pour les sommes exponentielles sur des suites d'entiers criblés. Alors que Bourgain a établi des bornes supérieures pour la norme $L^\ell$ des sommes exponentielles sur les nombres premiers, et que Green-Tao ont généralisé ces résultats à des ensembles arithmétiques plus larges en utilisant des cribles enveloppants, ce travail cible spécifiquement les suites $S(N)$ définies par des conditions de criblage. L'ensemble $S(N)$ est constitué des entiers $n \le N$ tels que $n \pmod p \notin L_p$ pour un sous-ensemble donné de nombres premiers $P$ et des sous-ensembles $L_p \subset \mathbb{Z}/p\mathbb{Z}$. L'objectif est de déduire des estimations de la forme :
$$\int_0^1 \left| \sum_{n \in S(N)} a_n e(n\alpha) \right|^\ell d\alpha \le C \left( \frac{N}{V(z)} \sum_{n \in S(N)} |a_n|^2 \right)^{\ell/2}$$
pour $\ell > 2$, où $V(z)$ représente la densité de l'ensemble criblé. Un aspect critique du problème est le comportement au point extrémal $\ell=2$, où les estimations de restriction standards échouent, et les auteurs visent à fournir une transition régulière de $\ell > 2$ vers $\ell = 2$.

Méthodologie
Les auteurs emploient une combinaison de la méthode du crible enveloppant et d'arguments de dualité, suivant le cadre établi par Ramaré et Ruzsa.

1. Construction du crible enveloppant : Au lieu d'analyser directement la fonction caractéristique de l'ensemble criblé $S(N)$, les auteurs construisent une fonction majeure $\beta$ possédant de bonnes propriétés de Fourier. Cette majeure est dérivée à l'aide du crible enveloppant de Ramaré et Ruzsa, ce qui permet de borner la fonction caractéristique de l'ensemble criblé par une somme de termes exponentiels à coefficients contrôlés.
2. Inégalité du grand crible duale : Un composant central de la preuve est une inégalité de type grand crible duale (Théorème 1.3). Cette inégalité borne la somme des carrés des sommes exponentielles sur un ensemble $\delta$-bien espacé $B \subset \mathbb{R}/\mathbb{Z}$, spécifiquement :
   $$\sum_{n \in S(N)} \left| \sum_{b \in B} f(b) e(nb) \right|^2 \le K \frac{N + \delta^{-1}}{V(z)} \log^\kappa \left( \frac{2\|f\|_1^2}{\|f\|_2^2} \right) \|f\|_2^2$$
   Ce résultat repose sur la structure spécifique des poids du crible et sur l'hypothèse que le cardinal des ensembles interdits $L_p$ satisfait $\lambda(p) \le M p^{1/4}$.
3. Interpolation et sommation : Pour passer de l'estimation $L^2$ (Théorème 1.4) à l'estimation de restriction $L^\ell$ (Théorème 1.2), les auteurs utilisent une technique impliquant la distribution des grandes valeurs de la somme exponentielle. Ils définissent des ensembles de niveau $B_\xi$ et appliquent l'inégalité de Cauchy-Schwarz combinée à la borne du grand crible duale. La sommation sur ces ensembles de niveau est gérée en utilisant les propriétés des polynômes eulériens (identité de Carlitz) pour traiter la dépendance en $\ell$.

Contributions et résultats clés
L'article présente trois théorèmes principaux :

• Théorème 1.3 (Grand crible dual) : Établit une inégalité du grand crible pour les entiers criblés avec une dépendance explicite au rapport des normes $L^1$ et $L^2$ de la fonction test. Ceci est décrit comme le « cœur » de l'article.
• Théorème 1.4 (Grand crible pour les entiers criblés) : Déduit une inégalité standard du grand crible pour la suite $S(N)$ en utilisant le Théorème 1.3 et l'inégalité de Cauchy-Schwarz.
• Théorème 1.1 (Estimation de restriction) : Fournit l'estimation de restriction principale pour la norme $L^\ell$ des sommes exponentielles sur $S(N)$ pour $\ell > 2$. La constante $C$ est explicitement calculable et dépend des paramètres du crible $\kappa, T, M$ et de l'exposant $\ell$.
• Propriété de majeure de Hardy-Littlewood (Théorème 7.1) : Sous l'hypothèse que la taille de l'ensemble criblé $|S(N)|$ est comparable à $N/V(z)$, les auteurs montrent que la suite $S(N)$ jouit de la propriété de majeure de Hardy-Littlewood. Cela implique que la norme $L^\ell$ de la somme exponentielle avec des coefficients arbitraires est bornée par la norme de la somme avec des coefficients de module 1.

Importance et affirmations
Les auteurs affirment que leurs résultats généralisent les estimations de restriction de Green-Tao, qui étaient à l'origine formulées pour les nombres premiers et des ensembles arithmétiques spécifiques, à une classe plus large d'entiers criblés définis par des sous-ensembles arbitraires $L_p$.

Une caractéristique technique significative soulignée par les auteurs est la « transition régulière » de $\ell > 2$ vers $\ell = 2$. Alors que l'estimation de restriction échoue en $\ell=2$ en raison de l'identité de Parseval, la dépendance explicite de la constante par rapport à $\ell$ (déduite dans les équations 6.2 et 6.3) permet une approche contrôlée du point extrémal, une caractéristique attribuée à la méthode de Ramaré.

L'article démontre l'utilité de ces estimations à travers trois applications :

1. La récupération des estimations de restriction pour les valeurs polynomiales (Théorème 1.1 de Green-Tao) comme corollaire de leur cadre général.
2. L'amélioration de la borne supérieure pour les sommes exponentielles relatives aux entiers composés de nombres premiers congrus à $3 \pmod 4$ (Application 2), supprimant spécifiquement un facteur $\sqrt{\log z}$ présent dans les bornes précédentes de Harper.
3. La fourniture d'estimations pour l'ensemble des entiers qui sont des sommes de deux carrés premiers entre eux et satisfont une condition de décalage (Application 3).

Ce travail repose fortement sur le crible enveloppant développé par Ramaré et Ruzsa, étendant leur machinerie pour dériver des constantes explicites et une applicabilité plus large pour les problèmes de restriction en théorie analytique des nombres.