Contents

Definition

Definition

A morphism $f \colon \mathbf{A} \to \mathbf{B}$ of E-∞ rings is an _ étale morphism if the underlying homomorphism of commutative rings $\pi_0 f\colon \pi_0 \mathbf{A}\to \pi_0 \mathbf{B}$ is an étale morphism or rings.

Properties

étale morphisms of underlying rings lift essentially uniquely to étale morphosms of E-∞ rings:

Proposition

For $\mathbf{A}$ an E-∞ ring and $\pi_0 \mathbf{A} \to B$ a homomorphism to an ordinary ring $B$, then there is an essentially unique $E_\infty$-ring $\mathbf{B}$ with $\pi_0 \mathbf{B} \simeq B$ and étale morphism $\mathbf{A}\to \mathbf{B}$.

Remark

Proposition 1 is a central ingredient in the characterization of the moduli stack of derived elliptic curves as having underlying it the ordinaty moduli stack of elliptic curves.

Remark

(localization of $E_\infty$-rings)

Proposition 1 serves to lift localization of rings from rings to $E_\infty$-rings: for $\mathbf{A}$ an E-∞ ring and $a\in \pi_0 A$ an element, then the map $\pi_0 \mathbf{A} \to (\pi_0 \mathbf{A})[a^{-1}]$ of localization of a ring away from $a$ lifts to yield an E-∞ ring $\mathbf{A}[a^{-1}]$ with étale morphism $\mathbf{A} \to \mathbf{A}[a^{-1}]$. See also at localization of a module for more on this.

References

Revised on August 18, 2014 21:05:11 by Urs Schreiber (89.204.153.66)