[论文解读] Degenerate flag varieties of type A: Frobenius splitting and BW theorem

Evgeny Feigin, Michael Finkelberg|arXiv (Cornell University)|Mar 8, 2011

Advanced Algebra and Geometry参考文献 9被引用 13

一句话总结

该论文通过一个 ℙ¹-纤维丛塔构造了类型 A 的退化旗簇的去奇异化，证明其为弗罗贝尼乌斯分裂且具有有理奇点。该研究建立了 PBW-加权模的 Borel-Weil 型定理，通过在去奇异化空间上应用 Atiyah-Bott-Lefschetz 公式，得到了 q-特征标公式。

ABSTRACT

Let $\Fl^a_\la$ be the PBW degeneration of the flag varieties of type $A_{n-1}$. These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$. We prove that $\Fl^a_\la$ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\la$ of $\Fl^a_\la$. The varieties $R_\la$ can be viewed as towers of successive $\bP^1$-fibrations, thus providing an analogue of the classical Bott-Samelson-Demazure-Hansen desingularization. We prove that the varieties $R_\la$ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel-Weyl type theorem for $\Fl^a_\la$. Using the Atiyah-Bott-Lefschetz formula for $R_\la$, we compute the $q$-characters of the highest weight $\msl_n$-modules.

研究动机与目标

• 通过一个 ℙ¹-纤维丛塔构造类型 A 的退化旗簇 𝒜λa 的去奇异化。
• 证明退化旗簇是正规的、局部完全交，并具有有理奇点。
• 在有限域上为退化旗簇及其去奇异化空间建立弗罗贝尼乌斯分裂。
• 利用去奇异化空间与弗罗贝尼乌斯分裂，为 PBW-加权模 Vλa 建立 Borel-Weil 型定理。
• 通过在去奇异化空间 Rλ 上应用 Atiyah-Bott-Lefschetz 公式，推导出 Vλa 的 q-特征标公式。

提出的方法

• 将去奇异化空间 Rλ 构造为满足特定关联与投影条件的嵌套子空间 V_{i,j} 的集合。
• 定义自然投影 πλ: Rλ → 𝒜λa，将每个元组 (V_{i,j}) 映射到 (V_{i,i})，并证明其为双有理态射。
• 证明 Rλ 是光滑的，且为 successive ℙ¹-纤维丛，因此在 𝔽̄p 上为弗罗贝尼乌斯分裂。
• 利用 Mehta-Ramanathan 准则，证明 Rλ 和 𝒜λa 在 𝔽̄p 上均为弗罗贝尼乌斯分裂。
• 应用 Atiyah-Bott-Lefschetz 公式计算线丛 πλ*𝒪(1) 的欧拉示性数，从而导出 q-特征标公式。
• 通过切空间权与纤维丛结构，计算 Rλ 中每个环面固定点对特征标和的贡献。

实验结果

研究问题

• RQ1 是否能通过 ℙ¹-纤维丛塔对类型 A 的退化旗簇进行去奇异化？
• RQ2 类型 A 的退化旗簇是否具有有理奇点，且是否为正规的、局部完全交？
• RQ3 在有限域上，退化旗簇及其去奇异化空间是否存在弗罗贝尼乌斯分裂？
• RQ4 在退化旗簇上，PBW-加权模 Vλa 是否存在 Borel-Weil 型定理？
• RQ5 能否通过在去奇异化空间 Rλ 上应用 Atiyah-Bott-Lefschetz 公式，计算 Vλa 的 q-特征标？

主要发现

• 去奇异化空间 Rλ 是一个光滑的、不可约的代数簇，是退化旗簇 𝒜λa 上的 successive ℙ¹-纤维丛塔。
• 退化旗簇 𝒜λa 是正规的，局部为完全交，因此是 Cohen-Macaulay 且 Gorenstein。
• Rλ 和 𝒜λa 均在 𝔽̄p 上为弗罗贝尼乌斯分裂，这意味着 𝒜λa 在 ℂ 上具有有理奇点。
• Borel-Weil 定理在退化旗簇上成立：H⁰(𝒜λa, 𝒪(1)) 同构于 PBW-加权模 Vλa 的对偶，且高阶上同调为零。
• Vλa 的 q-特征标由 Rλ 中 2^{dim 𝔫} 个环面固定点的和给出，每一项由该固定点处切空间的权确定。
• 当 n=2 时，特征标公式给出 ch_q V_{mω} = z^m + qz^{m-2} + ⋯ + q^m z^{-m}，与预期形式一致。