Varieties with two smooth blow up structures

論文要約：2つの滑らかなブローアップ構造を持つ多様体

1. 研究の背景と問題設定 (Problem)

本論文は、ピカール数（Picard rank）が2である滑らかな射影多様体 $X$ について、それが「射影空間 $\mathbb{P}^n$ の滑らかな部分多様体へのブローアップ」として、異なる次元の部分多様体を用いて2通りの方法で構成できる場合を分類することを目的としています。

具体的には、以下の可換図式が成立する状況を扱います：

• $p: X \to \mathbb{P}^n$ が部分多様体 $Z_1$ 上のブローアップである。
• $q: X \to \mathbb{P}^n$ が部分多様体 $Z_2$ 上のブローアップである。
• ここで、$\dim Z_1 \neq \dim Z_2$ とする。

このような構造を持つ多様体が存在する場合、それらは射影空間の間の双有理写像（Cremona変換） $\phi = p \circ q^{-1}: \mathbb{P}^n \dashrightarrow \mathbb{P}^n$ を誘導します。この問題は、特定の性質を持つクレモナ変換の特性付け（characterization）に直結しています。

2. 研究手法 (Methodology)

著者は、交差理論（Intersection theory）とコホモロジー論を用いて、多様体 $X$ の幾何学的パラメータを厳密に制約していく手法をとっています。

• 交差数と分割関係の導出: $X$ のピカール群の基底（例外因子 $E_i$ と射影空間からのプルバック $H_i$）を用い、交差数 $a, b, c, d$ に関する代数的な関係式（Lemma 2.1, 2.2）を導出しました。
• コホモロジーの制約: $Z_1, Z_2$ のコホモロジー群の次元（Betti数）の性質（Lemma 2.6）や、Barth-Larsenの定理、Hard Lefschetzの定理を用いて、多様体の構造に強い制約を課しました。
• 背理法による絞り込み: 多重度 $a$ が1でないと仮定した場合や、特定の次元のケース（Case 2: $n=9$）において、交差数や次数 $d_i$ が満たすべき整数条件が矛盾することを示すことで、解を特定しました。

3. 主な貢献と結果 (Key Contributions and Results)

本論文の核心は、定理Aによる分類の完結です。

• 定理A (主定理): $\dim Z_1 > \dim Z_2$ である場合、そのような多様体は唯一の例しか存在しないことを証明しました。
  • その唯一の例は $n=4$ であり、誘導されるクレモナ変換 $\phi$ は quadro-cubic transformation（2次と3次の変換）です。
  • このとき、$Z_1$ は滑らかな5次楕円スクロール（quintic elliptic scroll）であり、$Z_2$ は滑らかな5次楕円曲線（quintic elliptic curve）となります。
• 多重度の証明 (Theorem 3.1): 既存の研究（[5]など）では、クレモナ変換が「単純（simple）」であることを仮定していましたが、本論文ではその仮定なしに、基底の多重度 $a$ が必ず $1$ になることを証明しました。
• Case 2 ($n=9$) の排除: 論文の後半では、計算によって $n=9$ のケース（$m_1=6, m_2=4$）が数学的に矛盾（次数 $d_2$ の不等式矛盾）を生じることを示し、唯一性を確定させました。

4. 研究の意義 (Significance)

1. クレモナ変換の幾何学的特性付け: 抽象的な多様体の分類問題を通じて、特定の高次元クレモナ変換（quadro-cubic transformation）の幾何学的構造を完全に記述することに成功しました。
2. 既存研究の拡張: 以前の研究では「Hartshorneの完全交差予想」を仮定していた部分や、基底の滑らかさに関する仮定を、より一般的な設定（reduced base locus が滑らかであればよい）において、仮定なしで解決した点は学術的に重要です。
3. 分類学への寄与: ピカール数2の多様体の分類において、ブローアップ構造が重複するケースという、比較的未開拓であった領域に明確な答えを与えました。

キーワード: ブローアップ (Blow up), クレモナ変換 (Cremona transformation), Quadro-cubic transformation, ピカール数 (Picard rank)