The Stacks project

Lemma 10.135.2. Let $k$ be a field. Let $S$ be a finite type $k$-algebra. Let $g \in S$.

  1. If $S$ is a global complete intersection so is $S_ g$.

  2. If $S$ is a local complete intersection so is $S_ g$.

Proof. The second statement follows immediately from the first. Proof of the first statement. If $S_ g$ is the zero ring, then it is true. Assume $S_ g$ is nonzero. Write $S = k[x_1, \ldots , x_ n]/(f_1, \ldots , f_ c)$ with $n - c = \dim (S)$ as in Definition 10.135.1. By the remarks following the definition $\dim (S_ g) = n - c$. Let $g' \in k[x_1, \ldots , x_ n]$ be an element whose residue class corresponds to $g$. Then $S_ g = k[x_1, \ldots , x_ n, x_{n + 1}]/(f_1, \ldots , f_ c, x_{n + 1}g' - 1)$ as desired. $\square$

Comments (4)

Comment #2913 by Dario WeiƟmann on

"By the remarks above..." is a bit imprecise.

Firstly the remarks cite section 10.59, lemma 10.59.12 would be more accurate. That the local rings at maximal ideals of polynomial algebras over a field have dimension is Lemma 10.113.1.

Secondly if is contained in all maximal ideal it is nilpotent (thus zero), follows from Hilbert's Nullstellensatz or more precisely Lemma 10.34.2.

Comment #2942 by on

Sometimes when there is a definition, there are some comments directly following the definition explaining how to think about the definition. We often assume the reader has understood these comments and we'll use them in future use of the concept. Anyway, I've made the comments more clear and I have then referred to them in the proof of this lemma. For changes see here.

Comment #8195 by Ryo Suzuki on

I don't understand why equidimensionality of directly implies , although I could understand the result is true thanks to Comment #2913.

There are also:

  • 2 comment(s) on Section 10.135: Local complete intersections

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00SA. Beware of the difference between the letter 'O' and the digit '0'.