The Stacks project

Lemma 40.12.2. Let $S$ be a scheme. Let $(U, R, s, t, c, e, i)$ be a groupoid scheme over $S$. Let $G \to U$ be the stabilizer group scheme. Assume $s$ and $t$ are Cohen-Macaulay and locally of finite presentation. Let $u \in U$ be a finite type point of the scheme $U$, see Morphisms, Definition 29.15.3. With notation as in Situation 40.12.1, set

\[ d_1 = \dim (G_ u), \quad d_2 = \dim _{e(u)}(F_ u). \]

If $d_2 > d_1$, then there exist an affine scheme $U'$ and a morphism $g : U' \to U$ such that (with notation as in Situation 40.12.1)

  1. $g$ is an immersion

  2. $u \in U'$,

  3. $g$ is locally of finite presentation,

  4. the morphism $h : U' \times _{g, U, t} R \longrightarrow U$ is Cohen-Macaulay at $(u, e(u))$, and

  5. we have $\dim _{e'(u)}(F'_ u) = d_2 - 1$.

Proof. Let $\mathop{\mathrm{Spec}}(A) \subset U$ be an affine neighbourhood of $u$ such that $u$ corresponds to a closed point of $U$, see Morphisms, Lemma 29.15.4. Let $\mathop{\mathrm{Spec}}(B) \subset R$ be an affine neighbourhood of $e(u)$ which maps via $j$ into the open $\mathop{\mathrm{Spec}}(A) \times _ S \mathop{\mathrm{Spec}}(A) \subset U \times _ S U$. Let $\mathfrak m \subset A$ be the maximal ideal corresponding to $u$. Let $\mathfrak q \subset B$ be the prime ideal corresponding to $e(u)$. Pictures:

\[ \vcenter { \xymatrix{ B & A \ar[l]^ s \\ A \ar[u]^ t } } \quad \text{and}\quad \vcenter { \xymatrix{ B_{\mathfrak q} & A_{\mathfrak m} \ar[l]^ s \\ A_{\mathfrak m} \ar[u]^ t } } \]

Note that the two induced maps $s, t : \kappa (\mathfrak m) \to \kappa (\mathfrak q)$ are equal and isomorphisms as $s \circ e = t \circ e = \text{id}_ U$. In particular we see that $\mathfrak q$ is a maximal ideal as well. The ring maps $s, t : A \to B$ are of finite presentation and flat. By assumption the ring

\[ \mathcal{O}_{F_ u, e(u)} = B_{\mathfrak q}/s(\mathfrak m)B_{\mathfrak q} \]

is Cohen-Macaulay of dimension $d_2$. The equality of dimension holds by Morphisms, Lemma 29.27.1.

Let $R''$ be the restriction of $R$ to $u = \mathop{\mathrm{Spec}}(\kappa (u))$ via the morphism $\mathop{\mathrm{Spec}}(\kappa (u)) \to U$. As $u \to U$ is locally of finite type, we see that $(\mathop{\mathrm{Spec}}(\kappa (u)), R'', s'', t'', c'')$ is a groupoid scheme with $s'', t''$ locally of finite type, see Lemma 40.9.1. By Lemma 40.10.10 this implies that $\dim (G'') = \dim (R'')$. We also have $\dim (R'') = \dim _{e''}(R'') = \dim (\mathcal{O}_{R'', e''})$, see Lemma 40.10.9. By Groupoids, Lemma 39.18.4 we have $G'' = G_ u$. Hence we conclude that $\dim (\mathcal{O}_{R'', e''}) = d_1$.

As a scheme $R''$ is

\[ R'' = R \times _{(U \times _ S U)} \Big( \mathop{\mathrm{Spec}}(\kappa (\mathfrak m)) \times _ S \mathop{\mathrm{Spec}}(\kappa (\mathfrak m)) \Big) \]

Hence an affine open neighbourhood of $e''$ is the spectrum of the ring

\[ B \otimes _{(A \otimes A)} (\kappa (\mathfrak m) \otimes \kappa (\mathfrak m)) = B/s(\mathfrak m)B + t(\mathfrak m)B \]

We conclude that

\[ \mathcal{O}_{R'', e''} = B_{\mathfrak q}/s(\mathfrak m)B_{\mathfrak q} + t(\mathfrak m)B_{\mathfrak q} \]

and so now we know that this ring has dimension $d_1$.

We claim this implies we can find an element $f \in \mathfrak m$ such that

\[ \dim (B_{\mathfrak q}/(s(\mathfrak m)B_{\mathfrak q} + fB_{\mathfrak q}) < d_2 \]

Namely, suppose $\mathfrak n_ j \supset s(\mathfrak m)B_{\mathfrak q}$, $j = 1, \ldots , m$ correspond to the minimal primes of the local ring $B_{\mathfrak q}/s(\mathfrak m)B_{\mathfrak q}$. There are finitely many as this ring is Noetherian (since it is essentially of finite type over a field – but also because a Cohen-Macaulay ring is Noetherian). By the Cohen-Macaulay condition we have $\dim (B_{\mathfrak q}/\mathfrak n_ j) = d_2$, for example by Algebra, Lemma 10.103.4. Note that $\dim (B_{\mathfrak q}/(\mathfrak n_ j + t(\mathfrak m)B_{\mathfrak q})) \leq d_1$ as it is a quotient of the ring $\mathcal{O}_{R'', e''} = B_{\mathfrak q}/s(\mathfrak m)B_{\mathfrak q} + t(\mathfrak m)B_{\mathfrak q}$ which has dimension $d_1$. As $d_1 < d_2$ this implies that $\mathfrak m \not\subset t^{-1}(\mathfrak n_ i)$. By prime avoidance, see Algebra, Lemma 10.14.2, we can find $f \in \mathfrak m$ with $t(f) \not\in \mathfrak n_ j$ for $j = 1, \ldots , m$. For this choice of $f$ we have the displayed inequality above, see Algebra, Lemma 10.59.12.

Set $A' = A/fA$ and $U' = \mathop{\mathrm{Spec}}(A')$. Then it is clear that $U' \to U$ is an immersion, locally of finite presentation and that $u \in U'$. Thus (1), (2) and (3) of the lemma hold. The morphism

\[ U' \times _{g, U, t} R \longrightarrow U \]

factors through $\mathop{\mathrm{Spec}}(A)$ and corresponds to the ring map

\[ \xymatrix{ B/t(f)B \ar@{=}[r] & A/(f) \otimes _{A, t} B & A \ar[l]_-s } \]

Now, we see $t(f)$ is not a zerodivisor on $B_{\mathfrak q}/s(\mathfrak m)B_{\mathfrak q}$ as this is a Cohen-Macaulay ring of positive dimension and $f$ is not contained in any minimal prime, see for example Algebra, Lemma 10.103.2. Hence by Algebra, Lemma 10.127.5 we conclude that $s : A_{\mathfrak m} \to B_{\mathfrak q}/t(f)B_{\mathfrak q}$ is flat with fibre ring $B_{\mathfrak q}/(s(\mathfrak m)B_{\mathfrak q} + t(f)B_{\mathfrak q})$ which is Cohen-Macaulay by Algebra, Lemma 10.103.2 again. This implies part (4) of the lemma. To see part (5) note that by Diagram (40.9.0.1) the fibre $F'_ u$ is equal to the fibre of $h$ over $u$. Hence $\dim _{e'(u)}(F'_ u) = \dim (B_{\mathfrak q}/(s(\mathfrak m)B_{\mathfrak q} + t(f)B_{\mathfrak q}))$ by Morphisms, Lemma 29.27.1 and the dimension of this ring is $d_2 - 1$ by Algebra, Lemma 10.103.2 once more. This proves the final assertion of the lemma and we win. $\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 0461. Beware of the difference between the letter 'O' and the digit '0'.