pull backs (and tensor product) in algebraic K-theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T09:36:27Z http://mathoverflow.net/feeds/question/99661 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/99661/pull-backs-and-tensor-product-in-algebraic-k-theory pull backs (and tensor product) in algebraic K-theory Rob Denomme 2012-06-15T00:36:07Z 2012-06-15T22:49:16Z <p>In the context of algebraic (equivariant) K-theory (more specifically, in the context of Chriss and Ginzburg's book representation theory and complex geometry) I would like to know if I have the correct intuition for the following.</p> <p>Let $N$ be a smooth variety and $\pi:M\to N$ a vector bundle (or really $M$ a smooth variety and $\pi$ any flat map). Let $\mathcal{F},\mathcal{G}$ be two locally free sheaves on $N$, and write <code>$[\mathcal{F}]$</code> for the element represented by $\mathcal{F}$ in the (zero-th) K-group. Is it true that <code>$\pi^*([\mathcal{F}]\otimes[\mathcal{G}]) = [\pi^* (\mathcal{F})]\otimes[\pi^* (\mathcal{G})]$</code> in $K(M)$, the zero-th K-group?</p> <p>To what extent is this true, provided that we must keep $M,N$ smooth so that the tensor products are defined? Specifically is it true provided only one of the sheaves is locally free?</p> <p>EDIT: We must be careful here, as the definition of tensor product of modules isn't quite sufficient to define tensor product in K-theory. Perhaps we should expand the question to a question about the notion of pull back in $K$-theory.</p> <p>Essentially we build the tensor product of modules in 2 steps. Fist we have the exact construction, $\mathcal{F},\mathcal{G}$ modules over $X,Y$ reps., then we can form the outer tensor product of $\mathcal{F},\mathcal{G}$ on $X\times Y$. To do this let <code>$p_i$</code> be the $i$-th projection and set, $$\mathcal{F}\boxtimes \mathcal{G} = p_1^*\mathcal{F}\otimes_{\mathcal{O}_{X\times Y}}p_2^*\mathcal{G}$$ As the projection is a flat map the pullback functor $p_i^*$ is exact, and hence the above formula gives rise to a well defined map $K(X)\times K(Y)\to K(X\times Y)$.</p> <p>In the case $X=Y$ we also have the diagonal embedding, $\Delta:X_\Delta\to X\times X$, and hence we can pull back the outer product of two sheaves to the diagonal, <code>$\mathcal{F}\otimes\mathcal{G}:=?\Delta^*(p_1^*\mathcal{F}\otimes_{\mathcal{O}_{X\times Y}}p_2^*\mathcal{G})$</code>.</p> <p>BUT <code>$\Delta^*$</code> need not be exact! In fact it is only a closed immersion even if we assume $X$ is smooth, so even then the diagonal map is not flat! To make matters worse, if $X$ is singular the higher derived functors <code>$R^i(\Delta^*)$</code> need not vanish for $i>>0$, so the typical trick of taking as the definition of <code>$\Delta^*$</code> an alternating sum of the higher derived functors doesn't work.</p> <p>Thus Chriss and Ginzburg's definition of the pull back under a closed immersion is somewhat ad hoc. Perhaps the better question to ask here is for someone do describe the geometry of this construction, and give some intuition for it in simple cases. (i.e. does transversality simplify things some?)</p> <p>Their definition goes as follows. Let $f:Y\hookrightarrow X$ be a closed immersion of smooth quasi-projective varieties. For any coherent sheaf $\mathcal{F}$ on $X$ there is a finite locally free resolution $F^\bullet$ of $\mathcal{F}$ (Hilbert's syzygy theorem), $$\cdots \to F^1\to F^0 \to \mathcal{F}\to 0.$$ (For me, the following is the strange part) The sheaf <code>$f_*(\mathcal{O}_Y)\otimes_{\mathcal{O}_X}F^i$</code> is a coherent sheaf of <code>$\mathcal{O}_Y \cong f_*(\mathcal{O}_Y)$</code>-modules (i.e. it is annihilated by the ideal <code>$\mathcal{I}_Y$</code>). Thus, the homology sheaves of the complex, <code>$$\cdots \to f_*(\mathcal{O}_Y)\otimes_{\mathcal{O}_X}F^1\to f_*(\mathcal{O}_Y)\otimes_{\mathcal{O}_X}F^0\to 0$$</code></p> <p>are coherent sheaves of <code>$\mathcal{O}_Y$</code>-modules. Finally(!) we define, <code>$$f^*([\mathcal{F}]) = \sum (-1)^i[\mathcal{H}_i(f_*(\mathcal{O}_Y)\otimes_{\mathcal{O}_X}F^\bullet)]$$</code></p> <p>It seems clear (but I have a hard time trusting) that for $\mathcal{F}$ locally free we have an equality with the old notion of pullback, <code>$$f^*([\mathcal{F}]) = [\mathcal{O}_Y\otimes_{f^{-1}(\mathcal{O}_X)}f^{-1}(\mathcal{F})],$$</code> so the intuition for the the pull back of tensor products problem mentioned at the beginning is that we can simply use the composition of pull backs is the pull back of the composition for locally free sheaves. Is this the right intuition?</p> <p>In practice the resolution construction might be overkill. Suppose $i:Z\hookrightarrow X$ is another closed immersion of smooth quasi-projective varieties, and suppose that $Z$ and $Y$ intersect transversally. Then can we say something without using resolutions about the pullback of the structure sheaf <code>$f^*([i_*\mathcal{O}_Z])$</code> to $Y$? (i.e. is it the obvious thing, <code>$[\mathcal{O}_{Y\cap Z}]$</code>?)</p> http://mathoverflow.net/questions/99661/pull-backs-and-tensor-product-in-algebraic-k-theory/99662#99662 Answer by Will Sawin for pull backs (and tensor product) in algebraic K-theory Will Sawin 2012-06-15T01:03:26Z 2012-06-15T01:03:26Z <p>We can say more. These are naturally isomorphic as sheaves, with no conditions on $M$ and $N$. </p> <p>It is easiest to see this in the affine case, $N=\textrm{Spec} A$, $M=\textrm{Spec} B$, $\mathcal F$ and $\mathcal G$ the sheafification of the $A$-modules $F$ and $G$. Then your equation translates to</p> <p>$B \otimes_A (F \otimes_A G) = (B \otimes_A F)\otimes_B (B\otimes_A G)$</p> <p>which is true because tensor product is commutative and associative and $B \otimes_B B=B$.</p> <p>This gives us a local isomorphism between the two sheaves on every affine open set which clearly restrict to the same isomorphism on their intersection, meaning that they glue together into a global isomorphism of sheaves.</p> http://mathoverflow.net/questions/99661/pull-backs-and-tensor-product-in-algebraic-k-theory/99753#99753 Answer by Dave Anderson for pull backs (and tensor product) in algebraic K-theory Dave Anderson 2012-06-15T22:49:16Z 2012-06-15T22:49:16Z <p>There are a couple issues here. I think the main confusion is between K-theory of <em>vector bundles</em> ($K^\circ X$) and K-theory of <em>coherent sheaves</em> ($K_\circ X$). In Chriss-Ginzburg, I think they often assume $X$ is smooth, in which case the two are isomorphic. The isomorphism comes from resolving a coherent sheaf by vector bundles, and taking the alternating sum.</p> <p>The former is always a ring under tensor product, and pullback is indeed the naive one. As you say, pullback is not exact in general, but since tensor product with a locally free sheaf <em>is</em> exact, pullback on K-theory of vector bundles is well-defined, for any morphism and any spaces.</p> <p>For coherent sheaves, there are pullbacks for some classes of morphisms. The easiest case is when $X$ and $Y$ are smooth, so that there's an isomorphism with K-theory of vector bundles, and there's a pullback for any morphism $f: X \to Y$. More generally, the intuition is that a pullback $f^*: K_\circ Y \to K_\circ X$ should be defined by $$f^*[\mathcal{F}] = \sum (-1)^i [Tor^Y_i(\mathcal{O}_X,\mathcal{F})].$$ This makes sense whenever $f$ is a <em>perfect</em> morphism, i.e., $\mathcal{O}_X$ has a finite resolution by flat $f^{-1}\mathcal{O}_Y$-modules, because in that case the Tor sheaves are zero all but finitely many $i$. In particular, it does work when $f$ is flat, or a regular embedding.</p> <p>(A word of warning: these Tor sheaves are not computed using the pushforward $f_*\mathcal{O}_X$ in general, although that does work when $f$ is a closed embedding. The correct definition is to cover $Y$ and $X$ by affines, construct the Tor locally, and glue --- see EGA III.6.)</p> <p>The answer to your last question is yes: if $Y$ and $Z$ are transversally intersecting subvarieties of a smooth variety $X$, with $Y\cap Z = W$, then $[\mathcal{O}_Y]\cdot [\mathcal{O}_Z] = [\mathcal{O}_W]$, because transversality implies vanishing of the higher Tor's.</p>