Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

Technische Zusammenfassung: Uniforme stratifizierte Verschwindung und Äquidistribution auf $\mathbb{G}_m^d$

Problemstellung
Die Arbeit befasst sich mit der Problemstellung, uniforme Schranken für die „schlechten“ Loci von Charaktersummen assoziiert mit perversen Garben auf dem gespaltenen $d$-dimensionalen Torus $\mathbb{G}_m^d$ über endlichen Körpern zu etablieren. Konkret wird ein uniformes stratifiziertes generisches Verschwindungstheorem bewiesen, dessen Schranken nur von der Dimension $d$ und der Komplexität der Garbe (im Sinne von Sawin) abhängen, anstatt von der spezifischen Charakteristik des Körpers oder der Primzahl $\ell$.

Diese Verschwindungstheoreme beschreiben den Locus der Charaktere $\chi$, für die der Forget-Supports-Morphismus $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ kein Isomorphismus ist. Während generisches Verschwinden zuvor durch Gabber–Loeser (unter der Bedingung der Auflösung von Singularitäten) und später bedingungslos durch Forey–Fresán–Kowalski (FFK) etabliert wurde, lieferten diese Ergebnisse keine uniformen quantitativen Schranken für die Anzahl der endlichen Körper-Charaktere in diesen schlechten Loci, wenn die Kardinalität des Körpers wächst.

Die Autoren streben an, Äquidistributionstheoreme für diese Charaktersummen auf beliebige Sequenzen von endlichen Körpern mit wachsender Kardinalität zu erweitern, wobei auch die Charakteristik variieren kann. Vorherige Ergebnisse von Katz (für $d=1$) und FFK (für zusammenhängende kommutative Gruppen) waren entweder auf feste Objekte über variierenden Erweiterungen oder auf bedingte Ergebnisse für höhere Dimensionen ($d \ge 2$) beschränkt.

Methodik
Die Beweisstrategie stützt sich auf drei Hauptkomponenten: eine uniforme Mellin-Abschätzung für eine Koordinate, Induktion über die Dimension des Torus und eine Tannakische Deduktion für die Äquidistribution.

1. Uniforme Mellin-Abschätzung für eine Koordinate:
   Die zentrale technische Innovation ist eine quantitative Schranke für die Menge der „exceptional“ Charaktere für eine einzelne multiplikative Variable. Durch die Zerlegung $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$ analysieren die Autoren die relativen direkten Abbildungen einer perversen Garbe, die mit einem Charakter des ersten Faktors verdreht ist.

   • Sie nutzen das Lokalisierungstriangle, um das Versagen des Forget-Supports-Morphismus mit den Rand-Stalks bei $0$ und $\infty$ in Beziehung zu setzen.
   • Diese Rand-Stalks werden als die kontinuierliche Inertia-Kohomologie von relativen Nearby-Cycle-Komplexen identifiziert.
   • Unter Verwendung der $\ell'$-Verschwindung der Inertia-Kohomologie (Anhang B) und der Injektivität der Abbildung $\lambda \mapsto \lambda_x(\tau_x)$ (wobei $\tau_x$ ein topologischer Generator der tamen Inertia ist), zeigen sie, dass die exceptional Charaktere den Monodromie-Eigenwerten auf diesen Nearby-Cycle-Komplexen entsprechen.
   • Entscheidend ist, dass sie die Anzahl solcher Eigenwerte allein in Abhängigkeit von der Komplexität $cu(A)$ und der Dimension $d$ beschränken, wobei sie die Verwendung von de Jongs Alterationen oder der Auflösung von Singularitäten vermeiden, die andernfalls nicht-uniforme Konstanten eingeführt hätten.

2. Induktion über die Dimension:
   Die Autoren beweisen die Haupttheoreme durch Induktion über $d$.

   • Theorem 1.1 (Uniforme Punktzählung): Für einen Komplex $K$ ist die Größe des Supports $\Delta(K)$ des Kegels des Mellin-Vergleichsmorphismus durch $O(q^{n(d-1)})$ beschränkt. Der Induktionsschritt nutzt die relative Mellin-Transformation, um das Problem von Dimension $d$ auf $d-1$ zu reduzieren. Für nicht-exceptional Charaktere reduziert sich das Problem auf den Fall niedrigerer Dimension; für exceptional Charaktere ist die Schranke trivial, aber kontrolliert durch die Komplexität.
   • Theorem 1.2 (Stratifizierte Punktzählung mit beschränkter Komplexität): Dies verfeinert das Ergebnis auf spezifische Kohomologiegrade $i$. Die Autoren nutzen die perverse Spektralsequenz, um Kohomologie-Sprünge in Grad $i$ auf $\mathbb{G}_m^d$ mit Sprüngen in den Graden $i$ und $i-1$ auf $\mathbb{G}_m^{d-1}$ für die perversen Kohomologiegarben der relativen direkten Abbildungen in Beziehung zu setzen. Dies ermöglicht es, die induktive Schranke $O(q^{n(d-i)})$ beizubehalten.

3. Tannakische Deduktion:
   Das Äquidistributionsresultat (Korollar 1.4) wird mittels der Tannakischen Formalismen von FFK abgeleitet.

   • Die Autoren etablieren, dass der unramifizierte Locus $X(M_0)$ generisch ist (Theorem 1.3), indem sie ihn mit dem Support $\Delta(L)$ eines spezifischen Objekts $L = M \oplus M^\vee$ in Beziehung setzen.
   • Unter Verwendung des Weyl-Kriteriums zeigen sie, dass die Frobenius-Konjugationsklassen äquidistribuieren in der maximal kompakten Untergruppe der Tannakischen Gruppe. Die uniformen Schranken aus den Theorem 1.2 und 1.3 stellen sicher, dass die „schlechten“ Charaktere (bei denen die Kohomologie in Nicht-Null-Graden nicht verschwindet oder wo Ramifikation auftritt) im Vergleich zur Gesamtzahl der Charaktere, wenn die Feldgröße gegen Unendlich geht, vernachlässigbar sind.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.1 (Uniforme stratifizierte generische Verschwindung): Beweist, dass für jedes $d \ge 1$ eine Funktion $\Phi_d^\Delta$ existiert, so dass für jeden endlichen Körper $k$, jede Primzahl $\ell \neq \text{char}(k)$ und jeden Komplex $K$ mit beschränkter Komplexität $C$, die Anzahl der Charaktere $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$, für die der Forget-Supports-Morphismus kein Isomorphismus ist, durch $\Phi_d^\Delta(C) q^{n(d-1)}$ beschränkt ist.
• Theorem 1.2 (Punktzählung mit beschränkter Komplexität): Beweist, dass für eine perverse Garbe $A$ der Komplexität $C$ die Anzahl der Charaktere, bei denen die Kohomologie $H^i_c$ oder $H^i$ nicht null ist, durch $\Psi_d(C) q^{n(d-i)}$ beschränkt ist. Dies liefert die notwendigen uniformen Schranken für die stratifizierten Verschwindungsloci.
• Theorem 1.3 (Unramifizierte Punktzählung): Bestimmt den Komplementär des unramifizierten Locus für ein arithmetisch semisimples Objekt als $O(q^{n(d-1)})$, uniform in der Charakteristik und $\ell$.
• Korollar 1.4 (Äquidistribution): Beweist ein Äquidistributionstheorem für Sequenzen von perversen Garben beschränkter Komplexität mit einer gemeinsamen Tannakischen Monodromiegruppe. Wenn die Kardinalität der endlichen Körper gegen Unendlich geht, äquidistribuieren die Frobenius-Konjugationsklassen in der Menge der Konjugationsklassen einer maximal kompakten Untergruppe der Tannakischen Gruppe.

Bedeutung
Das Paper behauptet, den offenen Fall der horizontalen Äquidistribution für Tori der Dimension $d \ge 2$ zu lösen, den Forey–Fresán–Kowalski hinterlassen haben. Während FFK die Struktur der schlechten Loci bedingungslos etabliert haben, blieb ihr Äquidistributionstheorem für $d \ge 2$ von uniformen Schranken für diese Loci abhängig. Diese Arbeit liefert jene Schranken und macht das Äquidistributionstheorem für $\mathbb{G}_m^d$ bedingungslos.

Darüber hinaus generalisieren die Ergebnisse das Äquidistributionstheorem von Katz (ursprünglich für $d=1$) auf beliebige Sequenzen von endlichen Körpern, einschließlich jener, in denen die Charakteristik variiert. Die Konstanten in den Schranken hängen nur von der Dimension und der Komplexität der Garbe (im Sinne von Sawin) ab, was die Uniformität über variierende Charakteristiken und Primzahlen $\ell$ hinweg gewährleistet. Diese Uniformität wird erreicht, ohne auf die Auflösung von Singularitäten oder de Jongs Alterationen zurückzugreifen, die typischerweise Konstanten liefern würden, die von der spezifischen Geometrie der Varietät statt nur von deren Komplexität abhängen.

Die Arbeit vereinigt somit die Theorie des generischen Verschwindens und der Äquidistribution für Tori und bietet einen robusten Rahmen für die Analyse von Exponentialsummen und Charaktersummen in Familien über variierenden endlichen Körpern.