[논문 리뷰] Geometry of the Borel -- de Siebenthal Discrete Series

Bent Ørsted, Joseph A. Wolf|ArXiv.org|2009. 01. 28.

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

한 줄 요약

이 논문은 코어지oints 오비트, 해석적 벡터 다발, 코homology를 사용하여 컴팩트 카르탕 부분군을 가진 실수 단순 리군의 비헤르미트형에 속하는 보렐–데지에반트 이산계열 표현을 기하학적으로 구성한다. 이는 $K_0$-타입 분해를 완전히 제공하고 $K_1$-적합성을 증명하며, 복소미분기하학과 스펙트럴 시퀀스를 통해 헬름르트형 및 퀼터니언 이산계열의 경우에서의 결과를 확장한다.

ABSTRACT

Let $G_0$ be a connected, simply connected real simple Lie group. Suppose that $G_0$ has a compact Cartan subgroup $T_0$, so it has discrete series representations. Relative to $T_0$ there is a distinguished positive root system $Δ^+$ for which there is a unique noncompact simple root $ν$, the "Borel -- de Siebenthal system". There is a lot of fascinating geometry associated to the corresponding "Borel -- de Siebenthal discrete series" representations of $G_0$. In this paper we explore some of those geometric aspects and we work out the $K_0$--spectra of the Borel -- de Siebenthal discrete series representations. This has already been carried out in detail for the case where the associated symmetric space $G_0/K_0$ is of hermitian type, i.e. where $ν$ has coefficient 1 in the maximal root $μ$, so we assume that the group $G_0$ is not of hermitian type, in other words that $ν$ has coefficient 2 in $μ$. \medskip Several authors have studied the case where $G_0/K_0$ is a quaternionic symmetric space and the inducing holomorphic vector bundle is a line bundle. That is the case where $μ$ is orthogonal to the compact simple roots and the inducing representation is 1--dimensional.

연구 동기 및 목표

• 이산계열 표현의 기하학적 및 표현론적 이해를 헬름르트형 및 퀼터니언 이산계열의 경우를 초월하여 확장하기 위해.
• 비헤르미트형 군에 대해 보렐–데지에반트 이산계열을 코어지오프 오비트와 해석적 다발을 사용하여 기하학적으로 구성하기 위해.
• 복소 플라그 다양체 위의 코homological 방법과 해석적 다발을 사용하여 이러한 표현의 $K_0$-스펙트럼을 계산하기 위해.
• 작은 부분군 $K_1 \subset K_0$에 대해 $K_1$-적합성을 확립하여 헬름르트형 이산계열과 유사한 다루기 쉬운 분해 법칙을 가능하게 하기 위해.
• 타원형 코어지오프 오비트의 구조를 복소 플라그 다양체 내에서 열린 $G_0$-오비트로 분류하고, 최대 컴팩트 부분다양체와 해석적 정규다발을 명시적으로 기술하기 위해.

제안 방법

• 복소미분기하학과 코homology 군을 사용하여 표현을 복소 플라그 다양체 위의 해석적 단면 공간으로 실현한다.
• 타원형 코어지오프 오비트의 기하학을 복소 플라그 다양체 내의 열린 $G_0$-오비트로 분석하고, 그 최대 컴팩트 부분다양체가 컴팩트 헬름르트 대칭 공간임을 규명한다.
• 스펙트럴 시퀀스 추론을 적용하여 코homology 군을 계산하고, 유도 표현에서 $K$-유한 벡터를 통해 $K_0$-타입을 규명한다.
• 상대적 불변량을 갖는 전형적 벡터 공간 이론을 적용하여 코어지오프 오비트와 그 정규다발의 구조를 기술한다.
• 공식 $\dim(V_{\delta}^* \otimes M)^{Q \cap K}$를 사용하여 $K_0$-타입의 다중도를 계산하며, 여기서 $M = S^m(V^*)$이고 $m \in \mathbb{N}$이다.
• 이스트우드와 월프의 유한차원 표현의 쌍대에 관한 결과를 적용하여 이 계열의 코homological 실현을 식별한다.

실험 결과

연구 질문

• RQ1 코어지오프 오비트와 해석적 다발을 사용하여 비헤르미트형 군에 대해 보렐–데지에반트 이산계열 표현을 어떻게 기하학적으로 구성할 수 있는가?
• RQ2 보렐–데지에반트 이산계열의 완전한 $K_0$-타입 분해는 무엇이며, 헬름르트형 이산계열과 비교해 볼 때 어떻게 다른가?
• RQ3 이 표현들과 관련된 코어지오프 오비트의 최대 컴팩트 부분다양체와 해석적 정규다발의 구조는 무엇인가?
• RQ4 $K_1$-적합성은 어떻게 발생하며, 부분군으로의 분해 법칙에 어떤 함의를 갖는가?
• RQ5 전형적 벡터 공간의 상대적 불변량은 이 계열의 계속성과 특이 행동에 어떤 역할을 하는가?

주요 결과

• 보렐–데지에반트 이산계열의 $K_0$-타입은 $H^s(Y, \mathcal{O}(\mathbb{L}_{-k}))$ 코homology 군을 통해 완전히 기술된다. 여기서 $Y$는 최대 컴팩트 부분다양체이다.
• 가장 낮은 $K_0$-타입의 최고 무게는 $\Lambda = -k\nu^* + 2\rho_{\mathfrak{k}/\mathfrak{l}}$이며, 스칼라 퀼터니언 경우의 무한소 특성 공식과 일치한다.
• 각 $K_1$-타입이 유한한 다중도를 갖는 작은 부분군 $K_1 \subset K_0$에 대해 표현은 $K_1$-적합하다.
• 코어지오프 오비트는 복소 플라그 다양체 내에서 열린 $G_0$-오비트이며, 최대 컴팩트 부분다양체는 컴팩트 헬름르트 대칭 공간이다.
• 최대 컴팩트 부분다양체의 해석적 정규다발은 상대적 불변량을 갖는 전형적 벡터 공간이며, 이 계열의 계속성을 이해하는 데 핵심적이다.
• $E_8$에서 $K$가 $D_8$ 형일 경우, 정규다발의 차원은 64이며 차수 8의 상대적 불변량을 갖는다. 이는 풍부한 기하학적 구조를 시사한다.