[论文解读] Cyclicity of Lusztig's stratification of Grassmannians and Poisson geometry

Milen Yakimov|ArXiv.org|Feb 12, 2009

Advanced Combinatorial Mathematics参考文献 4被引用 7

一句话总结

本文证明了格拉斯曼流形 Gr(k,n) 上的标准泊松结构在考克斯eter元 c = (1 2 ... n) 的作用下保持不变，为卢茨蒂格分层的循环性提供了泊松几何解释。关键结果是乘法 by c 是泊松自同构，这意味着考克斯eter元通过泊松同构置换卢茨蒂格分层，从而为 Knutson、Lam 与 Speyer 的一个结果提供了新的几何证明。

ABSTRACT

We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.

研究动机与目标

• 为格拉斯曼流形 Gr(k,n) 的卢茨蒂格分层的循环性提供泊松几何证明。
• 确立格拉斯曼流形 Gr(k,n) 上的标准泊松结构在考克斯eter元 c = (1 2 ... n) 作用下的不变性。
• 将此不变性与典型泊松结构在极小旗流形上的反不变性质联系起来。
• 表明 c 在 Gr(k,n) 上的作用限制为单个卢茨蒂格分层之间的泊松同构。

提出的方法

• 利用通过 gl_n(C) 在格拉斯曼流形上的无穷小作用定义的 Gr(k,n) 上的标准泊松结构 π_{k,n}。
• 应用旗流形上泊松结构的理论，特别是将卢茨蒂格分层解释为对称形式叶的 T-轨道的泊松几何解释。
• 通过验证其在诱导向量场作用下的不变性，证明考克斯eter元 c ∈ GL_n(C) 保持泊松结构 π_{k,n}。
• 依赖于 c 是 w_∘^P w_∘ 的 k 次根这一事实，而 w_∘^P w_∘ 在极小旗流形上作为泊松自同构作用。
• 利用最长 Weyl 群元素 w_∘ 的已知反泊松性质，通过其根性质推导出 c 的泊松不变性。
• 应用 [2] 中关于极小旗流形上泊松结构的结果，特别是极小旗流形的公式 π_{G/P} = -χ(r_L)。

实验结果

研究问题

• RQ1 格拉斯曼流形 Gr(k,n) 上的标准泊松结构是否在考克斯eter元 c = (1 2 ... n) 作用下保持不变？
• RQ2 卢茨蒂格分层在 Gr(k,n) 上的循环性能否通过泊松几何来解释？
• RQ3 c 在 Gr(k,n) 上的作用如何与最长 Weyl 群元素 w_∘ 的反泊松性质相关联？
• RQ4 考克斯eter元 c 是否在单个卢茨蒂格分层之间作为泊松同构作用？
• RQ5 为何在此情境中考克斯eter元相较于其他考克斯eter元具有特殊性？

主要发现

• 格拉斯曼流形 Gr(k,n) 上的标准泊松结构 π_{k,n} 在考克斯eter元 c = (1 2 ... n) 作用下保持不变，使得乘法 by c 成为泊松自同构。
• c 在 Gr(k,n) 上的作用置换了卢茨蒂格分层，为 Knutson、Lam 与 Speyer 的一个结果提供了新的泊松几何证明。
• c 的作用限制为单个卢茨蒂格分层 (R_{v,w}, π_{k,n}|_{R_{v,w}}) 之间的泊松同构，保持其正则泊松结构。
• 考克斯eter元 c 是 w_∘^P w_∘ 的 k 次根，且由于 w_∘^P w_∘ 在极小旗流形上作为泊松自同构作用，c 继承了泊松不变性。
• 当 k 与 n 互素时，c^{gcd(k,n)} = c 作为泊松自同构作用，为定理 1.1 提供了替代证明。
• 所有结果均可推广至实格拉斯曼流形 Gr(k,n; R)，因为所有构造均在实分裂形式 GL_n(R) 上定义。