pith. sign in

arxiv: 2603.03758 · v2 · submitted 2026-03-04 · 🧮 math.AG

Tannakian duality and Gauss-Manin connections for a family of curves

Ph\`ung H\^o Hai , V\~o Qu\^oc Bao , Tr\^an Phan Qu\^oc Bao This is my paper

Pith reviewed 2026-05-15 16:59 UTC · model grok-4.3

classification 🧮 math.AG
keywords differential fundamental groupGauss-Manin connectionTannakian dualityfamily of curvesde Rham K(pi,1)relative fundamental groupoidalgebraic geometry
0
0 comments X

The pith

For families of curves of genus at least 1, maps from the cohomology of the geometric relative fundamental group to the Gauss-Manin connections are isomorphisms.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a short exact sequence that relates the differential fundamental groupoid scheme of the total space X over k, the base S over k, and the relative differential fundamental group over the family X/S. This sequence produces natural maps from the group cohomology of the geometric relative fundamental group to the Gauss-Manin connections on the family. For families where the fibers are curves of genus at least 1, these maps are proved to be isomorphisms. The result supplies an interpretation of the Gauss-Manin connection directly in terms of the cohomology of the differential fundamental group. As a direct consequence, the family X can be shrunk over S to produce a de Rham K(π,1) surface.

Core claim

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. This gives an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group. As a consequence we can shrink X (as a family on S) to obtain a de Rham K(π,1) surface.

What carries the argument

The short exact sequence of differential fundamental groupoid schemes of X/k, S/k and the relative X/S, which induces the maps from relative group cohomology to Gauss-Manin connections.

Load-bearing premise

The family X/S consists of smooth projective curves of genus at least 1 over a smooth affine curve base in characteristic zero.

What would settle it

An explicit calculation for a concrete elliptic curve family over a base curve where the induced map from the first cohomology of the geometric relative fundamental group to the Gauss-Manin connection is shown not to be an isomorphism.

read the original 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. This gives an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group. As a consequence we can shrink $X$ (as a family on $S$) to obtain a de Rham $K(\pi,1)$ surface.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a short exact sequence of differential fundamental groupoid schemes relating those of X/k, S/k, and the relative differential fundamental group of X/S, for a smooth family X/S of smooth projective varieties with S a smooth affine curve over a characteristic-zero field. It constructs natural maps from the group cohomology of the geometric relative fundamental group to the Gauss-Manin connections on the family, and proves these maps are isomorphisms when the fibers are curves of genus at least 1. This yields a cohomological interpretation of the Gauss-Manin connection and, as a consequence, permits shrinking the family to produce a de Rham K(π,1) surface.

Significance. If the isomorphism holds, the work supplies a Tannakian interpretation of Gauss-Manin connections for curve families that links relative fundamental-group cohomology directly to the connection, which may aid computations in algebraic de Rham cohomology and variations of Hodge structure. The explicit genus restriction and the use of standard Tannakian constructions without ad-hoc parameters are strengths; the de Rham K(π,1) consequence adds interest if the shrinking step is fully detailed.

major comments (2)
  1. [Statement and proof of the short exact sequence] The short exact sequence of differential fundamental groupoid schemes is central to the construction of the maps to Gauss-Manin connections; the proof that the sequence is exact at the relative term (i.e., that the kernel of the map from the total groupoid scheme to the base is precisely the relative groupoid scheme) must be verified explicitly against the Tannakian duality functor applied to the family, as any gap here would undermine the subsequent isomorphism claim.
  2. [Proof of the isomorphism for genus ≥1] In the argument that the natural maps become isomorphisms for genus ≥1 curve fibers, the genus hypothesis is used to equate the dimension of the relevant group cohomology with the rank of the Gauss-Manin connection; it is necessary to confirm that this dimension count holds uniformly without further restrictions on the base field or on the smoothness of the family beyond what is already stated.
minor comments (2)
  1. [Notation and setup] The notation distinguishing the differential fundamental groupoid scheme of X/k from the relative one would benefit from a brief comparison table or diagram early in the text.
  2. [Introduction] A few additional references to prior results on Tannakian duality for families (e.g., work building on Deligne’s fundamental group schemes) would help situate the exact sequence construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major point below and have revised the text to provide additional explicit verifications as requested.

read point-by-point responses

  1. Referee: [Statement and proof of the short exact sequence] The short exact sequence of differential fundamental groupoid schemes is central to the construction of the maps to Gauss-Manin connections; the proof that the sequence is exact at the relative term (i.e., that the kernel of the map from the total groupoid scheme to the base is precisely the relative groupoid scheme) must be verified explicitly against the Tannakian duality functor applied to the family, as any gap here would undermine the subsequent isomorphism claim.

    Authors: The short exact sequence is constructed in Section 2 by applying the Tannakian duality functor to the category of vector bundles with integrable connections on X/S. Exactness at the relative term follows from the universal property of the relative differential fundamental groupoid scheme as the kernel of the map induced by the structure morphism X → S. To address the request for explicit verification, we have expanded the argument in the revised manuscript with a direct computation showing that the kernel of the induced map on groupoid schemes coincides precisely with the relative groupoid scheme under the duality functor. revision: yes

  2. Referee: [Proof of the isomorphism for genus ≥1] In the argument that the natural maps become isomorphisms for genus ≥1 curve fibers, the genus hypothesis is used to equate the dimension of the relevant group cohomology with the rank of the Gauss-Manin connection; it is necessary to confirm that this dimension count holds uniformly without further restrictions on the base field or on the smoothness of the family beyond what is already stated.

    Authors: The dimension count for genus g ≥ 1 relies on the standard algebraic fact that the first cohomology group of the geometric fundamental group (with coefficients in the adjoint representation) has dimension 2g, which equals the rank of the Gauss-Manin connection on the relative de Rham cohomology. This equality is purely algebraic, holds over any field of characteristic zero, and requires only the smoothness of the family and projectivity of the fibers as stated; no further restrictions on the base field or smoothness are needed. We have added an explicit remark in the revised Section 4 confirming this uniformity and referencing the relevant dimension formula for curve fundamental groups. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via standard Tannakian constructions

full rationale

The paper derives a short exact sequence relating the differential fundamental groupoid schemes of X/k, S/k and the relative group of X/S, then constructs natural maps from relative group cohomology to Gauss-Manin connections. For genus ≥1 curve fibers these maps are shown to be isomorphisms. All steps rest on the standard Tannakian duality applied to the given smooth family X/S (smooth projective fibers, S smooth affine over char-0 field k) without any fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the central claim to its own inputs. The restriction to genus ≥1 is stated explicitly and the de Rham K(π,1) consequence follows directly from the isomorphism. The derivation chain is therefore independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Only the abstract is available; the ledger is therefore limited to the explicit assumptions stated there. Full details of Tannakian axioms and any hidden parameters in the groupoid constructions are inaccessible.

axioms (3)
  • domain assumption The base field k has characteristic zero
    Explicitly stated for the family X/S
  • domain assumption X/S is a smooth family of smooth projective varieties
    Setup assumption required for the differential groupoid schemes
  • domain assumption S is a smooth affine curve
    Given in the family setup

pith-pipeline@v0.9.0 · 5461 in / 1514 out tokens · 42734 ms · 2026-05-15T16:59:09.926867+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We relate the differential fundamental groupoid scheme of X/k with ... in a short exact sequence. ... For families of curves of genus at least 1, we prove that these maps are isomorphisms. This gives an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group.

  • IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Theorem 1 ... all maps in it are isomorphisms. ... The Gauss-Manin connection on H^i_dR(X/S, (V,∇/S)) corresponds to the action of Π(S/k) on H^i(π_geom(X/S),V) induced from the Lyndon-Hochschild-Serre sequence.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Achinger,Wild ramification and K(π,1)spaces, Invent

    [Ach17] P . Achinger,Wild ramification and K(π,1)spaces, Invent. math. (2017) 210:453–499. [ABC20] Y. André, F . Baldassarri, M. Cailotto,De Rham Cohomology of Differential Modules on Algebraic Varieties, Progress in Mathematics (PM, volume 189), Birkhäuser (2020). [And74] M. Anderson, Exactness properties of profinite completion functors,Topology13 (1974...

    work page 2017

  2. [2]

    [BHT25] V

    Springer, Berlin (1969). [BHT25] V . Q. Bao, P . H. Hai and D.V . Thinh, Comparison Theorems for de Rham Cohomology and Fundamental Group Coho- mology of Curves,Bulletin des Sciences Mathématiques, Volume 203, 103646 (2025). [BHT25b] V . Q. Bao, P . H. Hai and D.V . Thinh, Cohomology of the stratified fundamental group of curves,preprint(2025), arXiv:2507...

    work page arXiv 1969

  3. [3]

    Deligne, Catégories tannakiennes

    [De90] P . Deligne, Catégories tannakiennes. InThe Grothendieck Festschrift, Vol. II, 111–195, Progr. Math. 87, Birkhäuser (1990). [DHH17] N.D. Duong, P .H. Hai and N.H. Hung, On the flatness and the projectivity over Hopf subalgebras of Hopf algebras over Dedekind rings,Journal of Algebra478 (10),

    work page 1990

  4. [4]

    Duong and P .H

    [DH18] N.D. Duong and P .H. Hai, Tannakian duality over Dedekind ring and applications,Math. Zeitschrift, 288, 1103–1142 (2018). [DHdS18] N.D. Duong and P .H. Hai, J.P . dos Santos, On the structure of affine flat group schemes over discrete valuation rings, I.Ann. Sc. Norm. Super . Pisa Cl. Sci.(5) Vol. XVIII (2018), 977-1032. [HHdS25] P .H. Hai, H.D. Ng...

    work page 2018

  5. [5]

    Esnault and P .H

    [EH06] H. Esnault and P .H. Hai, The Gauss-Manin connection and Tannaka duality.Int. Math. Res. Not.2006, Art. ID 93978, 35 pp. [EH08] H. Esnault, P .H. Hai, The fundamental groupoid scheme and applications,Ann. Inst. Fourier, Volume 58 (2008) no. 7, 2381–2412. [EHS08] H. Esnault, P .H. Hai, X.T . Sun, On Nori’ s fundamental group scheme. In:Geometry and ...

    work page 2006

  6. [6]

    Esnault, M

    [EK24] H. Esnault, M. Kerz, A non-abelian version of Deligne’ s Fixed Part Theorem, preprintarXiv.2408.13910. [EW92] H. Esnault and E.Viehweg,Lectures on vanishing theorems. Birkhäuser Verlag,

    work page arXiv

  7. [7]

    Gieseker, Flat vector bundles and the fundamental group in non-zero characteristics,Ann

    [Gi75] D. Gieseker, Flat vector bundles and the fundamental group in non-zero characteristics,Ann. Sc. Norm. Super . Pisa Cl. Sci.(4) 2 (1) (1975), p. 1-31. [Gr66] A. Grothendieck. On the de Rham cohomology of algebraic varieties.Inst. Hautes Études Sci. Publ. Math., 29:95–103,

    work page 1975

  8. [8]

    Hai, Gauss-Manin stratification and stratified fundamental group schemes,Ann

    TANNAKIAN DUALITY AND GAUSS-MANIN CONNECTIONS FOR A FAMILY OF CURVES 53 [Ha13] P .H. Hai, Gauss-Manin stratification and stratified fundamental group schemes,Ann. Inst. Fourier,63, 6 (2013), p. 2267-

    work page 2013

  9. [9]

    [HdS23] P . H. Hai, J. P . dos Santos, Finite torsors on projective schemes defined over a discrete valuation ring.Algebraic Geom- etry, 2023, 10 (1), pp.1–40. [Ha75] R. Hartshorne. On the de Rham cohomology of algebraic varieties.Inst. Hautes Études Sci. Publ. Math., 45:5–99,

    work page 2023

  10. [10]

    Hochschild, B

    [HKR62] G. Hochschild, B. Kostant and A. Rosenberg,Differential forms on regular affine algebras, Trans. Amer. Math. Soc., 102 (1962), 383-408. [Ja03] J. C. Jantzen,Representations of Algebraic Groups, 2nd rev. ed., Mathematical Surveys and Monographs, vol. 107, Ameri- can Mathematical Society, Providence,

    work page 1962

  11. [11]

    Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin.Inst

    [Ka70] N. Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin.Inst. Hautes Études Sci. Publ. Math.No. 39 (1970), 175–232. [Ka87] N. Katz, On the calculation of some differential Galois groups,Invent. math.,vol. 87, no.1,

    work page 1970

  12. [12]

    Milne,Basic theory of affine group schemes, 2012,http://www.jmilne.org/math/CourseNotes/ala.html

    [Mi12] J.S. Milne,Basic theory of affine group schemes, 2012,http://www.jmilne.org/math/CourseNotes/ala.html. [OK68] T . Oda, N. Katz, On the differentiation of de Rham cohomology classes with respect to parameters,J. Math. Kyoto Univ., p. 199–213, (1968). [SGA1] A. Grothendieck,Revêtements étales et groupe fondamental, Documents Mathematiques, Société Ma...

    work page 2012

  13. [13]

    Demazure and A

    [SGA3] M. Demazure and A. Grothendieck,Propriétés Generales des Schemas en Groupes. Documents mathématiques 7 (2011), Société Mathématique de France. [Sa72] N. Saavedra Rivano, Catégories Tannakiennes, SLN 265, Springer-Verlag, Berlin (1972). [dS09] J.P . dos Santos, The behaviour of the differential Galois group on the generic and special fibres: A Tanna...

    work page 2011

  14. [14]

    Zhang, The homotopy sequence of the algebraic fundamental group.Int

    [Zha14] L. Zhang, The homotopy sequence of the algebraic fundamental group.Int. Math. Res. Not.2014, no. 22, 6155–6174. Email address, PH Hai:phung@math.ac.vn Email address, VQ Bao:vqbao@math.ac.vn Email address, TPQ Bao:phan.tran@unibe.ch (TPQ Bao) UNIVERSITY OFBERN, SWITZERLAND (VQ Bao, PH Hai) INSTITUTE OFMATHEMATICS, VIETNAMACADEMY OFSCIENCE ANDTECHNOLOGY

    work page 2014