pith. sign in

arxiv: 2606.23906 · v1 · pith:3AG3KVBKnew · submitted 2026-06-22 · 🧮 math.AG · math.AT· math.CT

\'Etale Fundamental Groups -- a geometric and topological approach to fundamental groups in algebraic geometry

Loris De Vos This is my paper

Pith reviewed 2026-06-26 06:07 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.CT
keywords etale fundamental groupGalois theoryTannakian dualityalgebraic geometrycovering spacesmotivic Galois groupsetale topology
0
0 comments X

The pith

Tannakian duality recovers fundamental groups as automorphism groups of fibre functors on monoidal categories, encompassing étale, topological, and motivic versions alike.

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

The thesis begins with the classical topological theory of covering spaces and its structural analogy to Galois theory. It then transports this analogy to algebraic geometry by replacing the Zariski topology with the étale topology, from which the étale fundamental group is constructed. Transcendental methods are used to compare the étale group with its topological counterpart. The theory is linearized via Tannakian duality, in which fundamental groups arise as automorphism groups of fibre functors. This framework is shown to be broad enough to treat étale, topological, and motivic Galois groups uniformly.

Core claim

By replacing the Zariski topology with the étale topology, the structural analogy between topological covering spaces and Galois theory is transported to algebraic geometry, yielding the étale fundamental group. Tannakian duality then recovers these groups as automorphism groups of fibre functors on monoidal categories, providing a single framework that encompasses étale, topological, and motivic Galois groups alike.

What carries the argument

Tannakian duality, which recovers fundamental groups as automorphism groups of fibre functors on monoidal categories.

If this is right

  • The étale fundamental group can be directly compared to the topological one using transcendental methods.
  • Fundamental groups from different mathematical settings become instances of the same Tannakian construction.
  • Motivic Galois groups fit inside the same duality framework as étale and topological groups.
  • Linearization through fibre functors allows the theory to be treated uniformly across geometries.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The unified framework could make it easier to move specific computations or invariants from one setting to another.
  • One might test whether known calculations of fundamental groups in special cases align exactly under the Tannakian description.
  • The approach suggests exploring whether other geometric categories admit similar fibre-functor reconstructions.

Load-bearing premise

The structural analogy between topological covering spaces and Galois theory can be transported to algebraic geometry by replacing the Zariski topology with the étale topology.

What would settle it

A concrete algebraic variety where the étale fundamental group fails to produce the expected Galois correspondence or where Tannakian duality does not recover the known fundamental group from the topological or motivic setting.

read the original abstract

This thesis explores the notion of fundamental groups across three mathematical settings. We begin with the classical topological theory of covering spaces, highlighting its structural analogy with Galois theory. We then follow Grothendieck in transporting these ideas to algebraic geometry. The inadequacy of the Zariski topology motivates the \'etale topology, from which the \'etale fundamental group is constructed and compared to its topological counterpart via transcendental methods. Finally, we linearise the theory through Tannakian duality, where fundamental groups are recovered as automorphism groups of fibre functors on certain monoidal categories, a framework broad enough to encompass \'etale, topological, and motivic Galois groups alike.

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

0 major / 2 minor

Summary. This expository thesis develops the theory of fundamental groups across three settings. It starts with the classical topological theory of covering spaces and its structural analogy to Galois theory, then follows Grothendieck in transporting the ideas to algebraic geometry by replacing the Zariski topology with the étale topology to construct the étale fundamental group and compare it to its topological counterpart via transcendental methods. The work concludes by linearizing the theory through Tannakian duality, recovering fundamental groups as automorphism groups of fibre functors on monoidal categories, a framework presented as encompassing étale, topological, and motivic Galois groups.

Significance. The manuscript offers a coherent, geometric-topological narrative that unifies standard results from covering space theory, Grothendieck's étale fundamental group, and the Tannakian reconstruction of Galois groups. As an expository treatment of well-established material in the Grothendieck–Deligne framework, its primary value is pedagogical: it may serve as an accessible bridge between topology and algebraic geometry for readers already familiar with the basics. No novel derivations, parameter-free results, or machine-checked proofs are claimed.

minor comments (2)
  1. The abstract states that the Tannakian framework is 'broad enough to encompass étale, topological, and motivic Galois groups alike,' but the manuscript would benefit from a brief explicit statement (perhaps in the final section) of which monoidal categories are used for each case to make the unification fully concrete for the reader.
  2. In the comparison between étale and topological fundamental groups via transcendental methods, a short remark on the precise hypotheses (e.g., base field of characteristic zero and choice of embedding into ℂ) would clarify the scope without altering the expository flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. We appreciate the recognition of its expository and pedagogical aims in unifying the topological, étale, and Tannakian perspectives on fundamental groups.

Circularity Check

0 steps flagged

Expository thesis; no derivations or predictions present

full rationale

The manuscript is a survey-style thesis that recounts the standard Grothendieck–Deligne construction of the étale fundamental group and its recovery via Tannakian duality. It contains no original equations, fitted parameters, uniqueness theorems, or predictions that could reduce to their own inputs. All central statements are attributed to prior literature (Grothendieck, Deligne) and presented as known facts rather than derived results. Consequently the circularity score is 0; the work is self-contained as exposition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The constructions rest on standard background results in algebraic geometry and category theory; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of category theory, schemes, and the étale topology
    Invoked throughout the progression from topology to étale and Tannakian settings.

pith-pipeline@v0.9.1-grok · 5637 in / 1063 out tokens · 28045 ms · 2026-06-26T06:07:05.154829+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

74 extracted references · 14 canonical work pages

  1. [1]

    Galois groups and fundamental groups , fseries =

    Szamuely, Tam. Galois groups and fundamental groups , fseries =. 2009 , publisher =. doi:10.1017/CBO9780511627064 , keywords =

    work page doi:10.1017/cbo9780511627064 2009

  2. [2]

    1985 , url=

    Galois theory for schemes , author=. 1985 , url=

    1985

  3. [3]

    Fundamental groups of schemes

    Lukas, Horosiewicz. Fundamental groups of schemes. 2022

    2022

  4. [4]

    , title =

    Milne, James S. , title =. 2025 , publisher =

    2025

  5. [5]

    , title =

    Artin, M. , title =. 1968 , language =

    1968

  6. [6]

    , title =

    Deligne, P. , title =. 1989 , language =

    1989

  7. [7]

    Hopf algebras

    D. Hopf algebras. 2001 , publisher =

    2001

  8. [8]

    Orientation theory in arithmetic geometry

    Gille, Philippe and Szamuely, Tam. Central simple algebras and. 2017 , publisher =. doi:10.1017/9781316661277 , keywords =

    work page doi:10.1017/9781316661277 2017

  9. [9]

    2002 , publisher =

    Hatcher, Allen , title =. 2002 , publisher =

    2002

  10. [10]

    1983 , publisher =

    Hartshorne, Robin , title =. 1983 , publisher =

    1983

  11. [11]

    1995 , publisher =

    Eisenbud, David , title =. 1995 , publisher =

    1995

  12. [12]

    2002 , publisher =

    Lang, Serge , title =. 2002 , publisher =

    2002

  13. [13]

    , TITLE =

    Lee, John M. , title =. 2011 , publisher =. doi:10.1007/978-1-4419-7940-7 , keywords =

    work page doi:10.1007/978-1-4419-7940-7 2011

  14. [14]

    , title =

    Cameron, Peter J. , title =. 1999 , publisher =

    1999

  15. [15]

    Serre, Jean-Pierre , title =. Ann. Inst. Fourier , issn =. 1956 , language =. doi:10.5802/aif.59 , keywords =

    work page doi:10.5802/aif.59 1956

  16. [16]

    and Rossi, Hugo , title =

    Gunning, Robert C. and Rossi, Hugo , title =. 2009 , publisher =

    2009

  17. [17]

    2011 , publisher =

    Donaldson, Simon , title =. 2011 , publisher =

    2011

  18. [18]

    1981 , publisher =

    Forster, Otto , title =. 1981 , publisher =

    1981

  19. [19]

    Complex geometry from Riemann to K\"ahler-Einstein and Calabi-Yau , isbn =

    Chow, Wei-Liang , title =. Complex geometry from Riemann to K\"ahler-Einstein and Calabi-Yau , isbn =. 2018 , publisher =

    2018

  20. [20]

    2003 , publisher =

    S. 2003 , publisher =

    2003

  21. [21]

    , title =

    Grothendieck, A. , title =. Publ. Math., Inst. Hautes. 1966 , language =. doi:10.1007/BF02684343 , keywords =

    work page doi:10.1007/bf02684343 1966

  22. [22]

    , title =

    Takeuti, Gaisi and Zaring, Wilson M. , title =. 1982 , publisher =

    1982

  23. [23]

    1988 , publisher =

    Mumford, David , title =. 1988 , publisher =. doi:10.1007/978-3-662-21581-4 , keywords =

    work page doi:10.1007/978-3-662-21581-4 1988

  24. [24]

    2025 , publisher =

    Vakil, Ravi , title =. 2025 , publisher =

    2025

  25. [25]

    and Zalesskii, P

    Ribes, Luis and Zalesskii, Pavel , title =. 2010 , publisher =. doi:10.1007/978-3-642-01642-4 , keywords =

    work page doi:10.1007/978-3-642-01642-4 2010

  26. [26]

    Stacks Project

    Authors, The Stacks Project. Stacks Project

  27. [27]

    , title =

    Nori, Madhav V. , title =. Proc. Indian Acad. Sci., Math. Sci. , issn =. 1982 , language =. doi:10.1007/BF02967978 , keywords =

    work page doi:10.1007/bf02967978 1982

  28. [28]

    , title =

    Munkres, James R. , title =. 2000 , publisher =

    2000

  29. [29]

    , title =

    Ford, Timothy J. , title =. 2017 , publisher =. doi:10.1090/gsm/183 , keywords =

    work page doi:10.1090/gsm/183 2017

  30. [30]

    1992 , publisher =

    Mac Lane, Saunders and Moerdijk, Ieke , title =. 1992 , publisher =

    1992

  31. [31]

    Mac Lane.Categories for the Working Mathematician, volume 5 ofGraduate Texts in Mathe- matics

    Mac Lane, Saunders , title =. 1998 , publisher =. doi:book/10.1007/978-1-4757-4721-8 , keywords =

    work page doi:10.1007/978-1-4757-4721-8 1998

  32. [32]

    Etingof, S

    Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor , title =. 2015 , publisher =. doi:10.1090/surv/205 , keywords =

    work page doi:10.1090/surv/205 2015

  33. [33]

    1992 , publisher =

    Schauenburg, Peter , title =. 1992 , publisher =

    1992

  34. [34]

    Milne, J. S. , title =. 2017 , publisher =. doi:10.1017/9781316711736 , keywords =

    work page doi:10.1017/9781316711736 2017

  35. [35]

    , title =

    Waterhouse, William C. , title =. 1979 , publisher =

    1979

  36. [36]

    , title =

    Waterhouse, William C. , title =. Proc. Am. Math. Soc. , issn =. 1974 , language =. doi:10.2307/2039560 , keywords =

    work page doi:10.2307/2039560 1974

  37. [37]

    Auslander, Maurice and Buchsbaum, D. A. , title =. Proc. Natl. Acad. Sci. USA , issn =. 1959 , language =. doi:10.1073/pnas.45.5.733 , url =

    work page doi:10.1073/pnas.45.5.733 1959

  38. [38]

    Maurice Auslander and D. A. Buchsbaum. Unique factorization in regular local rings. Proc. Natl. Acad. Sci. USA , 45:733--734, 1959

    1959

  39. [39]

    M. Artin. The etale topology of schemes. Tr. Mezhdunarod . Kongr . Mat ., Moskva 1966, 44-56 (1968)., 1968

    1966

  40. [40]

    Stacks project

    The Stacks Project Authors. Stacks project

  41. [41]

    Peter J. Cameron. Permutation groups , volume 45 of Lond. Math. Soc. Stud. Texts . Cambridge: Cambridge University Press, 1999

    1999

  42. [42]

    On compact complex analytic varieties

    Wei-Liang Chow. On compact complex analytic varieties. In Complex geometry from Riemann to K\"ahler-Einstein and Calabi-Yau , pages 189--206. Somerville, MA: International Press; Beijing: Higher Education Press, 2018

    2018

  43. [43]

    P. Deligne. Le groupe fondamental de la droite projective moins trois points. ( Fundamental group of the straight line minus three points). Galois groups over \( Q \) , Proc . Workshop , Berkeley / CA ( USA ) 1987, Publ ., Math . Sci . Res . Inst . 16, 79-297 (1989)., 1989

    1987

  44. [44]

    Hopf algebras

    Sorin D a sc a lescu, Constantin N a st a sescu, and S erban Raianu. Hopf algebras. An introduction , volume 235 of Pure Appl. Math., Marcel Dekker . New York, NY: Marcel Dekker, 2001

    2001

  45. [45]

    Riemann surfaces , volume 22 of Oxf

    Simon Donaldson. Riemann surfaces , volume 22 of Oxf. Grad. Texts Math. Oxford: Oxford University Press, 2011

    2011

  46. [46]

    Tensor categories , volume 205 of Math

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories , volume 205 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2015

    2015

  47. [47]

    Commutative algebra

    David Eisenbud. Commutative algebra. With a view toward algebraic geometry , volume 150 of Grad. Texts Math. Berlin: Springer-Verlag, 1995

    1995

  48. [48]

    Lectures on Riemann surfaces

    Otto Forster. Lectures on Riemann surfaces. Transl . from the German by Bruce Gilligan , volume 81 of Grad. Texts Math. Springer, Cham, 1981

    1981

  49. [49]

    Timothy J. Ford. Separable algebras , volume 183 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2017

    2017

  50. [50]

    Gunning and Hugo Rossi

    Robert C. Gunning and Hugo Rossi. Analytic functions of several complex variables . Providence, RI: AMS Chelsea Publishing, reprint of the 1965 original edition, 2009

    1965

  51. [51]

    Grothendieck

    A. Grothendieck. \'E l \'e ments de g \'e om \'e trie alg \'e brique. IV : \'E tude locale des sch \'e mas et des morphismes de sch \'e mas. R \'e dig \'e avec la colloboration de J . Dieudonn \'e . Publ. Math., Inst. Hautes \'E tud. Sci. , 28:1--255, 1966

    1966

  52. [52]

    Grothendieck, editor

    A. Grothendieck, editor. S \'e minaire de g \'e om \'e trie alg \'e brique du Bois Marie 1960-61. Rev \^e tements \'e tales et groupe fondamental ( SGA 1). Un s \'e minaire dirig \'e par Alexander Grothendieck . Augment \'e de deux expos \'e s de M . Raynaud . , volume 3 of Doc. Math. (SMF) . Paris: Soci \'e t \'e Math \'e matique de France, \'e dition re...

    1960

  53. [53]

    Central simple algebras and Galois cohomology , volume 165 of Camb

    Philippe Gille and Tam \'a s Szamuely. Central simple algebras and Galois cohomology , volume 165 of Camb. Stud. Adv. Math. Cambridge: Cambridge University Press, 2nd revised and updated edition edition, 2017

    2017

  54. [54]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry. Corr . 3rd printing , volume 52 of Grad. Texts Math. Springer, Cham, 1983

    1983

  55. [55]

    Algebraic topology

    Allen Hatcher. Algebraic topology . Cambridge: Cambridge University Press, 2002

    2002

  56. [56]

    Serge Lang. Algebra. , volume 211 of Grad. Texts Math. New York, NY: Springer, 3rd revised ed. edition, 2002

    2002

  57. [57]

    John M. Lee. Introduction to topological manifolds , volume 202 of Grad. Texts Math. New York, NY: Springer, 2nd ed. edition, 2011

    2011

  58. [58]

    Hendrik W. Lenstra. Galois theory for schemes. 1985

    1985

  59. [59]

    Fundamental groups of schemes

    Horosiewicz Lukas. Fundamental groups of schemes. Master's thesis, 2022

    2022

  60. [60]

    J. S. Milne. Algebraic groups. The theory of group schemes of finite type over a field , volume 170 of Camb. Stud. Adv. Math. Cambridge: Cambridge University Press, 2017

    2017

  61. [61]

    James S. Milne. \'E tale cohomology , volume 33 of Princeton Math. Ser. Princeton, NJ: Princeton University Press, reprint of the 1980 edition edition, 2025

    1980

  62. [62]

    Categories for the working mathematician

    Saunders Mac Lane. Categories for the working mathematician. , volume 5 of Grad. Texts Math. New York, NY: Springer, 2nd ed edition, 1998

    1998

  63. [63]

    Sheaves in geometry and logic: a first introduction to topos theory

    Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory . Universitext. New York etc.: Springer-Verlag, 1992

    1992

  64. [64]

    The red book of varieties and schemes , volume 1358 of Lect

    David Mumford. The red book of varieties and schemes , volume 1358 of Lect. Notes Math. Berlin etc.: Springer-Verlag, 1988

    1988

  65. [65]

    James R. Munkres. Topology. Upper Saddle River, NJ: Prentice Hall, 2nd ed. edition, 2000

    2000

  66. [66]

    Madhav V. Nori. The fundamental group-scheme. Proc. Indian Acad. Sci., Math. Sci. , 91:73--122, 1982

    1982

  67. [67]

    Profinite groups

    Luis Ribes and Pavel Zalesskii. Profinite groups. , volume 40 of Ergeb. Math. Grenzgeb., 3. Folge . Berlin: Springer, 2nd ed. edition, 2010

    2010

  68. [68]

    Tannaka duality for arbitrary Hopf algebras , volume 66 of Algebra-Ber

    Peter Schauenburg. Tannaka duality for arbitrary Hopf algebras , volume 66 of Algebra-Ber. M \"u nchen: R. Fischer, 1992

    1992

  69. [69]

    Algebraic geometry and analytic geometry

    Jean-Pierre Serre. Algebraic geometry and analytic geometry. Ann. Inst. Fourier , 6:1--42, 1956

    1956

  70. [70]

    Galois groups and fundamental groups , volume 117 of Camb

    Tam \'a s Szamuely. Galois groups and fundamental groups , volume 117 of Camb. Stud. Adv. Math. Cambridge: Cambridge University Press, 2009

    2009

  71. [71]

    Gaisi Takeuti and Wilson M. Zaring. Introduction to axiomatic set theory. 2nd ed , volume 1 of Grad. Texts Math. Springer, Cham, 1982

    1982

  72. [72]

    The rising sea

    Ravi Vakil. The rising sea. Foundations of algebraic geometry . Princeton, NJ: Princeton University Press, 2025

    2025

  73. [73]

    Waterhouse

    William C. Waterhouse. Profinite groups are Galois groups. Proc. Am. Math. Soc. , 42:639--640, 1974

    1974

  74. [74]

    Waterhouse

    William C. Waterhouse. Introduction to affine group schemes , volume 66 of Grad. Texts Math. Springer, Cham, 1979

    1979