[论文解读] Log homogeneous varieties

Michel Brion|ArXiv.org|Sep 24, 2006

Algebraic Geometry and Number Theory参考文献 16被引用 31

一句话总结

本文引入了对数齐性簇——即具有法向相交除子 $D$ 的完备非奇异代数簇，其对数切丛 $T_X(-\log D)$ 是全局生成的。该文证明此类簇可通过阿爾巴內塞映射和蒂茨映射实现纤维化结构，推广了博雷尔-雷蒙特定理：这两个映射的乘积是满射，其纤维为有限个塔里克簇的并。分类问题可约化为具有自同构群约束的球对称簇问题。

ABSTRACT

Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then show that the Albanese morphism $α$ is a fibration with fibers being spherical (in particular, rational) varieties. It follows that all irreducible components of $D$ are nonsingular, and any partial intersection of them is irreducible. Also, the image of $X$ under the morphism $σ$ associated with $- K_X - D$ is a spherical variety, and the irreducible components of all fibers of $σ$ are quasiabelian varieties. Generalizing the Borel-Remmert structure theorem for homogeneous varieties, we show that the product morphism $α imes σ$ is surjective, and the irreducible components of its fibers are toric varieties. We reduce the classification of log homogeneous varieties to a problem concerning automorphism groups of spherical varieties, that we solve under an additional assumption.

研究动机与目标

• 定义并研究对数齐性簇，作为齐性簇与半阿贝尔簇的自然推广。
• 通过分析阿爾巴內塞映射与蒂茨映射，建立完备对数齐性簇的结构定理。
• 将对数齐性簇的分类问题约化为涉及球对称簇自同构群性质的问题。
• 对包含对数平行化与非平行化情形的对数齐性表面提供完整分类。
• 阐明关键映射（如 $\alpha$ 与 $\sigma$）的纤维与像的几何与群论结构。

提出的方法

• 通过法向相交除子 $D$ 下对数切丛 $T_X(-\log D)$ 的全局生成性来定义对数齐性簇。
• 利用阿爾巴內塞映射 $\alpha: X \to \mathcal{A}(X)$ 将 $X$ 分解为纤维为球对称且在自同构群的仿射部分作用下对数齐性的纤维化结构。
• 通过 $T_X(-\log D)$ 的全局截面构造蒂茨映射 $\tau$，并将其分解为映射 $\sigma: X \to \mathcal{S}(X)$，该映射与 $-K_X - D$ 相关联。
• 证明 $\mathcal{S}(X)$ 是球对称簇，且 $\sigma$ 的纤维为半阿贝尔簇，即半阿贝尔群的等变紧化。
• 证明乘积映射 $\alpha \times \sigma$ 是满射，其纤维为有限个塔里克簇的并。
• 应用球对称簇的组合准则（例如扇形中星补集的凸性）通过命题 3.5.1 对对数齐性表面进行分类。

实验结果

研究问题

• RQ1 如何将几乎齐性簇的结构推广至重李群作用与塔里克嵌入之外的情形？
• RQ2 在何种条件下，对数切丛 $T_X(-\log D)$ 是全局生成的？其几何后果是什么？
• RQ3 阿爾巴內塞与蒂茨映射的乘积在多大程度上捕捉了对数齐性簇的全局结构？
• RQ4 对数齐性簇的分类如何约化为球对称簇自同构群性质的问题？
• RQ5 具有法向相交边界除子的对数齐性表面的完整同构类列表是什么？

主要发现

• 乘积映射 $\alpha \times \sigma: X \to \mathcal{A}(X) \times \mathcal{S}(X)$ 是满射，其纤维为有限个塔里克簇的并。
• 蒂茨映射 $\sigma$ 的像 $\mathcal{S}(X)$ 在自同构群仿射部分的任意莱维子群作用下是球对称簇。
• $\sigma$ 的不可约纤维分量为半阿贝尔簇，即半阿贝尔群的等变紧化。
• 边界除子 $D$ 的所有不可约分量均为非奇异的，且这些分量的任意部分交均为不可约的。
• 对数平行化簇的情形下，$T_X(-\log D)$ 是平凡的，根据温克尔曼定理由此可知此类簇为半阿贝尔簇。
• 对数齐性表面的完整分类包含 10 个同构类：2 个齐性簇（$D$ 平凡），1 个对数平行化，以及 7 个涉及对塔里克表面进行边界除子的爆破的对数齐性情形。