Section 100.12 (0AFL): Dimension of a stack

100.12 Dimension of a stack

We can define the dimension of an algebraic stack $\mathcal{X}$ at a point $x$ , using the notion of dimension of an algebraic space at a point (Properties of Spaces, Definition 66.9.1). In the following lemma the output may be $\infty$ either because $\mathcal{X}$ is not quasi-compact or because we run into the phenomenon described in Examples, Section 110.16.

Lemma 100.12.1. Let $\mathcal{X}$ be a locally Noetherian algebraic stack over a scheme $S$ . Let $x \in |\mathcal{X}|$ be a point of $\mathcal{X}$ . Let $[U/R] \to \mathcal{X}$ be a presentation (Algebraic Stacks, Definition 94.16.5) where $U$ is a scheme. Let $u \in U$ be a point that maps to $x$ . Let $e : U \to R$ be the “identity” map and let $s : R \to U$ be the “source” map, which is a smooth morphism of algebraic spaces. Let $R_ u$ be the fiber of $s : R \to U$ over $u$ . The element

$\dim _ x(\mathcal{X}) = \dim _ u(U) - \dim _{e(u)}(R_ u) \in \mathbf{Z} \cup \infty$

is independent of the choice of presentation and the point $u$ over $x$ .

Proof. Since $R \to U$ is smooth, the scheme $R_ u$ is smooth over $\kappa (u)$ and hence has finite dimension. On the other hand, the scheme $U$ is locally Noetherian, but this does not guarantee that $\dim _ u(U)$ is finite. Thus the difference is an element of $\mathbf{Z} \cup \{ \infty \}$ .

Let $[U'/R'] \to \mathcal{X}$ and $u' \in U'$ be a second presentation where $U'$ is a scheme and $u'$ maps to $x$ . Consider the algebraic space $P = U \times _\mathcal {X} U'$ . By Lemma 100.4.3 there exists a $p \in |P|$ mapping to $u$ and $u'$ . Since $P \to U$ and $P \to U'$ are smooth we see that $\dim _ p(P) = \dim _ u(U) + \dim _ p(P_ u)$ and $\dim _ p(P) = \dim _{u'}(U') + \dim _ p(P_{u'})$ , see Morphisms of Spaces, Lemma 67.37.10. Note that

$R'_{u'} = \mathop{\mathrm{Spec}}(\kappa (u')) \times _\mathcal {X} U' \quad \text{and}\quad P_ u = \mathop{\mathrm{Spec}}(\kappa (u)) \times _\mathcal {X} U'$

Let us represent $p \in |P|$ by a morphism $\mathop{\mathrm{Spec}}(\Omega ) \to P$ . Since $p$ maps to both $u$ and $u'$ it induces a $2$ -morphism between the compositions $\mathop{\mathrm{Spec}}(\Omega ) \to \mathop{\mathrm{Spec}}(\kappa (u')) \to \mathcal{X}$ and $\mathop{\mathrm{Spec}}(\Omega ) \to \mathop{\mathrm{Spec}}(\kappa (u)) \to \mathcal{X}$ which in turn defines an isomorphism

$\mathop{\mathrm{Spec}}(\Omega ) \times _{\mathop{\mathrm{Spec}}(\kappa (u'))} R'_{u'} \cong \mathop{\mathrm{Spec}}(\Omega ) \times _{\mathop{\mathrm{Spec}}(\kappa (u))} P_ u$

as algebraic spaces over $\mathop{\mathrm{Spec}}(\Omega )$ mapping the $\Omega$ -rational point $(1, e'(u'))$ to $(1, p)$ (some details omitted). We conclude that

$\dim _{e'(u')}(R'_{u'}) = \dim _ p(P_ u)$

by Morphisms of Spaces, Lemma 67.34.3. By symmetry we have $\dim _{e(u)}(R_ u) = \dim _ p(P_{u'})$ . Putting everything together we obtain the independence of choices. $\square$

We can use the lemma above to make the following definition.

Definition 100.12.2. Let $\mathcal{X}$ be a locally Noetherian algebraic stack over a scheme $S$ . Let $x \in |\mathcal{X}|$ be a point of $\mathcal{X}$ . Let $[U/R] \to \mathcal{X}$ be a presentation (Algebraic Stacks, Definition 94.16.5) where $U$ is a scheme and let $u \in U$ be a point that maps to $x$ . We define the dimension of $\mathcal{X}$ at $x$ to be the element $\dim _ x(\mathcal{X}) \in \mathbf{Z} \cup \infty$ such that

$\dim _ x(\mathcal{X}) = \dim _ u(U)-\dim _{e(u)}(R_ u).$

with notation as in Lemma 100.12.1.

The dimension of a stack at a point agrees with the usual notion when $\mathcal{X}$ is a scheme (Topology, Definition 5.10.1), or more generally when $\mathcal{X}$ is a locally Noetherian algebraic space (Properties of Spaces, Definition 66.9.1).

Definition 100.12.3. Let $S$ be a scheme. Let $\mathcal{X}$ be a locally Noetherian algebraic stack over $S$ . The dimension $\dim (\mathcal{X})$ of $\mathcal{X}$ is defined to be

$\dim (\mathcal{X}) = \sup \nolimits _{x \in |\mathcal{X}|} \dim _ x(\mathcal{X})$

This definition of dimension agrees with the usual notion if $\mathcal{X}$ is a scheme (Properties, Lemma 28.10.2) or an algebraic space (Properties of Spaces, Definition 66.9.2).

Remark 100.12.4. If $\mathcal{X}$ is a nonempty stack of finite type over a field, then $\dim (\mathcal{X})$ is an integer. For an arbitrary locally Noetherian algebraic stack $\mathcal{X}$ , $\dim (\mathcal{X})$ is in $Z\cup \{ \pm \infty \}$ , and $\dim (\mathcal{X}) = -\infty$ if and only if $\mathcal{X}$ is empty.

Example 100.12.5. Let $X$ be a scheme of finite type over a field $k$ , and let $G$ be a group scheme of finite type over $k$ which acts on $X$ . Then the dimension of the quotient stack $[X/G]$ is equal to $\dim (X)-\dim (G)$ . In particular, the dimension of the classifying stack $BG=[\mathop{\mathrm{Spec}}(k)/G]$ is $-\dim (G)$ . Thus the dimension of an algebraic stack can be a negative integer, in contrast to what happens for schemes or algebraic spaces.

Comments (0)

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).

The Stacks project

100.12 Dimension of a stack

Comments (0)

Post a comment