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

Verbitsky Misha|arXiv (Cornell University)|2017. 08. 19.

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

한 줄 요약

이 논문은 초구면 다양체에 관한 이전 연구에서 간과된 오비트의 클래스를 특정함으로써 그에 대한 오missions을 수정한다. 이는 매핑 클래스 군의 작용이 주기 공간 위에서 일어나는 동안, 이전에 간과된 오비트의 존재를 규명하며, 이 오비트는 H^{2,0}-공간의 실수부와의 교차에서 일차원 유리 부분공간을 가지는 것으로 특징지어진다. 이들 중간 오비트의 폐포는 반복합수적 반사의 고정점 집합이며, 전체적으로 실수적이고, 양의 차원을 갖는 복소수부분다양체를 포함하지 않으며, 이는 쌍곡성과 코바야시 준거리에 관한 결과에 영향을 미친다.

ABSTRACT

Let $M$ be a hyperkahler manifold, $Γ$ its mapping class group, and $Teich$ the Teichmuller space of complex structures of hyperkahler type. After we glue together birationally equivalent points, we obtain the so-called birational Teichmuller space $Teich_b$. Every connected component of $Teich_b$ is identified with its period space $P$ by global Torelli theorem. The mapping class group of $M$ acts on $P$ as a finite index subgroup of the group of isometries of the integer cohomology lattice, that is, satisfies assumptions of Ratner theorem. We prove that there are three classes of orbits, closed, dense and the intermediate class which corresponds to varieties with $Re(H^{2,0}(M))$ containing a given rational vector. The closure of the later orbits is a fixed point set of an anticomplex involution of $P$. This fixes an error in the paper 1306.1498, where this third class of orbits was overlooked. We explain how this affects the works based on 1306.1498.

연구 동기 및 목표

• 초구면 다양체의 테이히뮐러 공간 위에서 매핑 클래스 군 작용의 오비트 구조에 대한 분류 오류를 수정하는 것.
• H^2(M,ℚ) ∩ Re(H^{2,0})의 차원이 1인 복소수조직에 대응하는 이전에 간과된 오비트 클래스를 식별하고 특성화하는 것.
• 이들 중간 오비트의 폐포가 주기 공간 위에서 반복합수적 반사의 고정점 집합임을 증명함으로써, 이는 전체적으로 실수적임을 보이고, 양의 차원을 갖는 복소수부분다양체를 포함하지 않음을 의미한다.
• 기존 논문에서 유도된 기하적 응용 결과들이 그대로 유지됨을 확인함. 유일하게 수정이 필요한 것은 [KLV]에서 암시된 한 문장뿐이다.
• 라트너 이론이 SO(1,b₂−3)×SO(2)에 직접 적용되지 않는 이유를 명확히 하고, SO(1,b₂−3)가 부분군으로서 고려되어야 하는 이유를 설명함.

제안 방법

• 전역 토렐리 정리를 사용하여, 비형식적 테이히뮐러 공간 Teich_b를 대칭 공간 ℙer = SO(3,b₂−3)/(SO(2)×SO(1,b₂−3))와 동일시한다.
• 매핑 클래스 군 Γ가 정수 코hom로지 래티스의等距군의 유한지수 부분군으로서 ℙer 위에서 작용하는 방식을 분석한다.
• H′ = SO(1,b₂−3) ⊂ SO(3,b₂−3)의 부분군에 대해 라트너 이론을 적용하여, 유니포텐트 흐름을 생성한다.
• 중간 오비트 폐포를 중간 부분군 S에 의한 오비트로 식별하며, H′ ⊂ S ⊂ SO(3,b₂−3)를 만족하고, 특히 S = SO(2,b₂−3)인 경우가 이 누락된 오비트 클래스에 해당한다.
• 중간 오비트의 폐포가 ℙer 위에서 반복합수적 반사의 고정점 집합임을 증명함으로써, 이는 전체적으로 실수적임을 보이고, 양의 차원을 갖는 복소수부분다양체를 포함하지 않음을 의미한다.
• 마이어의 정리를 사용하여 랭크 ≥5인 래티스에 제곱이 0인 유리계수가 존재함을 보이고, SYZ 추측에 따라 라그랑주 분할을 구성할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 초구면 다양체의 주기 공간 위에서 매핑 클래스 군 작용의 오비트의 완전한 분류는 무엇인가?
• RQ2 H^{2,0}의 실수부와의 교차에서 일차원 유리부분공간을 가지는 특징을 가진 중간 오비트 클래스가 원래 논문에서 왜 간과되었는가?
• RQ3 중간 오비트의 폐포는 어떤 기하적 성질을 가지며, 닫힌 오비트와 조밀한 오비트와 어떻게 다를까?
• RQ4 이 오비트 클래스의 존재가 기하적 결과의 타당성에 어떤 영향을 미치며, 특히 코바야시 준거리와 쌍곡성에 관해 어떻게 영향을 미치는가?
• RQ5 라트너 이론을 직접 SO(1,b₂−3)×SO(2)에 적용할 수 있는가? 만약 불가능하면, 분류를 가능하게 하는 대체 부분군은 무엇인가?

주요 결과

• 매핑 클래스 군의 작용에서 주기 공간에 이전에 간과된 오비트 클래스가 존재하며, 이는 H^2(M,ℚ) ∩ Re(H^{2,0})의 차원이 1인 복소수조직에 대응한다.
• 이들 중간 오비트의 폐포는 전체적으로 실수적인 부분다양체이며, ℙer 위에서 반복합수적 반사의 고정점 집합으로서 정확히 기술된다.
• 이 폐포는 양의 차원을 갖는 복소수부분다양체를 포함하지 않으며, 어떤 진부분복소다양체에도 포함되지 않는다.
• 원래 논문 [V2]와 [KLV]에서 도출된 기하적 결과들은 그대로 유지되며, 유일하게 수정이 필요한 것은 [KLV]에서 암시된 한 문장뿐이다.
• 중간 오비트는 H′-오비트(H′ = SO(1,b₂−3))의 폐포로서 라트너 이론에 의해 유도되며, 중간 부분군 SO(2,b₂−3)가 핵심적인 역할을 한다.
• 반복합수적 반사의 고정점 집합은 임의의 주어진 계수의 극화된 K3 표면의 분할 Teich_g와 교차하며, 이는 각 중간 오비트에 조밀한 대칭 복소수조직의 집합이 존재함을 의미한다.