[论文解读] Bott-Samelson Varieties and Configuration Spaces

Péter Magyar|ArXiv.org|Nov 16, 1996

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

一句话总结

本文將 Bott-Samelson 積分量構造為旗流形乘積中 B-軌道的閉包，並將其坐標環嵌入到 Borel 子群的函數環中。它提供了 Kraskiewicz 與 Pragacz 定理（關於 Schubert 多項式作為 Schubert 模塊特徵）的幾何證明，進而導出 Demazure 特徵公式，並為這些積分量建立標準單項式理論。

ABSTRACT

We give a new construction of the Bott-Samelson variety $Z$ as the closure of a $B$-orbit in a product of flag varieties $(G/B)^l$. This also gives an embedding of the projective coordinate ring of the variety into the function ring of a Borel subgroup: $\CC[Z] \subset \CC[B]$. In the case of the general linear group $G = GL(n)$, this identifies $Z$ as a configuration variety of multiple flags subject to certain inclusion conditions, closely related to the the matrix factorizations of Berenstein, Fomin and Zelevinsky. As an application, we give a geometric proof of the theorem of Kraskiewicz and Pragacz that Schubert polynomials are characters of Schubert modules. Our work leads on the one hand to a Demazure character formula for Schubert polynomials and other generalized Schur functions, and on the other hand to a Standard Monomial Theory for Bott-Samelson varieties.

研究动机与目标

• 提供 Bott-Samelson 積分量作為旗流形乘積中 B-軌道閉包的新幾何構造。
• 將 Bott-Samelson 積分量的投影坐標環嵌入到 Borel 子群的函數環中。
• 將該變化解釋為 GL(n) 中滿足包含關係的多個旗的配置空間。
• 透過此構造，給出 Kraskiewicz-Pragacz 定理（關於 Schubert 多項式為 Schubert 模塊特徵）的幾何證明。
• 為 Bott-Samelson 積分量建立標準單項式理論與 Demazure 特徵公式。

提出的方法

• 將 Bott-Samelson 積分量 Z 構造為半單群 G 的 (G/B)^l 中 B-軌道的閉包。
• 利用 Z ⊂ (G/B)^l 的嵌入，導出坐標環的包含關係：ℂ[Z] ⊂ ℂ[B]。
• 當 G = GL(n) 時，將 Z 解釋為滿足指定包含關係的多個旗的配置空間。
• 透過旗配置，將此構造與 Berenstein、Fomin 與 Zelevinsky 研究的矩陣分解聯繫起來。
• 應用幾何表示理論，證明 Schubert 多項式是 Schubert 模塊的特徵。
• 利用幾何框架，推導出 Schubert 多項式與推廣的 Schur 函數的 Demazure 特徵公式。

实验结果

研究问题

• RQ1 如何幾何地構造 Bott-Samelson 積分量，使其成為旗流形乘積中 B-軌道的閉包？
• RQ2 Bott-Samelson 積分量的坐標環與 Borel 子群的函數環之間有何關係？
• RQ3 具有包含關係的多個旗的配置空間如何與矩陣分解及 Schubert 多項式相關？
• RQ4 能否透過此構造幾何地證明 Kraskiewicz-Pragacz 定理（關於 Schubert 多項式為特徵）？
• RQ5 Bott-Samelson 積分量的標準單項式理論與 Demazure 特徵公式之結構為何？

主要发现

• Bott-Samelson 積分量 Z 被實現為 (G/B)^l 中 B-軌道的閉包，提供了新的幾何模型。
• 投影坐標環 ℂ[Z] 自然地嵌入到 Borel 子群的函數環 ℂ[B] 中。
• 當 G = GL(n) 時，Z 被識別為具有指定包含關係的多個旗的配置空間。
• 此構造與 Berenstein、Fomin 與 Zelevinsky 研究的矩陣分解建立了直接聯繫。
• 給出了 Kraskiewicz-Pragacz 定理的幾何證明，顯示 Schubert 多項式是 Schubert 模塊的特徵。
• 此框架導出了 Schubert 多項式的 Demazure 特徵公式，並啟動了 Bott-Samelson 積分量的標準單項式理論。