On the homogeneous zero components of Leavitt algebras
Raimund Preusser
TL;DR
This work describes the zero component $L(m,n)_0$ of the Leavitt algebra $L(m,n)$ under the canonical $\mathbb{Z}$-grading, proving $L(m,n)_0 \cong A(m,n) * A(n,m)$ where $A(m,n)$ is a direct limit of Bergman algebras. It establishes $A(m,n) \cong L(m,n)_0^{xy}$ and $A(n,m) \cong L(m,n)_0^{yx}$, with $L(m,n)_0^{xy}$ realized via a detailed basis and a presentation $A(m,n)$. For $m=1$, this recovers the classical direct limit of matrix algebras, i.e., $L(1,n)_0$ as a direct limit of matrix algebras. The paper also analyzes the graded $\mathcal{V}$-monoid, shows $\mathcal{V}(L(m,n)_0) \cong \mathcal{V}^{\mathrm{gr}}(L(m,n))$, and proves that $L(m,n)_0$ has the Invariant Basis Number property, highlighting a structural contrast with the full algebra $L(m,n)$ and broadening connections to Bergman algebras and Leavitt path algebras.
Abstract
We prove that the zero component $L(m,n)_0$ of a Leavitt algebra $L(m,n)$ with respect to the canonical grading is a direct limit $\varinjlim_{z}L(m,n)_{0,z}$, where each algebra $L(m,n)_{0,z}$ is a free product of two Bergman algebras. For the special case $m=1,n>1$, one recovers the known result that the zero component $L(1,n)_0$ is a direct limit of matrix algebras. Moreover, we show that $L(m,n)_0$ has the IBN property.
