arXiv subjects

Xianhui Fu

Publications and source records attributed to Xianhui Fu.

5 recordsLinked to original sources

arXiv2021

Balanced pairs on triangulated categories

Let $\mathcal{C}$ be a triangulated category. We first introduce the notion of balanced pairs in $\mathcal{C}$, and then establish the bijective correspondence between balanced pairs and proper classes $ξ$ with enough $ξ$-projectives and enough $ξ$-injectives. Assume that $ξ:=ξ_{\mathcal{X}}=ξ^{\mathcal{Y}}$ is the proper class induced by a balanced pair $(\mathcal{X},\mathcal{Y})$. We prove that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is an extriangulated category. Moreover, it is proved that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is a triangulated category if and only if $\mathcal{X}=\mathcal{Y}=0$; and that $(\mathcal{C}, \mathbb{E}_ξ, \mathfrak{s}_ξ)$ is an exact category if and only if $\mathcal{X}=\mathcal{Y}=\mathcal{C}$. As an application, we produce a large variety of examples of extriangulated categories which are neither exact nor triangulated.

math.RA↗

arXiv2020

Lattice Theoretic Properties of Aprroximating Ideals

It is proved that a finite intersection of special preenveloping ideals in an exact category $({\mathcal A}; {\mathcal E})$ is a special preenveloping ideal. Dually, a finite intersection of special precovering ideals is a special precovering ideal. A counterexample of Happel and Unger shows that the analogous statement about special preenveloping subcategories does not hold in classical approximation theory. If the exact category has exact coproducts, resp., exact products, these results extend to intersections of infinite families of special peenveloping, resp., special precovering, ideals. These techniques yield the Bongartz-Eklof-Trlifaj Lemma: if $a \colon A \to B$ is a morphism in ${\mathcal A},$ then the ideal $a^{\perp}$ is special preenveloping. This is an ideal version of the Eklof-Trlifaj Lemma, but the proof is based on that of Bongartz' Lemma. The main consequence is that the ideal cotorsion pair generated by a small ideal is complete.

math.CT↗

arXiv2017

Neeman's characterization of K(R-Proj) via Bousfield localization

Let $R$ be an associative ring with unit and denote by $K({\rm R \mbox{-}Proj})$ the homotopy category of complexes of projective left $R$-modules. Neeman proved the theorem that $K({\rm R \mbox{-}Proj})$ is $\aleph_1$-compactly generated, with the category $K^+ ({\rm R \mbox{-}proj})$ of left bounded complexes of finitely generated projective $R$-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K({\rm R \mbox{-}Proj})$ vanishes in the Bousfield localization $K({\rm R \mbox{-}Flat})/\langle K^+ ({\rm R \mbox{-}proj}) \rangle.$

math.RT↗

arXiv2016

Totally acyclic complexes

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathcal{GI}}$. 3. Every complex in $dw(\mathcal{GI})$ is dg-Gorenstein injective. Theorem 2 shows that the analogue result for complexes of flat and Gorenstein flat modules also holds. We prove (Corollary 1) that, over a commutative noetherian ring $R$, the equivalent statements in Theorem 1 (as well as their counterparts from Theorem 2) hold if and only if the ring is Gorenstein. Thus we improve on a result of Iyengar's and Krause's; in [18] they proved that for a commutative noetherian ring $R$ with a dualizing complex, the class of exact complexes of injectives coincides with that of totally acyclic complexes of injectives if and only if $R$ is Gorenstein. We are able to remove the dualizing complex hypothesis. In the second part of the paper we focus on two sided noetherian rings that satisfy the Auslander condition. We prove (Theorem 6) that for such a ring $R$ that also has finite finitistic flat dimension, every complex of injective (left and respectively right) $R$-modules is totally acyclic if and only if $R$ is a Gorenstein ring.

math.AC↗

arXiv2013

Powers of the Phantom Ideal

It is proved that if G is a finite group, then the order of G is a proper upper bound for the phantom number of G. More specifically, if k is a field whose characteristic divides the order of G, and $Φ$ is the ideal of phantom morphisms in the stable category k[G]-$\underline{\rm Mod}$ of modules over the group algebra k[G], then $Φ^{n-1} = 0,$ where n is the nilpotency index of the Jacobson radical J of k[G]. If $R$ is a semiprimary ring, with $J^n =0,$ and $Φ$ denotes the phantom ideal in the module category R-Mod, then $Φ^n$ is the ideal of morphisms that factor through a projective module. If R is a right coherent ring and every cotorsion left R-module has a coresolution of length $n$ by pure injective modules, then $Φ^{n+1}$ is the ideal of morphisms that factor through a flat module. These results are obtained by introducing the mono-epi (ME) exact structure on the morphisms of an exact category (${\mathcal A}; {\mathcal E}$), used to prove new versions of Salce's Lemma, the Ghost Lemma of Christensen, and Wakamatsu's Lemma. Salce's Lemma gives a bijective correspondence between special precovering ideals and special preenveloping ideals. The exact category (Arr (${\mathcal A}$); ME) of morphisms allows us to introduce the notion of an extension $i \star j$ of morphisms and the notion of an extension of ideals in (${\mathcal A}; {\mathcal E}$). The Ghost Lemma asserts that the class of special precovering (resp., special preenveloping) ideals is closed under products and extensions and that the bijective correspondence of Salce's Lemma replaces multiplication with extension. Wakamatsu's Lemma is the statement that if a covering ideal is closed under extensions of morphisms, then it is a special precovering ideal with a syzygy ideal generated by objects.

math.CT↗