On the Abelian Fundamental Group Scheme of a Family of Varities
Marco Antei

TL;DR
This paper investigates the structure of the abelian fundamental group scheme of a family of varieties over a Dedekind scheme, establishing an exact sequence involving the Albanese scheme and extending torsors from the generic fiber.
Contribution
It proves an exact sequence relating the abelian fundamental group scheme, the Albanese scheme, and the Néron-Severi group scheme, and shows torsors over the generic fiber extend to the entire family.
Findings
Established an exact sequence of fundamental group schemes.
Proved the kernel is a finite flat group scheme.
Extended torsors from generic fiber to whole family.
Abstract
Let be a connected Dedekind scheme and an -scheme provided with a section . We prove that the morphism of fundamental group schemes induced by the canonical morphism from to its Albanese scheme (when the latter exists) fits in an exact sequence of group schemes where the kernel is a finite and flat -group scheme. Furthermore we prove that any finite and commutative quotient pointed torsor over the generic fiber of can be extended to a finite and commutative pointed torsor over .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Algebraic structures and combinatorial models · Advanced Algebra and Geometry
