[논문 리뷰] Effective actions of SU_n on complex n-dimensional manifolds

Alexander Isaev, N. G. Kruzhilin|arXiv (Cornell University)|2003. 01. 08.

Holomorphic and Operator Theory참고 문헌 18인용 수 10

한 줄 요약

이 논문은 $n \geq 2$ 인 경우, $SU_n$의 바이홀로모르픽 변환에 의해 효과적으로 작용하는 모든 연결된 복소 $n$차원 다양체를 분류한다. 이러한 다양체는 $\mathbb{C}^n$, 단위 구 $B^n$, $\mathbb{C}P^n$ 또는 $U_n$의 중심의 이산 부분군에 의한 몫과 같은 표준 공간들과 바이홀로모르피즘적으로 동치임을 보여준다. 특히 $n=2$의 경우, 구형 케이지와 허프 다양체 위에 비표준 복소 구조를 가진 특수한 경우가 포함된다.

ABSTRACT

For $n\ge 2$ we classify all connected n-dimensional complex manifolds admitting effective actions of the special unitary group SU_n by biholomorphic transformations.

연구 동기 및 목표

• 모든 연결된 복소 $n$차원 다양체 중에서 $n \geq 2$ 인 경우, $SU_n$의 바이홀로모르픽 변환에 의해 효과적으로 작용하는 것을 분류하는 것.
• 그러한 작용 하에서 궤도의 구조를 규명하고, 실수 및 복소 초곡면으로서의 차이를 명확히 하는 것.
• 고정점이 없는 경우에 특히, 궤도들을 붙임으로써 생성되는 모든 가능한 다양체를 규명하는 것.
• 복소 초곡면 궤도가 존재하는 경우를 포함한 일반화된 분류를 확장하며, $n=2$의 예외적 경우에 비표준 복소 구조를 가진 경우를 포함하는 것.
• 차원 $k < n$ 인 다양체에는 효과적인 $SU_n$ 작용이 존재하지 않음을 증명하고, 이 분류가 차원 면에서 최소임을 보장하는 것.

제안 방법

• 고정점에서의 등장 부분군과 선형 등장 표현을 분석하여 고정점을 가진 다양체를 분류하며, [GK]와 [BDK]의 결과를 활용한다.
• 등장하는 $SU_n$-불변 $\mathfrak{su}_n$-반단순 매핑을 사용하여 등변 매핑을 연장하기 위한 해석적 곡선의 가닥을 구성한다.
• 궤도 보완집합에서 정의된 등변 해석 함수를 연장하기 위해 등변 연장 기법을 적용하며, 군 작용의 불변성에 기반해 연속성과 해석성 보장을 한다.
• 모델 공간인 $\widehat{B^n}/\mathbb{Z}_m$, $\widehat{\mathbb{C}^n}/\mathbb{Z}_m$, 또는 $\widehat{\mathbb{C}P^n}/\mathbb{Z}_m$로의 명시적 바이홀로모르픽 매핑($f_\nu$, $f_\sigma$, $f_\tau$ 등)을 구성한다.
• 특히 $n=2$ 에서의 추가 예를 생성하기 위해 $U_n$의 중심의 이산 부분군에 의한 몫 구성 기법을 활용한다.
• 등장 부분군과 지오데식 가닥 등을 포함한 기하학적 및 군론적 기법을 적용하여, 매핑이 전체 다양체로의 연장이 가능함을 검증한다.

실험 결과

연구 질문

• RQ1 어느 복소 $n$차원 다양체가 $n \geq 2$ 인 경우, 바이홀로모르픽 변환에 의해 효과적으로 $SU_n$ 작용을 갖는가?
• RQ2 그러한 작용 하에서 궤도의 구조는 어떻게 되는가? 특히 궤도가 실수 또는 복소 초곡면이 되는 조건은 무엇인가?
• RQ3 궤도들을 어떻게 붙여서 전체 다양체를 재구성할 수 있으며, 그 결과로 나타나는 모델 공간은 무엇인가?
• RQ4 구형 케이지 또는 허프 다양체 위에 비표준 복소 구조를 가진 $n=2$ 의 예외적 경우가 존재하는가?
• RQ5 그러한 다양체는 바이홀로모르피즘 동치 관계에 대해 완전히 분류될 수 있으며, 효과성은 이러한 분류에서 어떤 역할을 하는가?

주요 결과

• 고정점을 가진 다양체는 $\mathbb{C}^n$, 단위 구 $B^n$, 또는 $\mathbb{C}P^n$ 과 바이홀로모르피즘적으로 동치이다.
• $n \geq 3$ 인 경우, 실수 초곡면 궤도만을 가지는 다양체는 $\mathbb{C}^n$ 내의 구형 케이지, 허프 다양체, 또는 $U_n$의 중심의 이산 부분군에 의한 몰입된 몫과 동치이다.
• $n=2$ 인 경우, $\mathbb{C}^2$ 내의 구형 케이지에 $\mathbb{C}P^2 \setminus \{0\}$ 에서 유도된 비표준 복소 구조를 가진 추가 모델이 존재한다.
• 복소 초곡면 궤도가 존재하는 경우, 그 수는 최대 두 개이며, 모두 $\mathbb{C}P^{n-1}$ 과 바이홀로모르피즘적으로 동치이다. 이는 $\mathbb{C}^n$ 또는 $B^n$ 의 블로우업 또는 컴actification 에서 유래된다.
• $n=2$ 인 경우, $\mathbb{C}P^2 \setminus \{0\}$ 의 외부 영역에 비표준 복소 구조를 부여하고 $\infty \in \mathbb{C}P^2$ 를 첨부한 경우도 분류에 포함된다.
• 분류는 완전하고 최소적이다: 차원 $k < n$ 인 다양체에는 효과적인 $SU_n$ 작용이 존재하지 않으며, 효과성은 결과의 핵심 조건이다.