Natural coherent sheaves on algebraic varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T01:54:28Z http://mathoverflow.net/feeds/question/57682 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties Natural coherent sheaves on algebraic varieties vic 2011-03-07T15:21:12Z 2011-03-08T09:01:59Z <p>Let X be a smooth projective variety of dimension d over an algebraically closed field k. Can you please list some examples of natural locally free or coherent sheaves that you can always construct on X, regardless whether X has some particular structure or is of general type?</p> <p>I can only name the two obvious examples: the structural sheave and the sheaf of differentials (and obvious combinations of them, of course, which do not count).</p> <p>I can believe that these are the only ones for curves, as the genus is the only discrete invariant available.</p> <p>What about surfaces, for instance? </p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57683#57683 Answer by Karl Schwede for Natural coherent sheaves on algebraic varieties Karl Schwede 2011-03-07T15:30:49Z 2011-03-07T15:30:49Z <p>In characteristic $p > 0$ one can take the Frobenius (iterated) pushforward of the structure sheaf and various sheaves of differentials. These are always locally free by an old result of Kunz. For toric varieties (and related varieties) you can explicitly compute these Frobenius pushforward sheaves, see a paper by Thomsen.</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57689#57689 Answer by David Speyer for Natural coherent sheaves on algebraic varieties David Speyer 2011-03-07T16:17:02Z 2011-03-07T16:17:02Z <p>This is really a comment that is too long for the comment box, in an attempt to more clearly define the problem. </p> <p>I assume that "obvious combinations" includes the result of applying any <a href="http://ncatlab.org/nlab/show/Schur+functor" rel="nofollow">Schur functor</a> to $T^* X$ and $T_* X$, and any direct sum of such. </p> <p>Does it include nontrivial extensions of such? Because there are some. For example: Let $\mathcal{I}$ be the ideal sheaf of the diagonal on $X \times X$. Then we have a short exact sequence on $X \times X$: <code>$$0 \to \mathcal{I}/\mathcal{I}^2 \to \mathcal{O}/\mathcal{I}^2 \to \mathcal{O}/\mathcal{I} \to 0.$$</code> Pushing this to the first copy of $X$, we have a short exact sequence: <code>$$0 \to \Omega^1(X) \to A \to \mathcal{O}_X \to 0$$</code> where $A$ is an extension which is usually nontrivial. (In particular, it is nontrivial if any of the Chern classes of $T^* X$ are nontrivial.) You can play similar games with higher tensor powers of $\mathcal{I}$ and get other canonical nontrivial extensions between tensor powers of $T^* X$.</p> <p>Let me suggest breaking your question up into several parts, of successively greater optimism. I will leave the word "canonical" undefined for now. For the reasons Karl mentions, all of these are guesses are in characteristic zero.</p> <p>Guess 1: The only canonical classes in $K_0(X)$ are integer combinations of the Schur functors of $T_* X$ and $T^* X$.</p> <p>Guess 2: The only canonical classes in $K_0(X)$ which are classes of vector bundles are nonnegative integer combinations of the Schur functors of $T_* X$ and $T^* X$.</p> <p>Guess 3: Every canonical method of assigning a vector bundle to an algebraic variety has an filtration whose successive quotients are the Schur functors of $T_* X$ and $T^* X$.</p> <p>Guess 4, somewhat vague: All of the extensions of vector bundles occurring in guess 3 are built from constructions on nilpotent thickenings of the diagonal in $X \times X$.</p> <p>I don't know whether any of these guesses are true, but they might help focus the discussion.</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57690#57690 Answer by Qfwfq for Natural coherent sheaves on algebraic varieties Qfwfq 2011-03-07T16:25:34Z 2011-03-07T16:25:34Z <p>Do $\mathcal{D}$-modules, such as the sheaf of rings of differential operators $\mathcal{D}_X$ itself, count as combinations?</p> <p>And the jet bundles $\mathrm{Jet}^k_X$ ?</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57693#57693 Answer by Sándor Kovács for Natural coherent sheaves on algebraic varieties Sándor Kovács 2011-03-07T16:44:01Z 2011-03-08T01:24:52Z <p>I'll put out the following possibly bold, possibly totally stupid conjectures. In any case, the statements below are not intended as mathematically rigorous statements, but may have some truth in them. Cheers!</p> <p><strong>Conjecture 1</strong> Any naturally defined coherent sheaf on all smooth projective varieties is related to the sheaf of differentials via tensor operations and up to torsion.</p> <p>A more concrete version is</p> <p><strong>Conjecture 2</strong> Let $\mathscr L_X$ be a naturally defined line bundle on all smooth projective varieties $X$. Then some tensor power (possibly negative or zero) of $\mathscr L_X$ agrees with some tensor power of the canonical bundle.</p> <p><em>Remark</em> Jason pointed out that there are naturally defined torsion line bundles and Arend's idea of defining sheaves as push-forwards would produce sheaves supported on proper closed subvarieties. This is the main motivation for the "up to torsion" part of the first conjecture and for taking powers of the natural line bundle and the canonical bundle. Also notice that David Ben-Zvi's construction produces sheaves that satisfy these conjectures and the extensions in David Speyer's answer produce sheaves whose determinants are powers of the canonical sheaf. </p> <p>To get to Conjecture 1 from Conjecture 2 one could argue the following way. Since the claim is "up to torsion" we can mod out by the torsion and assume that our sheaf is torsion-free. Now since we are on a smooth variety this implies that it is locally free in codimension $2$ and actually, again by the "up to torsion" principle, we may assume that it is reflexive, that is, take the reflexive hull, or in other words, the push-forward of the restriction to the open set where it is a locally free sheaf. In other words, we may perform all tensor operations as if we had locally free sheaves and in particular, the (reflexive hull of the) determinant will be a line bundle. In other words, up to torsion, we obtained a natural line bundle. If that is either the structure sheaf or the canonical bundle, then we're in business.</p> <p>The reasoning I can offer for Conjecture 2 is the following: If there is a natural line bundle, then we can ask whether it is ample (or its inverse is) and for those varieties that it is we obtain a natural embedding (after taking some power). Once we have this we can look at the corresponding Hilbert schemes and try to construct moduli spaces. For those varieties on which this mysterious line bundle is not ample we can still define a corresponding Kodaira dimension and study Iitaka fibrations and eventually work toward a corresponding classification theory. I don't think any of this has happened except for the version using the canonical sheaf. I believe that suggests that there are no other non-trivial natural line bundles. </p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57698#57698 Answer by Johannes Ebert for Natural coherent sheaves on algebraic varieties Johannes Ebert 2011-03-07T17:01:06Z 2011-03-07T17:01:06Z <p>The jet bundle $J_k (X)$ has been mentioned several times. It is NOT a ''combination'' of the tangent bundle, because it cannot be recovered from the tangent bundle (not by bundle techniques, at least). To fix the notation, a point in $J_k (X)$ over $x$ is a germ of a rational function on $X$, and two are equivalent if they coincide up to order $k$ at $x$. There are epimorphisms $J_k (X) \to J_{k-1}$ with kernel $Sym^k (T^{\ast} X)$, and of course $J_1 (X) = T^{\ast}(X)$. Dually, we can consider jet bundles of germs of curves into $X$. These jet bundles give some more credibility to the four guesses that David made.</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57699#57699 Answer by David Ben-Zvi for Natural coherent sheaves on algebraic varieties David Ben-Zvi 2011-03-07T17:24:23Z 2011-03-07T17:24:23Z <p>One formal approach to a problem like this is motivated by the "formal geometry" of Gelfand-Fuchs (which is the subject of other MO questions). We can define a "natural bundle" on a class of spaces to be one associated to a representation of a structure group of the given geometry. This is a common approach in differential geometry, where there's a lot known about natural differential operators etc. But in any case in the current context we can define a natural bundle on smooth n-dimensional varieties as one associated to a representation of the group of changes of coordinates on a formal n-dimensional disc. Every smooth variety has a canonical principal bundle for this group (with fiber over $x\in X$ the variety of isomorphisms between the completion of $X$ at $x$ and the formal disc), and so given a representation of the group we get a vector bundle on any variety of the given dimension.</p> <p>All of the bundles discussed in the answers above are of this form (including jet bundles, sheaves of differential operators etc). If you take this as a definition of a natural bundle it's easy to prove the conjecture that they're all extensions of powers of bundles of forms: the group of changes of coordinates is an extension of $GL_n$ (the structure group of the tangent bundle) by a pro-unipotent group (changes of coordinate with derivative the identity). Hence all representations have filtrations with associated graded bundles associated to the (frame bundle of the) tangent bundle in the usual sense (ie all the Schur functors of the tangent bundle, like forms).</p> <p>Edit: it's interesting to note that if we take representations of this group which extend to the Lie algebra of all derivations of formal power series in n variables (ie we have an action of $\partial_x$'s on the module as well) we get "all" natural flat bundles on smooth varieties --- such as the sheaves of all jets or all differential operators.</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57729#57729 Answer by Jason Starr for Natural coherent sheaves on algebraic varieties Jason Starr 2011-03-07T20:59:30Z 2011-03-07T20:59:30Z <p>What about the locally free sheaf which is the direct sum of all n-torsion invertible sheaves, for some fixed integer n? Of course on many smooth, projective varieties this is zero. But it is a "canonically defined" locally free sheaf which is sometimes nonzero. And I see no obvious way to build this from the structure sheaf or the cotangent sheaf. </p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57738#57738 Answer by ABayer for Natural coherent sheaves on algebraic varieties ABayer 2011-03-07T21:54:42Z 2011-03-07T21:54:42Z <p>Given a map $f \colon X \to Y$, there are of course various ways to construct sheaves on $X$ from $f$ - e.g. relative differentials, or any other sheaf obtained from the cotangent complex of $f$, etc.</p> <p>So any canonically constructed map gives canonically constructed sheaves. An example would be the Albanese map. For varieties of general type, one could also construct sheaves associated to the map to the canonical model (but of course this needs more care, as this is only a rational map).</p> <p>One could also construct sheaves on $X$ from natural morphisms to $X$, but I don't right away see a way to get a <em>coherent</em> sheaf in that manner. (A cheap way to get a quasi-coherent sheaf would, for example, be to take the push-forward of the structure sheaf of the universal curve of the union of all Kontsevich spaces of stable maps from curves of a fixed genus $g$.)</p> http://mathoverflow.net/questions/57682/natural-coherent-sheaves-on-algebraic-varieties/57796#57796 Answer by Piotr Achinger for Natural coherent sheaves on algebraic varieties Piotr Achinger 2011-03-08T09:01:59Z 2011-03-08T09:01:59Z <p>In characteristic $p>0$, you can not only take push-forwards by the Frobenius (see Karl Schwede's answer), but also pull-backs. </p> <p>Of course pulling the structure sheaf back gives the structure sheaf, but you can pull-back higher rank bundles, e.g. $\Omega_X^i$. The bundles $F^{s*} \Omega^i_X$ have been studied in the paper </p> <p>Brückmann, P., Müller, D. "Birational invariants in the case of prime characteristic". Manuscripta Math. 95 (1998), no. 4, 413–429. (MR1618186)</p> <p>As the title suggests, they produce birational invariants generalizing the plurigenera. </p>