[论文解读] Tannakian duality and Gauss-Manin connections for a family of curves

Phùng Hô Hai, Võ Quôc Bao+1 more|arXiv (Cornell University)|Mar 4, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文将微分基本群群 schemes 与高斯-曼恩联络联系起来，针对一族曲线在 genus 至少为 1 时证明了群同调与 de Rham 同调之间的同构，并在缩小底空间后显示 X 变为 de Rham K(π,1)。

ABSTRACT

Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental groupoid scheme of $S/k$ and the relative differential fundamental group of $X/S$ in a short exact sequence. This yields natural maps from the group cohomology of the geometric relative fundamental group to the Gauss-Manin connections. For families of curves of genus at least $1,$ we prove that these maps are isomorphisms thus give an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group. As a consequence we show that, as a surface over $k$, $X$ after a little shrinking becomes de Rham $K(π,1).$

研究动机与目标

• 通过连接 de Rham 同调与在 X/S 的光滑射影族中的基本群群 scheme 来激发研究动机。
• 建立并证明一个关于绝对、相对和几何微分基本群群 scheme 的基本精确序列。
• 通过 Gauss-Manin 联络在 H^i_dR(X/S,(V,∇/S)) 与 H^i(π^{geom}(X/S),V) 的 group cohomology 之间提供比较。
• 在适当条件下，基底缩小后，总空间 X 作为 k 上的 de Rham K(π,1) 成立。

提出的方法

• 构造并分析群/群图 scheme 的基本精确序列：π(X/S) → Π(X/k) → Π(S/k) 及其几何变体 π^{geom}(X/S) 的形式，并研究其几何变体。
• 定义并使用类别 MIC(X/k)、MIC(X/S)、MIC^{se}(X/S) 与 MIC^{geom}(X/S)，以实现 Tannakian 群族及其表示。
• 通过 Lyndon–Hochschild–Serre 型的论证，建立 H^i(π^{geom}(X/S),V) 与 H^i_dR(X/S,(V,∇/S)) 的同构。
• 证明 H^i_dR(X/S,(V,∇/S)) 上的 Gauss-Manin 联络对应于 Π(S/k) 对 H^i(π^{geom}(X/S),V) 的作用。
• 对于 genus g≥1，γ^i、δ^i 对所有 i≥0 及 V ∈ Rep^f(π^{geom}(X/S)) 的自然映射是同构。
• 在缩小基底后，X 在 k 上成为 de Rham K(π,1) 的曲面。

实验结果

研究问题

• RQ1 高斯-曼恩联络是否可以仅用微分基本群群 scheme 的同调来描述？
• RQ2 在 X→S 的设定下，绝对、相对与几何微分基本群群 scheme 之间的关系是什么？
• RQ3 当曲线族的 genus≥1 时，来自群同调到 de Rham 同调 的天然映射是否成为同构？
• RQ4 在何种条件下，总空间 X 作为 k 上的 de Rham K(π,1)？

主要发现

• 存在一个连接 π(X/S)、Π(X/k)、Π(S/k 的短正合基本序列，以及几何变体的对应序列。
• 对于 genus g≥1，群同构成分与 de Rham 同调之间的自然映射为同构，从而通过微分基本群同态解释 Gauss-Manin 联络。
• Gauss-Manin 联络在 H^i_dR(X/S,(V,∇/S)) 上对应于来自 Lyndon–Hochschild–Serre 序列的 Π(S/k) 对 H^i(π^{geom}(X/S),V) 的作用。
• γ^i 与 δ^i 对所有 i≥0 及 V ∈ Rep^f(π^{geom}(X/S)) 为同构。
• 在将基底缩小后，X 作为 k 上的 de Rham K(π,1) 曲面，且适用于 genus≥1 带截面的情形。