Galois closure of essentially finite morphisms

DOI10.1016/J.JPAA.2011.02.019zbMATH Open1264.14024arXiv0901.1551OpenAlexW2964094767MaRDI QIDQ640913FDOQ640913

Authors: Marco Antei, Michel Emsalem 

Publication date: 21 October 2011

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

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)$.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The fundamental group-scheme
• Title not available (Why is that?)
• Title not available (Why is that?)
• Galois Groups and Fundamental Groups
• Heights of vector bundles and the fundamental group scheme of a curve
• Fibrés Paraboliques et Champ des Racines
• On the \lq \lq Galois closure\rq \rq for torsors
• Comparison between the fundamental group scheme of a relative scheme and that of its generic fiber
• The fundamental group-scheme of an Abelian variety
• The fundamental groupoid scheme and applications

Cited In (5)

• The fundamental group scheme of a non-reduced scheme
• On the abelian fundamental group scheme of a family of varieties
• On the “Galois Closure” for Finite Morphisms
• On the \lq \lq Galois closure\rq \rq for torsors
• The pseudo-fundamental group scheme

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)