# $A \otimes^L_B C$ computing the derived fiber product of schemes

Let $A \rightarrow B$ and $C \rightarrow B$ be two maps of schemes. How can I compute the derived fiber product $A \otimes^L_B C$? I'm guessing this is a dg-scheme.

For instance - let $B=\mathbb{A}^1$ and $A = 0 \in \mathbb{A}^1$, and $C \in \mathbb{A}^1$ some point (either $0$ or $1$).

Question: The example I'm really interested in is $\tilde{\mathfrak{g}} \otimes^L_{\mathfrak{g}} 0$, where $\mathfrak{g}=\mathfrak{sl}_2$ and $\tilde{\mathfrak{g}}=\{ X,(0 \subset V \subset \mathbb{C}^2) | X \in \mathfrak{sl}_2, X V \subset V \}$ is the Grothendieck-Springer resolution.

• Is there even an ordinary "tensor product" of schemes? Sep 19, 2013 at 2:46
• "tensor" = "fiber". Sep 19, 2013 at 3:05
• The tensor product of commutative rings corresponds to the fiber product of the associated affine schemes, but I think one should be careful with terminology and notation. Sep 19, 2013 at 16:39

As usual, you replace $A$ (or $C$) with a (sheaf of) DG-algebras which is flat over $B$ and compute the usual tensor product of it with $O_A$ over $O_B$. In case when $A$ is a complete intersection subscheme a good choice for such DG-algebra is the Koszul complex. Then the derived fiber product is given by the pullback to $C$ of the Koszul resolution of $O_A$.
For example, if $A = 0 \subset \mathbf{A}^1$ then $O_A \cong \{k[t] \stackrel{t}\to k[t]\}$, so the derived fiber product is empty if $C = 1$ and $\{k \stackrel{0}\to k\} = k[\epsilon]/\epsilon^2$ with $\deg\epsilon = -1$, $d\epsilon = 0$ if $C = 0$. The same computation works as well in your second example.
• Thanks - that makes sense! But for the example, $A=\tilde{\mathfrak{g}} \rightarrow \mathfrak{g}=B$ -- what does the corresponding sheaf of dg-algebras (ie. the Koszul complex) look like? Sep 21, 2013 at 3:11
• When $A$ is not a complete intersection you can rewrite the morphism $A \to B$ as a composition of a closed embedding $A \to \tilde B$ and of a flat morphism $\tilde B \to B$. Then $A\times^L_B C=A\times^L_{\tilde B}(\tilde B\times_BC) = A\times^L_{\tilde B}(\tilde B\times_B C)$. Sep 23, 2013 at 5:55
• I understand what a flat module over a ring is but -- given a map $A \rightarrow B$ what does it mean for a sheaf of DG-algebras on $A$ to be flat over $B$? Thanks. Sep 23, 2013 at 18:48