[论文解读] Essential bases and toric degenerations arising from birational sequences

Xin Fang, Ghislain Fourier+1 more|arXiv (Cornell University)|Oct 8, 2015

Algebraic structures and combinatorial models参考文献 20被引用 10

一句话总结

本文提出了一套统一框架，通过双有理序列与单项序，构建旗簇与球对称簇的 T-等变平坦扇形退化。通过将双有理序列 S 与单项序 > 关联，构造一个有限生成且饱和的幺半群 Γ，进而得到 C[G//U] 的向量空间基 BΓ，其具有类似典范基的乘法性质，从而通过其极小多面体交集实现对正常扇形簇的退化，推广了先前基于 PBW 滤子、牛顿-奥库诺夫体与典范基的方法。

ABSTRACT

We present a new approach to construct $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, combining ideas coming from the theory of Newton-Okounkov bodies with ideas originally stemming from PBW-filtrations. For each pair $(S,>)$ consisting of a birational sequence and a monomial order, we attach to the affine variety $G/\hskip -3.5pt/U$ a monoid $Γ=Γ(S,>)$. As a side effect we get a vector space basis $\mathbb B_Γ$ of $\mathbb C[G/\hskip -3.5pt/U]$, the elements being indexed by $Γ$. The basis $\mathbb B_Γ$ has multiplicative properties very similar to those of the dual canonical basis. This makes it possible to transfer the methods of Alexeev and Brion \cite{AB} to this more general setting, once one knows that the monoid $Γ$ is finitely generated and saturated.

研究动机与目标

• 统一现有方法对旗簇与球对称簇的 T-等变平坦扇形退化构造，包括 PBW 滤子、牛顿-奥库诺夫体与典范基的方法。
• 建立一种通用的构造方法，利用双有理序列与单项序实现此类退化。
• 为坐标环 C[G//U] 定义一个新的基 BΓ，其指标集为幺半群 Γ，且具有类似于对偶典范基的乘法性质。
• 证明当 Γ 有限生成且饱和时，其对应簇为正常扇形簇，从而实现平坦退化。

提出的方法

• 固定一个无扭子群 U⁻ 的正根的双有理序列 S = (β₁,…,βN)，确保乘积映射 π: U₋β₁ × ⋯ × U₋βN → U⁻ 是双有理的。
• 引入一个权函数 Ψ: ℕᴺ → ℕ，将诱导的偏序 >Ψ 精化为 ℕᴺ 上的全单项序 >。
• 构造幺半群 Γ = Γ(S,>) ⊂ Λ × ℤᴺ，作为双有理映射 π 与单项序 > 下的次数映射的像。
• 利用单项序在极化 G-簇 (Y,ℒ) 的截面环 R(Y,ℒ) 上定义滤子，从而得到一个分次代数 gr R(Y,ℒ)。
• 证明该分次代数的 Proj，记为 Y₀ = Proj(gr R(Y,ℒ))，是 Y 到正常扇形簇的平坦、T-等变退化。
• 证明 Y₀ 的极小多面体是 ℝᴺ 中的有理多面锥 ℂ ⊂ Λℝ × ℝᴺ 与 Y 的权锥的交集。

实验结果

研究问题

• RQ1 能否通过单一框架统一整合 PBW 滤子、牛顿-奥库诺夫体与典范基等不同方法对旗簇与球对称簇的 T-等变平坦扇形退化构造？
• RQ2 双有理序列 S 与单项序 > 需满足何种条件，才能保证其对应的幺半群 Γ 有限生成且饱和？
• RQ3 由 (S,>) 构造的 C[G//U] 的基 BΓ 是否继承了类似于对偶典范基的乘法性质？
• RQ4 退化簇 Y₀ 的几何结构如何与原始簇 Y 的极小多面体相关联？
• RQ5 在何种条件下退化 Y₀ 是平坦且 T-等变的？何时其为正常扇形簇？

主要发现

• 当幺半群 Γ = Γ(S,>) 有限生成且饱和时，其为 ℝᴺ 中有理多面锥 ℂ ⊂ Λℝ × ℝᴺ 的整点集。
• Γ 的谱 Spec Γ 是环群 T × (ℂ*)ᴺ 上的正常扇形簇。
• 对任意仿射球对称 G-簇 Y，存在一个平坦、T-等变退化，使其退化为 T × (ℂ*)ᴺ-正常扇形簇 Y₀，其对应锥为 ℂ ∩ (𝒲 × ℝᴺ)，其中 𝒲 是 Y 的权锥。
• 该退化由一个平坦族 ψ: 𝒴 → 𝔸¹ 实现，其一般纤维同构于 Y，特殊纤维同构于 Y₀，且保持线丛结构。
• C[G//U] 的基 BΓ 由 Γ 索引，其乘法性质与对偶典范基类似。
• 该构造将 Caldero、Alexeev-Brion、Kirichenko 与 Feigin-Fourier-Littelmann 的先前结果统一并推广，将其嵌入基于双有理序列与单项序的单一框架中。