We study $K$-theoretic integrals over famed quiver moduli via wall-crossing phenomena. We study the chainsaw quiver varieties, and consider generating functions defined by two types of $K$-theoretic classes. In particular, we focus on integrals over the handsaw quiver varieties of type $A_{1}$, and get functional equations for each of them. We also give explicit formula for these partition functions. In particular, we obtain geometric interpretation of transformation formulas for multiple basic hypergeometric series including the Kajihara transformation formula, and the one studied by Langer-Schlosser-Warnaar and Hallnäs-Langman-Noumi-Rosengren.
We first retell in the K-theoretic context the heuristics of $S^1$-equivariant Floer theory on loop spaces which gives rise to $D_q$-module structures, and in the case of toric manifolds, vector bundles, or super-bundles to their explicit $q$-hypergeometric solutions. Then, using the fixed point localization technique developed in Parts II--IV, we prove that these $q$-hypergeometric solutions represent K-theoretic Gromov-Witten invariants.
Given an arrangement of hyperplanes in $¶^n$, possibly with non-normal crossings, we give a vanishing lemma for the cohomology of the sheaf of $q$-forms with logarithmic poles along our arrangement. We give a basis for the ideal $\cal J$ of relations for the Orlik-Solomon's algebra. Under certain genericity conditions it was shown by H.~Esnault, V.~Schechtman and E.~Viehweg that the cohomology of a local system is given by the Aomoto complex. We generalize this result to a deformation of local systems obtained via a deformation of our arrangement. We calculate the Gauß-Manin connection for thi…
From the viewpoint of mirror symmetry, we revisit the hypergeometric system $E(3,6)$ for a family of K3 surfaces. We construct a good resolution of the Baily-Borel-Satake compactification of its parameter space, which admits special boundary points (LCSLs) given by normal crossing divisors. We find local isomorphisms between the $E(3,6)$ systems and the associated GKZ systems defined locally on the parameter space and cover the entire parameter space. Parallel structures are conjectured in general for hypergeometric system $E(n,m)$ on Grassmannians. Local solutions and mirror symmetry will be …
For a Fermat quasi-homogeneous polynomial $W$, we study a family of K-theoretic quantum invariants parametrized by a positive rational number $ε$. We prove a wall-crossing formula by showing the generating functions lie on the Lagrangian cone of the permutation-equivariant K-theoretic FJRW theory of $W$.
We study genus zero wall-crossing for a family of moduli spaces introduced recently by Fan-Farvis-Ruan. The family has a wall and chamber structure relative to a positive rational parameter. For a Fermat quasi-homogeneous polynomial W (not necessarily Calabi-Yau type), we study natural generating functions of invariants associated to these moduli spaces. Our wall-crossing formula relates the generating functions by showing that they all lie on the same Lagrangian cone associated to the Fan-Jarvis-Ruan-Witten theory of W. For arbitrarily small parameter, a specialization of our generating funct…
For each positive rational number $ε$, we define $K$-theoretic $ε$-stable quasimaps to certain GIT quotients $W\sslash G$. For $ε>1$, this recovers the $K$-theoretic Gromov-Witten theory of $W\sslash G$ introduced in more general context by Givental and Y.-P. Lee. For arbitrary $ε_1$ and $ε_2$ in different stability chambers, these $K$-theoretic quasimap invariants are expected to be related by wall-crossing formulas. We prove wall-crossing formulas for genus zero $K$-theoretic quasimap theory when the target $W\sslash G$ admits a torus action with isolated fixed points and isolated one-dimens…
We present here the K-theoretic version of mirror models of toric manifold. First, we recall the construction of cohomological mirrors for toric manifolds, i.e. representations of the toric hypergeometric functions from quantum cohomology theory by complex oscillating integrals. Then we repeat the construction in the K-theoretic situation, and obtain complex oscillating integrals representing q-hypergeometric functions from quantum K-theory of toric manifolds, bundles, and super-bundles. Finally, we examine the Lagrangian varieties parameterized by critical points of the phase functions of the…
We study K-theoretic GLSM invariants with one-dimensional gauge group and introduce elliptic central charges that depend on an elliptic cohomology class called an elliptic brane and a choice of level structure. These central charges have an integral representation related to an interpolation problem for the elliptic brane and satisfy natural q-difference equations. Integral representaions lead to the wall crossing statement for the central charges in two different phases of the GLSM. We explain how the orbifold structure leads to differences between wall crossing of the usual (K-theoretic) and…
Formal splitting and stack-theoretic normal crossings desingularization
Université Paris Cité and Sorbonne Université, UFR de Mathématiques, Institut de Mathématiques de Jussieu-Paris Rive Gauche（巴黎西岱大学与索邦大学，数学学院，儒勒·让苏-巴黎左岸数学研究所）；Institut universitaire de France (IUF)（法国大学研究院）；University of Toronto, Department of Mathematics（多伦多大学，数学系）
In this paper, we prove a K-theoretic wall-crossing formula for $ε$-stable quasimaps for all GIT targets in all genera. It recovers the genus-0 K-theoretic toric mirror theorem by Givental-Tonita and the genus-0 mirror theorem for quantum K-theory with level structure by Ruan-Zhang. The proofs are based on K-theoretic virtual localization on the master space introduced by the second author in arXiv:1911.02745.
Motivated by Witten's work (arXiv:hep-th/9312104), we propose the Verlinde/Grassmannian correspondence which relates the GL Verlinde numbers to the K-theoretic quasimap invariants of the Grassmannian. We recover these two types of invariants by imposing different stability conditions on the gauged linear sigma model associated to the Grassmannian. We construct two families of stability conditions connecting the two theories and prove two wall-crossing results. We confirm the Verlinde/Grassmannian correspondence in the rank two case.
We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals and discrete sums. As another application, we refine the theorem of Brion on generating functions of polytopes and their cones at vertices. We describe the relation of this work with the equivariant i…
In the example of complex grassmannians, we demonstrate various techniques available for computing genus-0 K-theoretic GW-invariants of flag manifolds and more general quiver varieties. In particular, we address explicit reconstruction of all such invariants using finite-difference operators, the role of the q-hypergeometric series arising in the context of quasimap compactifications of spaces of rational curves in such varieties, the theory of twisted GW-invariants including level structures, as well as the Jackson-type integrals playing the role of equivariant K-theoretic mirrors.
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory…
We conjecture that the Joyce-Song wall-crossing formula for Donaldson-Thomas invariants arises naturally from an asymptotic expansion in the field theoretic work of Gaiotto, Moore and Neitzke. This would also give a new perspective on how the formulae of Joyce-Song and Kontsevich-Soibelman are related. We check the conjecture in many examples.
Wall-crossing phenomena are ubiquitous in many problems of algebraic geometry and theoretical physics. Various ways to encode the relevant information and the need to track the changes under the variation of parameters lead to rather complicated transformation rules and non-trivial combinatorial problems. In this paper we propose a framework, reminiscent of collections and plethysms in the theory of operads, that conceptualizes those transformation rules. As an application we obtain new streamlined proofs of some existing wall-crossing formulas as well as some new formulas related to attractor…
We prove a general form of the wall-crossing formula which relates the disk potentials of monotone Lagrangian submanifolds with their Floer-theoretic behavior away from a Donaldson divisor. We define geometric operations called mutations of Lagrangian tori in del Pezzo surfaces and in toric Fano varieties of higher dimension, and study the corresponding wall-crossing formulas that compute the disk potential of a mutated torus from that of the original one. In the case of del Pezzo surfaces, this justifies the connection between Vianna's tori and the theory of mutations of Landau-Ginzburg seeds…
