4
$\begingroup$

If $X$ is a complete variety over a field, a line bundle $L$ is said to be very ample if there is a closed immersion from $X$ into a projective space, such that the pullback of $\mathcal{O}(1)$ is isomorphic to $L$. Consequently, an ample line bundle can be defined as a line bundle such that some tensor power of it is very ample.

There is also a notion of amplitude for vector bundles, which seems to have mostly been developed by Hartshorne. One definition that can be taken is that if $E$ is a vector bundle, then $E$ is ample if $\mathcal{O}(1)$ on $\mathbb{P}(E)$ is ample. This is the definition taken in Positivity in Algebraic Geometry II, by Robert Lazarsfeld, and in Example 6.1.6, he states that the tautological bundle on some Grassmanians is nef but not ample, and hence any provisional definition of ample vector bundles in terms of embeddings into Grassmanians is destined to fail.

My questions are the following:

  1. What might be some conditions on $E$ so that it does give some embedding into a Grassmanian? Can this be geometrically realized as in the case of ample vector bundles, i.e., is there a notion of very ample vector bundle (which hopefully would include ample vector bundles) which do give embeddings?

  2. Given any coherent sheaf $F$ over $X$, we can form its symmetric algebra $S(F)$, and then form $\tilde X = \underline{\operatorname{Proj}}(S(E))$. Could then one define an ample coherent sheaf as above, where $\mathcal{O}(1)$ on $\tilde X$ is ample? Could one also generalize this to a notion of embeddings, i.e., very ample coherent sheaves?

  3. If the answer to the above is no; what about the special case of divisorial sheaves (reflexive, generically rank one)? Specifically I am interested in some notion which generalizes the canonical model of a smooth variety to that of Cohen-Macaulay varieties by somehow defining amplitude (in terms of embeddings) of the canonical (generalized) divisor $\omega_X=h^{-n}(\omega_{\overline X}^\bullet)|_X=\mathscr Ext^{N-n}_{\mathbb P^N}(\mathscr O_{\overline X},\omega_{\mathbb P^N})|_X$, where $X \subset \mathbb{P}^N$ is of dimension $n$.

$\endgroup$
5
$\begingroup$

The answer to your first question is yes. Gieseker (https://projecteuclid.org/download/pdf_1/euclid.nmj/1118798367) calls such bundles as strongly ample. ( see p 92 of above paper). To see that such bundles give embeddings into grassmanians (the universal subbundle on the grassmanian (or maybe its dual, depending on your convention) pulls back to it), you might have to look at the proof of Prop 2.1, p101 of the above paper. Strongly amples bundles are ample , Theorem 2.1, p102. Also look at p 172 of Fulton's https://link.springer.com/content/pdf/10.1007/BF01389960.pdf

Its seems the answer to your second question is also yes. See Kubota, K., Ample sheaves, J. Fac. Sci. Univ. Tokyo Sect. I A Math

$\endgroup$
  • $\begingroup$ Thank you for the answer. Would you happen to have a link for the paper of Kubota? $\endgroup$ – DKS May 27 at 17:31
  • 2
    $\begingroup$ You can access the Kubota paper here: http://hdl.handle.net/2261/6094. $\endgroup$ – Takumi Murayama May 27 at 21:19
  • $\begingroup$ Thanks very much! $\endgroup$ – DKS May 28 at 1:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.