Fundamental group scheme

In mathematics, the fundamental group scheme is a group scheme canonically attached to a scheme over a Dedekind scheme (e.g. the spectrum of a field or the spectrum of a discrete valuation ring). It is a generalisation of the étale fundamental group. Although its existence was conjectured by Alexander Grothendieck, the first proof of its existence is due, for schemes defined over fields, to Madhav Nori.[1][2][3] A proof of its existence for schemes defined over Dedekind schemes is due to Marco Antei, Michel Emsalem and Carlo Gasbarri.[4][5]

History

edit

The (topological) fundamental group associated with a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. Although it is still being studied for the classification of algebraic varieties even in algebraic geometry, for many applications the fundamental group has been found to be inadequate for the classification of objects, such as schemes, that are more than just topological spaces. The same topological space may have indeed several distinct scheme structures, yet its topological fundamental group will always be the same. Therefore, it became necessary to create a new object that would take into account the existence of a structural sheaf together with a topological space. This led to the creation of the étale fundamental group, the projective limit of all finite groups acting on étale coverings of the given scheme  . Nevertheless, in positive characteristic the latter has obvious limitations, since it does not take into account the existence of group schemes that are not étale (e.g.,   when the characteristic is  ) and that act on torsors over  , a natural generalization of the coverings. It was from this idea that Grothendieck hoped for the creation of a new true fundamental group (un vrai groupe fondamental, in French), the existence of which he conjectured, back in the early 1960s in his celebrated SGA 1, Chapitre X. More than a decade had to pass before a first result on the existence of the fundamental group scheme came to light. As mentioned in the introduction this result was due to Madhav Nori who in 1976 published his first construction of this new object   for schemes defined over fields. As for the name he decided to abandon the true fundamental group name and he called it, as we know it nowadays, the fundamental group scheme.[1] It is also often denoted as  , where   stands for Nori, in order to distinguish it from the previous fundamental groups and to its modern generalizations. The demonstration of the existence of   defined on regular schemes of dimension 1 had to wait about forty more years. There are various generalizations such as the  -fundamental group scheme[6]   and the quasi finite fundamental group scheme  .[4]

Definition and construction

edit

The original definition and the first construction have been suggested by Nori for schemes   over fields. Then they have been adapted to a wider range of schemes. So far the only complete theories exist for schemes defined over schemes of dimension 0 (spectra of fields) or dimension 1 (Dedekind schemes) so this is what will be discussed hereafter:

Definition

edit

Let   be a Dedekind scheme (which can be the spectrum of a field) and   a faithfully flat morphism, locally of finite type. Assume   has a section  . We say that   has a fundamental group scheme   if there exist a pro-finite and flat  -torsor  , with a section   such that for any finite  -torsor   with a section   there is a unique morphism of torsors   sending   to  .[2][4]

Over a field

edit

There are nowadays several existence results for the fundamental group scheme of a scheme   defined over a field  . Nori provides the first existence theorem when   is perfect and   is a proper morphism of schemes with   reduced and connected scheme. Assuming the existence of a section  , then the fundamental group scheme   of   in   is built as the affine group scheme naturally associated to the neutral tannakian category (over  ) of essentially finite vector bundles over  .[1] Nori also proves a that the fundamental group scheme exists when   is any field and   is any finite type, reduced and connected scheme over  . In this situation however there are no tannakian categories involved. [2] Since then several other existence results have been added, including some non reduced schemes.

Over a Dedekind scheme

edit

Let   be a Dedekind scheme of dimension 1,   any connected scheme and   a faithfully flat morphism locally of finite type. Assume the existence of a section  . Then the existence of the fundamental group scheme   as a group scheme over   has been proved by Marco Antei, Michel Emsalem and Carlo Gasbarri in the following situations:[4]

  • when for every   the fibres   are reduced
  • when for every   the local ring   is integrally closed (e.g. when   is normal).

Over a Dedekind scheme, however, there is no need to only consider finite group schemes: indeed quasi-finite group schemes are also a very natural generalization of finite group schemes over fields.[7] This is why Antei, Emsalem and Gasbarri also defined the quasi-finite fundamental group scheme   as follows: let   be a Dedekind scheme and   a faithfully flat morphism, locally of finite type. Assume   has a section  . We say that   has a quasi-finite fundamental group scheme   if there exist a pro-quasi-finite and flat  -torsor  , with a section   such that for any quasi-finite  -torsor   with a section   there is a unique morphism of torsors   sending   to  .[4] They proved the existence of   when for every   the fibres   are integral and normal.

Properties

edit

Connections with the étale fundamental group

edit

One can consider the largest pro-étale quotient of  . When the base scheme   is the spectrum of an algebraically closed field   then it coincides with the étale fundamental group  . More precisely the group of points   is isomorphic to  .[8]

The product formula

edit

For   and   any two smooth projective schemes over an algebraically closed field   the product formula holds, that is  .[9] This result was conjectured by Nori[1] and proved by Vikram Mehta and Subramanian.

Notes

edit
  1. ^ a b c d Nori, Madhav V. (1976). "On the Representations of the Fundamental Group" (PDF). Compositio Mathematica. 33 (1): 29–42. MR 0417179. Zbl 0337.14016.
  2. ^ a b c Nori, Madhav V. (1982). "The fundamental group-scheme". Proceedings Mathematical Sciences. 91 (2): 73–122. doi:10.1007/BF02967978. S2CID 121156750.
  3. ^ Szamuely, Tamás (2009). Galois Groups and Fundamental Groups. doi:10.1017/CBO9780511627064. ISBN 9780521888509.
  4. ^ a b c d e Antei, Marco; Emsalem, Michel; Gasbarri, Carlo (2020). "Sur l'existence du schéma en groupes fondamental". Épijournal de Géométrie Algébrique. arXiv:1504.05082. doi:10.46298/epiga.2020.volume4.5436. S2CID 227029191.
  5. ^ Antei, Marco; Emsalem, Michel; Gasbarri, Carlo (2020). "Erratum for "Heights of vector bundles and the fundamental group scheme of a curve"". Duke Mathematical Journal. 169 (16). doi:10.1215/00127094-2020-0065. S2CID 225148904.
  6. ^ Langer, Adrian (2011). "On the  -fundamental group scheme". Annales de l'Institut Fourier. 61 (5): 2077–2119. arXiv:0905.4600. doi:10.5802/aif.2667. S2CID 53506862.
  7. ^ Bosch, Siegfried; Lütkebohmert, Werner; Raynaud, Michel (1990). Néron Models. doi:10.1007/978-3-642-51438-8. ISBN 978-3-642-08073-9.
  8. ^ Deligne, P.; Milne, J. S. (1982). Hodge Cycles, Motives, and Shimura Varieties. Lecture Notes in Mathematics. Vol. 900. doi:10.1007/978-3-540-38955-2. ISBN 978-3-540-11174-0.
  9. ^ Mehta, V.B.; Subramanian, S. (2002). "On the fundamental group scheme". Inventiones Mathematicae. 148 (1): 143–150. Bibcode:2002InMat.148..143M. doi:10.1007/s002220100191. S2CID 121329868.