[論文レビュー] Small bandwidth ${\mathbb C}^*$-actions and birational geometry

Gianluca Occhetta, Eleonora A. Romano+2 more|arXiv (Cornell University)|Nov 27, 2019

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

本稿は、帯域が低い ${\mathbb{C}}^*$-作用をもつ滑らかで射影的な多様体を研究し、このような作用が双有理変換によって支配されることを示している。特に、帯域1ではアティヤのフリップ、帯域3ではクレモナ変換が関与する。主な貢献は、$\rho_X=1$ であるファノ多様体上の帯域3 ${\mathbb{C}}^*$-作用の完全分類であり、それらが $\mathbb{LG}(2,5)$, $\mathbb{G}(2,5)$, $S^{15}$, $E_7(7)$ などの有理均質空間に同型であることを証明している。幾何学的構造は、セベリ多様体間のクレモナ写像の解消によって完全に決定される。

ABSTRACT

In this paper we study smooth projective varieties and polarized pairs with an action of a one dimensional complex torus. As a main tool, we define birational geometric counterparts of these actions, that, under certain assumptions, encode the information necessary to reconstruct them. In particular, we consider some cases of actions of low complexity -- measured in terms of two invariants of the action, called bandwidth and bordism rank -- and discuss how they are determined by well known birational transformations, namely Atiyah flips and Cremona transformations.

研究の動機と目的

• 滑らかで射影的な多様体に ${\mathbb{C}}^*$-作用をもつ場合の双有理幾何を理解すること。作用の不変量を既知の双有理変換と関連付けること。
• ファノ多様体 $X$ に対して $\rho_X=1$ である帯域1〜3の ${\mathbb{C}}^*$-作用を分類すること。
• 帯域3の作用がセベリ多様体間のクレモナ変換によって決定されることを示し、そのような多様体の完全分類を達成すること。
• 多様体の幾何学的構造が、作用のソース成分とシンク成分間の双有理写像に完全に符号化されていることを確立すること。

提案手法

• B型 ${\mathbb{C}}^*$-作用の概念を導入する。ここではソースとシンクが超平面であり、すべての不変超平面が固定成分と codimension 1 で交わるようなものとする。
• 帯域を、ソース成分とシンク成分上の線束への ${\mathbb{C}}^*$-作用の重みの差として定義する。
• 一般軌道によって誘導される双有理写像 $\psi: Y_- \dashrightarrow Y_+$ を用いて、作用を既知の双有理変換と関連付ける。
• 帯域1の場合、$\rho_Y=2$ で2つの射影バンドルを持つ滑らかな多様体 $Y$ から作用が生じ、それがフリップをもたらすことを示す。
• 帯域3の場合、写像 $\psi$ をセベリ多様体 $Y_1, Y_2$ に沿った吹き上げによって解消し、共通の解消 $Y$ が $-K_Y = m(H_1 + H_2)$ を満たすことを示す。
• コックス環の構造と最大トーラスの作用を用いて、作用が等化されており帯域3であるとき、多様体 $X$ が有理均質空間であることを示す。

実験結果

リサーチクエスチョン

• RQ1 帯域が低い ${\mathbb{C}}^*$-作用は、アティヤのフリップやクレモナ写像といった標準的な双有理変換とどのように関係するか？
• RQ2 ファノ多様体 $X$ に対して $\rho_X=1$ である帯域1 ${\mathbb{C}}^*$-作用は、双有理幾何を用いて完全に分類可能か？
• RQ3 帯域3 ${\mathbb{C}}^*$-作用の解消の構造はどのようなものか？また、セベリ多様体とどのように関係するか？
• RQ4 ファノ多様体に帯域3の ${\mathbb{C}}^*$-作用が存在するとき、どのような条件下でそれが必ず有理均質空間になるか？

主な発見

• 帯域1の ${\mathbb{C}}^*$-作用は、$\rho_X=1$ で $X \neq \mathbb{P}^n$ である滑らかな極化ペアに対して、$\rho_Y=2$ で2つの射影バンドルを持つ滑らかな射影多様体 $Y$ によって完全に決定され、それがフリップをもたらす。
• 帯域3の場合、双有理写像 $\psi: Y_- \dashrightarrow Y_+$ の解消は、次元 $2m-2$ のセベリ多様体 $Y_1, Y_2$ に沿った吹き上げで構成され、$\dim X = 3m$ かつ $m \in \{2,3,5,9\}$ である。
• 共通の解消 $Y$ の標準因子は $-K_Y = m(H_1 + H_2)$ を満たす。ここで $H_1, H_2$ は2つの吹き上げからのハイパーハイパーバンドルの引き戻しである。
• ${\mathbb{P}}^1$-バンドル $X'$ は、$\mathbb{P}(\mathcal{O} \oplus \mathcal{O}(K_{Y_{-}'} - K_{X'}|_{Y_{-}'})$ に同型であり、$X$ がクレモナ変換によって完全に決定されることを示す。
• 帯域3で $\rho_X=1$ であるすべての多様体 $X$ は、有理均質空間 $\mathbb{LG}(2,5)$, $\mathbb{G}(2,5)$, $S^{15}$, $E_7(7)$ に同型である。
• 作用は、定理8.8にリストアップされたセベリ多様体の中から選ばれた固定成分 $Y_1, Y_2$ によって一意に決定され、$L$ は $\operatorname{Pic}(X)$ の正の生成子である。