[논문 리뷰] Low degree Hodge theory for klt varieties

Martin Schwald|arXiv (Cornell University)|2016. 12. 06.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 klt 특이점을 가진 복소 프로젝티브 다양체에 대해, 첫 번째 및 두 번째 싱귤라리티 코homology 군이 순수 호지 구조를 지니며, 호지 성분이 반사형 미분형식의 공간과 동형임을 증명한다. klt 다양체에 대해 레프셰츠 (1,1) 정리와 약한 호지-라만 관계를 증명하여, 반사형 형식과 해소 기법을 통해 고전적 호지 이론을 특이적인 환경으로 확장한다.

ABSTRACT

If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms. Applications include a Lefschetz (1,1) Theorem and a weak analogue of the Hodge-Riemann bilinear relations for klt varieties.

연구 동기 및 목표

• 고전적 호지 이론을 klt 특이점을 가진 복소 프로젝티브 다양체로 확장하기.
• $\mathrm{H}^1(X,\mathbb{C})$ 및 $\mathrm{H}^2(X,\mathbb{C})$의 호지 분해를 반사형 미분형식 $\Omega^{[p]}_X$의 용어로 기술하기.
• klt 다양체에 대해 레프셰츠 (1,1) 정리를 확립하여, $\mathrm{H}^{1,1}(X)$ 내의 정수 계열이 선다발의 첫 번째 체르니코프 클래스와 일치함을 밝히기.
• klt 다양체에 대해 호지-라만 이중선형 관계의 약한 동치를 증명하기, 특히 차수 1 및 2의 형식에 국한하여

제안 방법

• klt 다양체 위의 반사형 미분형식에 대한 확장 정리를 사용하여 부드러운 국소에서의 해석적 형식을 전체 다양체로 올리기.
• 특이점의 해소와 당김 함자(functor)를 적용하여 $X$의 코homology 계열을 해소된 다양체 $\widetilde{X}$의 계열과 연결하기.
• 부드러운 다양체에서 국소적인 호지-라만 이중선형 관계를 적용하여, 당김을 통해 특이 다양체 위에서 전역 부등식 유도하기.
• 컵 곱과 앰플한 클래스 $a$ 및 체적 형식을 사용하여 코homology 위에 세미선형 형식 $\psi_{X,a}$ 정의하기.
• 해소된 다양체로 당겨졌을 때, $\mathrm{H}^{p,q}(X)$의 원시 부분공간에서 호지-라만 형식의 양의 정의성 증명하기.
• 코homology 성분과 반사형 형식을 연결하기 위해 $\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ 및 $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$의 자연스러운 동형사상 사용하기.

실험 결과

연구 질문

• RQ1 klt 다양체 $X$에 대해 $\mathrm{H}^1(X,\mathbb{C})$ 및 $\mathrm{H}^2(X,\mathbb{C})$의 호지 구조는 어떻게 분해되는가?
• RQ2 레프셰츠 (1,1) 정리는 klt 특이점으로까지 확장될 수 있는가?
• RQ3 특이적인 klt 환경에서 호지-라만 이중선형 관계의 의미 있는 동치는 존재하는가?
• RQ4 반사형 미분형식 $\Omega^{[p]}_X$는 klt 다양체 위의 코homology 군의 호지 분해와 어떻게 관련되는가?

주요 결과

• X가 klt 특이점을 가질 경우, $p=1,2$에 대해 $\mathrm{H}^p(X,\mathbb{C})$의 호지 구조는 무게 $p$의 순수 호지 구조이다.
• $p=1,2$에 대해 자연스러운 동형사상 $\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ 및 $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$ 가 존재한다.
• 레프셰츠 (1,1) 정리는 klt 다양체에 대해 성립한다: $\mathrm{H}^{1,1}(X) \cap H^2(X,\mathbb{Z})$ 는 정확히 $X$ 위의 선다발의 첫 번째 체르니코프 클래스로 이루어져 있다.
• 약한 호지-라만 이중선형 관계는 klt 다양체에 대해 성립한다: $i^{p-q} \cdot \psi_{X,a}(\alpha,\alpha) > 0$ 이며, 이는 $\mathrm{H}^k(X,\mathbb{C})$의 원시 부분공간에 속하고, $\mathrm{H}^1(X,\mathbb{C})$ 및 $\mathrm{H}^2(X,\mathbb{C})$의 계열의 컵 곱인 0이 아닌 $\alpha$에 대해 성립한다.
• 이 결과는 임의의 기약 심플렉틱 다양체 $X$의 비자명한 피브레이션은 항상 라그랑주 피브레이션임을 시사하며, 이때 $\dim B = \frac{1}{2}\dim X$ 이고 $\rho(B) = 1$ 이다.