[논문 리뷰] The Hodge theoretic fundamental group and its cohomology

Donu Arapura|ArXiv.org|2009. 02. 24.

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

한 줄 요약

이 논문은 복소대수다양체 $X$ 위의 허지 변형의 혼합 허지 균일 구조에 기반한 국소계의 카테고리에 대한 Tannaka 쌍대를 통해 정의된 Hodge 이론적 기본군 $\pi_{1}^{\text{hodge}}(X,x)$를 제안한다. 이 군은 보편 Mumford-Tate 군의 작용을 통해 비아벨리안 혼합 허지 구조를 지니며, 모든 이러한 $V$에 대해 $H^*(\pi_{1}^{\text{hodge}}, V) \to H^*(X, V)$인 표준적 사상이 동형이 되는 경우, $X$는 Hodge 이론적 $K(\pi,1)$이 된다. 이는 아벨 다양체와 매끄러운 아핀 곡선에서 성립한다.

ABSTRACT

In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a variety to be a Hodge theoretic K(pi,1), which roughly means that the cohomology of variations of mixed Hodge structure can be determined from the group.

연구 동기 및 목표

• 기본군의 Malčev 완비화보다 더 큰, 기하학적 및 산술적 정보를 더 유지하는 Hodge 이론적 대체를 정의하기.
• 보편 Mumford-Tate 군의 작용을 통해 이 군에 비아벨리안 혼합 허지 구조를 구성하기.
• 코homological 비교 사상 $H^*(\pi_{1}^{\text{hodge}}, V) \to H^*(X, V)$를 구축하고, 이것이 동형이 되는 조건을 규명하기.
• Hodge 이론적 맥락으로 $K(\pi,1)$ 공간의 개념을 일반화하고, 교환 법칙을 가진 대수적 군과 매끄러운 아핀 곡선과 같은 새로운 예를 식별하기.

제안 방법

• 복소대수다양체 $X$ 위의 허지 변형의 혼합 허지 균일 구조에 기반한 국소계의 카테고리에 대한 Tannaka 쌍대로서 $\pi_{1}^{\text{hodge}}(X,x)$를 정의한다.
• 이 군을 이러한 변형의 모노드로미 표현의 아핀 Zariski 폐쇄의 역극한으로 실현한다.
• 보편 Mumford-Tate 군 $MT$의 작용을 통해 $\pi_{1}^{\text{hodge}}(X,x)$에 비아벨리안 혼합 허지 구조를 도입한다.
• 모든 허지 변형 $V$에 대해 $H^*(\pi_{1}^{\text{hodge}}, V) \to H^*(X, V)$인 표준적 사상을 구성한다.
• Tannakian 형식론과 코homological 유도를 사용하여 비교 사상을 분석하며, Hain 등이 제시한 상대 Malčev 완비화에 관한 결과에 기반한다.
• 비록 추측적이거나 조건부이지만, 아벨 다양체와 매끄러운 아핀 곡선에 대해 비교 사상이 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 Malčev 완비화보다 더 큰 기본군의 몫에 대해 Hodge 구조를 정의할 수 있는가, 이때 기하학적 및 산술적 정보를 유지할 수 있는가?
• RQ2 기본군에 대한 비아벨리안 일반화된 혼합 허지 구조의 올바른 형태는 무엇이며, 이는 산술기하학에서 갈로아 작용과 어떻게 관련되는가?
• RQ3 모든 허지 변형 $V$에 대해 표준적 사상 $H^*(\pi_{1}^{\text{hodge}}, V) \to H^*(X, V)$가 동형이 되는 조건은 무엇인가?
• RQ4 어떤 복소대수다양체가 Hodge 이론적 $K(\pi,1)$ 공간이며, 이러한 공간의 구조적 성질은 무엇인가?

주요 결과

• Hodge 이론적 기본군 $\pi_{1}^{\text{hodge}}(X,x)$는 복소대수다양체 $X$ 위의 허지 변형의 혼합 허지 균일 구조에 기반한 국소계의 카테고리에 대한 Tannaka 쌍대로서 정의되며, 보편 Mumford-Tate 군의 작용을 통해 비아벨리안 혼합 허지 구조를 지닌다.
• 군 $\pi_{1}^{\text{hodge}}(X,x)$는 Malčev 완비화를 지배하며, 후자의 허지 구조와 호환된다.
• 교환 법칙을 가진 대수적 군의 경우, 비교 사상 $H^*(\pi_{1}^{\text{hodge}}, V) \to H^*(X, V)$는 동형이므로, 이러한 공간들은 Hodge 이론적 $K(\pi,1)$이다.
• 매끄러운 아핀 곡선의 경우, 추측 5.5를 가정하면 비교 사상은 동형이 되며, 이 조건 하에서 Hodge 이론적 $K(\pi,1)$이 된다.
• 결과는 아벨 다양체로도 확장되며, 이는 조건 없이 Hodge 이론적 $K(\pi,1)$임을 보여준다.
• 논문은 Artin 근방이 또한 Hodge 이론적 $K(\pi,1)$이 될 수 있음을 제안하며, 넓은 범위의 예를 제공한다.