[논문 리뷰] Completely integrable torus actions on complex manifolds with fixed points

Hiroaki Ishida, Yael Karshon|Osaka City University (Osaka City University)|2012. 03. 05.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 4

한 줄 요약

이 논문은 복소 차원 $ n $인 컴acts 연결 복소다양체가 충실한 헬로모르픽 $ (S^1)^n $-작용을 가지며 고정점이 존재할 경우, 그 다각형이 완비인 편의적 복소다양체와 등변적으로 바이홀로모르픽임을 증명한다. 증명은 토러스 작용의 궤도 구조와 고정점 집합을 분석하여 수행되며, 이는 관련된 편이 완비임을 보여주고, 따라서 다각형이 유니모듈라 완비 편으로 정의된 복소다양체와 바이홀로모르픽임을 암시한다.

ABSTRACT

We show that if a holomorphic $n$ dimensional compact torus action on a compact connected complex manifold of complex dimension $n$ has a fixed point then the manifold is equivariantly biholomorphic to a smooth toric variety.

연구 동기 및 목표

• 컴팩트 복소다양체가 헬로모르픽 토러스 작용을 갖는 경우, 그것이 복소다양체와 바이홀로모르픽이 되는 필요 및 충분 조건을 규명하는 것.
• 부흐스타버와 파노프가 제기한, 고정점이 존재하는 비토러스 퀀티토릭 다각형이 복소다양체를 갖는지 여부에 관한 질문을 해결하는 것.
• 클래식한 토러스 다각형 이론을 복소해석적 환경으로 확장하여 고정점이 존재하는 토러스 작용을 갖는 컴팩트 복소다양체를 특성화하는 것.
• 그들의 관련된 편과 궤도 분해의 구조를 통해 이러한 다양체를 완전히 분류하는 것.

제안 방법

• 다양체 위의 토러스 작용의 궤도 구조와 고정점 데이터로부터 유니모듈라 편 $ \Delta $를 구성하는 것.
• 코디멘션 1인 부분토러스 $ T_I $의 고정점 집합을 분석하여, 그것이 표준 원환면 작용을 갖는 $ \mathbb{CP}^1 $과 등변적으로 바이홀로모르픽임을 보이는 것.
• 각 코디멘션 1인 고정점 집합이 연결되고 컴팩트함을 이용하여, $ \Delta $의 각 $ (n-1) $차원 콧뿔이 정확히 두 개의 $ n $차원 콧뿔의 공통 면임을 유추하는 것.
• $ \Delta $의 $ n $차원 및 $ (n-1) $차원 콧뿔의 상대 내부의 합집합이 $ \operatorname{Lie}(S^1)^n \setminus |\Delta^{n-2}| $에서 열려 있고 닫혀 있음을 보여, 이는 $ \Delta $가 완비임을 암시하는 것.
• 토러스 다각형 $ M_\Delta $과 다양체 $ M $의 열린 밀도 있는 $ (\mathbb{C}^*)^n $-불변 부분집합 $ X \subset M $ 사이의 등변 바이홀로모르피즘을 수립하고, 컴팩트성과 연결성으로 인해 $ X = M $임을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 컴팩트 복소다양체가 헬로모르픽 $ (S^1)^n $-작용을 갖는 경우, 언제 그것이 복소다양체와 바이홀로모르픽이 되는가?
• RQ2 비토러스 퀀티토릭 다각형이 고정점이 존재할 경우, $ (S^1)^n $-불변 복소다양체를 가질 수 있는가?
• RQ3 고정점의 존재가 컴팩트 복소다양체 위의 토러스 작용에 대한 관련 편이 완비임을 강제로 만드는가?
• RQ4 컴팩트 복소다양체 위의 헬로모르픽 토러스 작용의 궤도 구조가 그 전역 바이홀로모르피즘 유형을 결정하는가?
• RQ5 고정점 데이터를 이용하여, 매끄러운 토러스 다각형의 분류를 복소해석적 범주로 확장할 수 있는가?

주요 결과

• 복소 차원 $ n $인 컴팩트 연결 복소다양체가 충실한 헬로모르픽 $ (S^1)^n $-작용과 고정점을 갖는 경우, 그것은 매끄러운 토러스 다각형과 등변적으로 바이홀로모르픽이다.
• 토러스 작용과 관련된 편 $ \Delta $는 완비이며, 이는 그 콧뿔들이 전체 리 대수 $ \operatorname{Lie}(S^1)^n $를 덮고 있음을 의미한다.
• 편의 각 $ (n-1) $차원 콧뿔은 정확히 두 개의 $ n $차원 콧뿔의 공통 면이며, 이는 완비성의 핵심 성질이다.
• 모든 코디멘션 1인 부분토러스의 고정점 집합은 연결되고 컴팩트한 복소곡선이며, 표준 원환면 작용을 갖는 $ \mathbb{CP}^1 $과 등변적으로 바이홀로모르픽이다.
• 열린 밀도 있는 $ (\mathbb{C}^*)^n $-불변 부분집합 $ X \subset M $는 컴팩트성과 열림성으로 인해 전체 다양체 $ M $와 같다. 따라서 토러스 다각형 $ M_\Delta $는 $ M $과 바이홀로모르픽이다.