The Stacks project

Example 10.136.7. Let $n , m \geq 1$ be integers. Consider the ring map

\begin{eqnarray*} R = \mathbf{Z}[a_1, \ldots , a_{n + m}] & \longrightarrow & S = \mathbf{Z}[b_1, \ldots , b_ n, c_1, \ldots , c_ m] \\ a_1 & \longmapsto & b_1 + c_1 \\ a_2 & \longmapsto & b_2 + b_1 c_1 + c_2 \\ \ldots & \ldots & \ldots \\ a_{n + m} & \longmapsto & b_ n c_ m \end{eqnarray*}

In other words, this is the unique ring map of polynomial rings as indicated such that the polynomial factorization

\[ x^{n + m} + a_1 x^{n + m - 1} + \ldots + a_{n + m} = (x^ n + b_1 x^{n - 1} + \ldots + b_ n) (x^ m + c_1 x^{m - 1} + \ldots + c_ m) \]

holds. Note that $S$ is generated by $n + m$ elements over $R$ (namely, $b_ i, c_ j$) and that there are $n + m$ equations (namely $a_ k = a_ k(b_ i, c_ j)$). In order to show that $S$ is a relative global complete intersection over $R$ it suffices to prove that all fibres have dimension $0$.

To prove this, let $R \to k$ be a ring map into a field $k$. Say $a_ i$ maps to $\alpha _ i \in k$. Consider the fibre ring $S_ k = k \otimes _ R S$. Let $k \to K$ be a field extension. A $k$-algebra map of $S_ k \to K$ is the same thing as finding $\beta _1, \ldots , \beta _ n, \gamma _1, \ldots , \gamma _ m \in K$ such that

\[ x^{n + m} + \alpha _1 x^{n + m - 1} + \ldots + \alpha _{n + m} = (x^ n + \beta _1 x^{n - 1} + \ldots + \beta _ n) (x^ m + \gamma _1 x^{m - 1} + \ldots + \gamma _ m). \]

Hence we see there are at most finitely many choices of such $n + m$-tuples in $K$. This proves that all fibres have finitely many closed points (use Hilbert's Nullstellensatz to see they all correspond to solutions in $\overline{k}$ for example) and hence that $R \to S$ is a relative global complete intersection.

Another way to argue this is to show $\mathbf{Z}[a_1, \ldots , a_{n + m}] \to \mathbf{Z}[b_1, \ldots , b_ n, c_1, \ldots , c_ m]$ is actually also a finite ring map. Namely, by Lemma 10.38.5 each of $b_ i, c_ j$ is integral over $R$, and hence $R \to S$ is finite by Lemma 10.36.4.


Comments (0)

There are also:

  • 2 comment(s) on Section 10.136: Syntomic morphisms

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