Galois closure of essentially finite morphisms

DOI10.1016/J.JPAA.2011.02.019MaRDI QIDQ640913zbMATHOpenAlexFDO

Authors Marco Antei, Michel Emsalem

Publication date 21 October 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Galois closurefinite group schemeessentially finite

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Coverings in algebraic geometry (14E20) Universal profinite groups (relationship to moduli spaces, projective and moduli towers, Galois theory) (14G32) Group schemes (14L15)

Abstract: Let $X$ be a reduced connected $k$-scheme pointed at a rational point $xinX(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:YoX$ satisfying the condition $H^0(Y,mathcal{O}_Y)=k$; this Galois closure is a torsor $p:hat{X}_{Y}oX$ dominating $f$ by an $X$-morphism $lambda:hat{X}_{Y}oY$ and universal for this property. Moreover we show that $lambda:hat{X}_{Y}oY$ is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over $Y$ is still an essentially finite vector bundle over $X$. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor $f:YoX$ under a finite group scheme satisfying the condition $H^0(Y,mathcal{O}_Y)=k$, $Y$ has a fundamental group scheme $p{i}_1(Y,y)$ fitting in a short exact sequence with $p{i}_1(X,x)$.

Recommendations

• On the “Galois Closure” for Finite Morphisms
• On the \lq \lq Galois closure\rq \rq for torsors
• The Galois closure for rings and some related constructions
• The classical Galois closure for universal algebras
• Galois closure and Lagrangian varieties
• On the Galois closure of towers
• The Galois closure of the Garcia-Stichtenoth tower
• Morphisms determined by objects under Galois \(G\)-covering theory
• On a notion of ``Galois closure for extensions of rings

Cites work

• scientific article; zbMATH DE number 1001625 (Why is no real title available?)
• scientific article; zbMATH DE number 3843889 (Why is no real title available?)
• scientific article; zbMATH DE number 4200368 (Why is no real title available?)
• scientific article; zbMATH DE number 3674235 (Why is no real title available?)
• scientific article; zbMATH DE number 3749168 (Why is no real title available?)
• scientific article; zbMATH DE number 3526839 (Why is no real title available?)
• scientific article; zbMATH DE number 3322752 (Why is no real title available?)
• Comparison between the fundamental group scheme of a relative scheme and that of its generic fiber
• Fibrés Paraboliques et Champ des Racines
• Galois Groups and Fundamental Groups
• Heights of vector bundles and the fundamental group scheme of a curve
• On the \lq \lq Galois closure\rq \rq for torsors
• The fundamental group-scheme
• The fundamental group-scheme of an Abelian variety
• The fundamental groupoid scheme and applications

Cited in

(6)

• Nori fundamental gerbe of essentially finite covers and Galois closure of towers of torsors
• On the “Galois Closure” for Finite Morphisms
• Essentially finite \(G\)-torsors
• On the \lq \lq Galois closure\rq \rq for torsors
• The pseudo-fundamental group scheme
• On the abelian fundamental group scheme of a family of varieties

This page was built for publication: Galois closure of essentially finite morphisms

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