Genus 4 Supermoduli Space Is Not Projected

技術的要約：種数4のスーパーモジュライ空間は射影的ではない

問題提起
本論文は、滑らかな無穴の超リーマン面をパラメータ化する超モジュライスタック $\mathcal{M}_g$ の射影性（projectedness）を取り扱う。超多様体が「射影的」であるとは、その構造層の分裂（splitting）が存在し、実質的にその簡約化された空間上のベクトル束としてみなすことができることを意味する。以前の研究（cf. [4]）により、$\mathcal{M}_g$ は $g \geq 5$ において非射影的であることが確立されている。本研究で取り組む具体的な問題は、この非射影性が種数 $g=4$、具体的には偶スピン成分 $\mathcal{M}^+_4$ にも拡張されるかどうかを判定することである。

手法
著者らは、非射影性を証明するために障害理論（obstruction theory）を用いる。射影性に対する主要な障害は、クラス $\omega_2(S) \in H^1(M, T_M \otimes \Lambda^2 E^\vee)$ である（ここで $S$ は超多様体、$E^\vee$ は奇イデアルの双対）。このクラスが非ゼロであれば、その超多様体は非射影的である。

$\omega_2(\mathcal{M}^+_4) \neq 0$ を証明するために、著者らはモジュライ空間内に含まれる特定のコンパクトな曲線 $T$ への制限を用いる。手法は以下のステップに従う：

1. テスト・ファミリーの構成: 著者らは、底空間の曲線 $T$ 上の種数4の曲線の族 $(X_T, \eta)$ を構成する。これらの曲線は、固定された種数2の曲線 $C: y^2 = x^6 - 1$ の分岐二重被覆として定義される。分岐集合は、ペア $(p, \sigma p)$ からなる（ここで $\sigma$ は $C$ 上の位数6の不動点を持たない自己同型である）。この構成により、超リーマン面の族へと明示的に持ち上げる（lift）必要がなくなり、代わりにスピン・モジュライ空間 $SM^+_4$ 内で作業を行うことが可能となる。
2. 混合アティヤ・クラスへの還元: 障害クラス $\omega_2$ は、ベクトル束の拡大（extension）（すなわち「対角拡大」）によって表される。著者らは、この拡大の $J$-不変部分を孤立させる（ここで $J$ はデック（deck）対合の、スピン線束へのリフトである）。この拡大の中間層を対角の第2次近傍に制限し、その直接像を取ることで、問題を「クロスブロック（cross-block）」拡大の圏論的なプッシュアウトの計算へと還元する。
3. 固定された曲線への降下: 有限エタール写像 $h: T \to C$ を通じて、問題は固定された種数2の曲線 $C$ へと降下される。障害クラスは、$C \times C$ 上の特定の線束に関連する混合アティヤ・クラスの直接像として特定される。
4. 明示的なチェッ（Čech）計算: 障害の非消滅は、種数2の曲線 $C$ 上での明示的な計算へと還元される。これには、微分形式の基底に対する特定の自己同型 $\sigma$ の作用を利用しながら、カノニカル束の冪のコホモロジーから構成されるベクトル束に対する混合アティヤ・クラスの作用を計算することが含まれる。

主な貢献と結果

• 定理 1.1: 滑らかな無穴の種数4スーパーモジュライスタックの偶成分 $\mathcal{M}^+_4$ は射影的ではない。したがって、完全なスーパーモジュライスタック $\mathcal{M}_4$ も非射影的である。
• 技術的なショートカット: $g \geq 5$ の先行研究（具体的には [4]）では、曲線の族を超リーマン面の族へと持ち上げ、分岐点の制約（例：奇数次）を検証する必要があったが、本論文はこの持ち上げのステップを回避している。本論文は、スピン・モジュライ空間 $SM^+_4$ 内のコンパクトな曲線を用いて直接的に作業を行う。$SM^+_4$ は $\mathcal{M}^+_4$ へと写像するため、スピン曲線における障害の非消滅は、スーパーモジュライ空間の非射影性を意味する。
• 明示的な非消滅: 論文は、障害クラスの具体的な非ゼロの計算を提供している。曲線 $C$ のコホモロジーに対する自己同型 $\sigma$ の作用を分析することにより、著者らは、関連する拡大のクラスが分裂しないことを示す。具体的には、拡大の分裂を支配する方程式が、結果として得られる行列の右下ブロックにおいて矛盾（具体的には、残差クラス $\text{diag}(4, -4) \neq 0$）を生じるため、解を持たないことを証明している。

意義
本論文は、以前は $g \geq 5$ のみ知られていた非射影性の現象が、種数4においても発生することを確立した。これにより、スーパーモジュライ空間の幾何学的理解における空白が埋められた。著者らは、自身のアプローチが、先行研究の複雑な持ち上げ手順を回避し、代わりに基礎となるスピン・モジュライ空間の幾何学と、固定された曲線上の明示的なコホモロジー計算に依拠することで、「ショートカット」を提供していると述べている。本研究は、[3, 5, 6] で開発された障害理論の枠組みに基づき、また [1] に記述されている自己同型を持つ曲線の特定の幾何学を利用している。また、著者らは現在、共同研究においてこれらの手法を種数3のケースにも適用中であると言及している。