[논문 리뷰] Ergodic complex structures on hyperkahler manifolds

Misha Verbitsky|arXiv (Cornell University)|2013. 06. 06.

Geometry and complex manifolds참고 문헌 33인용 수 8

한 줄 요약

이 논문은 $ b_2 > 3 $인 하이퍼카일러 다양체와 차원 $ \geq 2 $인 복소 토러스가, 최대 피카르 랭크 사례를 제외한 가чёт한 수의 경우를 제외하고는 에르고딕 복소 구조—즉, 매핑 클래스군 작용에 의한 조밀한 궤도를 가진 복소 구조—를 가짐을 확립한다. 라트너의 정리와 트위스터 기하학을 이용하여, 이러한 다양체들이 코바야시 비초기성임을 증명함으로써, 하이퍼카일러 기하학에서의 초기성 문제에 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

Let $M$ be a compact complex manifold. The corresponding Teichmuller space $\Teich$ is a space of all complex structures on $M$ up to the action of the group of isotopies. The group $Γ$ of connected components of the diffeomorphism group (known as the mapping class group) acts on $\Teich$ in a natural way. An ergodic complex structure is the one with a $Γ$-orbit dense in $\Teich$. Let $M$ be a complex torus of complex dimension $\geq 2$ or a hyperkahler manifold with $b_2>3$. We prove that $M$ is ergodic, unless $M$ has maximal Picard rank (there is a countable number of such $M$). This is used to show that all hyperkahler manifolds are Kobayashi non-hyperbolic.

연구 동기 및 목표

• 하이퍼카일러 다양체에서 $ b_2 > 3 $이거나 차원 $ \geq 2 $인 복소 토러스에 대해, 최대 피카르 랭크 사례를 제외한 가чёт한 수의 경우를 제외하고 에르고딕 복소 구조의 존재를 확립한다.
• 매핑 클래스군이 이러한 다양체의 테이히뮐러 공간에 대해 에르고딕으로 작용함을 보이며, 이는 일반적인 복소 구조에 대해 조밀한 궤도를 의미한다.
• 에르고딕 이론과 라트너의 정리를 적용하여, 비에르고딕 복소 구조는 정확히 최대 피카르 랭크를 가진 경우임을 보인다.
• 에르고딕 복소 구조가 비초기성임과 그 궤도가 테이히뮐러 공간에서 조밀함을 보임으로써, 이러한 모든 하이퍼카일러 다양체가 비초기성임을 증명한다.
• 특정 예시(예: K3 표면, 일반화된 쿠머 다양체)에 대한 비초기성 결과를 $ b_2 > 3 $인 모든 하이퍼카일러 다양체로 일반화한다.

제안 방법

• 매니폴드 $ M $ 위의 복소 구조 공간을 그 위상 동치류군 $ \operatorname{Diff}_0(M) $로 나눈 테이히뮐러 공간 $ \operatorname{\sf Teich} $를 정의하고, 매핑 클래스군 $ \Gamma = \operatorname{Diff}(M)/\operatorname{Diff}_0(M) $를 정의하며, 이는 자연스럽게 $ \operatorname{\sf Teich} $에 작용한다.
• 균일한 흐름에 대한 동차 공간에서의 라트너의 궤도 폐쇄 정리를 사용하여, $ \Gamma $-궤도가 닫혀 있거나 조밀한데, 비에르고딕 구조는 정확히 최대 피카르 랭크를 가진 경우임을 보인다.
• 브로디 보조정리와 코바야시 준거리의 반연속성을 적용하여, 만약 에르고딕 복소 구조가 비초기성이라면, 그에 가까운 복소 구조와 극한 복소 구조들도 모두 비초기성이 됨을 보인다.
• 하이퍼카일러 트리플 $ (I,J,K) $로부터 유도된 복소 구조를 매개변수화하는 허브리지 공간 $ \operatorname{Tw}(M) $를 $ \mathbb{C}P^1 $ 위의 허브리지 가속도로 구성하고, 캄파나의 결과를 이용하여 이러한 공간이 전체 곡선을 포함함을 보인다.
• 특히 $ b_2 > 3 $일 경우, 허브리지 가속도의 공간은 실수 차원이 $ b_2 - 3 $보다 크므로, 비에르고딕 구조를 통과하는 가속도의 집합은 측도가 0이 되며, 이는 일반적인 허브리지 가속도가 에르고딕인 섬유를 가짐을 의미한다.
• 단 하나의 비초기성 에르고딕 섬유가 존재하면, 비초기성 영역이 $ \operatorname{\sf Teich} $에서 닫혀 있고 조밀하므로, 테이히뮐러 공간 내의 모든 복소 구조가 비초기성이 됨을 암시한다.

실험 결과

연구 질문

• RQ1 하이퍼카일러 다양체에서 $ b_2 > 3 $일 경우, 테이히뮐러 공간에서 매핑 클래스군의 작용에 의해 조밀한 궤도를 가진 복소 구조가 존재하는가?
• RQ2 하이퍼카일러 다양체와 복소 토러스에서 비에르고딕 복소 구조의 정확한 특성은 무엇인가?
• RQ3 에르고딕성은 전체 변형 공간의 전반적인 성질, 예를 들어 비초기성과 같은 성질을 유추하는 데 사용될 수 있는가?
• RQ4 비에르고딕 복소 구조의 집합은 가zähl한가? 만약 그렇다면, 어떤 기하적 조건에서 발생하는가?
• RQ5 에르고딕 복소 구조의 존재는 모든 하이퍼카일러 다양체가 코바야시 비초기성임을 의미하는가?

주요 결과

• 하이퍼카일러 다양체에서 $ b_2 > 3 $이거나 차원 $ \geq 2 $인 복소 토러스에 대해, 비에르고딕 복소 구조의 집합은 가산적이며, 정확히 최대 피카르 랭크를 가진 경우로 구성된다.
• 이러한 다양체에 대해 매핑 클래스군 $ \Gamma $는 테이히뮐러 공간에 대해 에르고딕으로 작용하며, 이는 일반적인 복소 구조가 조밀한 $ \Gamma $-궤도를 가짐을 의미한다.
• 모든 컴팩트 하이퍼카일러 다양체에서 코바야시 준거리가 0이 되며, 이는 그것들이 모두 비초기성임을 의미한다.
• 단 하나의 비초기성 에르고딕 복소 구조가 존재하면, 비초기성 영역이 $ \operatorname{\sf Teich} $에서 닫혀 있고 조밀하므로, 다양체 위의 모든 복소 구조가 비초기성이 된다.
• 하이퍼카일러 다양체에서 $ b_2 > 3 $일 경우, 일반적인 허브리지 가속도는 비에르고딕 구조를 통과하는 가속도의 집합이 전체 허브리지 가속도 공간에서 측도가 0이므로, 오직 에르고딕 섬유만을 가진다.
• 이 결과는 K3 표면과 일반화된 쿠머 다양체에 대한 이전의 비초기성 결과를 $ b_2 > 3 $인 모든 하이퍼카일러 다양체로 일반화하며, 에르고딕 이론과 허브리지 기하학을 활용한다.