Namespaces
Variants
Actions

Difference between revisions of "Etale morphism"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
(gather refs)
 
Line 34: Line 34:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Grothendieck,   J. Dieudonné,   "Eléments de géometrie algébrique"  ''Publ. Math. IHES'' , '''32'''  (1967)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck (ed.)  et al. (ed.) , ''Revêtements étales et groupe fondamental. SGA 1'' , ''Lect. notes in math.'' , '''224''' , Springer  (1971)</TD></TR></table>
+
<table>
 
+
<TR><TD valign="top">[1]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique"  ''Publ. Math. IHES'' , '''32'''  (1967)</TD></TR>
====Comments====
+
<TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck (ed.)  et al. (ed.), ''Revêtements étales et groupe fondamental. SGA 1'' , ''Lect. notes in math.'' , '''224''' , Springer  (1971)</TD></TR>
 
+
<TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique: Etude locale des schémas et de morphismes de schémas"  ''Publ. Math. IHES'' , '''4'''  (1965)  pp. Part 4, Sect. 17.6</TD></TR>
====References====
+
</table>
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Grothendieck,   J. Dieudonné,   "Eléments de géometrie algébrique: Etude locale des schémas et de morphismes de schémas"  ''Publ. Math. IHES'' , '''4'''  (1965)  pp. Part 4, Sect. 17.6</TD></TR></table>
 

Latest revision as of 17:26, 16 July 2024


A smooth morphism of algebraic varieties or schemes of relative dimension $ 0 $. An étale morphism of schemes $ f : X \rightarrow Y $ can be defined equivalently as a locally finitely-presentable flat morphism such that for any point $ y \in Y $ the $ k ( y) $- scheme $ f ^ { - 1 } ( y) = X \otimes _ {Y} k ( y) $ is finite and separable. An étale morphism has the lifting property for infinitesimal deformations: If $ f : X \rightarrow Y $ is an étale morphism, $ Y ^ {*} $ is an affine $ Y $- scheme and $ Y _ {0} ^ {*} $ is a closed subscheme of $ Y ^ {*} $ given by a nilpotent sheaf of ideals, then the natural mapping $ \mathop{\rm Hom} _ {Y} ( Y ^ {*} , Y ) \rightarrow \mathop{\rm Hom} _ {Y} ( Y _ {0} ^ {*} , Y ) $ is bijective. This property characterizes the étale morphisms. Finally, an étale morphism can be defined as being flat and unramified. (A locally finitely-presentable morphism $ f : X \rightarrow Y $ is unramified if the diagonal imbedding $ X \rightarrow X \times _ {Y} X $ is a local isomorphism.)

Being étale (like being smooth and being unramified) is preserved under composition of morphism and under base change. An open imbedding is an étale morphism. Any morphism between étale $ Y $- schemes is étale. For smooth varieties the fact that $ f : X \rightarrow Y $ is étale means that $ f $ induces an isomorphism of the tangent spaces. Locally, an étale morphism is given by a polynomial with non-zero derivative.

Etale morphisms play an important role in étale cohomology theory (cf. Etale cohomology) in the definitions of the fundamental group of a scheme, of an algebraic space and of a Hensel ring.

References

[1] A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique" Publ. Math. IHES , 32 (1967)
[2] A. Grothendieck (ed.) et al. (ed.), Revêtements étales et groupe fondamental. SGA 1 , Lect. notes in math. , 224 , Springer (1971)
[a1] A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique: Etude locale des schémas et de morphismes de schémas" Publ. Math. IHES , 4 (1965) pp. Part 4, Sect. 17.6
How to Cite This Entry:
Etale morphism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Etale_morphism&oldid=46854
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article