Lemma 35.4.17 (08X1)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.4: Descent for universally injective morphisms
Lemma 35.4.17 (cite)

previous lemma
next lemma

numberstags

history
statistics

Lemma 35.4.17. For $(M, \theta ) \in DD_{S/R}$, the diagram

35.4.17.1

\begin{equation} \label{descent-equation-coequalizer-CM} \xymatrix@C=8pc{ C(M \otimes _{S, \delta _{12}^1} S_3) \ar@<1ex>[r]^{C((\theta \otimes \delta _2^2) \circ (1_ M \otimes \delta ^2_0))} \ar@<-1ex>[r]_{C(1_{M \otimes S_2} \otimes \delta ^2_1)} & C(M \otimes _{S, \delta _1^1} S_2 ) \ar[r]^{C(\theta \circ (1_ M \otimes \delta _0^1))} & C(M). } \end{equation}

obtained by applying $C$ to (35.4.16.1) is a split coequalizer.

Proof. Omitted. $\square$

Comments (0)

There are also:

4 comment(s) on Section 35.4: Descent for universally injective morphisms

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

Comments (0)

Post a comment