Galois Closure of Essentially Finite Morphisms

Details Galois Closure of Essentially Finite Morphisms Galois Closure of Essentially Finite Morphisms

2009-01-12

arxiv.org/abs/0901.1551v4

Journal of Pure and Applied Algebra (2010)

Mathematics

Algebraic Geometry

final (improved) version

Scientific paper

Let $X$ be a reduced connected $k$-scheme pointed at a rational point $x \in X(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:Y\to X$ satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$; this Galois closure is a torsor $p:\hat{X}_Y\to X$ dominating $f$ by an $X$-morphism $\lambda:\hat{X}_Y\to Y$ and universal for this property. Moreover we show that $\lambda:\hat{X}_Y\to Y$ 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:Y \to X$ under a finite group scheme satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$, $Y$ has a fundamental group scheme $\pi_1 (Y,y)$ fitting in a short exact sequence with $\pi_1 (X,x)$.

Affiliated with

Also associated with

No associations

Rating

Galois Closure of Essentially Finite Morphisms does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Galois Closure of Essentially Finite Morphisms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Galois Closure of Essentially Finite Morphisms will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-532429