[论文解读] The structure of the pro-l-unipotent fundamental group of a smooth variety

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

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

本文通过在幂零李代数上的形变理论以及韦伊猜想的权过滤，建立了正特征下光滑射影簇的 pro-l-幂零基本群的二次表示。证明了基本群由括号长度至多为四的关系所定义，并展示了上同调上杯积的非退化性，由此通过硬朗本森定理与形式性结果推导出非自由性与结构约束。

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.

研究动机与目标

• 通过 SDC 与拟幂零李代数，将特征零下 de Rham 基本群的结果推广至有限特征。
• 建立光滑射影簇在正特征下 pro-l-幂零基本群的结构约束。
• 利用上同调权过滤与形式性，证明基本群是二次呈现的（括号长度至多为四）。
• 证明上同调上的杯积非退化，从而表明基本群不可能是自由的。
• 通过形变函子与 SDC，提供 $π_1$-包的显式代数描述，避免使用拓扑方法。

提出的方法

• 利用 SDC（单纯 DGA 函子）在幂零李代数上发展形变理论，以建模概形的同伦型。
• 将拟表示函子理论应用于拟幂零李代数，以分析基本群的结构。
• 利用上同调上的权过滤（源自 Deligne 的 Weil II）来约束基本群中定义关系的次数。
• 应用硬朗本森定理与庞加莱对偶性，证明上同调中杯积的非退化性。
• 在拟幂零设定下，通过形式性建立 $α_l$-同伦型与 DGA 之间的 Galois-等变拟同构。
• 依赖于标准 SDC $S^n(π_1) = C^n(X, \exp(\mathfrak{g}))$ 作为 $α_l$-同伦型的模型，其对偶为余单纯复形 $C^*(X, \mathbb{Q}_l)$。

实验结果

研究问题

• RQ1 能否显式描述正特征下光滑射影簇的 pro-l-幂零基本群的结构，类似于特征零下的二次呈现？
• RQ2 上同调上的权过滤对基本群中关系施加了何种约束？
• RQ3 对于光滑射影簇，$H^1(\pi_1(X,\bar{x}), \mathbb{Q}_l)$ 上的杯积是否非退化？这对其群结构有何含义？
• RQ4 正特征下 $α_l$-同伦型的形式性能否导出对基本群的显式代数约束？
• RQ5 SDC 与在幂零李代数上的形变函子如何捕捉代数簇在正特征下的同伦论结构？

主要发现

• 光滑射影簇 $X$ 的 pro-l-幂零基本群 $\pi_1(X,\bar{x})\otimes_{\mathbb{Z}_l}\mathbb{Q}_l$ 是二次呈现的，其定义关系的括号长度至多为四。
• 对于光滑射影 $X$，上同调杯积 $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)$ 非退化，表明该群不可能是自由的。
• 上同调权过滤表明，基本群中的关系源于权为 $-2$、$-3$ 与 $-4$ 的分量，从而限制了定义方程的次数。
• 基本群的包不与自由李代数模其第三项 $L(V)/\Gamma_3(L(V))$ 同构，表明存在非平凡关系。
• $\mathbb{Q}_l$-同伦型是形式的，且标准 SDC 产生一个拟同构的 DGA，其 Galois-等变性由 Deligne 的结果建立。
• 基本群的结构受硬朗本森定理约束，该定理排除了光滑射影簇的自由性。