Derived Geometric Methods in Supergeometry: Transmutations and their Cohomology

技術要約：超幾何学における派生幾何学的手法：トランスミューテーションとそのコホモロジー

問題提起
本論文は、派生代数幾何学（DAG）の道具を用いて、超幾何学の基礎的な発展に取り組むものである。超幾何学は伝統的に、通常の代数幾何学の一次の厚み（$\mathbb{Z}_2$-次数付き可換環を伴うもの）と見なされる一方で、DAGは全次数の厚み（派生環を伴うもの）として捉えられるが、著者は両者の間に深い構造的および範疇的な類似性があることを主張している。中心となる問題は、$\infty$-範疇およびDAGの機構を用いることで、超幾何学の発展、特に超スタック上のコホモロジーおよび層（D加群、局所系、ヒッグス束）の分類を効率化できることを示すことである。具体的には、超構造（superstructure）のコホモロジー的検出可能性に関する古典的な問いを解決し、ペンコフの定理（D加群に関するもの）やベイリンソン・ベルンシュタインの局在化定理といった分野の確立された定理に対して、新たな幾何学的証明を提供することを目指している。

方法論
手法は、$\infty$-範疇の言語を用いて、派生代数幾何学の概念を$\mathbb{Z}_2$-次数付きの超幾何学的設定へと体系的に翻訳することに基づいている。

1. $\infty$-範疇的枠組み： 本論文は、ホモトピー的整合性を扱うための「ブラックボックス」として、現代的な$\infty$-範疇（準カテゴリー）の定式化を採用している。1-範疇的な概念（極限、余極限、随伴）と$\infty$-範疇的な対応概念との間の辞書を確立し、「アニメーション（animation）」の概念を利用して、代数的範疇（超環上の加群のような）を派生的な$\infty$-範疇的バージョンへと持ち上げる。
2. 超スタックと降下（Descent）： 著者は、超スタック（平坦/fpqc位相におけるアフィン超スキームの圏上の層）の理論を、anima（アニマ）の準層のフル部分圏として展開する。確立された主要な技術的ツールは以下の通りである：
   • **準連接層（$QCoh$）：** 超加群の圏の右カンの延長および安定化を通じて定義され、$\infty$-範疇的な設定との互換性を保証する。
   • 降下と基底変換： $QCoh$が忠実平坦な射に対して降下を満たすこと、およびスキーム的、準コンパクト、かつ準分離（qcqs）な射に関する基底変換定理を証明する。
   • リコレルマン（Recollement）： 超スタックに関する開・閉分解定理を確立し、空間、開部分スキーム、および閉部分スキームへの形式的完備化に関する圏の関係を記述する。
3. トランスミューテーション・スタック： 本論文は、シンプソンの古典的な「トランスミューテーション」スタック（ベッティ、ド・ラム、およびドゥラングレット）を超幾何学の設定に適応させている。これらは、特定の種類の層の幾何学的実現として定義される：
   • ド・ラム・スタック（$X_{dR}$）： $X_{dR}(S) = X(S_{br})$（ここで $S_{br}$ は簡約されたボゾン的切断）という点付き関手によって定義される。
   • ベッティ・スタック（$X_B$）： 解析化のホモトピー型によって定義される。
   • ドゥラングレット・スタック（$X_{Dol}$）： $X$ と、その接束の零切断沿いの形式的完備化との商として定義される。

主要な貢献と結果
本論文は具体的な技術的貢献を行い、以下の主要な結果を証明している：

• 基礎理論： 超スタック上の準連接層の派生圏に関する自己完結的な展開を提供し、降下、基底変換、およびリコレルマンの定理（命題1.5、定理1.6、1.7）の証明を含む。また、スタックと超スタックの間の随伴を構成し、通常のスタックの超スタックへの包含が、ボゾン的切断による右随伴を持つ完全忠実な埋め込みであることを証明する（定理1.8）。
• 前超スタックに対するペンコフの定理： 前超スタック $X$ 上のクリスタル（ド・ラム・スタック上の準連接層）の圏が、そのボゾン的切断 $X_{bos}$ 上のクリスタルの圏と等価であることを証明する（定理1.1）。これは、超スキームのド・ラム・スタックが、その基礎となるボゾン的切断のド・ラム・スタックと同一であるという観察によって達成される。
• コホモロジーの同型： 滑らかな超スキーム $X$ に対して、そのド・ラム・コホモロジーが基礎となるボゾン多様体のド・ラム・コホモロジーと同型であることを確立する（定理1.2）。これは、スペクトル系列の議論を避け、ド・ラム・スタックの幾何学的同一性を介して証明される。
• D加群とクリスタル： 滑らかなデリンニュ・モドゥルネ超スタックにおいて、クリスタルの圏がD加務の圏と等価であることを示す認識定理を証明する（定理4.19）。これにより、超幾何学の設定における（DAGからの）クリスタルの定義を、古典的なD加務の定義の代替として用いることの妥当性が検証される。
• ベイリンソン・ベルンシュタイン局在化： 準簡約代数超群に対する局在化定理の簡略化された証明を提供し、$DMod(G/B) \simeq (U(\mathfrak{g}_0)/\ker(\chi))\text{-Mod}$ であることを示す（定理1.3）。
• ドゥラングレット・スタックと冪零性： ドゥラングレット・スタックが、超幾何学的データを本質的に捉える唯一のトランスミューテーション・スタックであることを示す。具体的には、純粋に奇数次元の滑らかなスキームに対して、冪零ドゥラングレット・スタックは標準的なドゥラングレット・スタックと同型である（定理1.4）。これは、超幾何学における奇数方向のヒッグス場が必然的に冪零であることを意味する。
• ヒッグス層： ドゥラングレット・スタック上の準連接層の圏が、ヒッグス束の圏と一致することを特定する（定理4.30）。

意義
本論文は、主に以下の2つの領域において重要性を主張している：

1. 構造的統一： 超幾何学をDAGの変種として扱うことで、派生代数幾何学の一般的な機構を導入することによって、超幾何学を効率的に展開できることを示している。超幾何学をDAGの一種として扱うことにより、基礎的な証明（降下、基底変換）を体系的に適応でき、場当たり的な超幾何学的議論の必要性を減らせることを示している。
2. 幾何学的洞察： 古典的な結果に対して、概念的に透明な証明を提供する。例えば、超多様体のド・ラム・コホモロジーと基礎となるボゾン多様体の間の等価性は、複雑なコホモロジー計算の結果ではなく、それらのド・ラム・スタックの幾何学的同一性の直接的な帰結として示される。さらに、本論文はコホモロジーにおける超構造の役割を明確にしている。標準的なコホモロジー不変量（ド・ラム、ベッティ）はしばしば超構造を検出できず（ボゾン的なケースに崩壊する）、ドゥラングレット・スタックは奇数方向に関する特定の情報を保持し、それが冪零ヒッグス場として現れることを明らかにしている。

本研究は、派生代数幾何学（Lurie, Bhatt, Hesselholt-Pstrągowskiなど）の文献と超幾何学との間の架け橋となり、古典的な問題に対して現代的な$\infty$-範疇的な視点を提供している。