Actions of $(\mathbb{Z}/4)^4$ on rationally connected threefolds

技術的要約：有理連結な三次元多様体における $(\mathbb{Z}/4)^4$ の作用

問題設定
本論文は、複素数体 $\mathbb{C}$ 上の有理連結な三次元多様体に対して忠実（faithful）に作用する有限アーベル部分群の分類を扱っている。具体的には、群 $G = (\mathbb{Z}/4)^4$ を調査している。クレモンア群 $\text{Cr}_3(\mathbb{C})$（$\mathbb{P}^3$ の双有理自己同型群）の有限部分群は完全には分類されていないが、有理連結多様体への作用の研究は、その多様体が有理でない場合には作用が必ずしも $\text{Cr}_3(\mathbb{C})$ に埋め込まれないという事実に基づき、より広いクラスの対象として動機付けられている。先行研究では、非可換単純群（例：$\text{PSL}_2(\mathbb{F}_{11})$）や非可換群（例：$S_7$）が有理連結な三次元多様体上に作用するものの、$\text{Cr}_3(\mathbb{C})$ には埋め込まれないことが示されている。本論文は、アーベル群 $(\mathbb{Z}/4)^4$ もこの性質を共有するかどうかを判断し、$(\mathbb{Z}/m)^r$ 型の群が $\text{Cr}_3(\mathbb{C})$ に埋め込まれる場合と、有理連結な $X$ の $\text{Bir}(X)$ に埋め込まれる場合の間の鋭い境界を確立することを目的としている。

手法
著者らは、等変極小モデルプログラム（equivariant MMP）および $G\mathbb{Q}$-ファト・多様体の理論を用いている。戦略は以下の段階を経て進行する：

1. ファノ三次元多様体への還元： 等変MMPを用いることで、忠実な $G$ 作用を持つ任意の有理連結三次元多様体 $X$ は、終端（terminal）$G\mathbb{Q}$-ファノ三次元多様体 $X'$ と $G$-双有理であることが示される。論文では、$X'$ が正の次元の基底上のモリーファイバー空間であるケースを排除している。なぜなら、その場合は $G$ が「積型（product type）」となるはずだが、$(\mathbb{Z}/4)^4$ はそれに該当しないからである。
2. 反標準的系（Anticanonical System）の解析： 著者らは、ファノ三次元多様体 $X$ のゲレンシュタイン（Gorenstein）の場合と非ゲレンシュタインの場合を区別する。
   • ゲレンシュタインの場合： $|-K_X| \neq \emptyset$ であるとき、$G$ 不変な反標準因子 $S$ の存在が確立される。$S$ は滑らかなK3曲面となる。$S$ 上の $G$ の作用は、巡回群 $C$ と $S$ 上に忠実に作用する $H$ による完全系列 $1 \to C \to G \to H \to 1$ を誘導する。K3曲面の不変ラティスおよび表現論（特に $\text{PGL}_4(\mathbb{C})$ の部分群および $\text{Aut}(Q)$ への制限）を分析することで、$\mathbb{P}^3$、四次二重ソリッド、および二次曲面の二重被覆といった候補を排除する。これにより、$X$ は $\mathbb{P}^4$ 内の滑らかな四次超曲面または種数9の素ファノ三次元多様体に絞り込まれる。さらにラティスの議論により種数9のケースも排除され、滑らかな四次超曲面のみが残る。
   • 非ゲレンシュタインの場合： $|-K_X| = \emptyset$ であるとき、著者らはReidのオービフォールド・リーマン・ロッホ公式とReidのバスケット（basket）の特異点を利用する。$(\mathbb{Z}/4)^4$ の構造から導かれる軌道の長さの可除条件と、分解上の等変オイラー標数の合同式を組み合わせることで矛盾を導き出し、非ゲレンシュタインの終端 $G\mathbb{Q}$-ファノ三次元多様体はこのような作用を持たないことを証明する。
3. 方程式の特定： 生き残ったケース（滑らかな四次超曲面）について、線形系 $|-K_X|$ と誘導される $H^0(X, -K_X)$ 上の表現を分析する。著者らは、忠実な $(\mathbb{Z}/4)^4$ 作用を許容する唯一の滑らかな四次超曲面は、標準的な対角作用を持つフェルマ四次超曲面 $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$ であることを示す。
4. $(\mathbb{Z}/m)^r$ への拡張： 著者らは、主要成分を分析し、KollárおよびZhuangによる結果（$\text{Bir}(X)$ におけるアーベル $p$-部分群の生成元の数に関する境界）を用いて、結果を一般的な群 $(\mathbb{Z}/m)^r$ へと拡張する。$(\mathbb{Z}/6)^4$ を排除するための特定の議論では、それが不可能なバスケットの多重度を持つ非ゲレンシュタイン・ファノ三次元多様体を必要とすることを示す。

主要な貢献と結果

• 主定理 (Theorem 1.3): $X$ が忠実な $G = (\mathbb{Z}/4)^4$ の作用を持つ有理連結三次元多様体であるならば、$X$ はフェルマ四次超曲面 $X_4$ と $G$-双有理である。$X$ が終端 $G\mathbb{Q}$-ファノ三次元多様体である場合、この双有理写像は同型写像である。
• 非埋め込み性 (Corollary 1.4): 群 $(\mathbb{Z}/4)^4$ はクレモンア群 $\text{Cr}_3(\mathbb{C})$ には埋め込まれない。これは、フェルマ四次超曲面が非有理（IskovskikhとManinによる既知の結果）であり、$\text{Cr}_3(\mathbb{C})$ への埋め込みは $\mathbb{P}^3$ への双有理性を意味するためである。
• 最大自己同型群： 本論文は、フェルマ四次超曲面の自己同型群が $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$ であり、これが滑らかな四次超曲面における最大可能次数であることを確認している。したがって、$\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$ である。
• $(\mathbb{Z}/m)^r$ の分類 (Theorem 1.7): 本論文は、$(\mathbb{Z}/m)^r$ が $\text{Cr}_3(\mathbb{C})$ および有理連結な $X$ の $\text{Bir}(X)$ に埋め込まれるペア $(m, r)$ の完全な分類を提供する：
  • $\text{Cr}_3(\mathbb{C})$ において：
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • $\text{Bir}(X)$（有理連結）において：
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• $(\mathbb{Z}/4)^4$ の一意性： $(\mathbb{Z}/m)^r$ 型の群の中で、$(\mathbb{Z}/4)^4$ は、ある有理連結な三次元多様体上の $\text{Bir}(X)$ には埋め込まれるが、$\text{Cr}_3(\mathbb{C})$ には埋め込まれない唯一の例である。

意義
本論文は、$(\mathbb{Z}/m)^r$ が $\text{Cr}_3(\mathbb{C})$ および有理連結な三次元多様体の双有理自己同型群に埋め込まれるペア $(m, r)$ の完全な分類を提供すると主張している。$(\mathbb{Z}/4)^4$ を、有理連結な三次元多様体上で忠実に作用する一方で $\text{Cr}_3(\mathbb{C})$ には埋め込まれない形式の群として特定することで、本研究は、三次元における有限アーベル部分群の理解における空白を埋めている。この結果は、単純群や非可換群のこれまでの分類を補完し、先行文献で提案された有限アーベル群の作用（積型、K3型、および例外的なファノ型）の三分法を強固なものにする。この結果は、フェルマ四次超曲面の双有理超剛性と、群の構造がファノ三次元多様体の幾何学に課す特定の制約に依拠している。