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}$ .

We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by “spread modules,” which are sometimes called “interval modules” in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that the free abelian group generated by the “single-source” spread modules gives rise to a new invariant which is finer than the rank invariant.

We establish a Hirzebruch–Riemann–Roch-type theorem and a Grothendieck–Riemann–Roch-type theorem for matrix factorizations on quotient Deligne–Mumford stacks. For this, we first construct a Hochschild–Kostant–Rosenberg-type isomorphism explicit enough to yield a categorical Chern character formula. Then, we find an expression of the canonical pairing of Shklyarov under the isomorphism.

This paper gives a description of the full space of Bridgeland stability conditions on the bounded derived category of a contraction algebra associated to a $3$ -fold flop. The main result is that the stability manifold is the universal cover of a naturally associated hyperplane arrangement, which is known to be simplicial and in special cases is an ADE root system. There are four main corollaries: (1) a short proof of the faithfulness of pure braid group actions in both algebraic and geometric settings, the first that avoid normal forms; (2) a classification of tilting complexes in the derived category of a contraction algebra; (3) contractibility of the stability space associated to the flop; and (4) a new proof of the $K(\unicode{x3c0} \,,1)$ -theorem in various finite settings, which includes ADE braid groups.

We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$ , a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{-\text{1}}}(\mathfrak{sl}_3)$ . We show that these cocycles are generically pure, that is they are not cohomologous to exponentials of Hochschild 2-cocycles.