2025-11-19T10:52:21.394822

Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras

Chen, Fu, Li

To each complex composition algebra $\mathbb{A}$, there associates a projective symmetric manifold $X(\mathbb{A})$ of Picard number one, which is just a smooth hyperplane section of the following varieties ${\rm Lag}(3,6), {\rm Gr}(3,6), \mathbb{S}_6, E_7/P_7.$ In this paper, it is proven that these varieties are rigid, namely for any smooth family of projective manifolds over a connected base, if one fiber is isomorphic to $X(\mathbb{A})$, then every fiber is isomorphic to $X(\mathbb{A})$.

academic

合成代数に付随するピカール数1の射影対称多様体の剛性

基本情報

論文ID: 2212.02799
タイトル: Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras
著者: Yifei Chen, Baohua Fu, Qifeng Li
分類: math.AG（代数幾何）
掲載誌: Épijournal de Géométrie Algébrique（2023）
論文リンク: https://arxiv.org/abs/2212.02799

要約

各合成代数 $A$ に対して、ピカール数が1である関連射影対称多様体 $X(A)$ が存在し、これは以下の多様体のいずれかの滑らかな超平面切断である： $\text{Lag}(3,6)$ , $\text{Gr}(3,6)$ , $S_6$ , $E_7/P_7$ 。本論文は、これらの多様体が剛性を持つこと、すなわち連結な底空間上の任意の滑らか射影多様体族に対して、1つのファイバーが $X(A)$ と同型であれば、すべてのファイバーが $X(A)$ と同型であることを証明する。

研究背景と動機

問題背景

剛性問題の重要性：滑らか射影多様体の剛性は代数幾何における中心的問題である。多様体が剛性であるとは、任意の滑らか射影族において、1つのファイバーがその多様体と同型であれば、すべてのファイバーがその多様体と同型であることを意味する。
既知結果の限界：Hwang-Mokらによって、 $B_3/P_2$ を除くすべてのピカール数1の有理等質多様体が剛性であることが証明されているが、より一般的な対称多様体に対しては、剛性問題は依然として未解決である。
合成代数の幾何学的意義：合成代数（ $\mathbb{C}$ , $\mathbb{C}\oplus\mathbb{C}$ , $\mathbb{H}_{\mathbb{C}}$ , $\mathbb{O}_{\mathbb{C}}$ ）は代数幾何において重要な地位を占め、対応する対称多様体は豊かな幾何学的構造を持つ。

研究動機

本論文は、剛性理論を有理等質多様体からより広い対称多様体のカテゴリー、特に合成代数に関連するピカール数1の射影対称多様体へと拡張することを目指している。

核心的貢献

主定理：任意の合成代数 $A$ に対して、対応する対称多様体 $X(A)$ が剛性を持つことを証明した。
技術的革新：曲面族への約化を通じて剛性問題を処理する新しい方法を開発した。
幾何学的洞察：対称多様体上の対合作用が剛性証明において果たす重要な役割を明らかにした。
統一的処理：4つの異なる合成代数に対応する対称多様体に対して、統一的な剛性証明の枠組みを提供した。

方法の詳細

問題の定式化

合成代数 $A \neq \mathbb{C}$ に対して、 $\pi: \mathcal{X} \to \Delta$ が滑らか射影族であり、すべての $t \neq 0$ に対して $X_t \cong X(A)$ であるならば、 $X_0 \cong X(A)$ であることを証明する。

核心戦略

1. VMRT理論の応用

最小有理接触多様体（VMRT）理論を利用して、VMRTの不変性を最初に証明する
Kim-Parkの結果を通じて、問題を等変コンパクト化の場合を除外することに帰着させる

2. 曲面族への約化

主要な構成：

$SO_3(A)$ の極大トーラス $H_t \subset \text{Aut}^0(X_t)$ を選択する
トーラス固定点軌跡の連結成分 $Y \subset \mathcal{X}$ を考察する
$Y \to \Delta$ が滑らか曲面族であることを証明する

幾何学的性質：

$t \neq 0$ に対して、 $Y_t$ は3つの座標点で爆破された $\mathbb{P}^2$ と同型である
中心ファイバー $Y_0$ は $\mathbb{G}_a^2$ の等変コンパクト化である

3. 対合作用の分析

対合の構成：

$sl_3(A) = so_3(A) \oplus J_3(A)_0$ の分解を利用する
対合 $\theta$ を定義する： $so_3(A)$ 上では恒等写像、 $J_3(A)_0$ 上では $-1$
この対合が $\mathcal{X}$ 上の対合 $\Theta$ を誘導することを証明する

主要な性質：

$\Theta$ は曲面族 $Y$ を保つ
$t \neq 0$ に対して、 $\Theta_t$ は境界因子を交換する： $\theta(D_i) = E_i$ , $\theta(E_i) = D_i$

技術的革新点

曲面約化技法：適切なトーラス作用を選択することにより、高次元問題を2次元の場合に約化する。
Mori錐分析：中心ファイバーの具体的な幾何学的構造を利用して、そのMori錐の極端射線を分析する。
対合矛盾：対合が極端射線を非極端射線に写すことができないことを証明し、矛盾を導く。

実験設定

理論検証の枠組み

本論文は純粋な理論研究であり、主に以下の方法で結果を検証している：

具体的計算：4つの合成代数に対して、関連するリー群とリー代数をそれぞれ計算する
幾何学的分析：曲面族の幾何学的性質を詳細に分析する
代数的検証：ピカール群の計算を通じて幾何学的構成を検証する

主要な計算

合成代数対応表

$A$	$SL_3(A)$	$SO_3(A)$	$X(A)$ が含まれる多様体
$\mathbb{C}$	$SL_3$	$SO_3$	$\text{Lag}(3,6)$
$\mathbb{C}\oplus\mathbb{C}$	$SL_3\times SL_3$	$SL_3$	$\text{Gr}(3,6)$
$\mathbb{H}_{\mathbb{C}}$	$SL_6$	$Sp_6$	$S_6$
$\mathbb{O}_{\mathbb{C}}$	$E_6$	$F_4$	$E_7/P_7$