No Arabic abstract
Quiver flag zero loci are subvarieties of quiver flag varieties cut out by sections of homogeneous vector bundles. We prove the Abelian/non-Abelian Correspondence in this context: this allows us to compute genus zero Gromov--Witten invariants of quiver flag zero loci. We determine the ample cone of a quiver flag variety, disproving a conjecture of Craw. In the Appendices, which are joint work with Tom Coates and Alexander Kasprzyk, we use these results to find four-dimensional Fano manifolds that occur as quiver flag zero loci in ambient spaces of dimension up to 8, and compute their quantum periods. In this way we find at least 141 new four-dimensional Fano manifolds.
The classification of Fano varieties is an important open question, motivated in part by the MMP. Smooth Fano varieties have been classified up to dimension three: one interesting feature of this classification is that they can all be described as certain subvarieties in GIT quotients; in particular, they are all either toric complete intersections (subvarieties of toric varieties) or quiver flag zero loci (subvarieties of quiver flag varieties). There is a program to use mirror symmetry to classify Fano varieties in higher dimensions. Fano varieties are expected to correspond to certain Laurent polynomials under mirror symmetry; given such a Fano toric complete intersections, one can produce a Laurent polynomial via the Hori--Vafa mirror. In this paper, we give a method to find Laurent polynomial mirrors to Fano quiver flag zero loci in $Y$-shaped quiver flag varieties. To do this, we generalise the Gelfand--Cetlin degeneration of type A flag varieties to Fano $Y$-shaped quiver flag varieties, and give a new description of these degenerations as canonical toric quiver varieties. We find conjectural mirrors to 99 four dimensional Fano quiver flag zero loci, and check them up to 20 terms of the period sequence.
We find at least 527 new four-dimensional Fano manifolds, each of which is a complete intersection in a smooth toric Fano manifold.
The rim-hook rule for quantum cohomology of the Grassmannian allows one to reduce quantum calculations to classical calculations in the cohomology of the Grassmannian. We use the Abelian/non-Abelian correspondence for cohomology to prove a rim-hook removal rule for the cohomology of quiver flag varieties. Quiver flag varieties are generalisations of type A flag varieties; this result is new even in the flag case. This gives an effective way of computing products in their cohomology, reducing computations to that in the cohomology ring of the Grassmannian. We then prove a quantum rim-hook rule for Fano quiver flag varieties (including type A flag varieties). As a corollary, we see that the Gu--Sharpe mirror to a Fano quiver flag variety computes its quantum cohomology.
The Maroni stratification on the Hurwitz space of degree $d$ covers of genus $g$ has a stratum that is a divisor only if $d-1$ divides $g$. Here we construct a stratification on the Hurwitz space that is analogous to the Maroni stratification, but has a divisor for all pairs $(d,g)$ with $d leq g$ with a few exceptions and we calculate the divisor class of an extension of these divisors to the compactified Hurwitz space.
We collect a list of known four-dimensional Fano manifolds and compute their quantum periods. This list includes all four-dimensional Fano manifolds of index greater than one, all four-dimensional toric Fano manifolds, all four-dimensional products of lower-dimensional Fano manifolds, and certain complete intersections in projective bundles.