Related papers: Chain duality for categories over complexes
We attempt to give a gentle (though ahistorical) introduction to Koszul duality phenomena for the Hecke category, focusing on the form of this duality studied in joint work of Achar, Riche, Williamson, and the author. We illustrate some key…
We study two-dimensional cyclic quotient singularities defined by $k$-Wahl chains, a class of Hirzebruch--Jung continued fractions obtained inductively starting from $[k+2]$. This class includes the classical Wahl singularities in the case…
We consider some aspects of classical S-duality transformations in first order actions taken into account the general covariance of the Dirac algorithm and the transformation properties of the Dirac bracket. By classical S-Duality…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
The scientific and practical needs of the twenty-first century lead humankind to convergence of the specialized and diverse branches of science and technology. This convergence reveals the need for new mathematical theories capable of…
We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
We consider a broad matrix parameterized family of pseudo-differential calculi, containing the usual Shubin's family of pseudo-differential calculi, parameterized by real numbers. We show that continuity properties in the framework of…
We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…
We prove a theorem of Hinich type on existence of a model structure on a category related by an adjunction to the category of differential graded modules over a graded commutative ring.
We define a space of relative embedded thickenings of a given map from a finite complex to a Poincare Duality space, and show that there is a highly connected stabilization map between such spaces induced by fiberwise suspension. As a…
Given a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…
The self-duality of the paracyclic category is extended to a certain class of homotopy categories of (2,1)-categories. These generalise the orbit category of a group and are associated to certain self-dual preorders equipped with a presheaf…
Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…
We give a detailed proof of the following fundamental result: the singularity category of a ring is triangle equivalent to the stabilization of its stable module category. The result yields singular equivalences between rings of different…
We construct a derived generalization of the pure spinor superfield formalism and prove that it exhibits an equivalence of dg-categories between multiplets for a supertranslation algebra and equivariant modules over its Chevalley-Eilenberg…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…
We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is…
We give more precise statements of Fock-Goncharov duality conjecture for cluster varieties parametrizing ${\rm SL}_{2}/{\rm PGL}_{2}$-local systems on the once punctured torus. Then we prove these statements. Along the way, using distinct…