Related papers: Categorical Donaldson-Thomas theory for local surf…
We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $\chi_{10}$ and Borcherds type lifts of three…
We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…
We study conformal field theories (CFTs) on curved spaces including both orientable and unorientable manifolds possibly with boundaries. We first review conformal transformations on curved manifolds. We then compute the identity components…
Most of the known examples of derived categories of small resolutions arise as the derived category of the endormorphism algebra of tilting bundles or complexes. Given two resolutions connected by a flop, if the strict transform of a…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
We reformulate Kontsevich-Soibelman wall-crossing formulae for 4d $\mathcal{N}=2$ class $\mathcal{S}$ theories and corresponding BPS quivers, including those of wild type, as identities for generating series of symmetric quivers that…
Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and…
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete…
We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…
Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…
We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue…
We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.
This is the second paper in a series on enumerative invariants counting self-dual objects in self-dual categories, and is a sequal to (arXiv:2302.00038). Ordinary enumerative invariants in abelian categories can be seen as invariants for…
Dijkgraaf-Witten theories are extended three-dimensional topological field theories of Turaev-Viro type. They can be constructed geometrically from categories of bundles via linearization. Boundaries and surface defects or interfaces in…
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…
Let X be a Calabi-Yau 3-fold over C. The Donaldson-Thomas invariants of X are integers DT^a(t) which count stable sheaves with Chern character a on X, with respect to a Gieseker stability condition t. They are defined only for Chern…
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…
We introduce the restricted local volume of a relatively very ample invertible sheaf as an invariant of equisingularity by determining its change across families. We apply this result to give numerical control of Whitney-Thom (differential)…
The classification of class VII surfaces is a very difficult classical problem in complex geometry. It is considered by experts to be the most important gap in the Enriques-Kodaira classification table for complex surfaces. The standard…
We review the categorical approach to the BPS sector of a 4d $\mathcal{N}=2$ QFT, clarifying many tricky issues and presenting a few novel results. To a given $\mathcal{N}=2$ QFT one associates several triangle categories: they describe…