nLab
open immersion of schemes

Contents

Definition

A morphism f:XYf:X\to Y of schemes is an open immersion if the underlying morphism of topological spaces is a homeomorphism onto an open image and the comorphism f :𝒪 Yf *𝒪 Xf^\sharp : \mathcal{O}_Y\to f_*\mathcal{O}_X is an isomorphism of sheaves when restricted to the image of ff. In other words, an open immersion is a morphism of schemes which decomposes uniquely into an isomorphism of schemes and the identity inclusion of an open subscheme.

Properties

Proposition

Every open immersion of schemes is an étale morphism of schemes

(e.g. Stacks Project, lemma 28.37.9)

Examples

Example

For RR a ring, SU(R)S \hookrightarrow U(R) a multiplicative subset, and RR[S 1]R \longrightarrow R[S^{-1}] the projection onto the localization at SS, then the formal dual map on spectra Spec(R[S 1])Spec(R)Spec(R[S^{-1}]) \longrightarrow Spec(R) is an open immersion.

These are the standard opens that define the Zariski topology on algebraic varieties

Revised on November 26, 2013 23:44:28 by Urs Schreiber (77.251.114.72)