シモーネ・ビリィ（Simone Billi）「Enriques 多様体に対するニールセン実現問題に関する注記」の技術的要約

本論文は、複素幾何学におけるニールセン実現問題（Nielsen Realization Problem）を、高次元のEnriques 多様体の文脈で研究したものである。著者は、ハイパー・ケーラー多様体に対する最近の進展（Birman-Hilden 理論やニールセン実現問題の解決）を応用し、Enriques 多様体における写像類群の有限部分群が、計量保存変換群（等長変換群）として実現可能かどうかを判定する数値的基準を確立した。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめる。

1. 問題設定：ニールセン実現問題と Enriques 多様体

• ニールセン実現問題: 複素曲線（またはより一般の多様体）の写像類群（Mapping Class Group）の有限部分群 $G$ が、その多様体上の微分同相写像群（あるいは等長変換群）に「持ち上げ（lift）」可能かどうかを問う問題である。トポロジー的には、テヒュミュラー空間（Teichmüller space）において $G$ が不動点を持つかどうかと等価である。
  • 曲面の場合：Kerckhoff によって肯定的に解決された。
  • K3 曲面およびハイパー・ケーラー多様体の場合：Farb-Looijenga や著者自身（Bil25）によって解決が進められている。
• Enriques 多様体: 普遍被覆がハイパー・ケーラー多様体である複素多様体。古典的な例は Enriques 曲面（次元 2）だが、本論文では高次元（$2n$ 次元など）の Enriques 多様体を対象とする。
  • 基本群 $\pi_1(Y)$ は巡回群 $D$ であり、その位数を「指数（index）」と呼ぶ。
  • 既知の例は、主に $K3^{[n]}$ 型または $Kum_n$ 型のハイパー・ケーラー多様体の商として構成され、指数は 2, 3, 4 である。

2. 手法と理論的枠組み

著者は、以下の理論的構成を組み合わせることで、Enriques 多様体 $Y$（普遍被覆 $X$）における実現可能性を解析した。

1. Birman-Hilden 理論の適用:

   • Raman (Ram25) によって証明されたハイパー・ケーラー多様体に対する Birman-Hilden 理論を用いる。
   • 被覆写像 $p: X \to Y$ に対して、対称的写像類群 $SMod_D(X)$（$D$ の中心化群の成分群）と $Y$ の写像類群 $Mod(Y)$の間に、$SMod_D(X)/D \cong Mod(Y)$ という同型が存在する。
   • $Y$ の写像類群の元 $G$ を、$X$ 上の $D$-不変な写像類群 $\tilde{G}$ に持ち上げる構造を考察する。

2. コホモロジーと格子不変量:

   • ハイパー・ケーラー多様体 $X$ の第 2 コホモロジー $H^2(X, \mathbb{Z})$ は、Beauville-Bogomolov-Fujiki 二次形式 $q_X$ を持つ格子 $\Lambda_X$ を形成する。
   • 写像類群はコホモロジーに作用し、表現 $\rho_X: Mod(X) \to O^+(\Lambda_X)$ を与える。
   • 有限群 $\tilde{G}$ がテヒュミュラー空間の成分 $C$ を固定する場合、$\tilde{G}$ は正の 3 次元部分空間 $P$ を固定し、$\Lambda_X \otimes \mathbb{R}$ 上の線形表現を誘導する。

3. 数値的判定基準の導出:

   • 表現 $\tilde{G}$ に現れる既約部分表現の和 $I_{\tilde{G}}$ と、その直交補空間 $L_{\tilde{G}} := I_{\tilde{G}}^\perp \cap \Lambda_X$ を定義する。
   • テヒュミュラー空間の成分 $C$ に対応する「有理曲線によって表される非可分な負形式」の集合 $\Delta_C$ を考察する。

3. 主要な貢献と結果

定理 0.1：実現可能性の数値的基準

Enriques 多様体 $Y$ とその普遍被覆 $X$、および $Y$ の有限部分群 $G \le Mod(Y)$（その持ち上げを $\tilde{G}$ とする）に対して、以下の同値が成り立つ。

• $G$ が Einstein 計量（さらにケーラー計量）の等長変換群として実現可能であること
  • 必要十分条件:
    1. $\tilde{G}$ が Einstein 計量のテヒュミュラー空間の連結成分 $C$ を固定する。
    2. 格子 $L_{\tilde{G}}^\perp$ が自明な表現（trivial representation）を含む。
    3. $L_{\tilde{G}} \cap \Delta_C = \emptyset$ （すなわち、$\tilde{G}$ が固定する部分空間が、特定の有理曲線に対応する負形式と交わらない）。

この定理により、抽象的な写像類群の持ち上げの問題が、コホモロジー格子上の線形代数（格子の構造と負形式の集合）の問題に帰着された。

命題 0.2：Birman-Hilden 中心拡大の非自明性

Enriques 曲面の場合、Birman-Hilden 理論による中心拡大 $1 \to D \to SMod(X) \to Mod(Y) \to 1$ は分裂する（セクションが存在する）ことが知られていたが、高次元の Enriques 多様体では必ずしも成り立たないことを示した。

• 結果: 指数 $d$ が素数でない場合（例：指数 4 の Enriques 多様体）、中心拡大がセクションを持たない例が存在する。
• 意味: この場合、$H^2(Mod(Y), D) \neq 0$ となり、$Mod(Y)$の元を$X$上の$D$-不変な変換群に持ち上げる際、群の構造が単純な直積$Mod(Y) \times D$ にはならない。これは、中間商（intermediate quotient）の存在に起因する現象である。

具体例による実例と非実例

• 実現可能な群:
  • $K3^{[n]}$ 型の Enriques 多様体において、2 合同部分群 $\Gamma_2^+(M)$ に属する有限群は、Enriques 多様体の自己同型群として実現可能である（BP83 の結果の適用）。
  • 楕円曲線の積から構成される $Kum_n$ 型の Enriques 多様体において、特定のトランスレーションによる巡回群は実現可能である。
• 実現不可能な群:
  • 格子 $\Lambda_Y$ 上で特定の生成元を $-1$ 倍し、補空間を恒等写像にするような「モノドロミー（monodromy）」作用を持つ対合（involution）は、定理 0.1 の条件 $L_{\tilde{G}} \cap \Delta_C = \emptyset$ を満たさないため、Einstein 計量の等長変換として実現不可能である。
  • 同様に、平方が $-2$ であるベクトルに関する反射も実現不可能である。これらは曲面の場合の Dehn ねじれ（Dehn twist）に相当する可能性が示唆されている。

4. 論文の意義

1. 高次元への一般化: Enriques 曲面（次元 2）の結果を、高次元の Enriques 多様体へ拡張し、その実現可能性を統一的に扱う枠組みを提供した。
2. 判定基準の具体化: 抽象的なトポロジー的問題を、格子理論とコホモロジー上の数値条件（負形式との非交差性）という具体的なアルゴリズムに変換した。これにより、既知の例に対して具体的な群の可実現性を計算可能にした。
3. Birman-Hilden 理論の新たな洞察: 高次元の文脈において、Birman-Hilden 対応が必ずしも分裂しない（中心拡大が非自明である）ことを示し、Enriques 多様体のトポロジーと幾何学の間の微妙な関係性を明らかにした。
4. 未解決問題への道筋: 一般の Enriques 多様体（中間商でない場合）において $H^2(Mod(Y), D) = 0$ となるかどうか、および非実現可能な写像類が具体的にどのような微分同相写像で表現されるか（Dehn ねじれの高次元版など）について、今後の研究課題を提示した。

結論

本論文は、Enriques 多様体におけるニールセン実現問題に対して、ハイパー・ケーラー幾何と格子理論を駆使した強力な数値的基準を確立し、既知の例に対する具体的な結論と、理論的な構造（中心拡大の非自明性）に関する重要な発見をもたらした。これは、高次元複素多様体のトポロジーと微分幾何の相互作用を理解する上で重要な一歩である。