In this paper, we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon :\ C{{-\mathsf{Comod}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta :\ C{{-\mathsf{Contra}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\textrm {Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge 0$. We call such coalgebras “weakly finitely Koszul”.

We define a local homomorphism $(Q,k)\to (R,\ell )$ to be Koszul if its derived fiber $R\otimes ^{\mathsf {L}}_Q k$ is formal, and if $\operatorname {Tor}^{Q}(R,k)$ is Koszul in the classical sense. This recovers the classical definition when Q is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm {A}_{\infty }$-structures on resolutions. We use this machinery to construct universal free resolutions of R-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an R-module M is often minimal and can be described by a finite amount of data whenever M and R have finite projective dimension over Q. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings.

We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over fields. We interpret both results in the broader context of Calabi–Yau triangulated categories.

Let G be a finite group whose order is not divisible by the characteristic of the ground field $\mathbb {F}$. We prove a decomposition of the Hochschild homology groups of the equivariant dg category $\mathscr {C}^G$ associated with the action of G on a small dg category $\mathscr {C}$ which admits finite direct sums. When, in addition, the ground field $\mathbb {F}$ is algebraically closed this decomposition is related to a categorical action of $\text {Rep}(G)$ on $\mathscr {C}^G$ and the resulting action of the representation ring $R_{\mathbb {F}}(G)$ on $HH_\bullet (\mathscr {C}^G)$.

Given a presentation of a monoid $M$, combined work of Pride and of Guba and Sapir provides an exact sequence connecting the relation bimodule of the presentation (in the sense of Ivanov) with the first homology of the Squier complex of the presentation, which is naturally a $\mathbb ZM$-bimodule. This exact sequence was used by Kobayashi and Otto to prove the equivalence of Pride’s finite homological type property with the homological finiteness condition bi-$\mathrm {FP}_3$. Guba and Sapir used this exact sequence to describe the abelianization of a diagram group. We prove here a generalization of this exact sequence of bimodules for presentations of associative algebras. Our proof is more elementary than the original proof for the special case of monoids.

We extend the Auslander–Iyama correspondence to the setting of exact dg categories. By specializing it to exact dg categories concentrated in degree zero, we obtain a generalization of the higher Auslander correspondence for exact categories due to Ebrahimi–Nasr-Isfahani (in the case of exact categories with split retractions).

Let Λ be an artin algebra and $\mathcal{M}$ be an n-cluster tilting subcategory of Λ-mod with $n \geq 2$. From the viewpoint of higher homological algebra, a question that naturally arose in Ebrahimi and Nasr-Isfahani (The completion of d-abelian categories. J. Algebra 645 (2024), 143–163) is when $\mathcal{M}$ induces an n-cluster tilting subcategory of Λ-Mod. In this article, we answer this question and explore its connection to Iyama’s question on the finiteness of n-cluster tilting subcategories of Λ-mod. In fact, our theorem reformulates Iyama’s question in terms of the vanishing of Ext and highlights its relation with the rigidity of filtered colimits of $\mathcal{M}$. Also, we show that ${\rm Add}(\mathcal{M})$ is an n-cluster tilting subcategory of Λ-Mod if and only if ${\rm Add}(\mathcal{M})$ is a maximal n-rigid subcategory of Λ-Mod if and only if $\lbrace X\in \Lambda-{\rm Mod}~|~ {\rm Ext}^i_{\Lambda}(\mathcal{M},X)=0 ~~~ {\rm for ~all}~ 0 \lt i \lt n \rbrace \subseteq {\rm Add}(\mathcal{M})$ if and only if $\mathcal{M}$ is of finite type if and only if ${\rm Ext}_{\Lambda}^1({\underrightarrow{\lim}}\mathcal{M}, {\underrightarrow{\lim}}\mathcal{M})=0$. Moreover, we present several equivalent conditions for Iyama’s question which shows the relation of Iyama’s question with different subjects in representation theory such as purity and covering theory.

In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. Among the applications are precise connections between Ringel duality, split quasi-hereditary covers and double centralizer properties, constructions of split quasi-hereditary covers of quotients of Iwahori-Hecke algebras using Ringel duality of q-Schur algebras and a new proof for Ringel self-duality of the blocks of the Bernstein-Gelfand-Gelfand category $\mathcal {O}$. These homological invariants are studied over Noetherian algebras which are finitely generated and projective as a module over the ground ring. They are shown to behave nicely under change of rings techniques.

Given a non-negative integer n and a ring R with identity, we construct a hereditary abelian model structure on the category of left R-modules where the class of cofibrant objects coincides with $\mathcal{GF}_n(R)$ the class of left R-modules with Gorenstein flat dimension at most n, the class of fibrant objects coincides with $\mathcal{F}_n(R)^\perp$ the right ${\rm Ext}$-orthogonal class of left R-modules with flat dimension at most n, and the class of trivial objects coincides with $\mathcal{PGF}(R)^\perp$ the right ${\rm Ext}$-orthogonal class of PGF left R-modules recently introduced by Šaroch and . The homotopy category of this model structure is triangulated equivalent to the stable category $\underline{\mathcal{GF}(R)\cap\mathcal{C}(R)}$ modulo flat-cotorsion modules and it is compactly generated when R has finite global Gorenstein projective dimension.

The second part of this paper deals with the PGF dimension of modules and rings. Our results suggest that this dimension could serve as an alternative definition of the Gorenstein projective dimension. We show, among other things, that (n-)perfect rings can be characterized in terms of Gorenstein homological dimensions, similar to the classical ones, and the global Gorenstein projective dimension coincides with the global PGF dimension.

Tachikawa's second conjecture for symmetric algebras is shown to be equivalent to indecomposable symmetric algebras not having any nontrivial stratifying ideals. The conjecture is also shown to be equivalent to the supremum of stratified ratios being less than $1$, when taken over all indecomposable symmetric algebras. An explicit construction provides a series of counterexamples to Tachikawa's second conjecture from each (potentially existing) gendo-symmetric algebra that is a counterexample to Nakayama's conjecture. The results are based on establishing recollements of derived categories and on constructing new series of algebras.

Dualities of resolving subcategories of module categories over rings are introduced and characterized as dualities with respect to Wakamatsu tilting bimodules. By restriction of the dualities to smaller resolving subcategories, sufficient and necessary conditions for these bimodules to be tilting are provided. This leads to the Gorenstein version of both the Miyashita’s duality and Huisgen-Zimmermann’s correspondence. An application of resolving dualities is to show that higher algebraic K-groups and semi-derived Ringel–Hall algebras of finitely generated Gorenstein-projective modules over Artin algebras are preserved under tilting.

Many connections and dualities in representation theory and Lie theory can be explained using quasi-hereditary covers in the sense of Rouquier. Recent work by the first-named author shows that relative dominant (and codominant) dimensions are natural tools to classify and distinguish distinct quasi-hereditary covers of a finite-dimensional algebra. In this paper, we prove that the relative dominant dimension of a quasi-hereditary algebra, possessing a simple preserving duality, with respect to a direct summand of the characteristic tilting module is always an even number or infinite and that this homological invariant controls the quality of quasi-hereditary covers that possess a simple preserving duality. To resolve the Temperley–Lieb algebras, we apply this result to the class of Schur algebras $S(2, d)$ and their $q$-analogues. Our second main result completely determines the relative dominant dimension of $S(2, d)$ with respect to $Q=V^{\otimes d}$, the $d$-th tensor power of the natural two-dimensional module. As a byproduct, we deduce that Ringel duals of $q$-Schur algebras $S(2,d)$ give rise to quasi-hereditary covers of Temperley–Lieb algebras. Further, we obtain precisely when the Temperley–Lieb algebra is Morita equivalent to the Ringel dual of the $q$-Schur algebra $S(2, d)$ and precisely how far these two algebras are from being Morita equivalent, when they are not. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley–Lieb algebra.

We explore when the silting-discreteness is inherited. As a result, one obtains that taking idempotent truncations and homological epimorphisms of algebras transmit the silting-discreteness. We also study classification of silting-discrete simply-connected tensor algebras and silting-indiscrete self-injective Nakayama algebras. This paper contains two appendices; one states that every derived-discrete algebra is silting-discrete, and the other is about triangulated categories whose silting objects are tilting.

The main theme of this paper is to study $\tau $-tilting subcategories in an abelian category $\mathscr {A}$ with enough projective objects. We introduce the notion of $\tau $-cotorsion torsion triples and investigate a bijection between the collection of $\tau $-cotorsion torsion triples in $\mathscr {A}$ and the collection of support $\tau $-tilting subcategories of $\mathscr {A}$, generalizing the bijection by Bauer, Botnan, Oppermann, and Steen between the collection of cotorsion torsion triples and the collection of tilting subcategories of $\mathscr {A}$. General definitions and results are exemplified using persistent modules. If $\mathscr {A}=\mathrm{Mod}\mbox {-}R$, where R is a unitary associative ring, we characterize all support $\tau $-tilting (resp. all support $\tau ^-$-tilting) subcategories of $\mathrm{Mod}\mbox {-}R$ in terms of finendo quasitilting (resp. quasicotilting) modules. As a result, it will be shown that every silting module (resp. every cosilting module) induces a support $\tau $-tilting (resp. support $\tau ^{-}$-tilting) subcategory of $\mathrm{Mod}\mbox {-}R$. We also study the theory in $\mathrm {Rep}(Q, \mathscr {A})$, where Q is a finite and acyclic quiver. In particular, we give an algorithm to construct support $\tau $-tilting subcategories in $\mathrm {Rep}(Q, \mathscr {A})$ from certain support $\tau $-tilting subcategories of $\mathscr {A}$.

We show that relative Calabi–Yau structures on noncommutative moment maps give rise to (quasi-)bisymplectic structures, as introduced by Crawley-Boevey–Etingof–Ginzburg (in the additive case) and Van den Bergh (in the multiplicative case). We prove along the way that the fusion process (a) corresponds to the composition of Calabi–Yau cospans with ‘pair-of-pants’ ones and (b) preserves the duality between non-degenerate double quasi-Poisson structures and quasi-bisymplectic structures.

As an application, we obtain that Van den Bergh’s Poisson structures on the moduli spaces of representations of deformed multiplicative preprojective algebras coincide with the ones induced by the $2$-Calabi–Yau structures on (dg-versions of) these algebras.

Reflexive homology is the homology theory associated to the reflexive crossed simplicial group; one of the fundamental crossed simplicial groups. It is the most general way to extend Hochschild homology to detect an order-reversing involution. In this paper we study the relationship between reflexive homology and the $C_2$-equivariant homology of free loop spaces. We define reflexive homology in terms of functor homology. We give a bicomplex for computing reflexive homology together with some calculations, including the reflexive homology of a tensor algebra. We prove that the reflexive homology of a group algebra is isomorphic to the homology of the $C_2$-equivariant Borel construction on the free loop space of the classifying space. We give a direct sum decomposition of the reflexive homology of a group algebra indexed by conjugacy classes of group elements, where the summands are defined in terms of a reflexive analogue of group homology. We define a hyperhomology version of reflexive homology and use it to study the $C_2$-equivariant homology of certain free loop and free loop-suspension spaces. We show that reflexive homology satisfies Morita invariance. We prove that under nice conditions the involutive Hochschild homology studied by Braun and by Fernàndez-València and Giansiracusa coincides with reflexive homology.

For a finitely dominated Poincaré duality space $M$, we show how the first author's total obstruction $\mu _M$ to the existence of a Poincaré embedding of the diagonal map $M \to M \times M$ in [17] relates to the Reidemeister trace of the identity map of $M$. We then apply this relationship to show that $\mu _M$ vanishes when suitable conditions on the fundamental group of $M$ are satisfied.

We prove that real topological Hochschild homology $\mathrm {THR}$ for schemes with involution satisfies base change and descent for the ${\mathbb {Z}/2}$-isovariant étale topology. As an application, we provide computations for the projective line (with and without involution) and the higher-dimensional projective spaces.

We prove that there exist finitely generated, stably finite algebras which are not linear sofic. This was left open by Arzhantseva and Păunescu in 2017.

Let $\textsf{T}$ be a triangulated category with shift functor $\Sigma \colon \textsf{T} \to \textsf{T}$ . Suppose $(\textsf{A},\textsf{B})$ is a co-t-structure with coheart $\textsf{S} = \Sigma \textsf{A} \cap \textsf{B}$ and extended coheart $\textsf{C} = \Sigma^2 \textsf{A} \cap \textsf{B} = \textsf{S}* \Sigma \textsf{S}$ , which is an extriangulated category. We show that there is a bijection between co-t-structures $(\textsf{A}^{\prime},\textsf{B}^{\prime})$ in $\textsf{T}$ such that $\textsf{A} \subseteq \textsf{A}^{\prime} \subseteq \Sigma \textsf{A}$ and complete cotorsion pairs in the extended coheart $\textsf{C}$ . In the case that $\textsf{T}$ is Hom-finite, $\textbf{k}$ -linear and Krull–Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\textsf{C}$ and functorially finite torsion classes in $\textsf{mod}\, \textsf{S}$ .