[论文解读] 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)$ 的同源类，证明在特征零下，$∕ A(G)$ 等于切丛 $τ_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)$ 的同源类。
• 在特征零下，通过 $X$ 的几何结构（特别是切丛 $τ_X$ 的平凡直和分量的秩）解释 $A(G)$ 的维数。
• 建立 $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$ 的整体截面，并利用在点 $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$ 的几何结构相关，特别是通过切丛 $τ_X$？
• RQ3 $G$ 的最大非仿射子群维数的最优上界是什么？在何种情况下达到该界？
• RQ4 能否代数地刻画 $τ(G)$ 中无处消失向量场的存在性？这是否意味着存在一个阿贝尔子簇作用于 $X$？

主要发现

• 在特征零下，$∕ A(G)$ 等于切丛 $τ_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})$，且此类向量场即使不位于 $G$ 的任何阿贝尔子簇的李代数中也可能存在，纠正了 [Pe11] 中的错误断言。
• 在涉及半阿贝尔群和普遍向量扩张的示例中，$G$ 是相关代数簇 $X$ 的完整连通自同构群，表明 $G$ 可以是非仿射且极大的。
• 通过 $U$-不变函数中的洛朗单项式构造 $Y_0 \cong T \times Z$，为在开子集上实现 $T \times U$-等变结构提供了一般方法，从而支持了维数上界的证明。