Related papers: Derived bi-duality via homotopy limit

Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…

In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish…

In this paper, we define what it means for an object in an abstract module category to be dualizable and we give a homological description of the direct limit closure of the dualizable objects. Our description recovers existing results of…

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version…

We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…

We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between…

Recently, Meierfrankenfeld has published three theorems on the cohomology of a finitary module. They cover the local determination of complete reducibility; the local splitting of group extensions; and the representation of locally split…

There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…

This paper is an MGM version of arXiv.org:1703.04266 and arXiv:1907.03364, and a follow-up to Section 5 of arXiv:1503.05523. In the setting of a commutative ring $S$ with a weakly proregular finitely generated ideal $J\subset S$, we…

Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely…

We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…

Green's theorem states that the Hall algebra of the category of representations of a quiver over a finite field is a twisted bialgebra. Considering instead categories of orthogonal or symplectic quiver representations leads to a class of…

Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of…

Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split…

Let $\Delta$ be a triangulated homology ball whose boundary complex is $\partial\Delta$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $\Delta$, $\mathbb F[\Delta]$, is isomorphic to the…

The dual modular propinquity is a complete metric, up to full modular quantum isometry, on the class metrical quantum vector bundles, i.e. of Hilbert modules endowed with a type of densely defined norm, called a D-norm, which generalize the…

We construct the Cartier duality equivalence for affine commutative group schemes $G$ whose coordinate ring is a flat Mittag-Leffler module over an arbitrary base ring $R$. The dual $G^\vee$ of $G$ turns out to be an ind-finite ind-scheme…

For a Dynkin quiver $Q$ of type ADE and a sum $\beta$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating…

We prove a form of generic local duality that generalizes a result of Karen E. Smith. Specifically, let $R$ be a Noetherian ring, let $P$ be a prime ideal of $R$ of height $h$, let $A:=R/P$, and $W$ be a subset of $R$ that maps onto…