BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Zhaoyong Huang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $Λ$, we give the upper bounds of the extension dimension of $Λ$ in terms of the radical layer length of $Λ$ and certain relative projective (or injective) dimension of some simple $Λ$-modules, from which some new upper bounds of the derived dimension of $Λ$ are induced.
Let $(\mathfrak{C},\mathbb{E},\mathfrak{s})$ be an Ext-finite, Krull-Schmidt and $k$-linear extriangulated category with $k$ a commutative artinian ring. We define an additive subcategory $\mathfrak{C}_r$ (respectively, $\mathfrak{C}_l$) of $\mathfrak{C}$ in terms of the representable functors from the stable category of $\mathfrak{C}$ modulo $\mathfrak{s}$-injectives (respectively, $\mathfrak{s}$-projectives) to $k$-modules, which consists of all $\mathfrak{s}$-projective (respectively, $\mathfrak{s}$-injective) objects and objects isomorphic to direct summands of finite direct sums of all third (respectively, first) terms of almost split $\mathfrak{s}$-triangles. We investigate the subcategories $\mathfrak{C}_r$ and $\mathfrak{C}_l$ in terms of morphisms determined by objects, and then give equivalent characterizations on the existence of almost split $\mathfrak{s}$-triangles.
Let $Λ$ be an artin algebra. We give an upper bound for the dimension of the bounded derived category of the category $\mod Λ$ of finitely generated right $Λ$-modules in terms of the projective and injective dimensions of certain class of simple right $Λ$-modules as well as the radical layer length of $Λ$. In addition, we give an upper bound for the dimension of the singularity category of $\mod Λ$ in terms of the radical layer length of $Λ$.
For a ring $R$ and an additive subcategory $\C$ of the category $\Mod R$ of left $R$-modules, under some conditions we prove that the right Gorenstein subcategory of $\Mod R$ and the left Gorenstein subcategory of $\Mod R^{op}$ relative to $\C$ form a coproduct-closed duality pair. Let $R,S$ be rings and $C$ a semidualizing ($R,S$)-bimodule. As applications of the above result, we get that if $S$ is right coherent and $C$ is faithfully semidualizing, then $(\mathcal{GF}_C(R),\mathcal{GI}_C(R^{op}))$ is a coproduct-closed duality pair and $\mathcal{GF}_C(R)$ is covering in $\Mod R$, where $\mathcal{G}\mathcal{F}_C(R)$ is the subcategory of $\Mod R$ consisting of $C$-Gorenstein flat modules and $\mathcal{G}\mathcal{I}_C(R^{op})$ is the subcategory of $\Mod R^{op}$ consisting of $C$-Gorenstein injective modules; we also get that if $S$ is right coherent, then $(\mathcal{A}_C(R^{op}),l\mathcal{G}(\mathcal{F}_C(R)))$ is a coproduct-closed and product-closed duality pair and $\mathcal{A}_C(R^{op})$ is covering and preenveloping in $\Mod R^{op}$, where $\mathcal{A}_C(R^{op})$ is the Auslander class in $\Mod R^{op}$ and $l\mathcal{G}(\mathcal{F}_C(R))$ is the left Gorenstein subcategory of $\Mod R$ relative to $C$-flat modules.
We introduce the right (left) Gorenstein subcategory relative to an additive subcategory $\C$ of an abelian category $\A$, and prove that the right Gorenstein subcategory $r\mathcal{G}(\mathscr{C})$ is closed under extensions, kernels of epimorphisms, direct summands and finite direct sums. When $\C$ is self-orthogonal, we give a characterization for objects in $r\mathcal{G}(\mathscr{C})$, and prove that any object in $\A$ with finite $r\mathcal{G}(\C)$-projective dimension is isomorphic to a kernel (resp. a cokernel) of a morphism from an object in $\A$ with finite $\C$-projective dimension to an object in $r\mathcal{G}(\C)$. As an application, we obtain a weak Auslander-Buchweitz context related to the kernel of a hereditary cotorsion pair in $\A$ having enough injectives.
Let $Λ,Γ$ be rings and $R=\left(\begin{array}{cc}Λ& 0 \\ M & Γ\end{array}\right)$ the triangular matrix ring with $M$ a $(Γ,Λ)$-bimodule. Let $X$ be a right $Λ$-module and $Y$ a right $Γ$-module. We prove that $(X, 0)$$\oplus$$(Y\otimes_ΓM, Y)$ is a silting right $R$-module if and only if both $X_Λ$ and $Y_Γ$ are silting modules and $Y\otimes_ΓM$ is generated by $X$. Furthermore, we prove that if $Λ$ and $Γ$ are finite dimensional algebras over an algebraically closed field and $X_Λ$ and $Y_Γ$ are finitely generated, then $(X, 0)$$\oplus$$(Y\otimes_ΓM, Y)$ is a support $τ$-tilting $R$-module if and only if both $X_Λ$ and $Y_Γ$ are support $τ$-tilting modules, $\Hom_Λ(Y\otimes_ΓM,τX)=0$ and $\Hom_Λ(eΛ, Y\otimes_ΓM)=0$ with $e$ the maximal idempotent such that $\Hom_Λ(eΛ, X)=0$.
Let $Γ$ be a split extension of a finite-dimensional algebra $Λ$ by a nilpotent bimodule $_ΛE_Λ$, and let $(T,P)$ be a pair in $\modΛ$ with $P$ projective. We prove that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is a support $τ$-tilting pair in $\mod Γ$ if and only if $(T,P)$ is a support $τ$-tilting pair in $\mod Λ$ and $\Hom_Λ(T\otimes_ΛE,τT_Λ)=0=\Hom_Λ(P,T\otimes_ΛE)$. As applications, we obtain a necessary and sufficient condition such that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is support $τ$-tilting pair for a cluster-tilted algebra $Γ$ corresponding to a tilted algebra $Λ$; and we also get that if $T_1,T_2\in\modΛ$ such that $T_1\otimes_ΛΓ$ and $T_2\otimes_ΛΓ$ are support $τ$-tilting $Γ$-modules, then $T_1\otimes_ΛΓ$ is a left mutation of $T_2\otimes_ΛΓ$ if and only if $T_1$ is a left mutation of $T_2$.
Motivated by $τ$-tilting theory developed by Adachi, Iyama and Reiten, for a finite-dimensional algebra $Λ$ with action by a finite group $G$, we introduce the notion of $G$-stable support $τ$-tilting modules. Then we establish bijections among $G$-stable support $τ$-tilting modules over $Λ$, $G$-stable two-term silting complexes in the homotopy category of bounded complexes of finitely generated projective $Λ$-modules, and $G$-stable functorially finite torsion classes in the category of finitely generated left $Λ$-modules. In the case when $Λ$ is the endomorphism of a $G$-stable cluster-tilting object $T$ over a Hom-finite 2-Calabi-Yau triangulated category $\mathcal{C}$ with a $G$-action, these are also in bijection with $G$-stable cluster-tilting objects in $\mathcal{C}$. Moreover, we investigate the relationship between stable support $τ$-tilitng modules over $Λ$ and the skew group algebra $ΛG$.
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can be realized as certain homotopy categories. We introduce the pure projective (resp. injective) dimension of complexes in pure derived categories, and give some criteria for computing these dimensions in terms of the properties of pure projective (resp. injective) resolutions and pure derived functors. As a consequence, we get some equivalent characterizations for the finiteness of the pure global dimension of rings. Finally, pure projective (resp. injective) resolutions of unbounded complexes are considered.
Let $(\mathscr{X}$, $\mathscr{Y})$ be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to $(\mathscr{X}$, $\mathscr{Y})$, and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the $\mathscr{X}$-resolution dimension of $\mathscr{Y}$ (resp. $\mathscr{Y}$-coresolution dimension of $\mathscr{X}$) is finite, then the bounded homotopy category of $\mathscr{Y}$ (resp. $\mathscr{X}$) is contained in that of $\mathscr{X}$ (resp. $\mathscr{Y}$). As a consequence, we get that the right $\mathscr{X}$-singularity category coincides with the left $\mathscr{Y}$-singularity category if the $\mathscr{X}$-resolution dimension of $\mathscr{Y}$ and the $\mathscr{Y}$-coresolution dimension of $\mathscr{X}$ are finite.
In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such that $\mathscr{A}$ has enough $\mathcal{F}$-projectives and enough $\mathcal{F}$-injectives and Quillen exact structures $\mathcal{E}$ with enough $\mathcal{E}$-projectives and enough $\mathcal{E}$-injectives. In this case, we get a strengthened version of the translation of the Wakamatsu lemma to the exact context, and also prove that subcategories which are $\mathcal{E}$-resolving and epimorphic precovering with kernels in their right $\mathcal{E}$-orthogonal class and subcategories which are $\mathcal{E}$-coresolving and monomorphic preenveloping with cokernels in their left $\mathcal{E}$-orthogonal class are determined by each other. Then we apply these results to construct some (pre)enveloping and (pre)covering classes and complete hereditary $\mathcal{E}$-cotorsion pairs in the module category.
Let $A$ be an artin algebra. We show that the bounded homotopy category of finitely generated right $A$-modules has Auslander-Reiten triangles. Two applications are given: (1) we provide an alternative proof of a theorem of Happel in [H2]; (2) we prove that over a Gorenstein algebra, the bounded homotopy category of finitely generated Gorenstein projective (resp. injective) modules admits Auslander-Reiten triangles, which improves a main result in [G].
As a dual of the Auslander transpose of modules, we introduce and study the cotranspose of modules with respect to a semidualizing module $C$. Then using it we introduce $n$-$C$-cotorsionfree modules, and show that $n$-$C$-cotorsionfree modules possess many dual properties of $n$-torsionfree modules. In particular, we show that $n$-$C$-cotorsionfree modules are useful in characterizing the Bass class and investigating the approximation theory for modules. Moreover, we study $n$-cotorsionfree modules over artin algebras and answer negatively an open question of Huang and Huang posed in 2012.
We introduce relative preresolving subcategories and precoresolving subcategories of an abelian category and define homological dimensions and codimensions relative to these subcategories respectively. We study the properties of these homological dimensions and codimensions and unify some important properties possessed by some known homological dimensions. Then we apply the obtained properties to special subcategories and in particular to module categories. Finally we propose some open questions and conjectures, which are closely related to the generalized Nakayama conjecture and the strong Nakayama conjecture.
We study the properties of the relative derived category $D_{\mathscr{C}}^{b}$($\mathscr{A}$) of an abelian category $\mathscr{A}$ relative to a full and additive subcategory $\mathscr{C}$. In particular, when $\mathscr{A}=A{\text -}\mod$ for a finite-dimensional algebra $A$ over a field and $\mathscr{C}$ is a contravariantly finite subcategory of $A$-$\mod$ which is admissible and closed under direct summands, the $\mathscr{C}$-singularity category $D_{\mathscr{C}{\text sg}}$($\mathscr{A}$)=$D_{\mathscr{C}}^{b}$($\mathscr{A}$)/$K^{b}(\mathscr{C})$ is studied. We give a sufficient condition when this category is triangulated equivalent to the stable category of the Gorenstein category $\mathscr{G}(\mathscr{C})$ of $\mathscr{C}$.
We prove that for a left and right Noetherian ring $R$, $_RR$ satisfies the Auslander condition if and only if so does every flat left $R$-module, if and only if the injective dimension of the $i$th term in a minimal flat resolution of any injective left $R$-module is at most $i-1$ for any $i \geq 1$, if and only if the flat (resp. injective) dimension of the $i$th term in a minimal injective coresolution (resp. flat resolution) of any left $R$-module $M$ is at most the flat (resp. injective) dimension of $M$ plus $i-1$ for any $i \geq 1$, if and only if the flat (resp. injective) dimension of the injective envelope (resp. flat cover) of any left $R$-module $M$ is at most the flat (resp. injective) dimension of $M$, and if and only if any of the opposite versions of the above conditions hold true. Furthermore, we prove that for an Artinian algebra $R$ satisfying the Auslander condition, $R$ is Gorenstein if and only if the subcategory consisting of finitely generated modules satisfying the Auslander condition is contravariantly finite. As applications, we get some equivalent characterizations of Auslander-Gorenstein rings and Auslander-regular rings.
Let $\mathscr{A}$ be an abelian category and $\mathscr{C}$ an additive full subcategory of $\mathscr{A}$. We provide a method to construct a proper $\mathscr{C}$-resolution (resp. coproper $\mathscr{C}$-coresolution) of one term in a short exact sequence in $\mathscr{A}$ from that of the other two terms. By using these constructions, we answer affirmatively an open question on the stability of the Gorenstein category $\mathcal{G}(\mathscr{C})$ posed by Sather-Wagstaff, Sharif and White; and also prove that $\mathcal{G}(\mathscr{C})$ is closed under direct summands. In addition, we obtain some criteria for computing the $\mathscr{C}$-dimension and the $\mathcal{G}(\mathscr{C)}$-dimension of an object in $\mathscr{A}$.
We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring $R$, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left $R$-module is at most the flat dimension of the injective envelope of $_RR$. Then we get that the injective envelope of $_RR$ is (Gorenstein) flat if and only if the injective envelope of every Gorenstein flat left $R$-module is (Gorenstein) flat, if and only if the injective envelope of every flat left $R$-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left $R$-module is injective, and if and only if the opposite version of one of these conditions is satisfied.
Let $R$ be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated $R$-modules. For any $n\geq 0$, we prove that $R$ is a Gorenstein ring with self-injective dimension at most $n$ if and only if every finitely generated left $R$-module and every finitely generated right $R$-module have torsionfree dimension at most $n$, if and only if every finitely generated left (or right) $R$-module has Gorenstein dimension at most $n$. For any $n \geq 1$, we study the properties of the finitely generated $R$-modules $M$ with $\Ext_R^i(M, R)=0$ for any $1\leq i \leq n$. Then we investigate the relation between these properties and the self-injective dimension of $R$.
In this paper, we study the relation between $m$-strongly Gorenstein projective (resp. injective) modules and $n$-strongly Gorenstein projective (resp. injective) modules whenever $m \neq n$, and the homological behavior of $n$-strongly Gorenstein projective (resp. injective) modules. We introduce the notion of $n$-strongly Gorenstein flat modules. Then we study the homological behavior of $n$-strongly Gorenstein flat modules, and the relation between these modules and $n$-strongly Gorenstein projective (resp. injective) modules.
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So perhaps it is surprising that tensor products of Gorenstein injective modules over Gorenstein rings of finite Krull dimension are Gorenstein injective. Our main result is in support of the principle. Over commutative, noetherian rings injective modules have direct sum decompositions into indecomposable modules. We will show that Gorenstein injective modules over Gorenstein rings of finite Krull dimension have filtrations analogous to those provided by these decompositions. This result will then provide us with the tools to prove that all tensor products of Gorenstein injective modules over these rings are Gorenstein injective.
For any ring $R$ and any positive integer $n$, we prove that a left $R$-module is a Gorenstein $n$-syzygy if and only if it is an $n$-syzygy. Over a left and right Noetherian ring, we introduce the notion of the Gorenstein transpose of finitely generated modules. We prove that a module $M\in \mod R^{op}$ is a Gorenstein transpose of a module $A\in \mod R$ if and only if $M$ can be embedded into a transpose of $A$ with the cokernel Gorenstein projective. Some applications of this result are given.
In this paper we mainly study the homological properties of dual modules over $k$-Gorenstein rings. For a right quasi $k$-Gorenstein ring $Λ$, we show that the right self-injective dimension of $Λ$ is at most $k$ if and only if each $M \in$mod $Λ$ satisfying the condition that Ext$_Λ^i(M, Λ)=0$ for any $1\leq i \leq k$ is reflexive. For an $\infty$-Gorenstein ring, we show that the big and small finitistic dimensions and the self-injective dimension of $Λ$ are identical. In addition, we show that if $Λ$ is a left quasi $\infty$-Gorenstein ring and $M\in$mod $Λ$ with grade$M$ finite, then Ext$_Λ^i($Ext$_{Λ^{op}}^i($Ext$_Λ^{{\rm grade}M}(M, Λ), Λ), Λ)=0$ if and only if $i\neq$grade$M$. For a 2-Gorenstein ring $Λ$, we show that a non-zero proper left ideal $I$ of $Λ$ is reflexive if and only if $Λ/I$ has no non-zero pseudo-null submodule.
We study the properties of rings satisfying Auslander-type conditions. If an artin algebra $Λ$ satisfies the Auslander condition (that is, $Λ$ is an $\infty$-Gorenstein artin algebra), then we construct two kinds of subcategories which form functorially finite cotorsion pairs.