Lemma 10.22.2 (00EG)—The Stacks project

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.22: Connected components of spectra
Lemma 10.22.2 (cite)

previous lemma

Lemma 10.22.2. Let $R$ be a ring. A connected component of $\mathop{\mathrm{Spec}}(R)$ is of the form $V(I)$, where $I$ is an ideal generated by idempotents such that every idempotent of $R$ either maps to $0$ or $1$ in $R/I$.

Proof. Let $\mathfrak p$ be a prime of $R$. By Lemma 10.17.11 we have see that the hypotheses of Topology, Lemma 5.12.10 are satisfied for the topological space $\mathop{\mathrm{Spec}}(R)$. Hence the connected component of $\mathfrak p$ in $\mathop{\mathrm{Spec}}(R)$ is the intersection of open and closed subsets of $\mathop{\mathrm{Spec}}(R)$ containing $\mathfrak p$. Hence it equals $V(I)$ where $I$ is generated by the idempotents $e \in R$ such that $e$ maps to $0$ in $\kappa (\mathfrak p)$, see Lemma 10.21.3. Any idempotent $e$ which is not in this collection clearly maps to $1$ in $R/I$. $\square$

Comments (2)

Comment #8515 by Elías Guisado on June 20, 2023 at 12:21

In the third sentence, shouldn't one say "hence, by the proof of Lemma 10.22.1, it equals $V(I)$ where $I$ is generated by the idempotents..."?

Comment #8532 by Johan on June 26, 2023 at 14:29

Hmm, I think it is fine. I mean that ideal really does cut out the connected component of $\mathfrak p$ by the previous sentence, Lemma 10.21.3, the fact that $V(\{f_i\}) = \bigcap V(f_i)$ , and $D(1 - e) = V(e)$ for an idempotent $e$ . So I think the proof is fine as is.

I guess an alternative proof would be to first say that the connected component of $\mathfrak p$ is $V(I)$ as in Lemma 10.22.1 and then explain which idempotents are in $I$ . Do people prefer this?

There are also:

2 comment(s) on Section 10.22: Connected components of spectra

Comments (2)

Post a comment