28 pages, final version. More details on the construction of the functors, an extra example added in Section 5.2 (rank 2 stable reflexive but not locally free sheaf on (P^1)^3). To appear in Proceedings of the Royal Society of Edinburgh Section A: Mathematics
For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of torus equivariant reflexive sheaves on X. We show, under a genericity assumption on G, that slope stability is preserved by these functors if and only if the pair ((X, L), G) satisfies a combinatorial criterion. As an application, when (X,L) is a polarized toric orbifold of dimension n, we relate stable equivariant reflexive sheaves on (X, L) to stable equivariant reflexive sheaves on certain (n-1)-dimensional weighted projective spaces.
Given a smooth projective toric variety $X_Σ$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_Σ)$ into the dg derived category of constructible sheaves on a torus $Sh(T^n, Λ_Σ)$. Recently, Kuwagaki \cite{Ku2} proved that the quasi-embedding is a quasi-equivalence, and generalized the result to toric stacks. Here we give a different proof in the smooth projective case, using non-characteristic deformation of sheaves to find twisted polytope sheaves that co-represent …
The purpose of this paper is to calculate the support of the multiplier ideal sheaves derived from the Kähler-Ricci flow on certain toric Fano manifolds with large symmetry. The early idea of this paper has already been in Appendix of \cite{futaki-sano0711}.
We characterise and investigate co-Higgs sheaves and associated algebraic and combinatorial invariants on toric varieties. In particular, we compute explicit examples.
We extend Nadel's results on some conditions for the multiplier ideal sheaves to satisfy which are described in terms of an obstruction defined by the first author. Applying our extension we can determine the multiplier ideal sheaves on toric del Pezzo surfaces which do not admit Kähler-Einstein metrics. We also show that one can define multiplier ideal sheaves for Kähler-Ricci solitons and extend the result of Nadel using the holomorphic invariant defined by Tian and Zhu.
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
Using the homogeneous coordinate ring construction of a toric variety IP defined by a complete simplicial fan and the methods of local cohomology theory we develop a framework for the calculation of cohomology groups H^{*}(IP, O(p)) of twisting sheaves O(p) on IP.
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.
In this note we derive a formalism for describing equivariant sheaves over toric varieties. This formalism is a generalization of a correspondence due to Klyachko, which states that equivariant vector bundles on toric varieties are equivalent to certain sets of filtrations of vector spaces. We systematically construct the theory from the point of view of graded ring theory and this way we clarify earlier constructions of Kaneyama and Klyachko. We also connect the formalism to the theory of fine-graded modules over Cox' homogeneous coordinate ring of a toric variety. As an application we constr…
In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.
We provide a stacky fan description of the total space of certain split vector bundles, as well as their projectivization, over toric Deligne-Mumford stacks. We then specialize to the case of Hirzebruch orbifold $\mathcal{H}_{r}^{ab}$ obtained by projectivizing $\mathcal{O} \oplus \mathcal{O}(r)$ over the weighted projective line $\mathbb{P}(a,b)$. Next, we give a combinatorial description of toric sheaves on $\mathcal{H}_{r}^{ab}$ and investigate their basic properties. With fixed choice of polarization and a generating sheaf, we describe the fixed point locus of the moduli scheme of $μ$-stab…
We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.
We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula al…
For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to the sheafification functor and therefore left-exact. Moreover, we show that this functor preserves torsion-freeness and reflexivity. For the case of toric sheaves we give a combinatorial characterization of its right-derived functors in terms of certain right-derived limit functors.
Given a smooth toric variety $X$, the action of the torus $T$ lifts to the moduli space $\mathcal{M}$ of stable sheaves on $X$. Using the pioneering work of Klyacho, a fairly explicit combinatorial description of the fixed point locus $\mathcal{M}^T$ can be given (as shown by earlier work of the author). In this paper, we apply this description to the case of torsion free sheaves on a smooth toric surface $S$. A general expression for the generating function of the Euler characteristics of such moduli spaces is obtained. The generating function is expressed in terms of Euler characteristics of…
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular to the (0,2) models of Distler, Kachru, and also discuss how knowledge of equivariant sheaves can be used to reconstruct information about an entire moduli space of sheaves. Many results relevant to heterotic compactifications previously known only to mathematicians are collected here -- for example, results concerning whether the restriction of a stable shea…
We consider for structure groups ${\rm SU}(n)\,\subset\, {\rm SL}(n,\mathbb C)$ a densely defined toric structure on the moduli of framed parabolic sheaves on a three-punctured sphere, which degenerates to an actual toric structure. In combination with previous degeneration results, these extend to similar moduli for arbitrary Riemann surfaces.
We study equivariant resolutions and local cohomologies of toric sheaves for affine toric varieties, where our focus is on the construction of new examples of decomposable maximal Cohen-Macaulay modules of higher rank. A result of Klyachko states that the category of reflexive toric sheaves is equivalent to the category of vector spaces together with a certain family of filtrations. Within this setting, we develop machinery which facilitates the construction of minimal free resolutions for the smooth case as well as resolutions which are acyclic with respect to local cohomology functors for th…
We show that certain categories of perverse sheaves on a pair of affine toric varieties defined by dual cones are Koszul dual in the sense of Beilinson, Ginzburg and Soergel. The functor expressing this duality is constructed explicitly using a combinatorial model for mixed sheaves on toric varieties.
We study global primary decompositions in the category of sheaves on a scheme which are equivariant under the action of an algebraic group. We show that equivariant primary decompositions exist if the group is connected. As main application we consider the case of varieties which are quotients of a quasi-affine variety by the action of a diagonalizable group and thus admit a homogeneous coordinate ring, such as toric varieties. Comparing these decompositions with primary decompositions of graded modules over the homogeneous coordinate ring, we show that these are equivalent if the action of th…
In each dimension n>2 there are many projective simplicial toric varieties whose Grothendieck groups of vector bundles are at least as big as the ground field. In particular, the conjecture that the Grothendieck groups of locally trivial sheaves and coherent sheaves on such varieties are rationally isomorphic fails badly.
Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of results by Cox and Mustata allow to describe quasicoherent sheaves on toric schemes in terms of graded modules. Finally, a toric version of the Serre-Grothendieck correspondence relates cohomology of quasicoherent sheaves on toric schemes to local cohomology of graded modules.
In the first part of this paper, we study the properties of some particular plurisubharmonic functions, namely the toric ones. The main result of this part is a precise description of their multiplier ideal sheaves, which generalizes the algebraic case studied by Howald. In the second part, almost entirely independent of the first one, we generalize the notion of the adjoint ideal sheaf used in algebraic geometry to the analytic setting. This enables us to give an analogue of Howald's theorem for adjoint ideals attached to monomial ideals. Finally, using the local Ohsawa-Takegoshi-Manivel theo…
Morelli's computation of the K-theory of a toric variety X associates a polyhedrally constructible function on a real vector space to every equivariant vector bundle E on X. The coherent-constructible correspondence lifts Morelli's constructible function to a complex of constructible sheaves kappa(E). We show that certain filtrations of the cohomology of kappa(E) coming from Morse theory coincide with the Klyachko filtrations of the generic stalk of E. We give Morse-theoretic (i.e. microlocal) conditions for a complex of constructible sheaves to correspond to a vector bundle, and to a nef vect…
Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of B-graded S-modules to the category of quasicoherent O_X-modules that vanishes on I-torsion modules and that induces for every B-graded S-module F a surjection Xi_F from the set of I-saturated graded sub-S-modules of F onto the set of quasicoherent sub-O_X-modules of ~F. If Sigma is simplicial, the above data can be chosen such that ~ vanishes precisely on I-t…
We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of…
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
In this paper we show that the moduli space of framed torsion-free sheaves on a certain class of toric surfaces admits a filtrable Bialynicki-Birula decomposition determined by the torus action. The irreducibility of this moduli space follows immediately as a corollary. Moreover, using its filtrable decomposition we show that the moduli space shares the same homotopy type of an invariant proper compact subvariety having the same fixed points set. We start our study from the moduli space of framed torsion-free sheaves on the projective plane. Afterwards, we generalize the results to toric surfa…
We use Lagrangian torus fibrations on the mirror $X$ of a toric Calabi-Yau threefold $\check X$ to construct Lagrangian sections and various Lagrangian spheres on $X$. We then propose an explicit correspondence between the sections and line bundles on $\check X$ and between spheres and sheaves supported on the toric divisors of $\check X$. We conjecture that these correspondences induce an embedding of the relevant derived Fukaya category of $X$ inside the derived category of coherent sheaves on $\check X$.
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for any $c_1$, "low values" of $c_2$, and arbitrary $c_3$. In the classical part of the paper, we introduce a new type of combinatorics called double box configurations, which can be used to compute the g…
We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M…
The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional sequences. The problem of characterizing smooth projective varieties which have a full strongly exceptional collection and investigate whether there is one consisting of line bundles is a classical and important question in Algebraic Geometry. Not all smooth projective varieties have a full strongly exceptional collection of coherent sheaves. In this paper …
We prove the homological mirror conjecture for toric del Pezzo surfaces. In this case, the mirror object is a regular function on an algebraic torus. We show that the derived Fukaya category of this mirror coincides with the derived category of coherent sheaves on the original manifold.
We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general description of equivariant sheaves on toric varieties. Here we give a first application of that description.
Achar has recently introduced a family of t-structures on the derived category of equivariant coherent sheaves on a $G$-scheme, generalizing the perverse coherent t-structures of Bezrukavnikov and Deligne. They are called \emph{staggered} t-structures, and their main point of interest so far is that they are more often self-dual. In this paper we investigate these t-structures on the $T$-equivariant derived category of a toric variety.
We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let $X$ be a proper toric variety of dimension $n$ and let $M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n$ be the Lie algebra of the compact dual (real) torus $T_\bR^\vee\cong U(1)^n$. Then there is a corresponding conical Lagrangian $Λ\subset T^*M_\bR$ and an equivalence of triangulated dg categories $\Perf_T(X) \cong \Sh_{…
The Cox construction presents a toric variety as a quotient of affine space by a torus. The category of coherent sheaves on the corresponding stack thus has an evident description as invariants in a quotient of the category of modules over a polynomial ring. Here we give the mirror to this description, and in particular, a clean new proof of mirror symmetry for smooth toric stacks.
