The cohomology of general tensor products of vector bundles on \(\mathbb{P}^2\) (Q2238227)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The cohomology of general tensor products of vector bundles on \(\mathbb{P}^2\)
scientific article

    Statements

    The cohomology of general tensor products of vector bundles on \(\mathbb{P}^2\) (English)
    0 references
    0 references
    0 references
    0 references
    1 November 2021
    0 references
    The main result of this paper computes the cohomology of the tensor product of two general stable vector bundles. More in detail, consider \(\mathbf{v}\) and \(\mathbf{w}\) two Chern characters of stable bundles on \(\mathbb{P}^2\). Take \(V \in M(\mathbf{v})\) and \(W \in M(\mathbf{w})\) two general bundles, such that the moduli space \(M(\mathbf{v})\) is positive dimensional and \(\mathbf{w}\) is sufficiently divisible (possibly replacing the character by \(m\mathbf{w}\), with \(m\in \mathbb{Q}_{\geq 0}\), depending on \(\mathbf{v} \)). Let \(E_+\) the primary correspondent exceptional bundle to \(\mathbf{v}\) and \[\mathbf{k} = \mathbf{v} - \chi(V \otimes E_+)\mbox{ch}E_+^*. \] Then, if \(\chi(\mathbf{v} \otimes E_+) > 0\), \(\mbox{rk}(k) > 0\), \(\chi(\mathbf{k} \otimes \mathbf{w}) < 0\) and \(\chi(\mathbf{w} \otimes E_+^*) > 0\), we have that \[ h^0(V\otimes W)= \chi(\mathbf{v} \otimes E_+)\chi(\mathbf{w} \otimes E_+^*) \mbox{ and } h^1(V\otimes W)= - \chi(\mathbf{k} \otimes\mathbf{w}). \] In all the other cases, either \(H^0(V \otimes W)=0\) or \(H^1(V \otimes W)=0\). The key ingredients of this interesting result are, first, to consider a Kronecker fibration determined by the Chern character \(\mathbf{v}\). This allows us to work with the exceptional bundles that arise when taking the Beilinson spectral sequence of \(V\). Afterwards, the general bundle \(W \in M(\mathbf{w})\) is used to decompose the \((\mu, \Delta)\)-plane, being \(\mu\) the slope and \(\Delta\) the discriminant of a bundle. Finally, the cohomology of \(V \otimes W\) is studied in every region obtained by the plane decomposition. The authors also characterize when \(V \otimes W\) is globally generated.
    0 references
    moduli spaces of sheaves
    0 references
    sheaf cohomology
    0 references
    Brill-Noether divisors
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references