[논문 리뷰] Period map for non-compact holomorphically symplectic manifolds

D. Kaledin, Misha Verbitsky|ArXiv.org|2000. 05. 01.

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

한 줄 요약

이 논문은 약한 코homological 가정 하에 비콤파クト한 헬름로픽 심플렉틱 다양체에 대해 주기 맵을 수립하며, 형식적 심플렉틱 변형의 계수 모듈리 공간이 심플렉틱 형식의 호의에서 $ H^2(M) $의 형식적 완비화와 동형임을 보여준다. 핵심 결과는 란의 대수적 변형 이론을 심플렉틱적으로 변형하여, 특정 층 복합체의 평탄성에 의해 고장이 없음을 보장함으로써 보고몰로프-티앙-토도로프 정리를 비콤파クト 심플렉틱 다양체로 확장한다.

ABSTRACT

We study the deformations of a holomorphic symplectic manifold $M$, not necessarily compact, over a formal ring. We show (under some additional, but mild, assumptions on $M$) that the coarse deformation space exists and is smooth, finite-dimensional and naturally embedded into $H^2(M)$. For a holomorphic symplectic manifold $M$ which satisfies $H^1(M,{\cal O}_M) = H^2(M,{\cal O}_M)=0$, the coarse moduli of formal deformations is isomorphic to $\Spec\C[[t_1, ..., t_n]]$, where $t_1$, ... $t_n$ are coordinates in $H^2(M)$. This revised version contains one minor improvement: exposition in Subsection 5.1 has been made more detailed and rigourous.

연구 동기 및 목표

• 비콤파クト한 헬름로픽 심플렉틱 다양체에 대한 변형 이론을 개발하며, 비퇴화된 도르베오-스펙트럴 시퀀스로 인해 표준 방법이 실패하는 상황을 다루기 위해.
• 이전에 콤팩트 칼라비-유와 헬름로픽 심플렉틱 다양체에 대해 유효했던 주기 맵 구성 기법을, 약한 코homological 가정 하에 비콤파クト 설정으로 확장하기 위해.
• 형식적 심플렉틱 변형의 계수 모듈리 공간이 $[Ω]$에서 $ H^2(M) $의 형식적 완비화와 동형임을 보여주며, 콤팩트 경우를 일반화하기 위해.
• 단지 $ M $이 아니라 쌍 $ (M, \Omega) $의 변형에 초점을 맞춰 고장을 제거함으로써 변형 이론의 고장을 극복하기 위해, 심플렉틱 구조를 활용해 코homological 프레임워크를 단순화하기 위해.

제안 방법

• 티앙-토도로프 정리의 대수적 증명을 위해 Z. 란이 제시한 방법을 심플렉틱적으로 변형하여, 칼라비-유 조건 대신 헬름로픽 심플렉틱 구조를 사용한다.
• 변형을 분류하기 위해 코다이라-스펜서 클래스를 사용하지만, 고장을 제거하기 위해 심플렉틱 변형으로 제한한다.
• 기본환의 기본 확장 기법을 사용하여 귀납적으로 변형을 올리며, 미분의 정확한 수열을 이용해 올림 조건을 제어한다.
• 주기 맵 $ \operatorname{Per}: \operatorname{Spl}(M,\Omega) \to H^2(M) $를 정의하고, $ H^i(\mathcal{O}_M) = 0 $ for $ i \geq 1 $ 인 가정 하에 $[\Omega]$ 주변의 형식적 이웃에서 이것이 동형임을 보인다.
• 변형 과정에서 고장이 없음을 보장하기 위해, 층 $ R^2\pi_*F^1\Omega^{\bullet}(\widetilde{X}/S) $ 의 평탄성을 증명한다.
• 운반자적 변형 이론 프레임워크를 사용하여, 심플렉틱 탄젠트 복합체를 $ F^1\Omega^{\bullet}(X) $ 로 간주함으로써 코homological 단순화를 정당화한다.

실험 결과

연구 질문

• RQ1 비콤파クト한 헬름로픽 심플렉틱 다양체에 대해, 콤팩트 경우와 유사한 주기 맵을 구성할 수 있는가?
• RQ2 형식적 심플렉틱 변형의 계수 모듈리 공간이 존재하고, 미세하게 매끄럽고 유한 차원이 되기 위한 조건은 무엇인가?
• RQ3 도르베오-스펙트럴 시퀀스가 분해되지 않더라도, 헬름로픽 심플렉틱 다양체의 변형 이론에서 고장이 왜 사라지는가?
• RQ4 비콤파クト 설정에서 주기 맵은 코homology $ H^2(M) $ 와 어떻게 관련되어 있는가?
• RQ5 랜의 대수적 변형 이론을 $ M $ 자체가 아닌 쌍 $ (M, \Omega) $ 에 초점을 맞춤으로써 심플렉틱 케이스로 일반화할 수 있는가?

주요 결과

• 모든 $ i \geq 1 $ 에 대해 $ H^i(\mathcal{O}_M) = 0 $ 인 헬름로픽 심플렉틱 다양체 $ M $ 에 대해, 형식적 심플렉틱 변형의 계수 모듈리 공간 $ \operatorname{Spl}(M,\Omega) $ 는 $[\Omega]$ 에서 $ H^2(M) $ 의 형식적 완비화와 동형이다.
• 이 경우 주기 맵 $ \operatorname{Per}: \operatorname{Spl}(M,\Omega) \to H^2(M) $ 는 동형이며, 콤팩트 경우 결과를 일반화한다.
• 변형 이론이 고장이 없으며, 이는 층 $ R^2\pi_*F^1\Omega^{\bullet}(\widetilde{X}/S) $ 가 기저 위에서 평탄하기 때문에 각 단계에서의 올림이 보장되기 때문이다.
• 핵심적인 기술적 혁신은 기본 확장의 사용과 미분 정확한 수열을 통한 코다이라-스펜서 클래스의 올림으로, 순환적 의존성을 피한다.
• 이 결과는 $ H^i(\mathcal{O}_M) = 0 $ 인 경우를 초월하는 더 넓은 비콤파クト 다양체의 범주에도 적용되며, 주기 맵은 여전히 $ H^2(M) $ 에로의 임베딩을 유지하지만, 모듈리 공간은 더 이상 $ H^2(M) $ 와 동형이 아니다.
• 심플렉틱 구조 덕분에 칼라비-유 이론에서 문제시되는 $ H^1(\Omega^{n-1}(M)) $ 항을 $ H^1(\Omega^1(M)) $ 으로 대체할 수 있으며, 주어진 가정 하에 이 항의 고장이 사라진다.