[논문 리뷰] The structure of the pro-l-unipotent fundamental group of a smooth variety

J. P. Pridham|arXiv (Cornell University)|2004. 01. 27.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 양의 특성에서의 매끄럽고 닫힌 다양체에 대해, nilpotent Lie 대수에서의 변형 이론과 Weil 추측의 무게 고려를 이용하여 pro-l-unipotent 기본군의 이차 표현을 확립한다. 기본군이 괄호 길이가 최대 4인 관계들에 의해 정의됨을 증명하고, 코homology에서 cup 곱의 비퇴화성을 보이며, 이는 Hard Lefschetz와 형식성 결과를 통해 자유군이 아니고 구조적 제약이 있음을 시사한다.

ABSTRACT

By developing a theory of deformations over nilpotent Lie algebras, based on Schlessinger's deformation theory over Artinian rings, this paper investigates the pro-l-unipotent fundamental group of a variety X. If X is smooth and proper, defined over a finite field, then the Weil conjectures imply that this group is quadratically presented. If X is smooth and non-proper, then the group is defined by equations of bracket length at most four.

연구 동기 및 목표

• 특성 0에서의 de Rham 기본군 결과를 SDC와 pro-nilpotent Lie 대수를 이용해 유한 특성으로 확장하기 위해.
• 양의 특성에서의 매끄럽고 닫힌 다양체의 pro-l-unipotent 기본군에 대한 구조적 제약을 설정하기 위해.
• 코homological 무게 필터와 형식성을 이용하여 기본군이 괄호 길이 4 이내에서 이차적으로 표현됨을 증명하기 위해.
• 매끄럽고 닫힌 다양체에서 코homology의 cup 곱이 비퇴화됨을 보이며, 이로 인해 기본군이 자유군이 될 수 없음을 시사하기 위해.
• 위상적 방법을 피하고 변형 함수와 SDC를 통해 $π_1$-hull의 구체적인 대수적 기술을 제공하기 위해.

제안 방법

• SDC(Simplicial DGA functors)를 이용해 nilpotent Lie 대수에서의 변형 이론을 개발하여 스킴의 호모토피 유형을 모델링한다.
• pro-nilpotent Lie 대수에서의 pro-representable 함수의 이론을 적용하여 기본군의 구조를 분석한다.
• Deligne의 Weil II에서 유래한 코homology의 무게 필터를 사용하여 기본군의 정의 관계의 차수를 제약한다.
• Hard Lefschetz 정리와 Poincaré 대칭을 적용하여 코homology에서 cup 곱의 비퇴화성을 보인다.
• pro-unipotent 설정에서의 형식성을 이용하여 $α_l$-homotopy 유형과 DGA 사이에 Galois--equivariant quasi-isomorphism을 확립한다.
• 기본 SDC인 $S^n(π_1) = C^n(X, \exp(\mathfrak{g}))$를 $α_l$-homotopy 유형의 모델로 사용하며, 이는 코심플렉스 $C^*(X, \mathbb{Q}_l)$의 쌍대이다.

실험 결과

연구 질문

• RQ1 매끄럽고 닫힌 다양체의 양의 특성에서의 pro-l-unipotent 기본군의 구조는 특성 0에서의 이차 표현과 유사하게 명시적으로 묘사될 수 있는가?
• RQ2 코homology의 무게 필터는 기본군의 관계에 어떤 제약을 가하는가?
• RQ3 매끄럽고 닫힌 다양체에서 $H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l)$에서 cup 곱이 비퇴화되는가? 그리고 이는 군의 구조에 어떤 함의를 갖는가?
• RQ4 양의 특성에서의 $α_l$-homotopy 유형의 형식성은 기본군에 대한 명시적인 대수적 제약을 유도할 수 있는가?
• RQ5 SDC와 nilpotent Lie 대수에서의 변형 함수는 양의 특성에서의 대수적 다양체의 호모토피 이론적 구조를 어떻게 묘사하는가?

주요 결과

• 매끄럽고 닫힌 다양체 $X$의 pro-l-unipotent 기본군 $\pi_1(X,\bar{x})\otimes_{\mathbb{Z}_l}\mathbb{Q}_l$는 괄호 길이가 최대 4인 관계들에 의해 이차적으로 표현된다.
• 매끄럽고 닫힌 $X$에 대해, cup 곱 $H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l) \times H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l) \to H^2(\pi_1(X,\bar{x}), \mathbb{Q}_l)$는 비퇴화되어 있으며, 이는 군이 자유군이 될 수 없음을 시사한다.
• 코homological 무게 필터는 기본군의 관계가 무게 $-2$, $-3$, $-4$ 성분에서 유래함을 시사하며, 정의 방정식의 차수를 제약한다.
• 기본군의 힐은 자유 Lie 대수의 세 번째 항 $\Gamma_3(L(V))$로의 몫과 동형이 아니며, 이는 비자명한 관계가 있음을 보여준다.
• $\mathbb{Q}_l$-homotopy 유형은 형식적이며, 기본 SDC는 동치인 DGA를 유도한다. Galois--equivariance는 Deligne의 결과를 통해 확립된다.
• Hard Lefschetz 정리는 매끄럽고 닫힌 다양체에서 기본군의 자유성을 배제하며, 이는 구조적 제약을 유도한다.