Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Hartshorne, Algebraic Geometry

In example III.10.0.3, Hartshorne remarks that with k algebraically closed, X smooth of dimension n over Spec k is equivalent to X regular of dimension n. He references II.8.8.

However II.8.8 requires that when one looks at a local ring B, the relative sheaf of differentials for this local ring must be a free B-module. This is certainly true if X is irreducible. But what if X is not irreducible?

So my overall question: is the statement from III.10.0.3 true for X not irreducible?

share|cite|improve this question

After wrestling with definitions, I have the answer to my question. If two irreducible components meet at a point, then $\dim_{k}(\Omega_{X/k} \otimes k)$ will jump, contradicting the definition of smooth.

Thus, while $X$ may have multiple irreducible components, each connected component is irreducible. Since II.8.8 is a local property, we may use it on each irreducible component of $X$.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.