[论文解读] A note on toric degeneration of a Bott-Samelson-Demazure-Hansen variety

B. Narasimha Chary|arXiv (Cornell University)|Oct 16, 2017

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

一句话总结

本文利用 торическая 几何研究了 Kac-Moody 设置下 Bott-Samelson-Demazure-Hansen (BSDH) 代数簇的 торическая 退化。通过 Weyl 群表达式的组合条件，对 Fano、弱 Fano 及对数 Fano BSDH 代数簇及其 торическая 极限进行了分类，证明了切丛与线丛上上同调的消去定理，并利用 торическая 方法恢复并推广了 [PK16] 的结果。

ABSTRACT

In this paper we study the geometry of toric degeneration of a Bott-Samelson-Demazure-Hansen (BSDH) variety. We give some applications to BSDH varieties. Precisely, we classify Fano, weak Fano and log Fano BSDH varieties and their toric limits in Kac-Moody setting. We prove some vanishing theorems for the cohomology of tangent bundle (and line bundles) on BSDH varieties. We also recover the results in arXiv:1604.01998, by toric methods.

研究动机与目标

• 在 Kac-Moody 设置下，对 Fano、弱 Fano 及对数 Fano BSDH 代数簇及其 торическая 极限进行分类。
• 证明 BSDH 代数簇上切丛与线丛上同调的消去定理。
• 利用 торическая 几何技术恢复并扩展 [PK16] 的结果。
• 通过 торическая 极限建立 Weyl 群表达式的组合性质与 BSDH 代数簇几何性质之间的联系。
• 利用来自 Bott 楼梯结构的曲线类，刻画 торическая 极限的极小极射线与 Mori 极射线。

提出的方法

• 利用 торическая 几何分析 BSDH 代数簇 $Z(\tilde{w})$ 的极限 торическая 代数簇 $Y_{\tilde{w}}$。
• 将 $Y_{\tilde{w}}$ 识别为 Bott 楼梯 —— 一个通过可分解秩为 2 的向量丛从点出发的 $\mathbb{P}^1$-丛的迭代构造。
• 应用半连续性定理，将 $Y_{\tilde{w}}$ 的性质传递至原始的 BSDH 代数簇 $Z(\tilde{w})$。
• 引入 Weyl 群表达式 $\tilde{w} = s_{\beta_1} \cdots s_{\beta_r}$ 上的组合条件 $N^1_i$ 与 $N^2_i$，以刻画 Fano 与弱 Fano 行为。
• 利用 торическая Kleiman 准则与 Toric Cone 定理，将反 canonical 丛的正则性与极小射线上的 canonical 除数负性联系起来。
• 应用 [Ch18] 中关于 Bott 楼梯的结果，通过曲线类 $L_{I_i}$ 刻画 Mori 锥与极小射线。

实验结果

研究问题

• RQ1 在 Weyl 群表达式 $\tilde{w}$ 满足何种组合条件时，Kac-Moody 设置下的 BSDH 代数簇 $Z(\tilde{w})$ 是 Fano 或弱 Fano？
• RQ2 在 торическая 退化下，$Z(\tilde{w})$ 上切丛与线丛的上同调群行为如何？
• RQ3 能否利用 торическая 几何方法恢复并扩展 [PK16] 中关于 Fano 与弱 Fano торическая 极限的结果？
• RQ4 торическая 极限 $Y_{\tilde{w}}$ 的 Mori 锥 $\overline{NE}(Y_{\tilde{w}})$ 的结构如何？哪些极小射线是 Mori 射线？
• RQ5 与 Bott 楼梯结构相关的曲线类 $L_{I_i}$ 如何生成 Mori 锥并决定 Fano 性质？

主要发现

• 若 Weyl 群表达式 $\tilde{w}$ 满足条件 $I$，则其 торическая 极限 $Y_{\tilde{w}}$ 与 BSDH 代数簇 $Z(\tilde{w})$ 均为 Fano。
• 若 $\tilde{w}$ 满足条件 $II$，则 $Y_{\tilde{w}}$ 与 $Z(\tilde{w})$ 均为弱 Fano。
• торическая 极限的正锥 $Amp(Y_{\tilde{w}})$ 被识别为 $Amp(Z(\tilde{w}))$ 的子锥。
• 当 $\tilde{w}$ 满足条件 $I$ 时，$H^i(Z(\tilde{w}), T_{Z(\tilde{w})})$ 的消去定理成立，该结果被推广至 Kac-Moody 设置。
• $\overline{NE}(Y_{\tilde{w}})$ 的极小射线恰好为类 $L_{I_i}$，且构成 $N_1(Y_{\tilde{w}})_{\mathbb{Z}}$ 的基。
• 光滑射影 торическая 代数簇为 Fano 当且仅当每个极小射线均为 Mori 射线，该判别准则适用于 $Y_{\tilde{w}}$ 以刻画 Fano 行为。