[论文解读] Schubert slices in the combinatorial geometry of flag domains

Ana-Maria Brecan|arXiv (Cornell University)|Nov 2, 2014

Advanced Algebra and Geometry参考文献 5被引用 3

一句话总结

本文通过在Weyl群元素上施加广义严格配对条件，提供了Iwasawa-Schubert子簇与旗域轨道横截相交于有限点的组合表征。该文计算了所有$SL(n,\mathbb{C})$实形式的此类Schubert子簇的确切数量，包括对$SL(n,\mathbb{R})$、$SL(m,\mathbb{H})$和$SU(p,q)$的显式构造，并通过旗数据和Weyl群元素的规范重排，给出了交点的精确算法描述。

ABSTRACT

Flag domains are open orbits of real semisimple Lie groups in flag manifolds of their complexifications. Certain group theoretically defined compact complex submanifolds, which are regarded as cycles, are of basic importance for their complex geometric and representation theoretic properties. It is known that there are optimal Schubert varieties which intersect the cycles transversally in finitely many points and in particular determine them in homology. Here we give a precise description of these Schubert varieties in terms of certain subsets of the Weyl group and compute their total number for all the real forms of SL(n,C). Furthermore, we give an explicit description of the points of intersection in terms of flags and their number.

研究动机与目标

• 提供与旗域轨道横截相交于有限个点的Schubert子簇的完整组合描述。
• 计算所有$SL(n,\mathbb{C})$实形式（包括$SL(n,\mathbb{R})$、$SL(m,\mathbb{H})$和$SU(p,q)$）中此类Schubert子簇的总数。
• 以旗和Weyl群数据为基准，给出这些Schubert子簇与开轨道交点的显式算法描述。
• 定义并研究基循环$C_0$到高维旗流形的规范提升，并将其与广义严格配对条件关联。
• 建立一个同调类公式，将基循环类表示为这些Iwasawa-Schubert子簇所索引的Schubert类之和。

提出的方法

• 引入Iwasawa-Borel子群$B_I$作为包含Iwasawa分量$A_0N_0$的$G$的Borel子群，从而将Iwasawa-Schubert子簇定义为$Z=G/P$中$B_I$-轨道的闭包。
• 利用Iwasawa分解$G_0 = K_0A_0N_0$，定义旗域中开轨道的规范参数化$\alpha$，该参数化编码了基循环$C_0$的结构。
• 通过涉及$h_j < q$、$g_j > n-q$和$k_j \in \{q+1,\dots,p\}$的序列的分块重排，定义Weyl群元素$w$上的广义严格配对条件，确保其规范重排$\hat{w}$满足标准严格配对条件。
• 对$w$应用规范重排过程，重新排序每个块中的元素以满足严格配对条件，长度差$\sum a_i b_i$解释了$S_{\hat{w}}$与$S_w$之间的维数下降。
• 利用复化旗流形到$Z=G/P$的投影映射$\pi$，将$S_{\hat{w}}$-不变循环与原始旗域中的$S_w$关联，确保与开轨道的横截相交。
• 利用Barlet空间$C^q(D)$以及循环空间在$C_0$处的光滑性，证明可使用横截截面，并建立同调类公式$[C_0^\alpha] = \sum_{S \in \mathcal{S}_{C_0}^\alpha} [S]$。

实验结果

研究问题

• RQ1 在$G/P$中，哪些Schubert子簇与给定的旗域轨道$D_{a,b}$横截相交于有限个点？
• RQ2 对于$SL(n,\mathbb{C})$的每个实形式，此类Schubert子簇的总数是多少？
• RQ3 这些Schubert子簇与开轨道的交点如何通过旗和Weyl群数据显式描述？
• RQ4 Weyl群元素$w$的精确组合条件是什么，以确保$S_w$是给定旗域的Iwasawa-Schubert子簇？
• RQ5 基循环$C_0$到高维旗流形的规范提升如何与广义严格配对条件关联？

主要发现

• 当且仅当$w$满足广义严格配对条件时，Schubert子簇$S_w$才是开轨道$D_{a,b}$的Iwasawa-Schubert子簇，该条件确保其规范重排$\hat{w}$满足标准严格配对条件。
• 与开轨道$D_{a,b}$相交且维数为$pq$的此类Schubert子簇的数量由二项式系数$\binom{f_1 + f_2}{f}$给出，其中$f_1 = \min(a_1, b_1)$，$f_2 = \min(a_2, b_2)$，$f = \max(f_1, f_2)$。
• 对于$Z = Gr(5,11)$且$G_0 = SU(7,4)$，参数为$a_1=3, a_2=1, b_1=2, b_2=5$的情况，此类Schubert子簇的数量为$\binom{3}{2} = 3$，通过序列$1281011345679$、$1389112456710$和$2389101456711$显式实现。
• Schubert子簇$S_w$与开轨道$D_{a,b}$的交点由对$w$和规范参数化$\alpha$应用广义严格配对条件算法唯一确定。
• 在$Z=G/P$中，基循环$C_0^\alpha$的同调类等于$\mathcal{S}_{C_0}^\alpha$中所有Iwasawa-Schubert子簇的Schubert类之和，即$[C_0^\alpha] = \sum_{S \in \mathcal{S}_{C_0}^\alpha} [S]$。
• 基循环$C_0$到旗流形$G/B$的规范提升$\hat{C}_0$与$w$的规范重排$\hat{w}$相关联，且维数下降$\dim S_{\hat{w}} - \dim S_w = \sum a_i b_i$精确刻画了广义配对条件。