[论文解读] Double flag varieties for a symmetric pair and finiteness of orbits

Kyo Nishiyama, Hiroyuki Ochiai|arXiv (Cornell University)|Sep 27, 2010

Advanced Algebra and Geometry参考文献 8被引用 7

一句话总结

本文引入了对称对 $(G,K)$ 的双重旗流形 $G/P \times K/Q$，其中 $G$ 是复数域上的半单代数群，$K = G^\theta$ 且 $\theta$ 为一 involution。文章通过三重旗流形建立了高效的有限性判别准则，证明当某些三重旗流形 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)} \times \mathfrak{X}_{P'}$ 具有有限个 $G$-轨道时，$G/P \times K/Q$ 为有限类型。主要贡献在于当 $P$ 为 Borel 子群时，对 AIII 型实现了有限类型双重旗流形的分类。

ABSTRACT

Let G be a reductive algebraic group over the complex number filed, and K = G^θ be the fixed points of an involutive automorphism θof G so that (G, K) is a symmetric pair. We take parabolic subgroups P and Q of G and K respectively and consider a product of partial flag varieties G/P and K/Q with diagonal K-action. The double flag variety G/P imes K/Q thus obtained is said to be of finite type if there are finitely many K-orbits on it. A triple flag variety G/P^1 imes G/P^2 imes G/P^3 is a special case of our double flag varieties, and there are many interesting works on the triple flag varieties. In this paper, we study double flag varieties G/P imes K/Q of finite type. We give efficient criterion under which the double flag variety is of finite type. The finiteness of orbits is strongly related to spherical actions of G or K. For example, we show a partial flag variety G/P is K-spherical if a product of partial flag varieties G/P imes G/θ(P) is G-spherical. We also give many examples of the double flag varieties of finite type, and for type AIII, we give a classification when P = B is a Borel subgroup of G.

研究动机与目标

• 将有限轨道旗流形的研究从三重旗流形推广至对称对 $(G,K)$ 的双重旗流形 $G/P \times K/Q$。
• 利用相关三重旗流形的轨道结构，建立 $G/P \times K/Q$ 上 $K$-轨道有限性的高效判别准则。
• 当 $P$ 为 Borel 子群时，对 AIII 型中的双重旗流形实现有限类型的分类。
• 探讨有限轨道条件与 $G$ 和 $K$ 的球对称作用之间的联系。
• 提供 A 型与 C 型中有限类型双重旗流形的显式例子与表格。

提出的方法

• 使用定理 3.1 中的判别准则：若对某个 $\theta$-稳定抛物子群 $P'$ 满足 $P' \cap K = Q$，三重旗流形 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)} \times \mathfrak{X}_{P'}$ 具有有限个 $G$-轨道，则 $G/P \times K/Q$ 具有有限个 $K$-轨道。
• 应用定理 3.4：若 $\mathfrak{X}_{P^1} \times \mathfrak{X}_{P^2} \times \mathfrak{X}_{P^3}$ 具有有限个 $G$-轨道，且 $Q = P^2 \cap P^3$ 是 $K$ 中的抛物子群，则 $\mathfrak{X}_{P^1} \times \mathcal{Z}_Q$ 具有有限个 $K$-轨道。
• 利用球对称性与 Borel 轨道有限性之间的等价性，将 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)}$ 关于 $G$ 的球对称性与 $\mathfrak{X}_P$ 关于 $K$ 的球对称性联系起来。
• 通过经典群（A 型与 C 型）中已知的有限轨道三重旗流形分类构造例子。
• 利用 $\mathrm{GL}_n$、$\mathrm{Sp}_{2n}$ 及其对称子群中抛物子群的结构，识别出 $K$-轨道有限的情形。
• 提供 AIII、CI 与 CII 型中有限类型双重旗流形的显式表格，其中 $P$ 与 $Q$ 以标准抛物子群类型指定。

实验结果

研究问题

• RQ1 在何种条件下，对称对 $(G,K)$ 的双重旗流形 $G/P \times K/Q$ 为有限类型（即具有有限个 $K$-轨道）？
• RQ2 如何将 $G/P \times K/Q$ 上 $K$-轨道的有限性，归约为相关三重旗流形上 $G$-轨道的有限性？
• RQ3 $\mathfrak{X}_P$ 关于 $K$ 的球对称性与 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)}$ 关于 $G$ 的球对称性之间有何关系？
• RQ4 当 $P$ 为 AIII 型中的 Borel 子群时，能否实现有限类型双重旗流形的完整分类？
• RQ5 在 C 型（CI 与 CII）中，哪些抛物子群 $P \subset G$ 与 $Q \subset K$ 使得双重旗流形 $G/P \times K/Q$ 具有有限个 $K$-轨道？

主要发现

• 根据定理 3.1，若对某个 $\theta$-稳定抛物子群 $P'$ 满足 $P' \cap K = Q$，三重旗流形 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)} \times \mathfrak{X}_{P'}$ 具有有限个 $G$-轨道，则双重旗流形 $G/P \times K/Q$ 为有限类型。
• 根据定理 3.4，若 $\mathfrak{X}_{P^1} \times \mathfrak{X}_{P^2} \times \mathfrak{X}_{P^3}$ 具有有限个 $G$-轨道，且 $Q = P^2 \cap P^3$ 是 $K$ 中的抛物子群，则 $\mathfrak{X}_{P^1} \times \mathcal{Z}_Q$ 具有有限个 $K$-轨道。
• 当 $P = B$ 为 AIII 型中的 Borel 子群时，若 $P^2P^3$ 在 $G$ 中稠密，则双重旗流形 $\mathfrak{X}_B \times \mathcal{Z}_Q$ 为有限类型当且仅当三重旗流形 $\mathfrak{X}_B \times \mathfrak{X}_{P^2} \times \mathfrak{X}_{P^3}$ 具有有限个 $G$-轨道。
• 在 CI 型（$G/K = \mathrm{Sp}_{2n}/\mathrm{GL}_n$）中，当 $P$ 为 Siegel 抛物子群或最大抛物子群 $P_{(1,2n-2,1)}$ 且 $Q$ 为 $K$ 中任意抛物子群时，双重旗流形 $\mathfrak{X}_P \times \mathcal{Z}_Q$ 为有限类型。
• 在 CII 型（$G/K = \mathrm{Sp}_{2n}/\mathrm{Sp}_{2p} \times \mathrm{Sp}_{2q}$）中，当 $P = P_{(m,2n-2m,m)}$（$1 < m < n$）且 $Q$ 为 $\mathrm{Sp}_{2p}$ 与 $\mathrm{Sp}_{2q}$ 中 Siegel 抛物子群的乘积时，双重旗流形为有限类型。
• 论文中的表 1–5 列出了 AIII、CI 与 CII 型中有限类型双重旗流形的显式例子，其中 $P$ 与 $Q$ 以标准抛物子群类型指定。