The fundamental group scheme of a non-reduced scheme

From MaRDI portal
Publication:554233

DOI10.1007/978-981-10-5648-2_1zbMATH Open1223.14054arXiv1511.07331OpenAlexW2092229601MaRDI QIDQ554233FDOQ554233

Marco Antei

Publication date: 29 July 2011

Published in: Bulletin des Sciences Mathématiques, Analytic and Algebraic Geometry (Search for Journal in Brave)

Abstract: 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 extit{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 extit{classical} one.


Full work available at URL: https://arxiv.org/abs/1511.07331





Cites Work


Cited In (9)


   Recommendations





This page was built for publication: The fundamental group scheme of a non-reduced scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q554233)