Wiki. “平坦概形态射” [平坦概形态射]

定义

称概形的态射 $f\colon X\to Y$ 是平坦的是指, 对每个点 $x\in X$, $$ \mathcal O_{Y,f(x)} \to \mathcal O_{X,x} $$ 都是平坦环同态.