[논문 리뷰] Tame topology of arithmetic quotients and algebraicity of Hodge loci

Bruno Klingler|arXiv (Cornell University)|2018. 03. 26.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 5

한 줄 요약

이 논문은 산술 몫공간의 균형화 사상과 순수 극화된 Z-변형의 호지 구조에 대한 주기 사상이 o-미니멀 의미에서 위상적으로 옹호된다는 것을 입증한다. Peterzil-Starchenko의 o-미니멀 GAGA 정리와 함께, 호지 위치—특수 부분다양체들의 가산 합집합—이 대수적임을 증명함으로써, Cattani-Deligne-Kaplan의 기초적인 결과에 대한 새로운 모형이론적 증명을 제시한다.

ABSTRACT

We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-minimal GAGA theorem we obtain that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$ (a result originally due to Cattani-Deligne-Kaplan).

연구 동기 및 목표

• 산술 몫공간의 균형화 사상과 순수 극화된 Z-변형의 호지 구조에 대한 주기 사상의 위상적 옹호성을 확립한다.
• o-미니멀 기하학을 적용하여 산술 몫공간 내에서 호지 위치의 대수성을 증명한다.
• 고전적인 결과인 호지 위치가 대수적 부분다양체들의 가산 합집합임을 재확인하는 새로운 모형이론적 증명을 제공한다.
• o-미니멀 구조의 사용을 시무라 다양체를 초월하여 일반적인 산술 몫공간으로 확장한다.
• 정의 가능성과 o-미니멀 GAGA를 통해 특수 부분다양체와 그 주기 사상에 대한 역상이 대수적임을 보인다.

제안 방법

• 산술 몫공간 SΓ,G,M 위에서 균형화 사상의 위상적 옹호성을 분석하기 위해 o-미니멀 구조를 사용한다.
• 다변수에서의 노름화 궤도 정리를 적용하여 주기 사상을 노름화 궤도로 근사한다.
• 주기 사상이 R_an,exp-정의 가능임을 입증하여 o-미니멀 기하학과 연결한다.
• Peterzil-Starchenko의 o-미니멀 GAGA 정리를 적용하여 복소해석적, 정의 가능한 부분집합이 대수적임을 결론짓는다.
• 산술 몫공간 내 특수 부분다양체가 R_an,exp-정의 가능임을 보이고, 주기 사상에 대한 그들의 역상도 이 성질을 유지함을 보인다.
• 정의 가능성과 해석성의 조합을 통해 o-미니멀 GAGA를 통해 호지 위치의 대수성을 결론짓는다.

실험 결과

연구 질문

• RQ1 산술 몫공간의 균형화 사상은 o-미니멀 의미에서 위상적으로 옹호되는가?
• RQ2 순수 극화된 Z-변형의 호지 구조에 대응하는 주기 사상은 위상적으로 옹호되는가?
• RQ3 o-미니멀 기하학을 통해 순수 극화된 Z-변형의 호지 위치가 대수적임을 입증할 수 있는가?
• RQ4 산술 몫공간 내에서 주기 사상에 대한 특수 부분다양체의 역상에 대해 o-미니멀 GAGA가 적용되는가?
• RQ5 모형이론적 옹호성과 정의 가능성에 기반하여 호지 위치의 대수성을 재증명할 수 있는가?

주요 결과

• 모든 산술 몫공간 SΓ,G,M의 균형화 사상은 o-미니멀 의미에서 위상적으로 옹호된다.
• 매끄럽고 복소수의 준사영적 다양체 위에서 정의된 순수 극화된 Z-변형의 호지 구조에 대응하는 주기 사상은 위상적으로 옹호된다.
• 해당 변형의 호지 위치는 대수적 부분다양체들의 가산 합집합이며, Cattani-Deligne-Kaplan의 결과를 재확인한다.
• 주기 사상에 대한 특수 부분다양체의 역상은 o-미니멀 GAGA를 정의 가능한 해석집합에 적용함으로써 대수적이다.
• 증명은 주기 사상과 특수 부분다양체의 R_an,exp-구조 내 정의 가능성과 그 해석성에 기반한다.
• 이 결과는 o-미니멀 GAGA의 적용 범위를 비대수적 산술 몫공간, 비시무라 경우를 포함하여 확장한다.