Inégalité analytique et boîte à outils associée qui contrôle la répartition de suites dans des classes de résidus en moyennant sur les modules ; elle fournit de fortes majorations pour des sommes sur caractères ou phases exponentielles et donc pour la taille d'ensembles cribblés lorsqu'on moyenne sur de nombreux modules.

Principe

Exploiter l'orthogonalité et la moyenne sur une famille de modules ou de caractères pour convertir des irrégularités locales de répartition en bornes globales de type L2 qui limitent la concentration simultanée d'une suite dans de nombreuses classes de résidus.

Démonstration

Appliquer l'inégalité du grand crible à une suite a_n pour borner sum_{q≤Q} sum_{χ mod q} |sum_{n≤N} a_n χ(n)|^2 par (N+Q^2) fois la norme L2 de a_n, ce qui donne un contrôle uniforme menant à des majorations pour les nombres premiers ou presque-premiers dans les progressions arithmétiques moyennées sur q.

Mauvaise application

Utiliser les bornes moyennées du grand crible comme des bornes pointuelles pour un module fixé ou interpréter son information de type L2 comme donnant de l'annulation pour chaque caractère individuel sans apport supplémentaire.

Conséquence

Fournit des bornes moyennées efficaces particulièrement puissantes quand Q est modérément grand devant N ; se traduit par des résultats de répartition uniforme et évite souvent le recours à des régions libres de zéros profondes.

Inversion

Plutôt que de moyenniser sur les modules pour obtenir un contrôle L2, on peut fixer un module unique et utiliser des informations analytiques fines (zéros de fonctions L, hypothèse de Riemann généralisée) pour obtenir un contrôle pointuel ; on remplace ainsi la moyenne par des entrées spectrales précises.

Limite

Le grand crible est le plus efficace pour borner des sommes après moyennage sur de nombreux modules ou caractères ; il ne remplace pas des méthodes fournissant des asymptotiques pointuels fins pour un module unique ou des sommes exponentielles individuelles.

Tension sémantique

Tension entre l'information fournie par le grand crible (moyenne, type L2) et les méthodes analytiques pointues à petite échelle (estimations de densité de zéros, formules explicites) : le contrôle moyenné est moins fort point par point mais souvent plus largement applicable et moins conditionnel.

Synthèse

Le grand crible est une inégalité analytique fondée sur le moyennage et l'orthogonalité entre modules qui transforme ces moyennes en contraintes de type L2 sur des suites, fournissant des majorations moyennées puissantes pour la répartition en classes de résidus et permettant des résultats uniformes sans entrées spectrales pointuelles.