[논문 리뷰] Ind--varieties of generalized flags as homogeneous spaces for classical ind--groups

Ivan Dimitrov, Ivan Penkov|ArXiv.org|2004. 03. 26.

Advanced Algebra and Geometry참고 문헌 4인용 수 4

한 줄 요약

이 논문은 정수 인덱스를 갖지 않는 체인으로서 무한차원 벡터 공간에서 일반화된 플래그를 도입하고, 고전적 인드군 $SL(\infty)$, $SO(\infty)$, $Sp(\infty)$에 대한 동차 공간의 기하적 실현으로서 $E$-공명성 일반화된 플래그의 인드다양체를 구성한다. 주요 기여는 이러한 인드군에 대한 $G/P$ 공간을 일반화된 플래그를 통해 기하학적으로 분류하는 것으로, 피카르 군의 완전한 계산과 프로젝티브성에 대한 기준을 제시한다: 인드다양체는 오직 일반화된 플래그가 표준 플래그일 때만 프로젝티브이다.

ABSTRACT

The purpose of the present paper is twofold: to introduce the notion of a generalized flag in an infinite dimensional vector space $V$ (extending the notion of a flag of subspaces in a vector space), and to give a geometric realization of homogeneous spaces of the ind--groups $SL(\infty)$, $SO(\infty)$ and $Sp(\infty)$ in terms of generalized flags. Generalized flags in $V$ are chains of subspaces which in general cannot be enumerated by integers. Given a basis $E$ of $V$, we define a notion of $E$--commensurability for generalized flags, and prove that the set $\cFl (\cF, E)$ of generalized flags E$--commensurable with a fixed generalized flag $\cF$ in $V$ has a natural structure of an ind--variety. In the case when $V$ is the standard representation of $G = SL(\infty)$, all homogeneous ind--spaces $G/P$ for parabolic subgroups $P$ containing a fixed splitting Cartan subgroup of $G$, are of the form $\cFl (\cF, E)$. We also consider isotropic generalized flags. The corresponding ind--spaces are homogeneous spaces for $SO(\infty)$ and $Sp(\infty)$. As an application of the construction, we compute the Picard group of $\cFl (\cF, E)$ (and of its isotropic analogs) and show that $\cFl (\cF, E)$ is a projective ind--variety if and only if $\cF$ is a usual, possibly infinite, flag of subspaces in $V$.

연구 동기 및 목표

• 유한차원 벡터 공간에서의 플래그 개념을 정수 인덱스를 갖지 않는 일반화된 플래그를 도입하여 무한차원 환경으로 확장한다.
• 고전적 인드군 $SL(\infty)$, $SO(\infty)$, $Sp(\infty)$에 대한 동차 인드공간 $G/P$를 일반화된 플래그를 통해 기하학적으로 구성한다.
• $E$-공명성의 정의를 통해 일반화된 플래그 간의 관계를 정의하고, $E$-공명성 플래그의 집합에 자연스러운 인드다양체의 구조를 부여한다.
• 일반화된 플래그의 인드다양체의 피카르 군을 계산하고, 그 프로젝티브성에 대한 기준을 수립한다.
• 일반화된 플래그의 인드다양체가 오직 표준 플래그(유한 또는 무한)일 때만 프로젝티브임을 보인다.

제안 방법

• 무한차원 벡터 공간 $V$ 내의 부분공간의 사슬로 일반화된 플래그를 도입하며, 이는 정수로 인덱싱되지 않으며 특정 조밀성 및 인접 조건을 만족한다.
• 고정된 기저 $E$를 사용하여 일반화된 플래그 간의 $E$-공명성을 정의하며, 두 플래그가 유한차원 부분공간을 제외하고 동일할 경우를 의미한다.
• 고정된 일반화된 플래그 $\mathcal{F}$와 $E$-공명성을 갖는 모든 일반화된 플래그의 집합인 인드다양체 $\mathcal{F}\ell(\mathcal{F},E)$를 유한차원 플래그 다양체의 직접극한을 통해 자연스러운 인드다양체의 구조로 갖도록 구성한다.
• 모든 동차 인드공간 $G/P$가 $G = SL(\infty)$, $SO(\infty)$, 또는 $Sp(\infty)$이고, 고정된 분할 카르탕 부분군을 포함하는 포물형 부분군 $P$일 경우, 어떤 일반화된 플래그 $\mathcal{F}$에 대해 $\mathcal{F}\ell(\mathcal{F},E)$와 동형임을 증명한다.
• 비퇴도성 대칭 또는 반대칭 형식이 존재할 경우 등급 플래그를 정의하고, $SO(\infty)$ 및 $Sp(\infty)$에 대한 해당 인드다양체 모델을 구성한다.
• 유한차원 근사의 피카르 군으로부터의 호모모르피즘 $\varphi_n$과 $\varphi$를 사용하여, 커널 분석을 통해 $\operatorname{Pic}(\mathcal{F}\ell(\mathcal{F},E))$ 및 $\operatorname{Pic}(\mathcal{F}\ell(\mathcal{F},w,E))$를 계산한다.

실험 결과

연구 질문

• RQ1 고전적 인드군 $SL(\infty)$, $SO(\infty)$, $Sp(\infty)$에 대한 동차 공간은 일반화된 플래그의 인드다양체로 기하학적으로 실현될 수 있는가?
• RQ2 E-공명성 일반화된 플래그의 인드다양체의 피카르 군의 구조는 어떠한가?
• RQ3 일반화된 플래그의 인드다양체가 프로젝티브가 되는 조건은 무엇인가?
• RQ4 $E$-공명성의 개념은 이러한 인드다양체 모델의 분류에 어떻게 기여하는가?
• RQ5 일반화된 플래그의 기하학적 구조와 관련된 인드다양체의 프로젝티브성 간의 관계는 어떠한가?

주요 결과

• E-공명성 일반화된 플래그의 인드다양체 $\mathcal{F}\ell(\mathcal{F},E)$는 자연스러운 인드다양체의 구조를 가지며, $G = SL(\infty)$, $SO(\infty)$, 또는 $Sp(\infty)$에 대한 모든 동차 인드공간 $G/P$는 이러한 형태로 나타난다.
• 일반화된 플래그의 인드다양체 $\mathcal{F}\ell(\mathcal{F},E)$의 피카르 군은 $\left(\prod_{F' \in \mathcal{F}'} \mathbb{Z} \gamma_{F'} \right) / \left( \mathbb{Z} \prod_{F' \in \mathcal{F}'} \gamma_{F'} \right)$ 와 동형이며, 이는 고전적 경우와 유사한 구조를 반영한다.
• 등급 인드다양체 $\mathcal{F}\ell(\mathcal{F},w,E)$의 피카르 군은 $\prod_{F' \in \mathcal{F}', F' \subset \tau(F')} \mathbb{Z} \gamma_{F'}$ 와 동형이며, 여기서 $\tau$는 쌍대성 호모모르피즘이다.
• 인드다양체 $\mathcal{F}\ell(\mathcal{F},E)$는 오직 $\mathcal{F}$가 표준 플래그일 때만 프로젝티브이다. 즉, 연속적인 후계자와 전임자를 갖는 잘서열화된 집합으로 인덱싱된 체인이다.
• 만약 $\mathcal{F}$의 길이가 유한하다면, 다른 길이를 갖는 일반화된 플래그 $\mathcal{G}$에 대해 $\mathcal{F}\ell(\mathcal{F},E)$는 $\mathcal{F}\ell(\mathcal{G},L)$과 동형이 아니며, 이는 피카르 군이 서로 동형이 아니기 때문이다.
• 만약 $\mathcal{F} = \{0 \subset F \subset V\}$ 이고 $F$가 무한차원이며 $V$에 대해 무한차원 여부공간을 갖는다면, 인드다양체 $\mathcal{F}\ell(\mathcal{F},E)$는 어떤 그라스만이안 $Gr(l;V)$와도 동형이 아니다.