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.

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 introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. We show that hypersurface support defines a support theory for the big singularity category $\operatorname {Sing}(R)$ , and that the support of an object in $\operatorname {Sing}(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz’ support theory for (commutative) local complete intersections. In the companion piece [27], we employ hypersurface support for infinite-dimensional modules, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras.

Let R→U be an associative ring epimorphism such that U is a flat left R-module. Assume that the related Gabriel topology $\mathbb{G}$ of right ideals in R has a countable base. Then we show that the left R-module U has projective dimension at most 1. Furthermore, the abelian category of left contramodules over the completion of R at $\mathbb{G}$ fully faithfully embeds into the Geigle–Lenzing right perpendicular subcategory to U in the category of left R-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an associative ring R, we consider the induced topology on every left R-module and, for a perfect Gabriel topology $\mathbb{G}$, compare the completion of a module with an appropriate Ext module. Finally, we characterize the U-strongly flat left R-modules by the two conditions of left positive-degree Ext-orthogonality to all left U-modules and all $\mathbb{G}$-separated $\mathbb{G}$-complete left R-modules.

We solve two problems in representation theory for the periplectic Lie superalgebra $\mathfrak{p}\mathfrak{e}(n)$, namely, the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category ${\mathcal{O}}$ into indecomposable blocks.

To solve the first problem, we establish a new type of equivalence between category ${\mathcal{O}}$ for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem, we establish a BGG reciprocity result for the periplectic Lie superalgebra.

We study cluster categories arising from marked surfaces (with punctures and non-empty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting dimensions of $\operatorname{Ext}^{1}$ as intersection numbers of tagged curves and Auslander–Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.

Let $\mathcal{E}$ be an injectively resolving subcategory of left $R$-modules. A left $R$-module $M$ (resp. right $R$-module $N$) is called $\mathcal{E}$-injective (resp. $\mathcal{E}$-flat) if $\text{Ext}_{R}^{1}\left( G,\,M \right)\,=\,0$ (resp. $\text{Tor}_{1}^{R}\left( N,\,G \right)\,=\,0$) for any $G\,\in \,\mathcal{E}$. Let $\mathcal{E}$ be a covering subcategory. We prove that a left $R$-module $M$ is $\mathcal{E}$-injective if and only if $M$ is a direct sum of an injective left $R$-module and a reduced $\mathcal{E}$-injective left $R$-module. Suppose $\mathcal{F}$ is a preenveloping subcategory of right $R$-modules such that ${{\mathcal{E}}^{+}}\,\subseteq \,\mathcal{F}$ and ${{\mathcal{F}}^{+}}\,\subseteq \,\mathcal{E}$. It is shown that a finitely presented right $R$-module $M$ is $\mathcal{E}$-flat if and only if $M$ is a cokernel of an $\mathcal{F}$-preenvelope of a right $R$-module. In addition, we introduce and investigate the $\mathcal{E}$-injective and $\mathcal{E}$-flat dimensions of modules and rings. We also introduce $\mathcal{E}$-(semi)hereditary rings and $\mathcal{E}$-von Neumann regular rings and characterize them in terms of $\mathcal{E}$-injective and $\mathcal{E}$-flat modules.

We show that under some conditions a Gorenstein ring $R$ satisfies the Generalized Auslander–Reiten conjecture if and only if $R\left[ x \right]$ does. When $R$ is a local ring we prove the same result for some localizations of $R\left[ x \right]$.

Let $R$ be an arbitrary ring and let ${{\left( - \right)}^{+}}\,=\,\text{Ho}{{\text{m}}_{\mathbb{Z}}}\left( -,\,{\mathbb{Q}}/{\mathbb{Z}}\; \right)$, where $\mathbb{Z}$ is the ring of integers and $\mathbb{Q}$ is the ring of rational numbers. Let $\mathcal{C}$ be a subcategory of left $R$-modules and $\mathcal{D}$ a subcategory of right $R$-modules such that ${{X}^{+}}\,\in \,\mathcal{D}$ for any $X\,\in \,\mathcal{C}$ and all modules in $\mathcal{C}$ are pure injective. Then a homomorphism $f:\,A\to \,C$ of left $R$-modules with $C\,\in \,\mathcal{C}$ is a $\mathcal{C}$-(pre)envelope of $A$ provided ${{f}^{+}}:\,{{C}^{+}}\,\to \,{{A}^{+}}$ is a $\mathcal{D}$-(pre)cover of ${{A}^{+}}$. Some applications of this result are given.

A left R-module M is called two-degree Gorenstein flat if there exists an exact sequence of Gorenstein flat left R-modules ⋅⋅⋅ → G2 → G1 → G0 → G−1 → G−2 → ⋅⋅⋅ such that M ≅ Ker(G0 → G−1) and it remains exact after applying H ⊗R- for any Gorenstein injective right R-module H. In this paper we first give some characterisations of Gorenstein flat objects in the category of complexes of modules and then use them to show that two notions of the two-degree Gorenstein flat and the Gorenstein flat left R-modules coincide when R is right coherent.

The holonomic rank of the A-hypergeometric system MA(β) is the degree of the toric ideal IA for generic parameters; in general, this is only a lower bound. To the semigroup ring of A we attach the ranking arrangement and use this algebraic invariant and the exceptional arrangement of non-generic parameters to construct a combinatorial formula for the rank jump of MA(β). As consequences, we obtain a refinement of the stratification of the exceptional arrangement by the rank of MA(β) and show that the Zariski closure of each of its strata is a union of translates of linear subspaces of the parameter space. These results hold for generalized A-hypergeometric systems as well, where the semigroup ring of A is replaced by a non-trivial weakly toric module M⊆ℂ[ℤA] . We also provide a direct proof of the main result in [M. Saito, Isomorphism classes of A-hypergeometric systems, Compositio Math. 128 (2001), 323–338] regarding the isomorphism classes of MA (β) .

Let R be a left coherent ring, S a right coherent ring and RU a generalized tilting module, with S=End(RU) satisfying the condition that each finitely presented left R-module X with ExtRi(X,U)=0 for any i≥1 is U-torsionless. If M is a finitely presented left R-module such that ExtRi(M,U)=0 for any i≥0 with (where n is a nonnegative integer), then and ExtSi(ExtRn(M,U),U)=0 for any i≥0 with . A duality is thus induced between the category of finitely presented holonomic left R-modules and the category of finitely presented holonomic right S-modules.

In this note it is shown that for $k$ a field, and for the four-dimensional algebra $\Lambda=k\langle x,y\rangle /\langle x^2,y^2,xy+qyx\rangle$ when $q^n\neq 1,0$ for all $n$, there exist a two-dimensional module $M$ and a family of two-dimensional modules $M_i$, $i=1,2,\ldots$, such that $\dim_k\Ext^i_\Lambda(M,M_j)=1$ for $i$ equal to 0, $j$ and $j+1$, and $\dim_k\Ext^i_\Lambda(M,M_j)=0$ otherwise. This is probably the most straightforward example giving a negative answer to a question raised by Maurice Auslander.

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question of when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties; for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.

The main result of this paper is that, over a non-commutative Koszul algebra, high truncations of finitely generated graded modules have linear free resolutions.

Using Grothendieck's semicontinuity theorem for half-exact functors, we derive two semicontinuity results on Hochschild cohomology. We apply these to show that the first Hochschild cohomogy group of the mesh algebra of a translation quiver over a domain vanishes if and only if the translation quiver is simply connected. We then establish an exact sequence relating the first Hochschild cohomology group of an algebra to that of the endomorphism algebra of a module and apply it to study the first Hochschild cohomology group of an Auslander algebra. Our main result shows that for a finite-dimensional and representation-finite algebra algebra $A$ over an algebraically closed field with Auslander algebra $\Lambda$ the following conditions are equivalent:

(1) $A$ admits no outer derivation;

(2) $\Lambda$ admits no outer derivations;

(3) $A$ is simply connected;

(4) $\Lambda$ is strongly simply connected.

Chinburg's third invariant Ω(N/K, 3) ∊ C1(Z[Γ]) of a Galois extension N/K of number fields with group Γ is closely related to the Galois structure of unit groups and ideal class groups, and deep unsolved problems such as Stark's conjecture.

We give a formula for Ω(N/K, 3) modulo D(ZΓ) in the factorisability defect class group, reminiscent of analytic class number formulas. Specialising to the case of an absolutely abelian, real field N, we give a natural conjecture in terms of Hecke factorisations which implies the vanishing of the invariant in the defect class group.

We prove this conjecture when N has prime-power conductor using Euler systems of cyclotomic units, Ramachandra units and Hecke factorisation. This supports a general conjecture of Chinburg, which in our situation specialises to the statement that Ω(N/K, 3) = 0 for such extensions.

We also develop a slightly extended version of Euler systems of units for general abelian extensions, which will be applied to abelian extensions of imaginary quadratic fields elsewhere