Supermoduli spaces are non-projected in every genus $g\geq 3$

技術要約：種数 $g \ge 3$ における超モジュライ空間の非射影性

問題設定
本論文は、滑らかな無穿孔の超リーマン面（スピン・パリティ $\varepsilon \in \{+, -\}$）の超モジュライ・スタック $\mathcal{M}^{\varepsilon}_g$ の大域的な幾何学的構造を扱うものである。超幾何学における中心的な問いは、これらの超多様体が「射影的（projected）」であるか、あるいは「分裂的（split）」であるかという点である。超多様体が射影的であるとは、その簡約されたモジュライ空間（スピン曲線のモジュライ空間 $\mathcal{S}^{\varepsilon}_g$）へのレトラクションが存在することを指す。また、その構造層が簡約化された余接束の外積代数と同型である場合、その超多様体は分裂的であると言われる。

これらの空間の局所的な変形理論は障害がない（unobstructed）が、大域的な射影の存在は主要なコホモロジー類 $\omega_2(\mathcal{M}^{\varepsilon}_g) \in H^1(\mathcal{S}^{\varepsilon}_g, \text{Hom}(\wedge^2 T^- \mathcal{M}^{\varepsilon}_g, T^+ \mathcal{M}^{\varepsilon}_g))$ によって阻害される。先行研究では、$g=2$ の場合は両方のパリティにおいて分裂的であることが確立されている。$g \ge 5$ では非射影性が既知であり、偶数種数の $g=4$ のケースも解決済みであった。閾値となる種数 $g=3$（および奇数種数の $g=4$）のケースは未解決のままであった。著者らは、すべての $g \ge 3$ において、代数的なカテゴリーおよびホロモーフィックなカテゴリーの両方で、両方のパリティ成分が非射影的かつ非分裂的であることを証明することを目的としている。

手法
証明は、退化手法、形式的変形理論、および代数・解析比較定理を組み合わせた多段階の議論によって進められる。

1. 境界退化とテスト・ファミリー:
   著者らは、「中心ソース」となる超スキーム $Z^{\varepsilon}_{\eta}$ から、安定な超モジュライ空間の分離ネーヴ・シュワルツ（Neveu–Schwarz）境界因子 $D$ への特定の射を構成する。

• 核（Core）: ソースは、不等価な偶スピン特性 $L$（ここで $H^0(C, L) = H^1(C, L) = 0$）を備えた種数 $h = g-1$ の曲線 $C$ に基づいて構築される。
• 尾部（Tail）: ノードにおいて楕円成分が付着される。この尾部のスピン構造が、結果として得られる種数 $g$ の面のパリティ $\varepsilon$ を決定する。
• パリティの区別: 偶パリティ（$\varepsilon=+$）の場合、不変な障害を除去するために、楕円の尾部に動的なNS標識（marking）が含まれる。奇パリティ（$\varepsilon=-$）の場合、尾部は一定に保たれる。
• 中心類: $L$ の不等価性を用いることで、著者らはソースの主要な障害類が境界接束の中に単射的に写り、非ゼロの「中心比較類」$c^{\varepsilon}_{\eta}$ を与えることを示す。

2. 横断的形式的平滑化（Transverse Formal Smoothing）:
   横断的拡張の理論を用いて、境界に対して横断的な方向（ノードの平滑化）において、写像 $Z^{\varepsilon}_{\eta} \to D$ を形式的に拡張する。

• 著者らは、形式的円盤上の形式的族 $\widehat{Y}^{\varepsilon}_{\eta}$ を構成し、それを $D$ に沿った周囲の超スタックの形式的完備体へと写像する。
• 障害の消失: この拡張のための障害群が消滅することを証明することが、重要な技術的ステップである。有限群 $A \cong \mu_4$（楕円の尾上に作用する）の作用を分析し、コアに対するセールの双対性を利用することで、すべての形式的展開の次数において、すべての不変な障害類が消失することを示す。これにより、一貫した形式的平滑化の存在が保証される。

3. ローラン局所化と極の除去:
   境界から滑らかな軌道へと移行するために、境界パラメータ $t$ を反転させる。

• 著者らは、ローラン局所化の下での比較類の振る舞いを分析する。もしクラスが $t$ を反転させた後に消失するとすれば、その原始関数は極を持つ必要があることを証明する。
• パリティに関する対合による平均化、および関連する次数付き束の分析を通じて、負のべきを持つ非ゼロの不変大域切断は存在しないことを示す。したがって、いかなる原始関数も正則でなければならず、これは中心類の非消滅性と矛盾する。これにより、拡張が滑らかな軌道上で非分裂であることが確立される。

4. 代数的非消滅:
   もし滑らかな代数モジュライ空間 $\mathcal{M}^{\varepsilon}_g$ 上で主要な障害が消失していれば、分裂が存在することになる。しかし、この分裂は構築された形式的拡張へのローラン分裂へと引き戻されるが、これは前述のステップと矛盾する。ゆえに、$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0$ である。

5. 代数・解析比較:
   この結果をホロモーフィックなカテゴリーに拡張するため、著者らは一般的な比較定理（定理 1.2）を証明する。

• 補集合の余次元が少なくとも2となるような（トーリの射およびヤコビ軌道のサタケコンパクト化を用いる）、スピンレベル被覆のモジュライ空間の正規射影コンパクト化を構成する。
• このような多様体において、$H^1$ 上の解析化写像が単射であることを示す。これは、代数的な切断を余次元2の補集合にわたって連接反射層として拡張し、GAGAを適用することに基づいている。
• この単射性は、代数的な切断類が解析化の後でも非自明なままであることを保証する。

主な貢献と結果

• 主定理 (Theorem 1.1): すべての種数 $g \ge 3$ および両方のスピンパリティ $\varepsilon \in \{+, -\}$ について、主要な障害類は代数的およびホロモーフィックなカテゴリーの両方で非ゼロである：
  $$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0, \quad \omega^{\text{hol}}_2((\mathcal{M}^{\varepsilon}_g)^{\text{an}}) \neq 0.$$
  したがって、滑らかな無穿孔の超モジュライ空間は、射影的でも分裂的でもない。
• 種数3の閾値の解決: 本論文は、種数 $g=3$ における非射影性の最初の証明を提供し、この現象が発生する最小の種数を確定させた。
• 統一的な議論: 著者らは、楕円の尾を核に付着させるという単一の退化議論を用いており、これは楕円の自己同型の扱いのみが異なるものの、すべての $g \ge 3$ および両方のパリティに対して一様に適用される。
• 比較定理: 代数的な拡張類が、非固有な多様体であっても、解析化の後に非自明なままであるための十分な幾何学的条件（余次元2の補集合を持つ正規射影コンパクト化の存在）を確立している。

意義
本論文は、超モジュライ空間の全域的な幾何学における根本的な特徴を確立している。すなわち、局所的な変形理論には障害がないにもかかわらず、それらは古典的なスピン・スタックの上に非自明な全域的拡張データを持っているということである。この障害は、種数 $g \ge 3$ において、スピン曲線への大域的なホロモーフィック射影の存在を阻んでいる。

超モジュライ上の積分によって振幅が定義される超弦理論の摂動論の文脈において、この結果は、種数2で用いられている構成（超周期行列を介した大域的射影に基づくもの）が、高次種数へ一般化できないことを示唆している。この結果は、他の著者によって提案されたカイラル測度のモジュラー形式の候補を直ちに無効にするものではないが、同様の構成の基礎となるような大域的なホロモーフィック射影の存在を否定するものである。本研究は「グリーン・オブストラクション（Green obstruction）」の幾何学的性質を明確にし、安定範囲の種数2を超える領域全体において、スプリット・モデルが失敗することを確認している。