[论文解读] Richardson Varieties in the Grassmannian

Victor Kreiman, V. Lakshmibai|ArXiv.org|Mar 27, 2002

Advanced Combinatorial Mathematics参考文献 14被引用 11

一句话总结

本文为格拉斯曼流形中的Richardson流形建立了标准单项理论，证明了高阶上同调的消失定理，推导出在T-不动点处重数的递归公式，并表明Richardson流形在T-不动点处的重数等于对应Schubert流形与对偶Schubert流形重数的乘积。由此，利用Plücker坐标和经典的Pieri公式，将Rosenthal-Zelevinsky的行列式公式推广至Richardson流形。

ABSTRACT

The Richardson variety $X_w^v$ is defined to be the intersection of the Schubert variety $X_w$ and the opposite Schubert variety $X^v$. For $X_w^v$ in the Grassmannian, we obtain a standard monomial basis for the homogeneous coordinate ring of $X_w^v$. We use this basis first to prove the vanishing of $H^i(X_w^v,L^m)$, $i > 0 $, $m \geq 0$, where $L$ is the restriction to $X_w^v$ of the ample generator of the Picard group of the Grassmannian; then to determine a basis for the tangent space and a criterion for smoothness for $X_w^v$ at any $T$-fixed point $e_ $; and finally to derive a recursive formula for the multiplicity of $X_w^v$ at any $T$-fixed point $e_ $. Using the recursive formula, we show that the multiplicity of $X_w^v$ at $e_ $ is the product of the multiplicity of $X_w$ at $e_ $ and the multiplicity of $X^v$ at $e_ $. This result allows us to generalize the Rosenthal-Zelevinsky determinantal formula for multiplicities at $T$-fixed points of Schubert varieties to the case of Richardson varieties.

研究动机与目标

• 使用Plücker坐标为格拉斯曼流形中的Richardson流形发展标准单项理论。
• 证明Richardson流形上线丛的高阶上同调群消失。
• 确定切空间的基以及T-不动点处光滑性的判别准则。
• 推导Richardson流形在T-不动点处重数的递归公式。
• 将Schubert流形重数的Rosenthal-Zelevinsky行列式公式推广至Richardson流形。

提出的方法

• 使用Plücker坐标为格拉斯曼流形中Richardson流形$X_w^v$的齐次坐标环构造标准单项基。
• 利用标准单项基，通过经典Pieri公式证明$H^i(X_w^v, L^m) = 0$对所有$i > 0$，$m \geq 0$成立。
• 通过研究对偶胞腔$\mathcal{O}^{-}_\tau \cong \mathbb{A}^{d(n-d)}$中的局部结构，分析T-不动点$e_\tau$处的切空间。
• 利用Schubert流形与对偶Schubert流形在标量乘法下的不变性，推导出$X_w^v$在$e_\tau$处重数的递归公式。
• 应用Bézout定理，证明$X_w^v$在$e_\tau$处的重数等于$X_w$与$X^v$在$e_\tau$处重数的乘积，利用横截相交的性质。
• 通过将$X_w^v$在$e_\tau$处的重数表达为两个行列式的乘积（分别对应$X_w$和$X^v$），推广Rosenthal-Zelevinsky的行列式公式。

实验结果

研究问题

• RQ1 如何为格拉斯曼流形中Richardson流形的坐标环构造标准单项基？
• RQ2 Richardson流形上线丛的上同调行为如何，特别是高阶上同调的消失性？
• RQ3 Richardson流形在T-不动点处的切空间结构如何，其光滑性判别准则是什么？
• RQ4 是否可以递归地计算Richardson流形在T-不动点处的重数，若可以，其与构成它的Schubert流形和对偶Schubert流形重数有何关系？
• RQ5 能否将Schubert流形重数的Rosenthal-Zelevinsky行列式公式推广至Richardson流形？

主要发现

• 格拉斯曼流形中Richardson流形$X_w^v$的齐次坐标环允许由Plücker坐标构造的标准单项基。
• 对所有$i > 0$和$m \geq 0$，高阶上同调群$H^i(X_w^v, L^m)$消失，其中$L$为Picard群中ample生成元的限制。
• $X_w^v$在T-不动点$e_\tau$处的重数由对偶胞腔中局部结构导出的递归公式给出。
• $X_w^v$在$e_\tau$处的重数等于$X_w$与$X^v$在$e_\tau$处重数的乘积，即$\operatorname{mult}_{\tau}(X_w^v) = \operatorname{mult}_{\tau}(X_w) \cdot \operatorname{mult}_{\tau}(X^v)$。
• 导出了$\operatorname{mult}_{\tau}(X_w^v)$的广义行列式公式，其为两个行列式的乘积：一个对应$X_w$，一个对应$X^v$，其中元素涉及二项式系数和组合权重$\kappa_q$与$\gamma_q$。
• 该公式将Rosenthal-Zelevinsky的结果推广至Richardson流形，行列式表达式显式包含$i_q$、$j_q$、$\kappa_q = \#\{\tau_p \mid \tau_p > i_q\}$和$\gamma_q = \#\{\tau_p \mid \tau_p < j_q\}$。