MathSciDoc: An Archive for Mathematician ∫

Let X and Y be K-equivalent toric Deligne–Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quan- tum connections for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved, which can be thought of as a linear symplectomorphism between the Given- tal spaces for X and Y , with a Fourier–Mukai transformation between the K-groups of X and Y , via an equivariant version of the Gamma-integral structure on quantum cohomology. We prove similar results for toric complete intersections. We im- pose only very weak geometric hypotheses on X and Y : they can be non-compact, for example, and need not be weak Fano or have Gorenstein coarse moduli space. Our main tools are the Mirror Theorems for toric Deligne–Mumford stacks and toric complete intersections, and the Mellin–Barnes method for analytic continuation of hypergeometric functions.

Roughly speaking, to any space M with perfect obstruc- tion theory we associate a space N with symmetric perfect obstruction theory. It is a cone over M given by the dual of the obstruction sheaf of M, and contains M as its zero section. It is locally the critical locus of a function. More precisely, in the language of derived algebraic geometry, to any quasi-smooth space M we associate its (−1)-shifted cotangent bundle N. By localising from N to its C∗-fixed locus M this gives five notions of virtual signed Euler characteristic of M: (1) TheCiocan-Fontanine-Kapranov/Fantechi-G ̈ottschesignedvirtual Euler characteristic of M defined using its own obstruction theory, (2) Graber-Pandharipande’s virtual Atiyah-Bott localisation of the virtual cycle of N to M, (3) Behrend’s Kai-weighted Euler characteristic localisation of the vir- tual cycle of N to M, (4) Kiem-Li’s cosection localisation of the virtual cycle of N to M, (5) (−1)vd times by the topological Euler characteristic of M. Our main result is that (1)=(2) and (3)=(4)=(5). The first two are deformation invariant while the last three are not.