Arxiv:2106.12152V1 [Math.AC]

Home , Von Neumann regular ring

arXiv:2106.12152v1 [math.AC] 23 Jun 2021 nyi hr sno is there if only ekgoa ieso tms n,teTlsoeCnetr holds Conjecture Telescope the one, most at dimension global weak osqety h eecp ojcuefralcmuaievon commutative all for Conjecture Telescope the Consequently, oyof gory ieso tms n n[]rcnl.I htppr o commutat a for paper, that In recently. [7] in one most at dimension etr osnthl n19.I re ogtamr cuaecon accurate more a get where to order domain valuation In a 1994. of in and example hold not an showed does gave [5] jecture [6] rings Keller hereditary al. However, all et of Krause category pairs. derived 2010, for In holds also conjecture algebraists. Conjecture the many then, of Since attention ideals. of c holds prime by by essentially Conjecture subcategories rings, Telescope localizing noetherian the commutative that of showed category derived [4] Neeman 1992, categor In triangulated generated objects. compactly compact a of subcategory izing genera compactly top [3]). of algebraic (see setting follows general in as more category category a homotopy in stable formulated been the has for Ravenel[2] and [1] h eecp ojcuefrvnNuanrglrrings regular Neumann von for Conjecture Telescope The nti note, this In eecp ojcuefrTinuae Categories Triangulated for Conjecture Telescope .Dprmn fBscCuss hnd eoatcPolytechnic Aeronautic Chengdu Courses, Basic of Department a. S ˇ 00MteaisSbetClassiﬁcation: Subject Mathematics 2010 Conjecture. Telescope the ring; Words: Key ring ho regular Conjecture Neumann Telescope von commutative). the of necessary categories that derived prove localiz unbounded we universal the application, for a an is As commutative) necessary tion. (not ring regular mann ˇ o´ ˇ e aeasml iciiainfrtecmuaiernso w of rings commutative the for discrimination tov´ıˇcek simple a gave R nti oe eso htayeiopimoiiaiga o Neu- von a at originating epimorphism any that show we note, this In h eecp ojcuei ragltdctgr ea rmB from began category triangulated in Conjecture Telescope The . R sarn ihui and unit with ring a is p eie aeoy igeiopim o emn regular Neumann von epimorphism; ring category; derived ∈ Spec( R uhthat such ) -al [email protected] E-mail: ioe Zhang Xiaolei Abstract D 1 pR ( R p eoe h none eie cate- derived unbounded the denotes ) sannzr dmoetielin ideal idempotent non-zero a is 16E50,18G80. hnd 110 China 610100, Chengdu , vr msiglocal- smashing Every i Ext-orthogonal via sgnrtdby generated is y emn regular Neumann asfigalthe all lassifying lso,Bazzoni clusion, triangulated ted for o unbounded for a rw lots drawn has h Telescope the v ring ive lg n it and ology D (not s a global eak ( R lds h con- the ousﬁeld a- fand if ) R R of p . rings. In this note, we prove the Telescope Conjecture holds for all von Neumann regular rings (commutative or non-commutative) by classifying their epimorphisms.

1. The main result Firstly, we propose two theorems in [7], which provide a direction to prove the main result.

Theorem 1.1. ([7, Theorem 3.10]) Let R be an algebra of weak global dimension at most one over a commutative ring k, then the assignment:

D L f 7→ {X ∈ (R)|X ⊗R S =0} is a bijection between (1) equivalence classes of homological epimorphisms f : R → S originating at R, and (2) smashing localizing subcategories X ⊆ D(R).

Theorem 1.2. ([7, Theorem 4.5]) Let R be a right semihereditary ring , then the assignment:

D L f 7→ {X ∈ (R)|X ⊗R S =0} restricts to a bijection between (1) equivalence classes of universal localizations f : R → S originating at R, and (2) compactly generated localizing subcategories X ⊆ D(R).

According to these two theorems, we have the following discrimination methods for the Telescope Conjecture for unbounded derived categories of right semihereditary rings.

Corollary 1.3. Let R be a right semihereditary ring, the Telescope Conjecture holds for D(R) if and only if every homological epimorphism from R is a universal localization.

We characterize the epimorphisms originating at a von Neumann regular ring (commutative or non-commutative).

Lemma 1.4. Every epimorphism originating at a von Neumann regular ring is surjective. 2 Proof. Let R be a von Neumann regular ring, f : R → S an epimorphism and I = ker(f). Consider the following natural commutative diagram,

f R / S ❈ O ❈❈ ❈❈ h g ❈❈ ❈! ! O R/I.

Then R/I is a von Neumann regular ring and h is an epimorphism. To show h is an isomorphism, we just need to prove h is surjective. Let b ∈ S, then b is in the dominion of f. That is, there exist matrices X ∈ M1×m(S),Y ∈ Mm×n(R) and z ∈ Mn×l(S) such that s = Xf(Y )Z by [7, Theorem 5.11]. By adding zeros, we can assume f(Y ) is a k = max(m, n)-square matrix. Because Mk×k(R) is also a von

Neumann regular ring, f(Y ) = f(Y )T f(Y ) for some T ∈ Mk×k(R). Consequently, b = Xf(Y )Z = [Xf(Y )]T [f(Y )Z] ∈ R/I and f is surjective.

Lemma 1.5. Let R be a von Neumann regular ring, every epimorphism originating at R is a universal localization.

Proof. Let f : R ։ R/I be an epimorphism. It is well known that I can be written as a direct union of a family {Iλ|λ ∈ Λ} of ﬁnitely generated ideals. We obtain the following commutative diagram

θλ σλ 0 / Iλ / R / R/Iλ / 0 iλ πλ θ σ 0 / I / R / R/I / 0

Since Iλ is ﬁnitely generated and R is a von Neumann regular ring, gλ is a splitting

monomorphism by [8, Theorem 1.11]. Let Jλ = R/Iλ such that Iλ ⊕ Jλ = R, σλ :

Jλ → R a homomorphism such that sλσλ = IdJλ and tλ : R → Iλ a homomorphism such that tλθλ = IdIλ . LetΣ= {σλ|λ ∈ Λ}, we prove f is equivalent to the universal localization R → RΣ.

Firstly, we show that σλ ⊗R R/I is an isomorphism for each λ ∈ Λ. Let 0 → Jλ →

R → Iλ → 0 a split short exact sequence. We obtain that the short exact sequence

0 → Jλ ⊗R R/I → R⊗R R/I → Iλ ⊗R R/I → 0 is split. Since R/I is ﬂat and Iλ ⊆ I,

we get Iλ ⊗R R/I = IλR/I = 0. Consequently, σλ ⊗R R/I is an isomorphism.

Secondly, let g : R → S be any ring homomorphism such that σλ ⊗R S is an S- isomorphism for any σλ ∈ Σ. We will show that g factors uniquely through σ. Similar to the proof of the ﬁrst part, we have Iλ ⊗R S = 0, thus gθ(I) ≤ IS = I ⊗R S = 3 lim I ⊗ S = 0. Consequently, there is a unique homomorphism h : R/I → S such → λ R that the following diagram commutes,

S ⑤= O✤ g ⑤⑤ ✤ ⑤⑤ h ⑤⑤ ✤ θ ⑤⑤ σ 0 / I / R / R/I / 0 . As an application, we get the following main result.

Theorem 1.6. Let R be a von Neumann regular ring (commutative or non-commutative), then the Telescope Conjecture holds for D(R).

Proof. By Lemma 1.5, every homological epimorphism is a universal localization. Subsequently, the Telescope Conjecture holds for D(R) by Corollary 1.3. References

[1] A. K. Bousﬁeld, The localization of spectra with respect to homology, Topology 18,257- 281(1979). [2] D. C. Ravenel, Localization with respect to certain periodic homology theories, Amer. J. Math. 160, no.2, 351-414(1984). [3] J. Sarochˇ and J. Sˇˇtov´ıˇcek, The countable Telescope Conjecture for module categories, Adv. Math. 219(3),1002-1036(2008). [4] A. Neeman, The chromatic twoer for D(R), Topology 31(3),519-532(1992). [5] H. Krause and J. Sˇˇtov´ıˇcek, The telescope conjecture for hereditary rings via Ext-orthogonal pairs, Adv. Math. 225(5),2341-2364(2010). [6] B. Keller, A remark on the generalized smashing conjecture, Manuscripta Math. 84 (2),193- 198(1994). [7] S. Bazzoni and J. Sˇˇtov´ıˇcek, Smashing localizations of rings of weak global dimension at most one, Adv. Math. 305,351-401(2017). [8] K. R. Goodearl, von Neumann Regular Ring(Monographs and Studies in Mathematics 4, London, Pitman Publishing, 1979). [9] H. Krause, Smashing subcategories and the telescope conjecture-an algebraic approach, Invent. math. 139(1),99-133(2000).