2015/11/23 by Marco Antei, Antei, Marco
Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.1511.07331
openalex publication_date 2015/11/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme X in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the finite (or quasi-finite) fpqc torsors over X. When X is defined over a noetherian regular scheme S of any dimension we do not know if such an object can be constructed. This is why we introduce a new category, containing the fpqc torsors, whose objects are torsors for a new topology. We prove that this new category is cofiltered thus generating a fundamental group scheme over S, said bumpy as it may not be flat in general. We prove that it is flat when S is a Dedekind scheme, thus coinciding with the classical one.