Related papers: The bivariant parasimplicial $\mathsf{S}_{\bullet}…
We present a construction (and classification) of certain invariant 2-forms on the real symplectic group. They are used to define a symplectic form on the quotient by a maximal torus and to "lift" a symplectic structure from a symplectic…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…
In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying…
We introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of…
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…
The nonequivariant coherent-costructible correspondence is a microlocal-geometric interpretation of homological mirror symmetry for toric varieties conjectured by Fang-Liu-Treumann-Zaslow. We prove a generalization of this conjecture for a…
The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…
Let M be a simply-connected closed manifold and consider the (ordered) configuration space of $k$ points in M, F(M,k). In this paper we construct a commutative differential graded algebra which is a potential candidate for a model of the…
Two dimensional string theory is known to have an infinite dimensional symmetry, both in the continuum formalism as well as in the matrix model formalism. We develop a systematic procedure for computing the conserved charges associated with…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with…
In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
Exploiting the symmetry topological field theory/topological order correspondence (SymTFT/TO), together with the higher-categorical structure of 6D N =(2,0) SCFTs, we prove that the total quantum dimension of the relative gaugeable algebra…
This elementary survey article was prepared for a talk at the 2016 Superschool on Derived Categories and D-branes. The goal is to outline an identification of the bounded derived category of coherent sheaves on a Calabi-Yau threefold with…
We analyze the gauge structure of a recently proposed superconformal field theory in six dimensions. We find that this structure amounts to a weak Courant-Dorfman algebra, which, in turn, can be interpreted as a strong homotopy Lie algebra.…
We study the behaviour of D-cap-modules on rigid analytic varieties under pushforward along a proper morphism. We prove a D-cap-module analogue of Kiehl's Proper Mapping Theorem, considering the derived sheaf-theoretic pushforward from…