Artin-Schreier Root Stacks and lifts of group actions

技術的要約：アルティン・シュライヤー・ルートスタックと群作用の持ち上げ

問題設定
標数ゼロにおいて、滑らかなオービフォールド曲線は、その粗モジュライ空間上のルートスタックとしてよく理解されており、粗曲線と巡回的なスタビライザー群によって一意に決定される。しかし、標数 $p > 0$ の場合、スタビライザー群が非巡回または非アーベル的になり得るため、この分類は成立しない。Kobinによって導入されたアルティン・シュライヤー・ルートスタックは、標数ゼロの場合と並行して、ワイルド分岐の位数 $p$ を持つスタッキーな曲線を分類するための枠組みを提供するが、これらのスタックにおける群作用の振る舞いは未解決の問題である。具体的には、連結なアフィン代数群 $G$ が標数 $p$ における滑らかな射影多様体 $X$ に作用しているとき、その作用が関連するアルティン・シュライヤー・ルートスタックへと持ち上がるための条件は、直ちには明らかではない。さらに、これらのスタック上の可逆層に対する両立的な線形化の存在についても調査が必要である。

手法
著者らは、持ち上げ問題を解決するために、代数スタックと正規化の理論を用いる。手法は主に以下の3つの段階で進行する：

1. スタックの構成： 本論文では、普遍的なアルティン・シュライヤー被覆 $\wp_m: [\mathbb{P}(1, m)/\mathbb{G}_a] \to [\mathbb{P}(1, m)/\mathbb{G}_a]$ を含むプルバック図式の正規化として、アルティン・シュライヤー・ルートスタック $\wp^{-1}_m((L, s, f)/X)$ を用いる定義を利用する。このスタックは、ラインバンドル $L$、切断 $s$（因子 $D$ を定義する）、および $L^{\otimes m}$ の切断 $f$ によって定義される（ここで $m$ は $p$ と互いに素である）。
2. 正規化による持ち上げ： $X$ からルートスタックへの $G$-作用を持ち上げるために、著者らはまず、正規化されていないプルバックスタック $X_m$ 上の作用を構成する。彼らは、$L$ の $G$-線形化と切断 $s$ および $f$ の不変性を利用して、スキーム $T$ 上のファイバー・グロイドの対象と射に対する作用を定義する。
3. 正規化の性質の適用： 一度 $X_m$ 上の作用が確立されたら、著者らは [AB] (Proposition A.6) の結果を援用する。これは、局所ネーター的な代数スタックの射は、誘導された点への写像が既約成分上で優（dominant）であるならば、その正規化への一意な射を誘導することを示している。$G$ は滑らかで連結であるため、$G \times X_m$ の正規化は $G \times X_m^\nu$ と同型であり、これにより作用は正規化されたアルティン・シュライヤー・ルートスタック $X_m^\nu$ へと降下させることができる。

主要な貢献と結果

• 定理 3.10（群作用の持ち上げ）： 主要な結果は、滑らかな射影多様体 $X$ 上の $G$-作用をそのアルティン・シュライヤー・ルートスタック $X_m^\nu$ へ持ち上げるための判定基準を確立する。この定理は以下を要求する：

  • $G$ は非自明な指標を持たない連結アフィン代数群である（例：連結な半単純群）。
  • 有効なカルティエ因子 $D$（$s$ の零点集合によって定義される）は $G$-不変である。
  • 切断 $f \in H^0(X, L^{\otimes m})$ は $s$ と共通の零点を持たず、かつ $mD$への制限が$L^{\otimes m}|_{mD}$上の誘導された$G$-線形化の下での不変な切断である。
    これらの条件下で、$X$ 上の $G$-作用は $X_m^\nu$ 上の $G$-作用へと持ち上がる。

• 定理 4.6（トートロジー的層の線形化）： 本論文は、$\pi: X_m^\nu \to X$ を粗モジュライ写像として、$N^{\otimes p} \cong \pi^*L$ を満たすアルティン・シュライヤー・ルートスタック上のトートロジー的可逆層 $N$ の存在を証明する。極めて重要なことに、著者らは、持ち上げられた $G$-作用がこの層 $N$ 上に $G$-線形化を持つことを示している。

意義と主張
本論文は、正標数におけるワイルド分岐とアルティン・シュライヤー拡大の構造に起因する制約に対処しつつ、アルティン・シュライヤー・ルートスタック上の群作用を研究するための必要な枠組みを提供すると主張している。持ち上げの基準と線形化されたトートロジー的層の存在を確立することで、本研究はこれらのスタックの等変的な研究への道を開くものである。著者らは、ルートスタック上のベクトルバンドルが粗モジュライ空間上の放物型バンドルに関連するという標数ゼロの場合の例と同様に、これらの結果が、等変的な観点からアルティン・シュライヤー・ルートスタック上の層の研究を容易にする可能性があることを示唆している。本研究は、ワイルド分岐とアルティン・シュライヤー拡大の構造によって課される特有の制約に対処しながら、標数ゼロの技法（特に [CP] を参照）をより複雑な正標数の設定へと直接拡張したものとして提示されている。