[論文レビュー] 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

ひとこと要約

要約: 本論文は微分基礎群oid schemesと Gauss-Manin 接続を曲線族に関連づけ、 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).$

研究の動機と目的

• 滑らかな射影多様体の族 X/S における de Rham コホモロジーと基礎群スキームの関連付けによって研究の動機づけを行う。
• 絶対的、相対的、幾何学的微分基礎群スキームを結ぶ fundamental な正確列を構築・証明する。
• Gauss-Manin 接続を介した微分基礎群コホモロジーと de Rham コホモロジーの比較を提供する。
• 適切な条件の下で、基底を縮小した後、全空間が de Rham K(π,1) となることを示す。

提案手法

• X/S の基本的正確列 π(X/S) → Π(X/k) → Π(S/k) とその幾何的変種 π^{geom}(X/S) の構築・解析。
• MIC(X/k)、MIC(X/S)、MIC^{se}(X/S)、MIC^{geom}(X/S) のカテゴリーを定義・活用してテナナック群論と表現を実現する。
• 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 および Rep^f(π^{geom}(X/S)) の V に対して同型であることを示す。
• 基底を縮小した後、境界 S の下で X が k 上の de Rham K(π,1) 面となることを示す。

実験結果

リサーチクエスチョン

• RQ1 de Rham コホモロジーの Gauss-Manin 接続を、微分基礎群スキームのコホモロジーの観点だけで記述できるか。
• RQ2 X→S の設定における絶対的、相対的、幾何学的微分基礎群スキームの関係は何か。
• RQ3 族の Genus ≥1 において、群共分と de Rham コホモロジーへの自然写像は同型になるか。
• RQ4 全空間 X が de Rham K(π,1) の条件は何か。

主な発見

• π(X/S)、Π(X/k)、Π(S/k) を結ぶ短絡な正確列が存在し、幾何的変種にも対応する正確列がある。
• Genus g≥1 で、群共分と de Rham コホモロジーの自然写像は同型となり、微分基礎群コホモロジーを介した Gauss-Manin 接続の解釈を与える。
• H^i_dR(X/S,(V,∇/S)) 上の Gauss-Manin 接続は、Lyndon–Hochschild–Serre 系から来る H^i(π^{geom}(X/S),V) への Π(S/k) の作用に対応する。
• γ^i および δ^i はすべての i≥0 および Rep^f(π^{geom}(X/S)) の V に対して同型である。
• 基底 S を縮小した後、Genus≥1 の設定で X は k 上の de Rham K(π,1) 面となる。