[논문 리뷰] On the distribution of the Hodge locus

Gregorio Baldi, Bruno Klingler외 1명|arXiv (Cornell University)|2021. 07. 19.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 수준 3 이상인 Hodge 구조의 극성가능 Z-변형에 대해, 인자별로 양의 주기 차원을 갖는 Hodge 다양체는 특수 부분다양체의 유한한 합집합이므로, 특히 대수적임을 증명한다. 이는 Zilber–Pink 추측의 핵심 케이스를 해결한다. 결과는 일반적인/비일반적인 교차를 통한 특수 부분다양체의 완전한 분류에 기반하며, 고수준에서는 이러한 다양체들이 해석적으로 조밀하지 않고 대수적임을 보여주며, 초구면과 곡선, 아벨 다양체의 모듈리 공간에 응용된다.

ABSTRACT

Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge tensors appear) is a countable union of irreducible algebraic subvarieties of $S$, called the special subvarieties for $\mathbb{V}$. Our main result in this paper is that, if the level of $\mathbb{V}$ is at least $3$, this Hodge locus is in fact a finite union of such special subvarieties (hence is algebraic), at least if we restrict ourselves to the Hodge locus factorwise of positive period dimension. For instance the Hodge locus of positive period dimension of the universal family of degree $d$ smooth hypersurfaces in $\mathbf{P}^{n+1}_\mathbb{C}$, $n\geq 3, d\geq 5$ and $(n,d) eq (4,5)$, is algebraic. On the other hand we prove that in level $1$ or $2$, the Hodge locus is analytically dense in $S^{an}$ as soon as it contains one typical special subvariety. These results follow from a complete elucidation of the distribution in $S$ of the special subvarieties in terms of typical/atypical intersections, with the exception of the atypical special subvarieties of zero period dimension.

연구 동기 및 목표

• 부분다양체가 매끄럽고 준사영적인 기저 위에서 극성가능한 Z-변형 Hodge 구조(ZVHS)의 Hodge 다양체 내 특수 부분다양체의 분포를 규명하는 것.
• 주기 차원이 양수인 Hodge 다양체가 대수적인지 또는 해석적으로 조밀한지에 대한 질문을 해결하는 것, 특히 고수준 케이스에서의 경우.
• 특수 부분다양체를 일반적/비일반적 교차에 기반해 완전히 분류하는 것. 이때 주기 차원이 0인 경우는 제외한다.
• 수준 ≥3 ZVHS에서, 인자별로 양의 주기 차원을 갖는 Hodge 다양체는 최대 비일반적 특수 부분다양체의 유한한 합집합이므로, 대수적임을 증명하는 것.
• 이 이론을 구체적인 기하학적 사례에 적용하는 것. 예를 들어 초구면의 Noether-Lefschetz 다양체와 A4 내의 Torelli 다양체를 포함한다.

제안 방법

• 기저 S의 복소해석적 측면 S^an에서의 주기 사상 Φ: S^an → Γ\D를 사용하여 Hodge 구조의 변화를 분석하고, Mumford-Tate 도메인 D를 단순 성분 D1 × ⋯ × Dk로 분해한다.
• 특수 부분다양체를 특별한 성분의 포함 관계와 차원에 기반해 일반적 또는 비일반적 교차로 분류한다.
• 기하학적 Zilber–Pink 추측을 적용하여 특수 부분다양체의 분포를 제어하며, 특히 Hodge-일반적인 부분다양체의 맥락에서 적용한다.
• Hodge 필터링과 단조성군의 표현론적 성질로부터 유도된 일반적 Hodge 다양체가 공집합임을 보여주는 기준을 사용한다.
• Chai의 코디멘션에 대한 명시적 상한 c(G, X, H)를 적용하여, 만약 부분다양체 S가 Shimura 다양체 Γ\X에서 코디멘션이 1이면, 그 Hodge 다양체는 해석적으로 조밀하다는 것을 증명한다.
• 해당 경우에 대해 증명된 André–Oort 추측을 활용하여, 조밀한 Hodge 다양체는 특수 부분다양체를 암시하며, 이는 모듈리 공간 내에서 모순 추론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 수준 ≥3인 ZVHS에서, 인자별로 양의 주기 차원을 갖는 Hodge 다양체는 대수적인가?
• RQ2 Hodge 다양체가 기저 공간에서 해석적으로 조밀해지는 조건은 무엇인가?
• RQ3 특수 부분다양체의 분포는 Shimura 부분다양체와의 일반적/비일반적 교차에 의해 완전히 기술될 수 있는가?
• RQ4 주기 차원이 양수인 Hodge 다양체가 대수적이지 않은 것은 오직 저수준 케이스(수준 1 또는 2)에서만 발생하는가?
• RQ5 A4 내의 Torelli 다양체 T_4는 비-PEL 유형의 특수 곡선을 포함할 수 있는가? 이는 Hodge 다양체에 어떤 영향을 미치는가?

주요 결과

• 모든 수준 3 이상의 극성가능 ZVHS에서, 인자별로 양의 주기 차원을 갖는 Hodge 다양체는 최대 비일반적 특수 부분다양체의 유한한 합집합이므로, 대수적이다.
• 특히, 일반적인 Mumford-Tate 군이 단순할 경우, 주기 차원이 양수인 전체 Hodge 다양체는 대수적이다.
• P^{n+1}_C에서의 매끄러운 차수 d 초구면의 일반 가속에서, n ≥ 3, d ≥ 5, 그리고 (n,d) ≠ (4,5)일 경우, 주기 차원이 양수인 Hodge 다양체는 대수적이다.
• 수준 1 또는 2일 경우, Hodge 다양체가 하나의 일반적 특수 부분다양체를 포함하면, 기저 공간 전체에서 해석적으로 조밀하다.
• A4 내의 Torelli 다양체 T_4의 Hodge 다양체는 해석적으로 조밀하며, 이는 종수 4 곡선의 리만 곡면에서 야생적 분해가 존재함을 시사한다. 이 곡선의 야생적 분해는 Q-형식의 G_m × (SL_2)^3와 동형이다.
• Mumford의 A4 내 특수 곡선은 열린 Torelli 다양체 T_0^4 내에 존재할 수 없다. 이는 Toledo 정리의 곡률 한계를 위반하기 때문이다.