The Stacks project

Lemma 62.6.7. In the situation of Example 62.5.2 assume $S$ is locally Noetherian and $\mathcal{F}$ is flat over $S$ in dimensions $\geq r$ (More on Flatness, Definition 38.20.10). Then $[\mathcal{F}/X/S]_ r$ is a relative $r$-cycle on $X/S$.

Proof. By More on Flatness, Lemma 38.20.9 the hypothesis on $\mathcal{F}$ is preserved by any base change. Also, formation of $[\mathcal{F}/X/S]_ r$ is compatible with any base change by Lemma 62.5.3. Since the condition of being compatible with specializations is checked after base change to the spectrum of a discrete valuation ring, this reduces us to the case where $S$ is the spectrum of a valuation ring. In this case the set $U = \{ x \in X \mid \mathcal{F}\text{ flat at }x\text{ over }S\} $ is open in $X$ by More on Flatness, Lemma 38.13.11. Since the complement of $U$ in $X$ has fibres of dimension $< r$ over $S$ by assumption, we see that restriction along the inclusion $U \subset X$ induces an isomorphism on the groups of $r$-cycles on fibres after any base change, compatible with specialization maps and with formation of the relative cycle associated to $\mathcal{F}$. Thus it suffices to show compatibility with specializations for $[\mathcal{F}|_ U / U /S]_ r$. Since $\mathcal{F}|_ U$ is flat over $S$, this follows from Lemma 62.4.1 and the definitions. $\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 0H56. Beware of the difference between the letter 'O' and the digit '0'.