Holonomic étale sheaves are constructible

Technische Zusammenfassung: Holonome Étale-Garben sind konstruierbar

Problemstellung
Die Arbeit befasst sich mit der Beziehung zwischen den Begriffen der „Konstruierbarkeit“ und der „Holonomizität“ von Étale-Garben auf algebraischen Varietäten. Im Kontext von $\mathcal{D}_X$-Moduln auf komplexen Mannigfaltigkeiten stellt Kashiwaras Theorem fest, dass holonome Module konstruierbar sind. In der algebraischen Einstellung bewies Beilinson zuvor, dass jede konstruierbare Étale-Garbe eine singuläre Unterstützung besitzt, deren irreduzible Komponenten die Dimension der zugrunde liegenden Scheme haben (was konstruierbare Garben effektiv charakterisiert, obwohl er Holonomizität für nicht-konstruierbare Garben nicht explizit definierte).

Das zentrale Problem, das hier angegangen wird, ist die Umkehrung: Kann man einen Begriff von Holonomizität für Étale-Garben definieren, ohne a priori Konstruierbarkeit vorauszusetzen, und impliziert diese Definition Konstruierbarkeit? Die Autoren zielen darauf ab, zu zeigen, dass holonome Étale-Garben tatsächlich konstruierbar sind, und damit ein Étale-Analogon zu Kashiwaras Theorem zu liefern.

Methodik
Die Autoren entwickeln ein Framework für die „Mikro-Unterstützung“ (Singular Support) für beliebige Étale-Garben und erweitern damit Beilinsons Konstruktion, die ursprünglich Konstruierbarkeit voraussetzte. Die Methodik verläuft durch die folgenden Schritte:

1. Geometrische Grundlagen (Abschnitte 1–3): Die Arbeit etabliert die notwendige geometrische Sprache bezüglich abgeschlossener konischer Teilmengen der Kotangentialbündel $T^*X$. Sie definiert und analysiert zwei Schlüssel-Eigenschaften von Morphismen relativ zu einer konischen Teilmenge $C$:

   • $C$-Transversalität: Eine Bedingung auf einen Morphismus $h: W \to X$ bezüglich des Schnitts des Rückbilds von $C$ mit dem Kern der Kotangentenabbildung.
   • $C$-Azyklizität: Eine Bedingung auf ein Paar von Morphismen $(h, f)$, die die Azyklizität von $f$ relativ zur Vorwärtsabbildung von $C$ betrifft.
     Diese Konzepte sind aus Beilinsons Arbeit adaptiert, werden jedoch rigoros definiert, ohne die Beteiligten als konstruierbar vorauszusetzen.

2. Definition der Mikro-Unterstützung (Abschnitt 4): Die Autoren definen eine Garbe $F$ als mikro-unterstützt auf einer abgeschlossenen konischen Teilmenge $C \subset T^*X$, wenn für jedes $C$-azyklische Paar von Morphismen $(h, f)$ der Morphismus $f$ lokal azyklisch relativ zum Rückbild $h^*F$ ist. Diese Definition generalisiert den Begriff der Mikro-Unterstützung auf nicht-konstruierbare Garben. Zentrale Lemmata etablieren das Verhalten der Mikro-Unterstützung unter Operationen wie Rückbilden, Vorwärtsabbildungen und distinkten Dreiecken.

3. Existenz der singulären Unterstützung (Abschnitt 5): Die Autoren beweisen, dass für jede Garbe $F$ auf einer glatten Scheme $X$ eine eindeutige minimale abgeschlossene konische Teilmenge $SSF$ (die singuläre Unterstützung) existiert, sodass $F$ auf ihr mikro-unterstützt ist.

   • Der Beweis beruht auf der Reduktion des Problems auf den Fall, dass $X$ ein projektiver Raum $\mathbb{P}^n$ ist.
   • Die Radon-Transformation und die Legendre-Transformation werden eingesetzt, um die Mikro-Unterstützung auf projektiven Räumen zu analysieren. Insbesondere nutzen die Autoren die Geometrie der Inzidenzvarietät $Q \subset \mathbb{P} \times \mathbb{P}^\vee$ und die Eigenschaften der Radon-Transformation $R$ und ihrer Inversen $R^\vee$, um die Mikro-Unterstützung einer Garbe mit der ihrer Transformation in Beziehung zu setzen.
   • Dieser Abschnitt zeigt, dass die singuläre Unterstützung auch ohne die Annahme der Konstruierbarkeit existiert, ein Punkt, den auch Tong Zhou aufgeworfen hatte.

4. Holonomizität und Konstruierbarkeit (Abschnitt 6):

   • Definition: Eine Garbe $F$ wird als holonom definiert, wenn (1) ihre singuläre Unterstützung $SSF$ die Bedingung $\dim SSF \leq \dim X$ erfüllt und (2) der Stängel $F_x$ für jeden geometrischen Punkt $x$ konstruierbar ist.
   • Haupttheorem: Die Autoren beweisen, dass wenn $F$ holonom ist, dann $F$ konstruierbar ist.
   • Beweisstrategie: Der Beweis erfolgt durch Induktion über $\dim X$. Er nutzt die Tatsache, dass eine holonome Garbe auf einer dichten offenen Teilmenge lokal konstant ist (mikro-unterstützt auf der Nullsektion). Durch die Analyse des distinkten Dreiecks, das mit dem Komplement dieser offenen Menge assoziiert ist, und unter Verwendung des Induktionsschlusses zeigen die Autoren, dass die Garbe überall konstruierbar sein muss. Das Argument wird zuerst für perfekte Körper etabliert und dann mittels Basisaustausch zum perfekten Abschluss auf allgemeine Körper ausgeweitet.

Zentrale Beiträge und Ergebnisse

• Definition der Holonomizität: Die Arbeit führt eine rigorose Definition der Holonomizität für Étale-Garben ein, die die Konstruierbarkeit nicht voraussetzt.
• Existenz der singulären Unterstützung: Sie stellt die Existenz der singulären Unterstützung $SSF$ für beliebige Garben (nicht nur konstruierbare) sicher und löst damit eine Frage bezüglich der Notwendigkeit der Konstruierbarkeitsannahme für die Existenz von $SSF$.
• Haupttheorem (Theorem 6.3): Das zentrale Ergebnis ist die Umkehrung von Beilinsons Theorem: Holonome Étale-Garben sind konstruierbar.
  • Konkret gilt: Wenn $\dim SSF \leq \dim X$ und alle Stängel konstruierbar sind, dann ist die Garbe selbst konstruierbar.
• Erweiterung auf singuläre Schemen: Der Begriff der Holonomizität wird auf Garben auf singulären Schemen via abgeschlossener Einbettungen in glatte Schemen erweitert, wobei bewiesen wird, dass diese Definition unabhängig von der Einbettung ist.
• Stabilität: Die Arbeit bestätigt, dass die Kategorie der holonomen Garben unter Standardoperationen (direkte Bilder, inverse Bilder, wohldefinierte direkte Bilder mit kompakter Unterstützung) für Morphismen endlicher Typen stabil ist.

Signifikanz
Die Arbeit beansprucht ihre Bedeutung als Étale-Analogon zu Kashiwaras Theorem über holonome $\mathcal{D}_X$-Moduln. So wie Kashiwaras Theorem besagt, dass holonome $\mathcal{D}$-Moduln konstruierbare Kohomologie besitzen (ein Schlüsselelement der Riemann-Hilbert-Korrespondenz), besagt dieses Werk, dass holonome Étale-Garben konstruierbar sind.

Die Autoren merken an, dass dieses Resultat einen robusten Ersatz für den „unzureichenden Begriff der Konstruierbarkeit“ in Kontexten wie starren Varietäten bietet, in denen ein ähnlicher Begriff der Holonomizität erwartet wird. Die Arbeit baut direkt auf Beilinsons grundlegendem Artikel [3] auf, indem sie die Definitionen verfeinert, um die a priori Konstruierbarkeitsannahme zu entfernen, und beweist, dass die geometrische Bedingung einer „kleinen“ singulären Unterstützung (Dimension $\leq \dim X$) zusammen mit punktweiser Konstruierbarkeit ausreicht, um globale Konstruierbarkeit zu garantieren.