[論文レビュー] Isomorphisms between Leavitt algebras and their matrix rings

Gene Abrams, Phạm Ngọc Ánh+1 more|ArXiv.org|Dec 19, 2006

Advanced Operator Algebra Research参考文献 9被引用数 6

ひとこと要約

この論文は、Leavitt代数 $L_n$ 上の行列代数 $\mathrm{M}_d(L_n)$ が $L_n$ に同型であるための必要十分条件として、$d$ と $n-1$ が互いに素であること、すなわち $\gcd(d,n-1)=1$ であることを確立している。著者らは、$\mathrm{M}_d(L_n)$ のための新規な生成集合を用いて明示的な同型写像を構成し、$d$ が $n$ の任意のべきの因数でない場合でも同型写像が存在することを示した。これにより、先行研究で提起された疑問が解決され、純粋に無限大な単純 $K$-代数を $K_0$-理論によって区別するための基礎的結果が得られた。

ABSTRACT

Let $K$ be any field, let $L_n$ denote the Leavitt algebra of type $(1,n-1)$ having coefficients in $K$, and let ${ m M}_d(L_n)$ denote the ring of $d imes d$ matrices over $L_n$. In our main result, we show that ${ m M}_d(L_n) \cong L_n$ if and only if $d$ and $n-1$ are coprime. We use this isomorphism to answer a question posed in \cite{PS} regarding isomorphisms between various C*-algebras. Furthermore, our result demonstrates that data about the $K_0$ structure is sufficient to distinguish up to isomorphism the algebras in an important class of purely infinite simple $K$-algebras.

研究の動機と目的

• 行列代数 $\mathrm{M}_d(L_n)$ が Leavitt代数 $L_n$ に同型である条件を特定する長年の未解決問題を解決すること。
• $\gcd(d,n-1) = 1$ のとき、$d \mid n^\alpha$ を満たさない場合でも、$L_n$ と $\mathrm{M}_d(L_n)$ の間の明示的な同型写像を構成すること。
• $L_n$ によって生成される純粋に無限大な単純 $K$-代数の族において、$K_0$-データのみで同型類を区別できるかどうかを示すこと。
• Cuntz代数上の行列代数間の同型に関する問題に対して、高度な $C^*$-代数的技法に依存せず、初等的かつ明示的な解法を提供すること。

提案手法

• $n$ と $d$ にユークリッドの互除法を適用する再帰的アルゴリズムを用いて、$\mathrm{M}_d(L_n)$ の新しい生成集合を構成する。
• 各行列 $X_i$ と $Y_i$ を $\mathrm{M}_d(L_n)$ 内に定義し、$\mathbb{Z}$-次数付き代数における次数が制御された形になるようにする。これにより $L_n$ の関係式が保たれる。
• Leavitt代数 $L_n$ の普遍性を用いて、生成元 $x_i \mapsto X_i$、$y_i \mapsto Y_i$ の割り当てにより、$L_n$ から $\mathrm{M}_d(L_n)$ への準同型を誘導する。
• $\gcd(d,n-1)=1$ の条件を用いて、この準同型が全射かつ単射であることを示し、同型であることを証明する。
• 新しい生成集合の各成分が最大で $d-1$ 次の次数を持つことを利用し、$d \mid n^\alpha$ を要請する必要がある従来の構成の制限を回避する。
• $K = \mathbb{C}$ の場合に $C^*$-代数の設定に応用し、同型写像が完備化に引き上げられることを示し、$\mathrm{M}_d(\mathcal{O}_n) \cong \mathcal{O}_n$ を得る。

実験結果

リサーチクエスチョン

• RQ1 体 $K$ に対して、$\mathrm{M}_d(L_n)$ が $L_n$ に同型であるのはいつか？
• RQ2 もし $\gcd(d,n-1) = 1$ であっても $d$ が $n$ の任意のべきの因数でない場合、$L_n$ と $\mathrm{M}_d(L_n)$ の間に明示的な同型写像を構成できるか？
• RQ3 $L_n$ によって生成される純粋に無限大な単純 $K$-代数の族において、$K_0$-理論のデータのみで同型類を区別できるか？
• RQ4 $\mathrm{M}_d(\mathcal{O}_n)$ と $\mathcal{O}_n$ の間の同型写像を、高度な $C^*$-代数的道具に依存せず、初等的かつ明示的に確立できるか？

主な発見

• 行列代数 $\mathrm{M}_d(L_n)$ が $L_n$ に同型であるのは、$\gcd(d,n-1) = 1$ のときに限られ、完全な特徴づけが得られた。
• すべての $d$ に対して、$n-1$ と互いに素であれば、$L_n$ と $\mathrm{M}_d(L_n)$ の間の明示的な同型写像が構成可能であり、$d$ が $n$ のべきの因数でない場合でも同様である。
• この同型写像は、$\mathrm{M}_d(L_n)$ の新しい生成集合を用いて実現され、$n$ 個の行列の成分の次数が $d-1$ 以下に制限されている。これは、従来の構成が次数 1 の成分を要請するのとは対照的である。
• この結果により、$\mathrm{M}_d(\mathcal{O}_n) \cong \mathcal{O}_n$ が $\gcd(d,n-1) = 1$ のとき、高度な $C^*$-代数的結果に依存せず、直接的かつ初等的な証明が可能であることが示された。これは [14] で提起された疑問に肯定的に答えている。
• $L_n$ の $K_0$-群のデータが、純粋に無限大な単純 $K$-代数の族における同型類を区別するのに十分であることが示された。これは $C^*$-代数理論における結果の代数的類似を支持する。