Artin-Schreier Root Stacks and lifts of group actions

Technische Zusammenfassung: Artin-Schreier-Wurzelstacks und Hebung von Gruppenaktionen

Problemstellung
In Charakteristik Null sind glatte Orbifold-Kurven gut verstanden als Wurzelstacks über ihren groben Modulräumen, die eindeutig durch ihre groben Kurven und zyklische Stabilisatorgruppen bestimmt werden. In positiver Charakteristik $p > 0$ versagt diese Klassifizierung jedoch, da Stabilisatorgruppen nicht-zyklisch oder nicht-abelsch sein können. Während Artin-Schreier-Wurzelstacks, eingeführt von Kobin, einen Rahmen zur Klassifizierung von stacky-Kurven mit wilder Ramifizierung der Ordnung $p$ bieten (was dem Fall in Charakteristik Null parallelisiert), bleibt das Verhalten von Gruppenaktionen auf diesen Stacks eine offene Frage. Konkret ist bei einer zusammenhängenden affinen algebraischen Gruppe $G$, die auf einer glatten projektiven Varietät $X$ in Charakteristik $p$ wirkt, nicht unmittelbar klar, unter welchen Bedingungen diese Wirkung auf den zugehörigen Artin-Schreier-Wurzelstack gehoben werden kann. Des Weiteren erfordert die Existenz kompatibler Linearisierungen für invertible Garben auf diesen Stacks unter den gehobenen Wirkungen eine Untersuchung.

Methodik
Die Autoren nutzen die Theorie algebraischer Stacks und der Normalisierung, um das Hebungsproblem anzugehen. Die Methodik vollzieht sich in drei Hauptstadien:

1. Konstruktion des Stacks: Das Paper nutzt die Definition des Artin-Schreier-Wurzelstacks $\wp^{-1}_m((L, s, f)/X)$ als Normalisierung eines Pullback-Diagramms unter Verwendung der universellen Artin-Schreier-Überlagerung $\wp_m: [\mathbb{P}(1, m)/\mathbb{G}_a] \to [\mathbb{P}(1, m)/\mathbb{G}_a]$. Der Stack ist definiert durch eine Linienbundel $L$, eine Sektion $s$ (die einen Divisor $D$ definiert) und eine Sektion $f$ von $L^{\otimes m}$, wobei $m$ koprim zu $p$ ist.
2. Hebung via Normalisierung: Um die $G$-Wirkung von $X$ auf den Wurzelstack zu heben, konstruieren die Autoren zunächst eine Wirkung auf dem unnormalisierten Pullback-Stack $X_m$. Sie definieren die Wirkung auf den Objekten und Morphismen der Fiber-Groupoid über einem Schema $T$ unter Verwendung der $G$-Linearisierung des Linienbundels $L$ und der Invarianz-Eigenschaften der Sektionen $s$ und $f$.
3. Anwendung von Normalisierungseigenschaften: Sobald die Wirkung auf dem unnormalisierten Stack $X_m$ etabliert ist, berufen sich die Autoren auf ein Resultat aus [AB] (Proposition A.6), welches besagt, dass ein Morphismus lokaler noetherscher algebraischer Stacks einen eindeutigen Morphismus auf deren Normalisierungen induziert, sofern die induzierte Abbildung auf die Punkte dominant auf irreduzible Komponenten ist. Da $G$ glatt und zusammenhängend ist, ist die Normalisierung von $G \times X_m$ isomorph zu $G \times X_m^\nu$, was erlaubt, dass die Wirkung auf den normalisierten Artin-Schreier-Wurzelstack $X_m^\nu$ herabsinkt.

Zentrale Beiträge und Resultate

• Theorem 3.10 (Hebung von Gruppenaktionen): Das primäre Resultat etabliert ein Kriterium für das Heben einer $G$-Wirkung auf eine glatte projektive Varietät $X$ auf ihren Artin-Schreier-Wurzelstack $X_m^\nu$. Das Theorem setzt voraus:

  • $G$ ist eine zusammenhängende affine algebraische Gruppe mit keinen nicht-trivialen Charakteren (z. B. zusammenhängende semisimple Gruppen).
  • Der effektive Cartier-Divisor $D$ (definiert durch die Nullstelle von $s$) ist $G$-invariant.
  • Die Sektion $f \in H^0(X, L^{\otimes m})$ hat keine gemeinsamen Nullstellen mit $s$, und ihre Restriktion auf den Divisor $mD$ ist eine invariante Sektion unter der induzierten $G$-Linearisierung auf $L^{\otimes m}|_{mD}$.
    Unter diesen Bedingungen lässt sich die $G$-Wirkung auf $X$ zu einer $G$-Wirkung auf $X_m^\nu$ heben.

• Theorem 4.6 (Linearisierung der tautologischen Garbe): Das Paper beweist die Existenz einer tautologischen invertiblen Garbe $N$ auf dem Artin-Schreier-Wurzelstack $X_m^\nu$, so dass $N^{\otimes p} \cong \pi^*L$ gilt, wobei $\pi: X_m^\nu \to X$ die grobe Moduli-Abbildung ist. Entscheidend ist, dass die Autoren zeigen, dass die gehobene $G$-Wirkung auf $X_m^\nu$ eine $G$-Linearisierung auf dieser Garbe $N$ besitzt.

Bedeutung und Ansprüche
Das Paper beansprucht, einen notwendigen Rahmen für das Studium von Gruppenaktionen auf Artin-Schreier-Wurzelstacks zu liefern, welche essenziell für das Verständnis von stacky-Kurven mit wilder Ramifizierung in positiver Charakteristik sind. Durch die Etablierung der Hebungskriterien und der Existenz linearisierter tautologischer Garben öffnet die Arbeit die Tür für equivariant Studien dieser Stacks. Die Autoren legen nahe, dass – analog zum Fall in Charakteristik Null, in dem Vektorbündel auf Wurzelstacks mit parabolischen Bündeln auf der groben Moduli-Varietät in Beziehung stehen – diese Ergebnisse die Untersuchung von Garben auf Artin-Schreier-Wurzelstacks aus einer equivarianten Perspektive erleichtern können. Die Arbeit wird als direkte Erweiterung von Techniken präsentiert, die in Charakteristik Null verwendet wurden (speziell unter Bezugnahme auf [CP]), wobei die spezifischen Beschränkungen adressiert werden, die durch wilde Ramifizierung und die Struktur der Artin-Schreier-Erweiterung auferlegt werden.