[論文レビュー] On connected automorphism groups of algebraic varieties

Michel Brion|arXiv (Cornell University)|Aug 12, 2012

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、正規の射影代数的多様体 $X$ の最大の連結自己同型群 $G$ のアーベル・アーベル多様体 $A(G)$ の同一型を決定し、特性がゼロのとき、$ \dim A(G)$ が接層 $\mathcal{T}_X$ の最大の自明な直和成分のランクに等しいことを示している。さらに、$G$ の最大の反アフィン部分群の次元に対する最良の上限 $3\dim(X)$ を確立し、反アフィンの場合に鋭い例を提示している。

ABSTRACT

Let $X$ be a normal projective algebraic variety, $G$ its largest connected automorphism group, and $A(G)$ the Albanese variety of $G$. We determine the isogeny class of $A(G)$ in terms of the geometry of $X$. In characteristic 0, we show that the dimension of $A(G)$ is the rank of every maximal trivial direct summand of the tangent sheaf of $X$. Also, we obtain an optimal bound for the dimension of the largest anti-affine closed subgroup of $G$ (which is the smallest closed subgroup that maps onto $A(G)$).

研究の動機と目的

• 正規射影多様体 $X$ の最大の連結自己同型群 $G$ のアーベル多様体 $A(G)$ を同一型で特徴付けること。
• 特性ゼロにおいて、$A(G)$ の次元を $X$ の幾何学的性質、特に接層 $\mathcal{T}_X$ の自明な直和成分のランクを通じて解釈すること。
• $G$ の最大の反アフィン部分群の次元に対する最良の上界を確立し、その非線形性を測る。
• 消えないベクトル場の役割と $G_{\rm aff}$ および $A(G)$ との関係を明確にし、先行研究における誤解を是正すること。

提案手法

• チェヴァリエの構造定理を用いて、$G$ を $1 \to G_{\rm aff} \to G \to A(G) \to 1$ の形の拡張として分解し、$G_{\rm aff}$ をアフィン群、$A(G)$ をアーベル多様体とする。
• $f_*\mathcal{O}_X = \mathcal{O}_A$ かつ平行移動に関して不変であるような同調的ファイブレーション $f: X \to A$ を導入し、$A(G)$ を $X$ 上の幾何的構造に関連付ける。
• 特性ゼロにおけるリー代数の技法を適用し、$\operatorname{Lie}(G)$ を $\mathcal{T}_X$ の正則切断として特定し、評価写像 $\operatorname{op}_{X,x}$ を用いてベクトル場の消失を分析する。
• 部分空間 $V \subset \operatorname{Lie}(G)$ が消えないベクトル場からなることと、$V \cap \operatorname{Lie}(G_{\rm aff}) = \{0\}$ であることは同値であり、これにより $\mathcal{T}_X$ の直和成分と関連付ける。
• トーラスおよびユニポテンツ群の表現論的議論を用いて、$T \times U$-不変同型 $Y_0 \cong T \times Z$ を構成し、反アフィン群作用の構成を可能にする。
• 具体的な例の分析：アーベル多様体の半代数的拡張および普遍ベクトル拡張 $E(A)$ において、$G$ がこれらのケースで完全な自己同型群であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正規射影多様体 $X$ の最大の連結自己同型群 $G$ のアーベル多様体 $A(G)$ の同一型は何か？
• RQ2 特性ゼロにおいて、$A(G)$ の次元は $X$ の幾何学的性質、特に接層 $\mathcal{T}_X$ を通じてどのように関係するか？
• RQ3 $G$ の最大の反アフィン部分群の次元に対する最良の上界は何か？また、それはいつ達成されるか？
• RQ4 Lie代数 $\operatorname{Lie}(G)$ に消えないベクトル場が存在することは代数的に特徴付け可能か？また、これはアーベル部分多様体が $X$ に作用することを示唆するか？

主な発見

• 特性ゼロにおいて、$\dim A(G)$ は接層 $\mathcal{T}_X$ のすべての最大自明直和成分のランクに等しく、$A(G)$ の幾何的不変量を提供する。
• アーベル多様体 $A(G)$ は、同調的ファイブレーション $f: X \to A$ の基底と同一型である。正規射影多様体 $X$ に対してこのようなファイブレーションは常に存在するが、必ずしも $A(G)$ 自体を基底とするとは限らない。
• $G$ の最大の反アフィン部分群の次元は $3\dim(X)$ で上から抑えられ、例 3.3.1 および 3.3.2 の明示的構成により、この境界が鋭いことが示されている。
• ベクトル場 $\xi \in \operatorname{Lie}(G)$ がゼロを持たないことは、$\xi \notin \operatorname{Lie}(G_{\rm aff})$ であることと同値であり、このような場が存在する場合、$\xi$ が $G$ のアーベル部分多様体のリー代数に属さない場合でも成立しうる。これは [Pe11] の主張を是正する。
• 半代数的群および普遍ベクトル拡張を含む例において、$G$ は関連多様体 $X$ の完全な連結自己同型群であることが示され、$G$ が反アフィン的かつ最大である可能性を示している。
• $U$-不変関数におけるローレン卜多項式を用いた $Y_0 \cong T \times Z$ の構成は、一般に $T \times U$-不変構造を開部分集合に実現する方法を提供し、次元境界の証明を可能にする。