Remarks on the group of birational selfmaps of a conic fibration

Enrica Floris による論文「Remarks on the Group of Birational Selfmaps of a Conic Fibration」の詳細な技術的要約を以下に示す。

1. 問題提起と背景

本論文は、円錐束（一般のファイバーが有理曲線であるような、底 $Y$ 上でファイバー束になっている多様体）と双有理同値な射影多様体 $X$ に対する、双有理自己写像の群 $\text{Bir}(X)$ の構造を調査する。

• 背景: 群 $\text{Bir}(\mathbb{P}^n)$ はよく研究されているが、非有理的な有理連結多様体に対する $\text{Bir}(X)$ の構造は十分に理解されていない。最近の結果によれば、$\text{Bir}(X) \cong \text{Bir}(\mathbb{P}^n)$ であるならば、$X$ は有理的である必要があることが示唆されている。
• ギャップ: 以前から、円錐束に対する $\text{Bir}(X)$ は（関数体 $C(Y)$ 上の直交群への同型に起因して）非可算であることが知られていた。しかし、その具体的な代数構造や、その生成元の性質は、大きな可換群への明示的な準同型という観点からは完全に特徴づけられていなかった。
• 目的: 著者は、ファイバー束を保存する双有理写像の群 $\text{Bir}(X/Y)$ が、$\mathbb{Z}/2\mathbb{Z}$ の非可算な直和への全射準同型を許容することを証明し、それによって非有理的な多様体であっても豊かで非離散的な構造を有することを確立することを目的としている。

2. 手法

本論文は、双有理幾何学（MMP）、代数群論（直交群）、および双有理群上の位相的アプローチの組み合わせを用いている。

A. 対合の幾何学的構成

核心的な幾何学的道具は、円錐束上のタイプ II のリンク（具体的には双有理対合）の構成である。

• 設定: $f: X \to Y$ を円錐束とする。著者は、$X \subset \mathbb{P}(E)$ となる有理的切断 $s: Y \dashrightarrow \mathbb{P}(E)$ を考える。
• 対合 $\tau_s$: $X$ に含まれない切断 $s$ に対して、対合 $\tau_s$ を、円錐ファイバー上の点 $s(y)$ から射影することによってファイバーごとに定義する。
• 不定点の軌跡: $\tau_s$ の不定点の軌跡は、切断と円錐束の交点によって決定される。著者は、十分に高い次数を持つ切断を選ぶことで、無数の異なる不定点の軌跡 $\Gamma$ を生成できることを証明する。

B. スピノルノルムによる代数的解釈

本論文は、幾何学的構成と直交群の理論を架橋する。

• 同型: $\text{Bir}(X/Y)$ は、関数体 $F = C(Y)$ 上の滑らかな二次曲面である一般ファイバー $X_\eta$ の自己同型群と同型である。したがって、$\text{Bir}(X/Y) \cong \text{Aut}(X_\eta) \subset O(F^3)$ となる。
• スピノルノルム: 著者は、スピノルノルム準同型 $\theta: O(V) \to F^*/(F^*)^2$ を利用する。
• 因数分解: 主要な準同型 $\Phi$（以前 [BLZ21] で定義されたもの）は、スピノルノルムと除数写像を通じて因数分解されることが示される：
  $$\Phi = \xi \circ \text{div} \circ \theta$$
  ここで、$\text{div}$ は有理関数の類をその除数 modulo 2 に写す。

C. 位相的解析

本論文は、ヒルベルトスキームによって定義される極限位相（[RUvS25b] で研究されたもの）を用いて $\text{Bir}(X)$ の位相を解析する。

• 有界次数: $\text{Bir}(X)$ の部分集合が「有界次数」を持つとは、有界なヒルベルト多項式に対応するヒルベルトスキームの有限和に含まれる場合をいう。
• 戦略: 著者は、定義に必要な切断の次数が無限に増大することを示すことで、$\text{Bir}(X)$ の生成元が次数において有界ではないことを証明する。

3. 主要な貢献と結果

定理 1.1: 非可算な可換商

主張: $f: X \to Y$ を有理曲線ファイバーを持つファイバー束とする。ある非可算集合 $I$ と全射準同型が存在する：
$$\Phi: \text{Bir}(X/Y) \to \bigoplus_{I} \mathbb{Z}/2\mathbb{Z}$$
意義: これは、双有理自己写像の群が単に非可算であるだけでなく、巨大な可換商構造を有することを証明する。これは、「小さい」あるいは離散的である可能性のある群とは明確に区別される。

定理 1.2: スピノルノルムによる因数分解

主張: 準同型 $\Phi$ は $\xi \circ \text{div} \circ \theta$ として因数分解され、ここで：

1. $\theta$ は $C(Y)^*/(C(Y)^*)^2$ へ写すスピノルノルムである。
2. $\text{div}$ は関数の類をその素除数の和 modulo 2 に写す。
3. $\xi$ は非可算和への射影である。
   意義: これは、[BLZ21] で構成された幾何学的対合に対する具体的な代数的解釈を提供し、スピノルノルムを介して不定点の軌跡の幾何を関数体の算術と直接結びつける。

系 1.3: 非有理性と非可算性

主張: $X$ が円錐束と双有理同値な 3 次元の有理連結かつ非有理的な多様体であるならば、$\text{Bir}(X)$ は非可算であるが、$X$ と双有理同値な任意の $Y$ に対する自己同型群の連結成分 $\text{Aut}^\circ(Y)$ は自明である。
意義: これは、非有理的な多様体が「離散的」な双有理群を持つかもしれないという潜在的な予想を解決する。連続的な自己同型群が自明であっても、双有理群は広大になり得ることを示している。

系 1.4: 有界でない生成元

主張: $\dim(Y) \geq 2$ であるならば、$\text{Bir}(X)$ の次数が有界な生成元の集合は存在しない。
意義: これは位相的な結果である。これは、$\text{Bir}(X)$ がいかなる有界な意味においても有限生成ではないことを意味する。群を生成するには、任意に高い次数を持つ代数族の生成元が必要となる。これは、ある文脈における $\text{Bir}(\mathbb{P}^2)$ や $\text{Bir}(\mathbb{P}^n)$ の構造とは対照的である。

4. 証明を支える技術的補題

• 補題 3.1（等型性）: 一般型ファイバーを持ち、互いに双有理同値であるファイバー束は、有限群作用を除いて本質的に積であることを確立する。これは、ファイバー間の特定の双有理同値を排除するために用いられる。
• 補題 3.2（交点の非双有理性）: 円錐束内の余次元 2 の一般完全交点（十分に高い次数を持つ）は互いに双有理同値ではないことを証明する。これは、定理 1.1 における集合 $I$ が非可算であることを保証するための決定的なステップである。もしそのようなすべての交点が双有理同値であれば、商は可算となっていたであろう。
• 補題 3.3（埋め込み）: 任意の円錐束は、射影束 $\mathbb{P}(\mathcal{O} \oplus \mathcal{O}(a) \oplus \mathcal{O}(b))$ の部分多様体へと双有理的に変換できることを示す。これにより、スピノルノルムの計算に明示的な方程式を使用することが可能になる。

5. 意義と影響

1. 構造への洞察: 本論文は、非有理的な多様体に対する双有理写像の群構造の理解を大幅に進展させた。それは単なる「非可算性」という事実を超えて、具体的な代数構造（$\mathbb{Z}/2\mathbb{Z}$ の巨大な直和）を記述する。
2. MMP への接続: 最小モデルプログラム（MMP）の結果（円錐束）を深い群論的性質と結びつけ、これらの多様体の「双有理的複雑さ」が甚大であることを示している。
3. 位相的制約: 有界次数に関する結果（系 1.4）は、双有理写像の空間の位相に強い制約を課し、円錐束の双有理写像の「空間」は有理的多様体のそれよりもはるかに複雑であることを示唆している。
4. 先行研究の精緻化: 明示的なスピノルノルムを通じた因数分解を提供し、交点論を用いて指数集合 $I$ の非可算性を厳密に証明することで、Blanc、Lamy、Zimmermann の結果（[BLZ21]）を精緻化している。

要約すると、Floris は、円錐束の双有理自己写像の群が構造的に豊かであり、スピノルノルムに由来する巨大な可換商を許容し、任意に高い次数の生成元を必要とすることを示し、これを有理的多様体の双有理群と根本的に区別している。