Related papers: Derived bi-duality via homotopy limit

The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…

We give a combinatorial proof of the quasi-invertibility of $\widehat{CFDD}(\mathbb{I}_\mathcal{Z})$ in bordered Heegaard Floer homology, which implies a Koszul self-duality on the dg-algebra $\mathcal{A}(\mathcal{Z})$, for each pointed…

A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel…

We show that the category of partial modules over a Hopf algebra $H$ is a biactegory (a bimodule category) over the category of global $H$-modules. The corresponding enrichment of partial modules over global modules is described, and the…

We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give…

Let $\mathcal{A}$ and $\mathcal{B}$ be subcategories of tensor categories $\mathcal{C}$ and $\mathcal{D}$, respectively, both of which are abelian categories with finitely many isomorphism classes of simple objects. We prove that if their…

We elaborate on the class of deformed T-dual (DTD) models obtained by first adding a topological term to the action of a supercoset sigma model and then performing (non-abelian) T-duality on a subalgebra $\tilde{\mathfrak{g}}$ of the…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…

Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group $G$ from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric…

This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…

We introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application, we prove that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. We…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via…

We apply geometric techniques from representation theory to the study of homologically finite differential graded (DG) modules $M$ over a finite dimensional, positively graded, commutative DG algebra $U$. In particular, in this setting we…

Let $A$ be a commutative noetherian ring, let $\mathfrak{a}\subseteq A$ be an ideal, and let $I$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(I)$…

We describe cohomological conditions that are necessary and sufficient for the existence of balanced dualizing dg-modules, generalizing a theorem of Van den Bergh for balanced dualizing complexes over graded algebras. As a consequence, we…

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of…

We study a version of the BGG category O for Dynkin Borel subalgebras of root-reductive Lie algebras g, such as gl(\infty). We prove results about extension fullness and compute the higher extensions of simple modules by Verma modules. In…