MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $k$ be an algebraically closed field of arbitrary characteristic, $X$ a smooth surface over $k$, and $D_i \subset X$ be an regular, effective Divisor such that $D=\sum D_i$ has normal crossings and no more than two $D_i$ meet at a point of $D$.

Then for every singular point $x \in D$ one can find an affine neighbourhood $\operatorname{spec}(A)$ of $x$ and $f,g \in A$ such that D restricted to $\operatorname{spec}(A)$ is $\operatorname{spec}(A/(fg))$. Now we know, that $\Omega^1_{A/k,x}$ is generated by $d_xf$ and $d_xg$ (e.g. by Proposition 9.1.8 of Lius book).

Now i am confused whether it is possible to choose $A$ in such a way, that already $\Omega^1_{A/k}$ is generated by $df$ and $dg$ (as an $A$-module). Am i missing a simple argument here?

share|cite|improve this question
I am not sure I understand your confusion. If $M$ is a finitely generated module over a Noetherian ring $A$ and $a_1,\ldots,a_m$ generate $M$ localized at a maximal ideal $\mathfrak{m}$, then there is a $y\not\in\mathfrak{m}$ such that $M_y$ is generated by the $a_i$s over $A_y$. – Mohan Jul 16 '12 at 22:02
My confusion was that I missed this really basic point. Thank you for the remainder and sorry for bothering you. – fschueller Jul 18 '12 at 16:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.