Namespaces
Variants
Actions

Difference between revisions of "Etale morphism"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(gather refs)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A smooth morphism of algebraic varieties or schemes of relative dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362901.png" />. An étale morphism of schemes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362902.png" /> can be defined equivalently as a locally finitely-presentable [[Flat morphism|flat morphism]] such that for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362903.png" /> the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362904.png" />-scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362905.png" /> is finite and separable. An étale morphism has the lifting property for infinitesimal deformations: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362906.png" /> is an étale morphism, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362907.png" /> is an affine <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362908.png" />-scheme and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e0362909.png" /> is a closed subscheme of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629010.png" /> given by a nilpotent sheaf of ideals, then the natural mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629011.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629012.png" /> is unramified if the diagonal imbedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629013.png" /> is a local isomorphism.)
+
<!--
 +
e0362901.png
 +
$#A+1 = 16 n = 0
 +
$#C+1 = 16 : ~/encyclopedia/old_files/data/E036/E.0306290 Etale morphism
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629014.png" />-schemes is étale. For smooth varieties the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629015.png" /> is étale means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036290/e03629016.png" /> induces an isomorphism of the tangent spaces. Locally, an étale morphism is given by a polynomial with non-zero derivative.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
Etale morphisms play an important role in étale cohomology theory (cf. [[Etale cohomology|Etale cohomology]]) in the definitions of the fundamental group of a scheme, of an [[Algebraic space|algebraic space]] and of a [[Hensel ring|Hensel ring]].
+
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|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.)
  
====References====
+
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 $-
<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>
+
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.
 
 
====Comments====
 
  
 +
Etale morphisms play an important role in étale cohomology theory (cf. [[Etale cohomology|Etale cohomology]]) in the definitions of the fundamental group of a scheme, of an [[Algebraic space|algebraic space]] and of a [[Hensel ring|Hensel ring]].
  
 
====References====
 
====References====
<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>
+
<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>
 +
<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>
 +
</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=16933
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article