エタール射

エタール射（エタールしゃ、étale morphism）とは、数学において有限型スキーム間の平坦かつ不分岐な射のこと。

不分岐 [編集]

$f:X\rightarrow Y$ を体 k 上の有限型スキーム間の射とする。X の任意の点 x と Y の点 y=f(x) にたいして、

が成り立つこと。ただし、 $O_{X,x}$ は x での局所環、 $m_x$ および k(x) はその極大イデアルおよび剰余体である。

可換環論における平坦性の概念は前提とする。上記の記号を流用し

F を $O_Y$ 加群層とする。F が Y 上平坦とは、任意のxに対し $F_y$ が平坦 $O_{Y,y}$ 加群になることをいう。F として $O_X$ をとって X の Y 上の平坦性が定義される。