[논문 리뷰] Ind-varieties of generalized flags: a survey of results

Mikhail V. Ignatyev, Ivan Penkov|arXiv (Cornell University)|2017. 01. 30.

Advanced Algebra and Geometry참고 문헌 21인용 수 6

한 줄 요약

이 논문은 $\mathrm{GL}⁡∞(\mathbb{C})$, $\mathrm{SL}⁡∞(\mathbb{C})$, $\mathrm{SO}⁡∞(\mathbb{C})$, $\mathrm{Sp}⁡∞(\mathbb{C})$와 같은 무한차원 고전적 군에 대한 일반화된 플래그의 인드바리에터티에 대한 종합적인 서베이를 제시한다. 이들은 분할 파라보릭 부분군에 대해 동치인 동차 인드공간 $G/P$로 구성되어 있음을 규명한다. 주요 기여는 각 벡터에 대해 유일한 인접한 부분공간 쌍이 존재하는 조건을 만족하는 $\mathbb{C}⁡∞$ 내의 부분공간 체인인 일반화된 플래그를 통해 이러한 인드바리에터티를 특성화하고, 슈부르트 분해, Bott–Borel–Weil 이론, 그리고 실수 형태에 의한 궤도 구조를 개발하는 것이다.

ABSTRACT

This is a review of results on the structure of the homogeneous ind-varieties $G/P$ of the ind-groups $G=\mathrm{GL}_{\infty}(\mathbb{C})$, $\mathrm{SL}_{\infty}(\mathbb{C})$, $\mathrm{SO}_{\infty}(\mathbb{C})$, $\mathrm{Sp}_{\infty}(\mathbb{C})$, subject to the condition that $G/P$ is a inductive limit of compact homogeneous spaces $G_n/P_n$. In this case the subgroup $P\subset G$ is a splitting parabolic subgroup of $G$, and the ind-variety $G/P$ admits a "flag realization". Instead of ordinary flags, one considers generalized flags which are, generally infinite, chains $\mathcal{C}$ of subspaces in the natural representation $V$ of $G$ which satisfy a certain condition: roughly speaking, for each nonzero vector $v$ of $V$ there must be a largest space in $\mathcal{C}$ which does not contain $v$, and a smallest space in $\mathcal{C}$ which contains $v$. We start with a review of the construction of the ind-varieties of generalized flags, and then show that these ind-varieties are homogeneous ind-spaces of the form $G/P$ for splitting parabolic ind-subgroups $P\subset G$. We also briefly review the characterization of more general, i.e. non-splitting, parabolic ind-subgroups in terms of generalized flags. In the special case of an ind-grassmannian $X$, we give a purely algebraic-geometric construction of $X$. Further topics discussed are the Bott--Borel--Weil Theorem for ind-varieties of generalized flags, finite-rank vector bundles on ind-varieties of generalized flags, the theory of Schubert decomposition of $G/P$ for arbitrary splitting parabolic ind-subgroups $P\subset G$, as well as the orbits of real forms on $G/P$ for $G=\mathrm{SL}_{\infty}(\mathbb{C})$.

연구 동기 및 목표

• 무한차원 고전적 인드군에 대해 동차 인드공간 $G/P$로서의 일반화된 플래그의 인드바리에터티 이론을 체계적으로 발전시키기.
• 자연적 표현 $V \cong \mathbb{C}\u2061\infty$ 내에서 일반화된 플래그를 통해 분할 파라보릭 부분군 $P \subset G$를 특성화하기.
• 슈부르트 분해 및 Bott–Borel–Weil 정리와 같은 고전적 기하학적 및 표현론적 도구를 무한차원 설정으로 확장하기.
• 실수 형태(예: $\mathrm{SL}(\infty,\mathbb{R})$, $\mathrm{SU}(p,\infty)$)가 이러한 인드바리에터티 위에서 작용할 때 열린 궤도와 닫힌 궤도의 존재성과 구조를 분석하기.
• 향후 인드군의 $K$-궤도와 사이클 공간에 대한 연구를 위한 기초 도구를 마련하기.

제안 방법

• 각 벡터 $v \in V$가 유일한 인접한 부분공간 쌍으로 들어가는 조건을 만족하는 $\mathbb{C}\u2061\infty$ 내의 부분공간 체인으로 일반화된 플래그를 정의한다.
• 유한차원 플래그 다양체 $G_n/P_n$의 귀납적 극한으로서 일반화된 플래그의 인드바리에터티를 구성하여, 그것이 매끄럽고 국소적으로 프로젝티브인 인드스킴임을 보장한다.
• 분할 파라보릭 부분군 $P \subset G$와 일반화된 플래그 사이의 일대일 대응을 확립하여, 유한차원 플래그 다양체 구성의 일반화를 이룬다.
• 웨일 군의 유사체를 사용하여 $G/P$에 대한 슈부르트 분해를 개발하고, 부분공간 증가 체인을 통해 슈부르트 부분다양체를 정의한다.
• Bott–Borel–Weil 정리를 적용하여 $G/P$ 위의 유한계수 다발의 코homology를 계산하고, 고전 결과를 인드 설정으로 확장한다.
• 실수 형태의 궤도 분석을 위해 유한차원 근사 $G_n^0 \curvearrowright \mathcal{F}\ell_n$로 환원하고, 의사등이성 조건에 기반한 닫힘 기준을 사용한다.

실험 결과

연구 질문

• RQ1 무한차원 벡터 공간으로서 플래그 개념을 어떻게 일반화할 수 있을까? 그 결과로 얻어지는 인드다양체 $G/P$가 무한차원 인드군의 동차공간이 되도록 하기 위해서는 어떻게 해야 하는가?
• RQ2 일반화된 플래그로 간주되는 부분공간 체인에 대해, 이것이 $\mathrm{GL}⁡∞(\mathbb{C})$의 분할 파라보릭 부분군과 대응되기 위한 조건은 무엇인가?
• RQ3 실수 형태 $G^0$가 $\mathrm{SL}⁡∞(\mathbb{C})$일 때, 일반화된 플래그의 인드다양체 위에서 닫힌 궤도를 가지기 위한 조건은 무엇인가?
• RQ4 Bott–Borel–Weil 정리는 일반화된 플래그의 인드다양체 위의 유한계수 다발에 대해 확장될 수 있는가?
• RQ5 실수 형태 작용 하에서 일반화된 플래그의 인드다양체가 열린 궤도와 닫힌 궤도를 동시에 가질 조건은 무엇인가?

주요 결과

• 일반화된 플래그의 인드다양체 $G/P$는 유한차원 플래그 다양체 $G_n/P_n$의 귀납적 극한과 동형이며, 매끄럽고 국소적으로 프로젝티브인 인드스킴이다.
• 분할 파라보릭 부분군 $P \subset G$와 $\mathbb{C}\u2061\infty$ 내의 일반화된 플래그 사이에는 일대일 대응이 존재하며, 각 플래그는 각 벡터에 대해 유일한 유한성 조건을 만족한다.
• $G/P$의 슈부르트 부분다양체는 매끄럽고, 그 닫힘 관계는 플래그 체인 위에서 일반화된 웨일 군 작용에 의해 결정된다.
• 유한계수 다발에 대해 $G/P$ 위에서 Bott–Borel–Weil 정리가 성립하여, 최고 무게를 통해 코homology를 계산할 수 있다.
• $G^0 = \mathrm{SL}(\infty,\mathbb{R})$인 경우, 일반화된 플래그의 인드다양체는 항상 닫힌 궤도를 가지며, $\mathrm{SU}(p,\infty)$의 경우 플래그의 성격에 따라 닫힌 궤도가 존재할 수도 있고 아닐 수도 있다.
• 일반화된 플래그의 인드다양체가 실수 형태 $G^0$에 의해 동시에 열린 궤도와 닫힌 궤도를 가지는 것은, 그 다양체 위에서 $G^0$-궤도가 유한 개일 때에만 성립한다.