Abstract:Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant universal extension of two nef line bundles via polyhedral inclusion/exclusion sequences.
Second, we link the cohomology of toric sheaves to the cohomology of certain constructible sheaves explicitly built out of the associated polyhedra. For the latter we define a concrete double complex and a spectral sequence which computes the cohomology of toric sheaves from the reduced cohomology of polyhedral subsets living in the realification of the character lattice of the toric variety.
What problem does this paper attempt to address?
This paper aims to solve several key problems related to toric sheaves on smooth projective toric varieties. Specifically:
1. **Explicit Construction of Toric Sheaves**:
- The author studied toric sheaves (i.e., reflexive sheaves with respect to the acting torus \(T\)) on the toric variety \(X\) and explored the properties of these sheaves from a polyhedral perspective.
- An important application is to explicitly construct the torus - invariant universal extensions of two nef line bundles through the polyhedral inclusion/exclusion sequence.
2. **Cohomology Computation of Toric Sheaves**:
- The author related the cohomology of toric sheaves to the cohomology of some constructed sheaves, which are explicitly built from the associated polyhedra.
- To this end, a specific double complex and spectral sequence are defined, and the cohomology of toric sheaves is computed by calculating the reduced cohomology of these polyhedral subsets in the realization of the character lattice of the toric variety.
### Specific Problems and Their Solutions
1. **Toric Sheaves from a Polyhedral Perspective**:
- Using the polyhedral method, the author provided a new perspective to understand and construct toric sheaves. In particular, for two nef line bundles \(\mathcal{O}_X(\nabla_-)\) and \(\mathcal{O}_X(\nabla_+)\), they constructed their torus - invariant universal extension \(E(\nabla_-, \nabla_+)\).
- This construction method utilizes the polyhedral inclusion/exclusion sequence, thus providing an explicit construction method.
2. **Cohomology Computation**:
- The author related the cohomology of toric sheaves to the cohomology of some constructed sheaves through the polyhedral method. Specifically, they defined a specific double complex and spectral sequence, and computed the cohomology of toric sheaves by calculating the reduced cohomology of these polyhedral subsets.
- This method not only provides the specific steps for computing cohomology but also reveals the profound connection between toric sheaves and polyhedra.
### Key Concepts and Formulas
- **Polyhedral Inclusion/Exclusion Sequence**:
\[
0 \to \nabla_+ \to \nabla_0 \oplus \nabla_1 \to \nabla_- \to 0
\]
where \(\nabla_0\) and \(\nabla_1\) are the connected components of \(\nabla_-\) and \(\nabla_+\).
- **Cohomology Computation**:
\[
H^\ell(X, \mathcal{E})_0 \cong H^\ell(\Delta, F(\mathcal{E}))
\]
where \(\Delta\) is an appropriate polyhedron and \(F(\mathcal{E})\) is a constructed \(k\)-linear sheaf.
### Summary
This paper systematically studied toric sheaves on toric varieties through the polyhedral method and provided a new perspective to understand and construct these sheaves. At the same time, by defining specific double complexes and spectral sequences, the author provided an effective method for computing the cohomology of toric sheaves. These results not only enrich the study of toric geometry but also provide powerful tools for further research in related fields.