Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2403.01703 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929263909797888 |
|---|---|
| author | Hazrat, Roozbeh Li, Huanhuan Preusser, Raimund |
| author_facet | Hazrat, Roozbeh Li, Huanhuan Preusser, Raimund |
| contents | A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded $K$-theory in classification of algebras and its connections to dynamics and operator algebras, the realisation of $Γ$-monoids (monoids with an action of an abelian group $Γ$ on them) as non-stable graded $K$-theory of graded rings becomes vital. In this paper, we revisit Bergman's work and develop the graded version of this universal construction. For an abelian group $Γ$, a $Γ$-graded ring $R$, and non-zero graded finitely generated projective (left) $R$-modules $P$ and $Q$, we construct a universal $Γ$-graded ring extension $S$ such that $S\otimes_R P\cong S\otimes_R Q$ as graded $S$-modules. This makes it possible to bring the graded techniques, such as smash products and Zhang twists into Bergman's machinery. Given a commutative conical $Γ$-monoid $M$, we construct a $Γ$-graded ring $S$ such that $\mathcal V^{gr}(S)$ is $Γ$-isomorphic to $M$. In fact we show that any finitely generated $Γ$-monoid can be realised as the non-stable graded $K$-theory of a hyper Leavitt path algebra. Here $\mathcal V^{gr}(S)$ is the monoid of isomorphism classes of graded finitely generated projective $S$-modules and the action of $Γ$ on $\mathcal V^{gr}(S)$ is by shift of degrees. Thus the group completion of $M$ can be realised as the graded Grothendieck group $K^{\gr}_0(S)$. We use this machinery to provide a short proof to the fullness of the graded Grothendieck functor $K^{gr}_0$ for the class of Leavitt path algebras (i.e., Graded Classification Conjecture II). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_01703 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Bergman algebras: The graded universal algebra constructions Hazrat, Roozbeh Li, Huanhuan Preusser, Raimund Rings and Algebras A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded $K$-theory in classification of algebras and its connections to dynamics and operator algebras, the realisation of $Γ$-monoids (monoids with an action of an abelian group $Γ$ on them) as non-stable graded $K$-theory of graded rings becomes vital. In this paper, we revisit Bergman's work and develop the graded version of this universal construction. For an abelian group $Γ$, a $Γ$-graded ring $R$, and non-zero graded finitely generated projective (left) $R$-modules $P$ and $Q$, we construct a universal $Γ$-graded ring extension $S$ such that $S\otimes_R P\cong S\otimes_R Q$ as graded $S$-modules. This makes it possible to bring the graded techniques, such as smash products and Zhang twists into Bergman's machinery. Given a commutative conical $Γ$-monoid $M$, we construct a $Γ$-graded ring $S$ such that $\mathcal V^{gr}(S)$ is $Γ$-isomorphic to $M$. In fact we show that any finitely generated $Γ$-monoid can be realised as the non-stable graded $K$-theory of a hyper Leavitt path algebra. Here $\mathcal V^{gr}(S)$ is the monoid of isomorphism classes of graded finitely generated projective $S$-modules and the action of $Γ$ on $\mathcal V^{gr}(S)$ is by shift of degrees. Thus the group completion of $M$ can be realised as the graded Grothendieck group $K^{\gr}_0(S)$. We use this machinery to provide a short proof to the fullness of the graded Grothendieck functor $K^{gr}_0$ for the class of Leavitt path algebras (i.e., Graded Classification Conjecture II). |
| title | Bergman algebras: The graded universal algebra constructions |
| topic | Rings and Algebras |
| url | https://arxiv.org/abs/2403.01703 |