Related papers: A toy model for the Drinfeld-Lafforgue shtuka cons…

The annulus comes with a "stacking" operation which glues two annuli into one. This provides a tensor product structure on the category of boundary values $Z_{\text{CY}}(\text{Ann})$ associated to the annulus in an extended Crane-Yetter…

A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived…

Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Consider the dual pair H=SO_{2m}, G=Sp_{2n} over X with H split. Write Bun_G and Bun_H for the stacks of G-torsors and H-torsors on X. The…

For a reductive group G, we study the Drinfeld-Gaitsgory functor of the category of conjugation-equivariant D-modules on G. We show that this functor is an equivalence of categories, and that it has a filtration with layers expressed via…

We construct the skein category $\mathcal{S}$ of the annulus and show that it is equivalent to the affine Temperley-Lieb category of Graham and Lehrer. It leads to a skein theoretic description of the extended affine Temperley-Lieb…

In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

We introduce the forcing model of IZFA (Intuitionistic Zermelo-Fraenkel set theory with Atoms) for every Grothendieck topology and prove that the topos of sheaves on every site is equivalent to the category of 'sets in this forcing model'.

By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…

A braided tensor category $FM_{\kappa}$ of `factorizable D-modules' over configuration spaces is introduced, analogous to the category $FS_q$ of factorizable sheaves from q-alg/9604001. This category is equivalent to the category of finite…

We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective…

To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),\xi\right)$, where $M(\mathbb{V})$ is the complement…

We present a unified categorical framework that connects the syntactic Henkin construction for the first-order Completeness Theorem with Lawvere's Fixed-Point Theorem. Concretely, we define two canonical functors from the category of…

We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, \'etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type…

We discuss how the Hochschild cohomology of a dg category can be computed as the trace of its Serre functor. Applying this approach to the principal block of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$, we obtain its Hochschild…

Using a geometric argument building on our new theory of graded sheaves, we compute the categorical trace and Drinfel'd center of the (graded) finite Hecke category $\mathsf{H}_W^\mathsf{gr} = \mathsf{Ch}^b(\mathsf{SBim}_W)$ in terms of the…

We define special objects, Ulrich objects, on a derived category of polarized smooth projective variety as a generalization of Ulrich bundles to the derived category. These are defined by the cohomological conditions that are the same form…

We formalize an abstraction of Grothendieck's philosophy of motives and construct a category of derived motivic spectra in the Segal category $\mathbb{R} \underline{\text{Hom}} ((\text{dSt}_k)^{\text{op}}_{/F}, \text{Top})$ ($\text{dSt}_k$…

Via a construction due to V. Drinfel'd, we prove an equivalence of categories, generalizing the equivalence between commutative flat group schemes in characteristic $p$ with trivial Verschiebung and their Dieudonn\'e modules to group…

Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the…