Natural coherent sheaves on algebraic varieties - MathOverflow

Natural coherent sheaves on algebraic varieties

2011-03-07T15:21:12Z

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?

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

I can believe that these are the only ones for curves, as the genus is the only discrete invariant available.

What about surfaces, for instance?

Answer by Karl Schwede for Natural coherent sheaves on algebraic varieties

2011-03-07T15:30:49Z

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.

Answer by David Speyer for Natural coherent sheaves on algebraic varieties

2011-03-07T16:17:02Z

This is really a comment that is too long for the comment box, in an attempt to more clearly define the problem.

I assume that "obvious combinations" includes the result of applying any Schur functor to $T^* X$ and $T_* X$, and any direct sum of such.

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$: $$0 \to \mathcal{I}/\mathcal{I}^2 \to \mathcal{O}/\mathcal{I}^2 \to \mathcal{O}/\mathcal{I} \to 0.$$ Pushing this to the first copy of $X$, we have a short exact sequence: $$0 \to \Omega^1(X) \to A \to \mathcal{O}_X \to 0$$ 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$.

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.

Guess 1: The only canonical classes in $K_0(X)$ are integer combinations of the Schur functors of $T_* X$ and $T^* X$.

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

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

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

I don't know whether any of these guesses are true, but they might help focus the discussion.

Answer by Qfwfq for Natural coherent sheaves on algebraic varieties

2011-03-07T16:25:34Z

Do $\mathcal{D}$-modules, such as the sheaf of rings of differential operators $\mathcal{D}_X$ itself, count as combinations?

And the jet bundles $\mathrm{Jet}^k_X$ ?

Answer by Sándor Kovács for Natural coherent sheaves on algebraic varieties

2011-03-07T16:44:01Z

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!

Conjecture 1 Any naturally defined coherent sheaf on all smooth projective varieties is related to the sheaf of differentials via tensor operations and up to torsion.

A more concrete version is

Conjecture 2 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.

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

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.

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.

Answer by Johannes Ebert for Natural coherent sheaves on algebraic varieties

2011-03-07T17:01:06Z

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.

Answer by David Ben-Zvi for Natural coherent sheaves on algebraic varieties

2011-03-07T17:24:23Z

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.

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

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.

Answer by Jason Starr for Natural coherent sheaves on algebraic varieties

2011-03-07T20:59:30Z

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.

Answer by ABayer for Natural coherent sheaves on algebraic varieties

2011-03-07T21:54:42Z

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.

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

One could also construct sheaves on $X$ from natural morphisms to $X$, but I don't right away see a way to get a coherent 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$.)

Answer by Piotr Achinger for Natural coherent sheaves on algebraic varieties

2011-03-08T09:01:59Z

In characteristic $p>0$, you can not only take push-forwards by the Frobenius (see Karl Schwede's answer), but also pull-backs.

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

Brückmann, P., Müller, D. "Birational invariants in the case of prime characteristic". Manuscripta Math. 95 (1998), no. 4, 413–429. (MR1618186)

As the title suggests, they produce birational invariants generalizing the plurigenera.