The Stacks project

5.11 Codimension and catenary spaces

We only define the codimension of irreducible closed subsets.

Definition 5.11.1. Let $X$ be a topological space. Let $Y \subset X$ be an irreducible closed subset. The codimension of $Y$ in $X$ is the supremum of the lengths $e$ of chains

\[ Y = Y_0 \subset Y_1 \subset \ldots \subset Y_ e \subset X \]

of irreducible closed subsets in $X$ starting with $Y$. We will denote this $\text{codim}(Y, X)$.

The codimension is an element of $\{ 0, 1, 2, \ldots \} \cup \{ \infty \} $. If $\text{codim}(Y, X) < \infty $, then every chain can be extended to a maximal chain (but these do not all have to have the same length).

Lemma 5.11.2. Let $X$ be a topological space. Let $Y \subset X$ be an irreducible closed subset. Let $U \subset X$ be an open subset such that $Y \cap U$ is nonempty. Then

\[ \text{codim}(Y, X) = \text{codim}(Y \cap U, U) \]

Proof. The rule $T \mapsto \overline{T}$ defines a bijective inclusion preserving map between the closed irreducible subsets of $U$ and the closed irreducible subsets of $X$ which meet $U$. Using this the lemma easily follows. Details omitted. $\square$

Example 5.11.3. Let $X = [0, 1]$ be the unit interval with the following topology: The sets $[0, 1]$, $(1 - 1/n, 1]$ for $n \in \mathbf{N}$, and $\emptyset $ are open. So the closed sets are $\emptyset $, $\{ 0\} $, $[0, 1 - 1/n]$ for $n > 1$ and $[0, 1]$. This is clearly a Noetherian topological space. But the irreducible closed subset $Y = \{ 0\} $ has infinite codimension $\text{codim}(Y, X) = \infty $. To see this we just remark that all the closed sets $[0, 1 - 1/n]$ are irreducible.

Definition 5.11.4. Let $X$ be a topological space. We say $X$ is catenary if for every pair of irreducible closed subsets $T \subset T'$ we have $\text{codim}(T, T') < \infty $ and every maximal chain of irreducible closed subsets

\[ T = T_0 \subset T_1 \subset \ldots \subset T_ e = T' \]

has the same length (equal to the codimension).

Lemma 5.11.5. Let $X$ be a topological space. The following are equivalent:

  1. $X$ is catenary,

  2. $X$ has an open covering by catenary spaces.

Moreover, in this case any locally closed subspace of $X$ is catenary.

Proof. Suppose that $X$ is catenary and that $U \subset X$ is an open subset. The rule $T \mapsto \overline{T}$ defines a bijective inclusion preserving map between the closed irreducible subsets of $U$ and the closed irreducible subsets of $X$ which meet $U$. Using this the lemma easily follows. Details omitted. $\square$

Lemma 5.11.6. Let $X$ be a topological space. The following are equivalent:

  1. $X$ is catenary, and

  2. for every pair of irreducible closed subsets $Y \subset Y'$ we have $\text{codim}(Y, Y') < \infty $ and for every triple $Y \subset Y' \subset Y''$ of irreducible closed subsets we have

    \[ \text{codim}(Y, Y'') = \text{codim}(Y, Y') + \text{codim}(Y', Y''). \]

Proof. Let suppose that $X$ is catenary. According to Definition 5.11.4, for every pair of irreducible closed subsets $Y \subset Y'$ we have $\text{codim}(Y,Y') < \infty $. Let $Y \subset Y' \subset Y''$ be a triple of irreducible closed subsets of $X$. Let

\[ Y = Y_0 \subset Y_1 \subset ... \subset Y_{e_1} = Y' \]

be a maximal chain of irreducible closed subsets between $Y$ and $Y'$ where $e_1 = \text{codim}(Y,Y')$. Let also

\[ Y' = Y_{e_1} \subset Y_{e_1 + 1}\subset ... \subset Y_{e_1 + e_2} = Y'' \]

be a maximal chain of irreducible closed subsets between $Y'$ and $Y''$ where $e_2 = \text{codim}(Y',Y'')$. As the two chains are maximal, the concatenation

\[ Y = Y_0\subset Y_1 \subset ... \subset Y_{e_1} = Y' = Y_{e_1} \subset Y_{e_1+1}\subset ... \subset Y_{e_1+e_2}=Y'' \]

is maximal too (between $Y$ and $Y''$) and its length equals to $e_1 + e_2$. As $X$ is catenary, each maximal chain has the same length equals to the codimension. Thus the point (2) that $\text{codim}(Y,Y'') = e_1 + e_2 = \text{codim}(Y,Y') + \text{codim}(Y',Y'')$ is verified.

For the reciprocal, we show by induction that : if $Y = Y_1 \subset ... \subset Y_ n = Y'$, then $ \text{codim}(Y,Y') = \text{codim}(Y_1,Y_2) + ... + \text{codim}(Y_{n-1},Y_ n)$. Therefore, it forces maximal chains to have the same length. $\square$


Comments (2)

Comment #5067 by Mario Kummer on

I suggest that the definition of codimension is extended to arbitrary closed subsets as the infimum of the codimension of all closed irreducible subsets of , as this is a quite common notion.

Comment #5283 by on

@#5067: No because this often leads to problems later on. For example, another reasonable choice would be to use the supremum (after all in the definition the supremum is used too).


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 02I0. Beware of the difference between the letter 'O' and the digit '0'.