[论文解读] Geometry of regular Hessenberg varieties

Hiraku Abe, Naoki Fujita+1 more|arXiv (Cornell University)|Dec 26, 2017

Advanced Algebra and Geometry参考文献 27被引用 6

一句话总结

本文证明了复半单李群中的不可约正则Hessenberg流形的结构层的高阶上同调群为零，推广了已知的关于正则半单Hessenberg流形的结果。此外，本文证明了此类流形的平坦族的纤维在方案意义上是约化的，其应用涉及上同调、Picard群以及通过Borel-Weil-Bott理论和局部定义理想实现的射影嵌入。

ABSTRACT

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. For a regular element $x$ in $\mathfrak{g}$ and a Hessenberg space $H\subseteq \mathfrak{g}$, we consider a regular Hessenberg variety $X(x,H)$ in the flag variety associated with $\mathfrak{g}$. We take a Hessenberg space so that $X(x,H)$ is irreducible, and show that the higher cohomology groups of the structure sheaf of $X(x,H)$ vanish. We also study the flat family of regular Hessenberg varieties, and prove that the scheme-theoretic fibers over the closed points are reduced. We include applications of these results as well.

研究动机与目标

• 将正则半单Hessenberg流形的高阶上同调群消失性结果推广至满足适当不可约性条件的任意正则Hessenberg流形。
• 研究由李代数中正则元素参数化的正则Hessenberg流形的平坦族。
• 证明该族的方案论纤维是约化的，扩展了类型A中的已知结果。
• 将这些结果应用于计算射影嵌入的体积，并建立Picard群与第二整上同调群之间的同构。

提出的方法

• 将正则Hessenberg流形定义为旗流形G/B的子簇，条件为Ad(g⁻¹)x ∈ H，其中x为正则元，H为包含Bore尔子代数且在Borel子代数的伴随作用下稳定的Hessenberg子空间。
• 对H施加条件(†)，以确保所得正则Hessenberg流形X(x,H)的不可约性。
• 确定X(x,H)在G/B中的局部定义理想，推广[28]和[1]的结果，以局部描述其方案结构。
• 应用Borel-Weil-Bott定理计算G/B上线丛的上同调，从而控制X(x,H)的结构层的上同调。
• 通过G/B × g_reg在条件Ad(g⁻¹)x ∈ H下的纤维积构造平坦族X_reg(H) → g_reg，并证明投影π的平坦性。
• 利用局部定义理想和平坦性，证明所有方案论纤维π⁻¹(x)在闭点处都是约化的，借助正则元和共轭的性质。

实验结果

研究问题

• RQ1 对于不可约正则Hessenberg流形，其结构层的高阶上同调群是否在正则半单情形之外也消失？
• RQ2 正则Hessenberg流形在正则元素空间上的族是否平坦，其纤维是否约化？
• RQ3 正则Hessenberg流形的局部定义理想如何与它们的K-理论类和上同调不变量相关？
• RQ4 上同调消失性与纤维约化对这些流形的几何结构和射影嵌入有何影响？
• RQ5 能否在一般正则Hessenberg流形上建立Picard群与第二整上同调群之间的同构？

主要发现

• X(x,H)的结构层的高阶上同调群为零：对所有i > 0，有Hⁱ(X,𝒪_X) = 0。
• X(x,H)的Picard群同构于其第二整上同调群：Pic(X(x,H)) ≅ H²(X(x,H);ℤ)。
• X(x,H)在G/B上的凝聚层K-理论中的类不依赖于正则元x的选择。
• 平坦族π: X_reg(H) → g_reg的方案论纤维在所有闭点处都是约化的。
• 通过平坦族和上同调数据，计算了X(x,H)在G/B中通过非常 ample 线丛实现的射影嵌入的体积。
• X(x,H)的局部定义理想被显式确定，推广了先前结果，并通过Borel-Weil-Bott理论实现了上同调的控制。