unramified

Tags: #AG Refs: scheme

unramified

  • A morphism \(f: B\to A\) of rings is unramified iff it is finite type and the sheaf of relative differentials \(\Omega_{A/B}\)vanishes.
  • A morphism \(f:X\to Y\) of schemes is unramified iff there exist affine opens \(U \subseteq X, f(U) \subseteq V\subseteq f(X)\) where the induced ring morphism \(U = \operatorname{Spec}B \to V=\operatorname{Spec}A\) is unramified.

attachments/Pasted%20image%2020220204094837.png

attachments/Pasted%20image%2020220407234512.png

Relation to ramification in number fields: attachments/Pasted%20image%2020220407234615.png attachments/Pasted%20image%2020220407234624.png

Links to this page
#AG