[논문 리뷰] On the existence of stable compact leaves for transversely holomorphic foliations

Bruno Scárdua|arXiv (Cornell University)|2012. 03. 31.

Geometry and complex manifolds참고 문헌 1인용 수 4

한 줄 요약

이 논문은 컴팩트한 복소다양체 위의 횡방향 헬로모르픽 분할이 유한한 호로노미를 가진 안정한 컴팩트 리프를 가질 조건을 규명한다. 즉, 컴팩트 리프의 집합이 양의 측도를 가질 때이고 그때서만 그러한 안정한 컴팩트 리프가 존재한다. 측도 이론적 접근과 호로노미 군 분석을 통해, 컴팩트 리프의 양의 측도 집합이 존재하면 유한 호로노미를 가진 리프가 존재함을 증명하며, 이는 리프의 안정성 정리(Reeb's stability theorem)를 헬로모르픽 상황으로 확장한다.

ABSTRACT

A transversely holomorphic foliation on a compact complex manifold, exhibits a compact stable leaf if and only if the set of compact leaves is not a zero measure subset of the manifold.

연구 동기 및 목표

• 컴팩트한 복소다양체 위의 횡방향 헬로모르픽 분할이 안정한 컴팩트 리프를 가질 조건을 규명하는 것.
• 이러한 분할에서 컴팩트 리프 집합의 측도 이론적 구조를 조사하는 것.
• 유한 호로노미와 컴팩트 리프의 양의 측도 사이의 연관성을 통해 리프의 국소 안정성 정리를 헬로모르픽 상황으로 확장하는 것.
• 호로노미 군의 역동성과 주기성 성질이 컴팩트 리프 집합과 어떻게 관련되는지 분석하는 것.
• 분할이 유한 호로노미를 가진 컴팩트 리프를 가지거나, 컴팩트 리프 집합의 측도가 0이 되는 이분법적 성격을 규명하는 것.

제안 방법

• 컴팩트 리프의 집합을 $\Omega(\mathcal{F})$로 표기하고, 이를 배경 다양체 $M$ 상에서 측도적으로 분석한다.
• 다양체 $M$의 유한 커버링을 이용하여 특징적인 횡방향 이웃 영역 $T_j$를 정의하고, 유한한 교차 수를 통해 컴팩트 리프를 특성화한다.
• 측도 이론적 추론을 적용: $\mu(\Omega(\mathcal{F})) > 0$ 이면, 어떤 $n$에 대해 $\Omega(\mathcal{F}, T, n)$ 도 양의 측도를 가진다.
• 횡방향 디스크 $\Sigma_p$ 상에서 호로노미 절편 $h \in \operatorname{Hol}(\mathcal{F}, L_0, \Sigma_p, p)$ 를 분석하고, 주기점의 양의 측도가 존재하면 $h$ 가 유한 차수를 가짐을 보인다.
• 호로노미 사상의 해석적 성질을 이용: 주기점의 양의 측도 집합이 존재하면, 이는 사상이 이웃 영역에서 항등사상임을 의미하므로 유한 차수를 가짐을 유도한다.
• 버누이의 정리와 스처의 결과를 이용해 주기적 선형 군에 대해 유한성 결론을 이끌어내며, 호로노미 군이 유한하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트한 복소다양체 위의 횡방향 헬로모르픽 분할이 안정한 컴팩트 리프를 가질 조건은 무엇인가?
• RQ2 컴팩트 리프의 양의 측도 집합이 존재할 경우, 그로부터 어떤 컴팩트 리프의 유한 호로노미를 유추할 수 있는가?
• RQ3 유한 호로노미를 가진 컴팩트 리프의 존재성과 모든 컴팩트 리프 집합의 측도 사이에 이분법적 관계가 존재하는가?
• RQ4 호로노미 군의 주기성 성질은 헬로모르픽 분할에서 컴팩트 리프의 기하학적 성질과 어떻게 관련되는가?
• RQ5 리프 공간의 측도 이론적 구조가 컴팩트 리프의 호로노미를 어느 정도 제약하는가?

주요 결과

• 컴팩트한 복소다양체 위의 횡방향 헬로모르픽 분할은 컴팩트 리프 집합이 양의 측도를 가질 때이고 그때서만 안정한 컴팩트 리프를 가진다.
• 컴팩트 리프 집합이 양의 측도를 가진다면, 모든 인접한 리프가 컴팩트이고 유한 호로노미를 가지는, 포괄적인 이웃 영역을 갖는 컴팩트 리프 $L_0$ 가 존재한다.
• 그러한 리프 $L_0$ 의 호로노미 군은 각 호로노미 절편이 유한 차수의 주기적 사상으로 작용하므로 유한하다.
• 이 증명은 호로노미 사상의 해석적 성질에 기반한다: 주기점의 양의 측도 집합은 절편이 항등사상임을 강제하며, 이는 유한 차수를 의미한다.
• 복소다양체 $F$ 에서 작용하는 미분형사군 $G \subset \operatorname{Diff}(F)$ 는 유한하거나, 주기 궤도 집합의 측도가 0이 된다.
• 결과적으로 리프의 안정성 정리(Reeb's stability theorem)는 횡방향 헬로모르픽성과 측도 조건을 도입함으로써 헬로모르픽 상황으로 일반화된다.