No Arabic abstract
We show that the Virasoro conjecture in Gromov--Witten theory holds for the the total space of a toric bundle $E to B$ if and only if it holds for the base $B$. The main steps are: (i) we establish a localization formula that expresses Gromov--Witten invariants of $E$, equivariant with respect to the fiberwise torus action, in terms of genus-zero invariants of the toric fiber and all-genus invariants of $B$; and (ii) we pass to the non-equivariant limit in this formula, using Browns mirror theorem for toric bundles.
Using new explicit formulas for the stationary GW/PT descendent correspondence for nonsingular projective toric 3-folds, we show that the correspondence intertwines the Virasoro constraints in Gromov-Witten theory for stable maps with the Virasoro constraints for stable pairs. Since the Virasoro constraints in Gromov-Witten theory are known to hold in the toric case, we establish the stationary Virasoro constraints for the theory of stable pairs on toric 3-folds. As a consequence, new Virasoro constraints for tautological integrals over Hilbert schemes of points on surfaces are also obtained.
For any two nef line bundles F and G on a toric variety X represented by lattice polyhedra P respectively Q, we present the universal equivariant extension of G by F under use of the connected components of the set theoretic difference of Q and P.
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans. The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
There is a standard method to calculate the cohomology of torus-invariant sheaves $L$ on a toric variety via the simplicial cohomology of associated subsets $V(L)$ of the space $N_{mathbb R}$ of 1-parameter subgroups of the torus. For a line bundle $L$ represented by a formal difference $Delta^+-Delta^-$ of polyhedra in the character space $M_{mathbb R}$, [ABKW18] contains a simpler formula for the cohomology of $L$, replacing $V(L)$ by the set-theoretic difference $Delta^- setminus Delta^+$. Here, we provide a short and direct proof of this formula.
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and the first two that preceded it are the first in a series aimed to explore this new approach. In Part I, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to its subgraphs. In Part II, we described the arrangements of toric varieties associated to the tilings of Part I in several ways: using normal fans, as unions of orbits, by equations and as degenerations of tori. In the present Part III, we show how these combinatorial and toric frameworks allow us to describe all stable limits of a family of line bundles along a degenerating family of curves. Our main result asserts that the collection of all these limits is parametrized by a connected 0-dimensional closed substack of the Artin stack of all torsion-free rank-one sheaves on the limit curve. Moreover, we thoroughly describe this closed substack and all the closed substacks that arise in this way as certain torus quotients of the arrangements of toric varieties of Part II determined by the Voronoi tilings of Euclidean spaces studied in Part I.