Unramified morphism

Let ${\displaystyle A}$ be a ring and B the ring obtained by adjoining an integral element to A; i.e., ${\displaystyle B=A[t]/(F)}$ for some monic polynomial F. Then ${\displaystyle \operatorname {Spec} (B)\to \operatorname {Spec} (A)}$ is unramified if and only if the polynomial F is separable (i.e., it and its derivative generate the unit ideal of ${\displaystyle A[t]}$).

Let ${\displaystyle f:X\to Y}$ be a finite morphism between smooth connected curves over an algebraically closed field, P a closed point of X and ${\displaystyle Q=f(P)}$. We then have the local ring homomorphism ${\displaystyle f^{\#}:{\mathcal {O}}_{Q}\to {\mathcal {O}}_{P}}$ where ${\displaystyle ({\mathcal {O}}_{Q},{\mathfrak {m}}_{Q})}$ and ${\displaystyle ({\mathcal {O}}_{P},{\mathfrak {m}}_{P})}$ are the local rings at Q and P of Y and X. Since ${\displaystyle {\mathcal {O}}_{P}}$ is a discrete valuation ring, there is a unique integer ${\displaystyle e_{P}>0}$ such that ${\displaystyle f^{\#}({\mathfrak {m}}_{Q}){\mathcal {O}}_{P}={{\mathfrak {m}}_{P}}^{e_{P}}}$. The integer ${\displaystyle e_{P}}$ is called the ramification index of ${\displaystyle P}$ over ${\displaystyle Q}$.[1] Since ${\displaystyle k(P)=k(Q)}$ as the base field is algebraically closed, ${\displaystyle f}$ is unramified at ${\displaystyle P}$ (in fact, étale) if and only if ${\displaystyle e_{P}=1}$. Otherwise, ${\displaystyle f}$ is said to be ramified at P and Q is called a branch point.

Given a morphism ${\displaystyle f:X\to Y}$ that is locally of finite presentation, the following are equivalent:[2]

1. f is unramified.
2. The diagonal map ${\displaystyle \delta _{f}:X\to X\times _{Y}X}$ is an open immersion.
3. The relative cotangent sheaf ${\displaystyle \Omega _{X/Y}}$ is zero.

• Finite extensions of local fields
• Ramification (mathematics)

• Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32. doi:10.1007/bf02732123. MR 0238860.
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157