Equivalences between GIT quotients of Landau-Ginzburg B-models

We define the category of B-branes in a (not necessarily affine) Landau-Ginzburg B-model, incorporating the notion of R-charge. Our definition is a direct generalization of the category of perfect complexes. We then consider pairs of Landau-Ginzburg B-models that arise as different GIT quotients of a vector space by a one-dimensional torus, and show that for each such pair the two categories of B-branes are quasi-equivalent. In fact we produce a whole set of quasi-equivalences indexed by the integers, and show that the resulting auto-equivalences are all spherical twists.Comment: v3: Added two references. Final version, to appear in Comm. Math. Phy

Decomposition of D-modules over a hyperplane arrangement in the plane

We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra.Comment: 13 page

Remarks on quiver gauge theories from open topological string theory

We study effective quiver gauge theories arising from a stack of D3-branes on certain Calabi-Yau singularities. Our point of view is a first principle approach via open topological string theory. This means that we construct the natural A-infinity-structure of open string amplitudes in the associated D-brane category. Then we show that it precisely reproduces the results of the method of brane tilings, without having to resort to any effective field theory computations. In particular, we prove a general and simple formula for effective superpotentials

Quiver GIT for varieties with tilting bundles

In the setting of a variety X admitting a tilting bundle T we consider the problem of constructing X as a quiver GIT quotient of the algebra A:=EndX(T)opA:=EndX(T)op . We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of X and the closed points of a quiver representation moduli functor for A=EndX(T)opA=EndX(T)op then X is indeed a fine moduli space for this moduli functor, and we prove this result without any assumptions on the singularities of X. As an application we consider varieties which are projective over an affine base such that the fibres are of dimension 1, and the derived pushforward of the structure sheaf on X is the structure sheaf on the base. In this situation there is a particular tilting bundle on X constructed by Van den Bergh, and our result allows us to reconstruct X as a quiver GIT quotient for an easy to describe stability condition and dimension vector. This result applies to flips and flops in the minimal model program, and in the situation of flops shows that both a variety and its flop appear as moduli spaces for algebras produced from different tilting bundles on the variety. We also give an application to rational surface singularities, showing that their minimal resolutions can always be constructed as quiver GIT quotients for specific dimension vectors and stability conditions. This gives a construction of minimal resolutions as moduli spaces for all rational surface singularities, generalising the G-Hilbert scheme moduli space construction which exists only for quotient singularities

Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks

Laszlo and Olsson constructed Grothendieck's six operations for constructible complexes on Artin stacks in \'etale cohomology under an assumption of finite cohomological dimension, with base change established on the level of sheaves. In this article we give a more direct construction of the six operations for complexes on Deligne-Mumford stacks without the finiteness assumption and establish base change theorems in derived categories. One key tool in our construction is the theory of gluing finitely many pseudofunctors developed in arXiv:1211.1877. As an application, we prove a Lefschetz-Verdier formula for Deligne-Mumford stacks. We include both torsion and $\ell$-adic coefficients.Comment: 62 pages. v5, v4: minor improvements; v3: added a Lefschetz-Verdier formula; v2: moved the appendix in v1 to arXiv:1211.187