Related papers: Window equivalences via categorical sl(2) actions

In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability",…

We show that birational hyper-K\"ahler varieties of $K3^{[n]}$-type are derived equivalent, establishing the D-equivalence conjecture in these cases. The Fourier-Mukai kernels of our derived equivalences are constructed from projectively…

For every oriented surface of finite type, we construct a functorial Khovanov homology for links in a thickening of the surface, which takes values in a categorification of the corresponding gl(2) skein module. The latter is a mild…

We revisit open string mirror symmetry for the elliptic curve, using matrix factorizations for describing D-branes on the B-model side. We show how flat coordinates can be intrinsically defined in the Landau-Ginzburg model, and derive the…

A large class of two-dimensional $\mathcal{N}=(2,2)$ superconformal field theories can be understood as IR fixed-points of Landau-Ginzburg models. In particular, there are rational conformal field theories that also have a Landau-Ginzburg…

This paper studies the derived equivalence between Calabi--Yau mixed branches using the B-brane hemisphere partition function in anomalous gauged linear sigma models (GLSMs). For a family of anomalous $U(2)$ GLSMs, we study the infrared…

We consider a class of relative $n$-Calabi--Yau dg-algebras, referred to as relative Ginzburg algebras, associated with marked surfaces equipped with a decomposition into $n$-gons ($n$-angulation). We relate their derived categories to the…

We obtain the derived autoequivalences of a flopping rational curve of length 2 using GIT and the theory of windows applied to the universal length 2 flop. We show that the stringy K\"ahler moduli space (SKMS) associated to the GIT problem,…

We derive two geometric approaches to categorification of quantum invariants of links associated to an arbitrary compact simple Lie group $^L{G}$. In part I, we describe the first approach, based on an equivariant derived category of…

We prove that for any k greater or equal to 2, given a smooth compact k-dimensional manifold and a multiplicative k-1-gerbe on a Lie group, together with an integrable connection, there is a line bundle on the corresponding…

We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can…

We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct…

The intuitive notion of the Gromov invariant for maps from a Riemann surface to a Grassmannian is shown to agree with the definition in \cite{BDW}. Also, an induction on the genus is proved, which extends the results of \cite{BDW} to a…

The goal of this paper is to prove an equivalence between the $(\infty,2)$-category of cartesian factorization systems of $\infty$-categories and that of pointed cartesian fibrations of $\infty$-categories. This generalizes a similar result…

Motivated by periodicity theorems for Real $K$-theory and Grothendieck--Witt theory and, separately, work of Hori-Walcher on the physics of Landau-Ginzburg orientifolds, we introduce and study categories of Real matrix factorizations. Our…

The Taylor tower of a functor from based spaces to spectra can be classified according to the action of a certain comonad on the collection of derivatives of the functor. We describe various equivalent conditions under which this action can…

A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…

We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…

We give formulas for the products of classes of Schubert varieties in the quantum cohomology rings of Grassmannians, in terms of the combinatorics of partitions and tableaux.

We prove continuous-valued analogues of the basic fact that Murray-von Neumann subequivalence of projections in II$_1$ factors is completely determined by tracial evaluations. We moreover use this result to solve the so-called trace problem…