Topological obstructions to extending algebraic vector bundles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:43:04Z http://mathoverflow.net/feeds/question/36195 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36195/topological-obstructions-to-extending-algebraic-vector-bundles Topological obstructions to extending algebraic vector bundles David Treumann 2010-08-20T14:56:40Z 2010-08-20T14:56:40Z <p><a href="http://mathoverflow.net/questions/22111/extending-vector-bundles-on-a-given-open-subscheme" rel="nofollow">Ariyan</a> and <a href="http://mathoverflow.net/questions/35788/extending-vector-bundles-on-a-given-open-subscheme-reprise" rel="nofollow">Kevin Lin</a> have asked about the problem of extending vector bundles defined on an open subvariety across the rest of the variety. There can be subtle commutative algebra obstructions, as in Sasha's answer to Kevin's question.</p> <p>In another answer to Kevin's question, Donu Arapura pointed out that a coarser cohomological obstruction is almost irrelevant. If X is a complex variety and U is an open subvariety, then in order for a vector bundle E on U to extend its Chern classes must be in the image of the map $H^\ast(X) \to H^\ast(U)$. In case X is smooth Donu sketches an argument, using Deligne's theory of weights, that this is always true if we take rational coefficients.</p> <p>There is no formalism of weights in cohomology with integer coefficients. In a comment to Donu's answer I proposed an example of a line bundle on U with torsion Chern class that was not in the image of $H^2(X;Z) \to H^2(U;Z)$. But this example is completely wrong. In an e-mail, Donu gave me a short argument that avoids weights and applies to integer Chern classes. In a smooth U a Chern class $c_i(E)$ can always be represented by a codimension i cycle, and to extend it to X we can take its closure.</p> <p>Are there any topological obstructions to extending algebraic vector bundles? That is, do there exist X, U, E, with X and U smooth, so that E does not even extend to a non-algebraic complex vector bundle on X? </p>