The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

28.28 Morphisms of given relative dimension

In order to be able to speak comfortably about morphisms of a given relative dimension we introduce the following notion.

Definition 28.28.1. Let $f : X \to S$ be a morphism of schemes. Assume $f$ is locally of finite type.

  1. We say $f$ is of relative dimension $\leq d$ at $x$ if $\dim _ x(X_{f(x)}) \leq d$.

  2. We say $f$ is of relative dimension $\leq d$ if $\dim _ x(X_{f(x)}) \leq d$ for all $x \in X$.

  3. We say $f$ is of relative dimension $d$ if all nonempty fibres $X_ s$ are equidimensional of dimension $d$.

This is not a particularly well behaved notion, but it works well in a number of situations.

Lemma 28.28.2. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. If $f$ has relative dimension $d$, then so does any base change of $f$. Same for relative dimension $\leq d$.

Proof. This is immediate from Lemma 28.27.3. $\square$

Lemma 28.28.3. Let $f : X \to Y$, $g : Y \to Z$ be locally of finite type. If $f$ has relative dimension $\leq d$ and $g$ has relative dimension $\leq e$ then $g \circ f$ has relative dimension $\leq d + e$. If

  1. $f$ has relative dimension $d$,

  2. $g$ has relative dimension $e$, and

  3. $f$ is flat,

then $g \circ f$ has relative dimension $d + e$.

Proof. This is immediate from Lemma 28.27.2. $\square$

In general it is not possible to decompose a morphism into its pieces where the relative dimension is a given one. However, it is possible if the morphism has Cohen-Macaulay fibres and is flat of finite presentation.

Lemma 28.28.4. Let $f : X \to S$ be a morphism of schemes. Assume that

  1. $f$ is flat,

  2. $f$ is locally of finite presentation, and

  3. for all $s \in S$ the fibre $X_ s$ is Cohen-Macaulay (Properties, Definition 27.8.1)

Then there exist open and closed subschemes $X_ d \subset X$ such that $X = \coprod _{d \geq 0} X_ d$ and $f|_{X_ d} : X_ d \to S$ has relative dimension $d$.

Proof. This is immediate from Algebra, Lemma 10.129.8. $\square$

Lemma 28.28.5. Let $f : X \to S$ be a morphism of schemes. Assume $f$ is locally of finite type. Let $x \in X$ with $s = f(x)$. Then $f$ is quasi-finite at $x$ if and only if $\dim _ x(X_ s) = 0$. In particular, $f$ is locally quasi-finite if and only if $f$ has relative dimension $0$.

Proof. If $f$ is quasi-finite at $x$ then $\kappa (x)$ is a finite extension of $\kappa (s)$ (by Lemma 28.19.5) and $x$ is isolated in $X_ s$ (by Lemma 28.19.6), hence $\dim _ x(X_ s) = 0$ by Lemma 28.27.1. Conversely, if $\dim _ x(X_ s) = 0$ then by Lemma 28.27.1 we see $\kappa (s) \subset \kappa (x)$ is algebraic and there are no other points of $X_ s$ specializing to $x$. Hence $x$ is closed in its fibre by Lemma 28.19.2 and by Lemma 28.19.6 (3) we conclude that $f$ is quasi-finite at $x$. $\square$

Lemma 28.28.6. Let $f : X \to Y$ be a morphism of locally Noetherian schemes which is flat, locally of finite type and of relative dimension $d$. For every point $x$ in $X$ with image $y$ in $Y$ we have $\dim _ x(X) = \dim _ y(Y) + d$.

Proof. After shrinking $X$ and $Y$ to open neighborhoods of $x$ and $y$, we can assume that $\dim (X) = \dim _ x(X)$ and $\dim (Y) = \dim _ y(Y)$, by definition of the dimension of a scheme at a point (Properties, Definition 27.10.1). The morphism $f$ is open by Lemmas 28.20.9 and 28.24.9. Hence we can shrink $Y$ to arrange that $f$ is surjective. It remains to show that $\dim (X) = \dim (Y) + d$.

Let $a$ be a point in $X$ with image $b$ in $Y$. By Algebra, Lemma 10.111.7,

\[ \dim (\mathcal{O}_{X,a}) = \dim (\mathcal{O}_{Y,b}) + \dim (\mathcal{O}_{X_ b, a}). \]

Taking the supremum over all points $a$ in $X$, it follows that $\dim (X) = \dim (Y) + d$, as we want, see Properties, Lemma 27.10.2. $\square$


Comments (0)


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