[论文解读] Toric Degeneration of Bott-Samelson-Demazure-Hansen varieties

A. J. Parameswaran, Paramasamy Karuppuchamy|arXiv (Cornell University)|Apr 7, 2016

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

一句话总结

本文通过仿射直线上的平坦族，构造了Bott-Samelson-Demazure-Hansen（BSDH）簇到光滑toric簇的代数退化，证明了特殊纤维是一个具有明确定义的ample锥的toric簇。关键贡献在于对极限toric簇的ample锥的完整描述，以及利用交点理论和根系数据，给出其为Fano的判别准则。

ABSTRACT

In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.

研究动机与目标

• 在仿射直线之上构造BSDH簇到toric簇的代数退化。
• 以原始BSDH簇的ample锥为基准，描述极限toric簇的ample锥。
• 给出极限toric簇的反canonical线丛为ample的充要条件，即其为Fano的条件。
• 分析极限toric簇上曲线的Chow群，并给出torus不变曲线的基。
• 利用根系数据完全刻画极限toric簇的极小与Mori射线。

提出的方法

• 在仿射直线 $\mathbb{A}^1$ 上构造一族代数簇，其一般纤维微分同构于BSDH簇，特殊纤维微分同构于光滑toric簇。
• 利用一参数子群 $\xi: \mathbb{G}_m \to T$ 定义通过共轭作用的退化，诱导Borel子群 $B$ 上的自同构族。
• 借助Levi投影 $\phi_0: B \to T$，通过极限构造将特殊纤维定义为toric簇。
• 应用Lauritzen与Thomsen的定理，利用Schubert曲线上的交点数刻画BSDH簇上线丛的ample性。
• 利用曲线类 $L_k(\mathbf{w})$ 上的递推关系与根配对数据 $d_{i_j}([k-1]\mathbf{w})$，描述toric极限上曲线的Chow群。
• 推导出toric簇上曲线Chow群的基，使得所有torus不变曲线均为基元素的非负线性组合。

实验结果

研究问题

• RQ1 能否在仿射直线上构造一个BSDH簇到toric簇的光滑代数退化，使得特殊纤维为toric簇？
• RQ2 极限toric簇的ample锥结构如何？其与原始BSDH簇的ample锥有何关系？
• RQ3 在何种条件下，极限toric簇的反canonical线丛为ample，即该toric簇为Fano？
• RQ4 如何描述极限toric簇上曲线的Chow群？是否存在一个基，使得所有torus不变曲线均为该基元素的非负组合？
• RQ5 如何利用根系数据完全描述极限toric簇的极小射线与Mori射线？

主要发现

• 本文构造了一个在 $\mathbb{A}^1$ 上的平坦族，其一般纤维微分同构于BSDH簇，特殊纤维为光滑toric簇，从而确立了代数退化。
• 极限toric簇的ample锥被描述为原始BSDH簇ample锥的子锥，其包含映射通过交点理论精确导出。
• 给出了极限toric簇的反canonical线丛为ample的充要条件：对所有 $k$，系数之和 $d_{i_j}([k-1]\mathbf{w})$ 必须满足正性条件，从而保证Fano性质。
• 构造了极限toric簇上曲线Chow群的基，使得所有torus不变曲线均为基元素的非负线性组合，且提供了明确的算法（引理23与24）。
• 利用根系数据，特别是配对 $d_{i_j}([k-1]\mathbf{w})$ 与曲线类展开中的系数 $a_k$，完全刻画了极限toric簇的极小射线与Mori射线。
• 本文证明了BSDH簇上的线丛 $\mathcal{L}$ 为ample当且仅当其与Schubert曲线 $L_k(\mathbf{w})$ 的交点数中所有系数 $a_k$ 均为正，从而通过交点数确认了ample性准则。