[논문 리뷰] Double flag varieties for a symmetric pair and finiteness of orbits

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

Advanced Algebra and Geometry참고 문헌 8인용 수 7

한 줄 요약

이 논문은 $G$가 $ℂ$ 위의 재수성군이고 $K = G^\theta$인 대칭 쌍 $(G,K)$에 대해 이중 플래그 다양체 $G/P \times K/Q$를 도입한다. $K$-오빗의 유한성을 보장하는 효율적인 기준을 삼중 플래그 다양체를 통해 제시하며, $G/P \times K/Q$가 유한형일 조건은 특정 삼중 플래그 다양체 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)} \times \mathfrak{X}_{P'}$ 가 유한 개의 $G$-오빗을 가질 경우임을 증명한다. 주요 기여는 $P$가 보렐 부분군일 때 유한형 이중 플래그 다양체의 분류를 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$-오빗 유한성에 대한 효율적인 기준을 수립한다.
• AIII 유형에서 $P$가 보렐 부분군일 경우 이중 플래그 다양체의 유한형 분류를 수행한다.
• 유한 오빗 조건과 $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$-오빗을 가진다.
• 구면 작용과 보렐 오빗의 유한성 간의 동치성을 이용해 $G$-구면성 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)}$ 와 $K$-구면성 $\mathfrak{X}_P$ 간의 관계를 설정한다.
• 기본적으로 알려진 고전군(A 및 C 유형)에서의 유한 오빗 삼중 플래그 다양체 분류를 활용해 예를 구성한다.
• $\mathrm{GL}_n$, $\mathrm{Sp}_{2n}$ 및 대칭 부분군의 파라보릭 부분군의 구조를 활용해 $K$-오빗이 유한해지는 경우를 식별한다.
• 표준 파라보릭 유형으로 지정된 $P$ 및 $Q$를 포함해 AIII, CI, CII 유형에서의 유한형 이중 플래그 다양체에 대한 명시적 표를 제공한다.

실험 결과

연구 질문

• RQ1 대칭 쌍 $(G,K)$에 대해 이중 플래그 다양체 $G/P \times K/Q$ 가 유한형일 조건은 무엇인가? 즉, 유한 개의 $K$-오빗을 가지는가?
• RQ2 $G/P \times K/Q$ 에서의 $K$-오빗 유한성은 어떤 관련 삼중 플래그 다양체에서의 $G$-오빗 유한성으로 환원될 수 있는가?
• RQ3 $K$ 작용 하에서 $\mathfrak{X}_P$ 의 구면성과 $G$ 작용 하에서 $\mathfrak{X}_P \times \mathfrak{X}_{\theta(P)}$ 의 구면성 간의 관계는 무엇인가?
• RQ4 AIII 유형에서 $P$ 가 보렐 부분군일 경우, 유한형 이중 플래그 다양체의 완전한 분류가 가능할 수 있는가?
• 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$-오빗을 가진다.
• AIII 유형에서 $P = B$ 가 보렐 부분군일 경우, 이중 플래그 다양체 $\mathfrak{X}_B \times \mathcal{Z}_Q$ 는 유한형이 되려면 삼중 플래그 다양체 $\mathfrak{X}_B \times \mathfrak{X}_{P^2} \times \mathfrak{X}_{P^3}$ 가 유한 개의 $G$-오빗을 가져야 하며, 이때 $P^2P^3$ 가 $G$ 에서 열린 것으로 가정한다.
• CI 유형($G/K = \mathrm{Sp}_{2n}/\mathrm{GL}_n$) 에서는 $P$ 가 시에겔 파라보릭이거나 최대 파라보릭 $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}$ 내의 시에겔 파라보릭의 곱일 경우, 이중 플래그 다양체는 유한형이다.
• 논문의 표 1–5 는 AIII, CI, CII 유형에서 표준 파라보릭 유형으로 지정된 $P$ 와 $Q$ 를 포함해 유한형 이중 플래그 다양체의 명시적 예를 나열한다.