Non-birational twisted derived equivalences in abelian GLSMs

In this paper we discuss some examples of abelian gauged linear sigma models realizing twisted derived equivalences between non-birational spaces, and realizing geometries in novel fashions. Examples of gauged linear sigma models with non-birational Kahler phases are a relatively new phenomenon. Most of our examples involve gauged linear sigma models for complete intersections of quadric hypersurfaces, though we also discuss some more general cases and their interpretation. We also propose a more general understanding of the relationship between Kahler phases of gauged linear sigma models, namely that they are related by (and realize) Kuznetsov's `homological projective duality.' Along the way, we shall see how `noncommutative spaces' (in Kontsevich's sense) are realized physically in gauged linear sigma models, providing examples of new types of conformal field theories. Throughout, the physical realization of stacks plays a key role in interpreting physical structures appearing in GLSMs, and we find that stacks are implicitly much more common in GLSMs than previously realized.Comment: 54 pages, LaTeX; v2: typo fixe

From Atiyah Classes to Homotopy Leibniz Algebras

A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore Kapranov proved that, for a K\"ahler manifold $X$, the Dolbeault resolution $\Omega^{\bullet-1}(T_X^{1,0})$ of $T_X[-1]$ is an $L_\infty$ algebra. In this paper, we prove that Kapranov's theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair $(L,A)$, i.e. a Lie algebroid $L$ together with a Lie subalgebroid $A$, we define the Atiyah class $\alpha_E$ of an $A$-module $E$ (relative to $L$) as the obstruction to the existence of an $A$-compatible $L$-connection on $E$. We prove that the Atiyah classes $\alpha_{L/A}$ and $\alpha_E$ respectively make $L/A[-1]$ and $E[-1]$ into a Lie algebra and a Lie algebra module in the bounded below derived category $D^+(\mathcal{A})$, where $\mathcal{A}$ is the abelian category of left $\mathcal{U}(A)$-modules and $\mathcal{U}(A)$ is the universal enveloping algebra of $A$. Moreover, we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of $L/A$ and $E$, and inducing the aforesaid Lie structures in $D^+(\mathcal{A})$.Comment: 36 page

Formality theorems for Hochschild complexes and their applications

We give a popular introduction to formality theorems for Hochschild complexes and their applications. We review some of the recent results and prove that the truncated Hochschild cochain complex of a polynomial algebra is non-formal.Comment: Submitted to proceedings of Poisson 200

Lectures on non-commutative K3 surfaces, Bridgeland stability, and moduli spaces

We survey the basic theory of non-commutative K3 surfaces, with a particular emphasis to the ones arising from cubic fourfolds. We focus on the problem of constructing Bridgeland stability conditions on these categories and we then investigate the geometry of the corresponding moduli spaces of stable objects. We discuss a number of consequences related to cubic fourfolds including new proofs of the Torelli theorem and of the integral Hodge conjecture, the extension of a result of Addington and Thomas and various applications to hyperk\ue4hler manifolds. These notes originated from the lecture series by the first author at the school on Birational Geometry of Hypersurfaces, Palazzo Feltrinelli - Gargnano del Garda (Italy), March 19\u201323, 2018