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 nonequivariant limit in this formula, using Brown’s mirror theorem for toric bundles.

The most fundamental example of mirror symmetry compares the Fermat hypersurfaces in $\mathbb {P}^n$ and $\mathbb {P}^n/G$ , where G is a finite group that acts on $\mathbb {P}^n$ and preserves the Fermat hypersurface. We generalize this to hypersurfaces in Grassmannians, where the picture is richer and more complex. There is a finite group G that acts on the Grassmannian $\operatorname {{\mathrm {Gr}}}(n,r)$ and preserves an appropriate Calabi–Yau hypersurface. We establish how mirror symmetry, toric degenerations, blow-ups and variation of GIT relate the Calabi–Yau hypersurfaces inside $\operatorname {{\mathrm {Gr}}}(n,r)$ and $\operatorname {{\mathrm {Gr}}}(n,r)/G$ . This allows us to describe a compactification of the Eguchi–Hori–Xiong mirror to the Grassmannian, inside a blow-up of the quotient of the Grassmannian by G.

We prove the abelian/nonabelian correspondence with bundles for target spaces that are partial flag bundles, combining and generalising results by Ciocan-Fontanine–Kim–Sabbah, Brown, and Oh. From this, we deduce how genus-zero Gromov–Witten invariants change when a smooth projective variety X is blown up in a complete intersection defined by convex line bundles. In the case where the blow-up is Fano, our result gives closed-form expressions for certain genus-zero invariants of the blow-up in terms of invariants of X. We also give a reformulation of the abelian/nonabelian Correspondence in terms of Givental’s formalism, which may be of independent interest.

Suppose that a complex manifold M is locally embedded into a higher-dimensional neighbourhood as a submanifold. We show that, if the local neighbourhood germs are compatible in a suitable sense, then they glue together to give a global neighbourhood of M. As an application, we prove a global version of Hertling–Manin's unfolding theorem for germs of TEP structures; this has applications in the study of quantum cohomology.

We prove a Givental-style mirror theorem for toric Deligne–Mumford stacks ${\mathcal{X}}$. This determines the genus-zero Gromov–Witten invariants of ${\mathcal{X}}$ in terms of an explicit hypergeometric function, called the $I$-function, that takes values in the Chen–Ruan orbifold cohomology of ${\mathcal{X}}$.