[论文解读] Schubert varieties are log Fano over the integers

Dave Anderson, Alan Stapledon|arXiv (Cornell University)|Mar 29, 2012

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

一句话总结

本文通过构造一个定义在 ℤ 上的典范除子 Δ，证明了 Schubert 流形在所有特征下都是对数 Fano 的，使得对偶 (X_w, Δ) 在所有特征下均为对数 Fano。利用 Bott-Samelson 解析和典范除子与线丛次数的显式公式，作者证明了 −(K_{X_w} + Δ) 是ample 的，且该对是 Kawamata 对数终端的，从而解决了关于特征间统一边界除子的问题。

ABSTRACT

Given a Schubert variety X_w, we exhibit a divisor Δ, defined over the integers, such that the pair (X_w,Δ) is log Fano in all characteristics.

研究动机与目标

• 解决 Schwede 和 Smith 提出的问题：Schubert 流形是否能通过一个单一的边界除子 Δ，使得 (X_w, Δ) 在所有特征下均为对数 Fano。
• 构造一个定义在 ℤ 上的除子 Δ，使得对偶 (X_w, Δ) 是 Kawamata 对数终端的，且 −(K_{X_w} + Δ) 是ample 的。
• 建立对数 Fano 性质在所有代数特征下的一致性，借助几何与表示论工具。
• 证明边界除子 Δ = ∑(1 − a_i/M)∂_i（其中 M > max a_i）构成一个良定义的、有效的、全局定义的对数 Fano 对。

提出的方法

• 使用与 w 的约化字对应的 Bott-Samelson 解析 φ: ˜X_w → X_w，该解析提供了一个光滑的、双有理的模型，其上具有一个简单交叉的除子 ˜∂。
• 定义 Δ = ∑c_i∂_i，其中 c_i = 1 − a_i/M，a_i 为 X_w 上线丛 L(ρ) 的系数，M 为大于所有 a_i 的整数。
• 应用 Chevalley 公式计算 b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i)，即正根 γ_i = s_ℓ⋯s_{i+1}(α_i) 的高度，从而得到 φ^*L(ρ) 在 T-固定曲线上的次数。
• 利用投影公式和 T-固定曲线的交点，证明 (φ^*L(ρ) · C_i) = (L(ρ) · φ(C_i)) = ⟨ρ, γ_i^∨⟩ = b_i > 0。
• 建立 φ^*(K_{X_w} + Δ) = K_{˜X_w} + ˜Δ，其中 ˜Δ = ∑(1 − b_i/M)˜∂_i，并通过 b_i > 0 的引理证明 ⌊˜Δ⌋ ≤ 0。
• 利用 φ 是有理解析的性质，并应用 [2, 引理 2.30 和推论 2.31] 的结果，得出 (X_w, Δ) 是 klt 且对数 Fano 的。

实验结果

研究问题

• RQ1 是否存在一个定义在 ℤ 上的单一边界除子 Δ，使得 Schubert 流形在所有特征下均为对数 Fano？
• RQ2 是否存在一种统一的 Δ 构造方法，使得 −(K_{X_w} + Δ) 是ample 的，且 (X_w, Δ) 在所有特征下均为 Kawamata 对数终端？
• RQ3 系数 Δ 的精确公式是什么，其与 Weyl 群和基本权的表示理论数据有何关系？
• RQ4 线丛 L(ρ) 的系数 a_i 和 b_i 如何与 Bott-Samelson 解析的几何结构相关联？
• RQ5 在 ˜X_w 上的典范除子公式 −K_{˜X_w} = ∑(⟨ρ, γ_i^∨⟩ + 1)˜∂_i 是否可推广至非约化字？其对对数 Fano 性质有何影响？

主要发现

• 对偶 (X_w, Δ) 在 ℤ 上是对数 Fano 的，其中 Δ = ∑(1 − a_i/M)∂_i，M > max a_i，且 a_i 为线丛 L(ρ) 中的正整数。
• 系数 b_i = ⟨ρ, γ_i^∨⟩ = ht(γ_i) 严格为正，确保了 φ^*L(ρ) 在 T-固定曲线上的次数为正。
• 在 Bott-Samelson 解析上，典范除子公式为 K_{˜X_w} = −∑(b_i + 1)˜∂_i，即使对非约化字也成立，但若 γ_i 非正根，则系数可能为负。
• 由于 φ_*K_{˜X_w} = K_{X_w} 且 ⌊φ^*(K_{X_w} + Δ)⌋ = K_{˜X_w} + ⌊˜Δ⌋ 满足 ⌊˜Δ⌋ ≤ 0，因此对偶 (X_w, Δ) 是 Kawamata 对数终端的。
• 除子 Δ 是有效且定义在 ℤ 上的，且该构造与基域的特征无关，从而正面回答了统一性问题。
• 当 Δ 扭转时，反典范除子 −K_{X_w} 是反ample 的，因为 MK_{X_w} + MΔ = −(M+1)∑a_i∂_i 是 L(−ρ)^{⊗(M+1)} 的截面。