TITLE: localized ideal of a variety that is smooth at a point
QUESTION [1 upvotes]: Let $X \subset \mathbb{A}^n$ be an affine variety that is smooth in $a$ of dimension n-k and I its ideal in $K[x_1,...,x_n]$. Is it true that the localized ideal $I_{m_a} \subset \mathcal{O}_{X,a}$ is generated by k elements?

REPLY [1 votes]: Yes, smooth at a point implies it is a local complete intersection at that point, i.e. the defining ideal is generated by the minimum number of elements.  See theorem 8.17 on page 178 of Hartshorne.
{"set_name": "stack_exchange", "score": 1, "question_id": 46658}