Étale morphism

Definition

Let ϕ : R → S be a ring homomorphism. This makes S an R -algebra. Choose a monic polynomial f in R [ x ] and a polynomial g in R [ x ] such that the derivative f ′ of f is a unit in ( R [ x ] / f R [ x ] ) g . We say that ϕ is standard étale if f and g can be chosen so that S is isomorphic as an R -algebra to ( R [ x ] / f R [ x ] ) g and ϕ is the canonical map.

Let f : X → Y be a morphism of schemes. We say that f is étale if and only if it has any of the following equivalent properties:

1. f is flat and unramified.
2. f is a smooth morphism and unramified.
3. f is flat, locally of finite presentation, and for every y in Y , the fiber f − 1 ( y ) is the disjoint union of points, each of which is the spectrum of a finite separable field extension of the residue field κ ( y ) .
4. f is flat, locally of finite presentation, and for every y in Y and every algebraic closure k ′ of the residue field κ ( y ) , the geometric fiber f − 1 ( y ) ⊗ κ ( y ) k ′ is the disjoint union of points, each of which is isomorphic to Spec  k ′ .
5. f is a smooth morphism of relative dimension zero.
6. f is a smooth morphism and a locally quasi-finite morphism.
7. f is locally of finite presentation and is locally a standard étale morphism, that is,For every x in X , let y = f ( x ) . Then there is an open affine neighborhood Spec R of y and an open affine neighborhood Spec S of x such that f(Spec S) is contained in Spec R and such that the ring homomorphism R → S induced by f is standard étale.
8. f is locally of finite presentation and is formally étale.
9. f is locally of finite presentation and is formally étale for maps from local rings, that is:Let A be a local ring and J be an ideal of A such that J² = 0. Set Z = Spec A and Z₀ = Spec A/J, and let i : Z₀ → Z be the canonical closed immersion. Let z denote the closed point of Z₀. Let h : Z → Y and g₀ : Z₀ → X be morphisms such that f(g₀(z)) = h(i(z)). Then there exists a unique Y-morphism g : Z → X such that gi = g₀.

Assume that Y is locally noetherian and f is locally of finite type. For x in X , let y = f ( x ) and let O ^ Y , y → O ^ X , x be the induced map on completed local rings. Then the following are equivalent:

1. f is étale.
2. For every x in X , the induced map on completed local rings is formally étale for the adic topology.
3. For every x in X , O ^ X , x is a free O ^ Y , y -module and the fiber O ^ X , x / m y O ^ X , x is a field which is a finite separable field extension of the residue field κ ( y ) . (Here m y is the maximal ideal of O ^ Y , y .)
4. f is formally étale for maps of local rings with the following additional properties. The local ring A may be assumed Artinian. If m is the maximal ideal of A, then J may be assumed to satisfy mJ = 0. Finally, the morphism on residue fields κ(y) → A / m may be assumed to be an isomorphism.

If in addition all the maps on residue fields κ ( y ) → κ ( x ) are isomorphisms, or if κ ( y ) is separably closed, then f is étale if and only if for every x in X , the induced map on completed local rings is an isomorphism.

Examples of étale morphisms

Any open immersion is étale because it is locally an isomorphism.

Morphisms induced by finite separable field extensions are étale.

Any ring homomorphism of the form R → S = R [ x 1 , … , x n ] g / ( f 1 , … , f n ) , where all the f i are polynomials, and where the Jacobian determinant det ( ∂ f i / ∂ x j ) is a unit in S , is étale. For example the morphism C [ t , t − 1 ] → C [ x , t , t − 1 ] / ( x n − t ) is etale and corresponds to a degree n covering space of G m ∈ S c h / C with the group Z / n of deck transformations.

Expanding upon the previous example, suppose that we have a morphism f of smooth complex algebraic varieties. Since f is given by equations, we can interpret it as a map of complex manifolds. Whenever the Jacobian of f is nonzero, f is a local isomorphism of complex manifolds by the implicit function theorem. By the previous example, having non-zero Jacobian is the same as being étale.

Let f : X → Y be a dominant morphism of finite type with X, Y locally noetherian, irreducible and Y normal. If f is unramified, then it is étale.

For a field K, any K-algebra A is necessarily flat. Therefore, A is an etale algebra if and only if it is unramified, which is also equivalent to

where K ¯ is the separable closure of the field K and the right hand side is a finite direct sum, all of whose summands are K ¯ . This characterization of etale K-algebras is a stepping stone in reinterpreting classical Galois theory (see Grothendieck's Galois theory).

Properties of étale morphisms

Étale morphisms and the inverse function theorem

As said in the introduction, étale morphisms

are the algebraic counterpart of local diffeomorphisms. More precisely, a morphism between smooth varieties is étale at a point iff the differential between the corresponding tangent spaces is an isomorphism. This is in turn precisely the condition needed to ensure that a map between manifolds is a local diffeomorphism, i.e. for any point y ∈ Y, there is an open neighborhood U of x such that the restriction of f to U is a diffeomorphism. This conclusion does not hold in algebraic geometry, because the topology is too coarse. For example, consider the projection f of the parabola

to the y-axis. This morphism is étale at every point except the origin (0, 0), because the differential is given by 2x, which does not vanish at these points.

However, there is no (Zariski-)local inverse of f, just because the square root is not an algebraic map, not being given by polynomials. However, there is a remedy for this situation, using the étale topology. The precise statement is as follows: if f : X → Y is étale and quasi-compact, then for any point y lying in f(X), there is an étale morphism V → Y containing y in its image (V can be thought of as an étale open neighborhood of y), such that when we base change f to V, then X × Y V → V (the first member would be the pre-image of V by f if V were a Zariski open neighborhood) is a finite disjoint union of open subsets isomorphic to V. In other words, étale-locally in Y, the morphism f is a topological finite cover.

For a smooth morphism f : X → Y of relative dimension n, étale-locally in X and in Y, f is an open immersion into an affine space A Y n . This is the étale analogue version of the structure theorem on submersions.