[논문 리뷰] Isomorphisms between Leavitt algebras and their matrix rings

Gene Abrams, Phạm Ngọc Ánh외 1명|ArXiv.org|2006. 12. 19.

Advanced Operator Algebra Research참고 문헌 9인용 수 6

한 줄 요약

이 논문은 Leavitt 대수 $L_n$ 위의 행렬 대수 $∝ig{M}_d(L_n)$가 $d$와 $n-1$이 서로소일 때이고 그때에만 $L_n$과 동형임을 증명한다. 저자들은 $∝ig{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.

연구 동기 및 목표

• 행렬 대수 $∝ig{M}_d(L_n)$이 Leavitt 대수 $L_n$과 동형이 되는지 여부에 대한 오랫동안 남아있던 질문을 해결하기 위해.
• 만약 $\gcd(d,n-1) = 1$이라면 $L_n$과 $∝ig{M}_d(L_n)$ 사이에 명시적인 동형사상을 구성하여, 이전 결과가 $d \mid n^\alpha$일 때에만 적용되었던 것을 확장하기 위해.
• 순수하게 무한한 단순 $K$-대수의 핵심 가닥에서 $K_0$-자료만으로도 동형류를 구별하는 데 충분한지 보여주기 위해.
• Cuntz 대수 위의 행렬 대수 간의 동형사상에 관한 질문에 대해 고급 $C^*$-대수 기법을 사용하지 않고도 원시적이고 명시적인 해법을 제공하기 위해.

제안 방법

• 나눗셈 알고리즘을 $n$과 $d$에 적용한 재귀적 알고리즘을 사용하여 $∝ig{M}_d(L_n)$의 새로운 생성집합을 구성하기 위해.
• 행렬 $X_i$와 $Y_i$를 $∝ig{M}_d(L_n)$ 내에 정의하여, $\mathbb{Z}$-중복도에서의 차수를 통제함으로써 $L_n$의 관계가 유지되도록 하기 위해.
• Leavitt 대수 $L_n$의 보편성 질을 이용하여 생성자 $x_i \mapsto X_i$, $y_i \mapsto Y_i$의 할당을 통해 $∝ig{M}_d(L_n)$으로의 준동형사상을 유도하기 위해.
• 공약수 조건 $\gcd(d,n-1)=1$을 사용하여 이 준동형사상이 전사적이고 단사적임을 보여 이 준동형사상이 동형임을 증명하기 위해.
• 이 새로운 생성집합의 항목들이 유한한 차수(최대 $d-1$)를 가짐을 활용하여, 이전 구성에서 $d \mid n^\alpha$ 조건이 필요로 했던 제약을 피하기 위해.
• $K = \mathbb{C}$일 때 $C^*$-대수 설정에 적용하기 위해, 이 동형사상이 완비화로 올라가며, $∝ig{M}_d(\mathcal{O}_n)$와 $\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^*$-대수 이론에 의존하지 않고 원시적이고 명시적인 방법으로 확립할 수 있는가?

주요 결과

• 행렬 대수 $∝ig{M}_d(L_n)$은 $\gcd(d,n-1) = 1$이면 $L_n$과 동형이며, 그 외에는 동형이 아니며, 이는 완전한 특성화를 제공한다.
• 모든 $d$에 대해 $d$와 $n-1$이 서로소일 때, $L_n$과 $∝ig{M}_d(L_n)$ 사이에 명시적인 동형사상을 구성하였으며, 이는 $d$가 $n$의 거듭제곱을 나누는지 여부와는 무관하다.
• 이 동형사상은 $∝ig{M}_d(L_n)$의 새로운 생성집합을 통해 실현되었으며, $n$개의 행렬의 항목들이 최대 $d-1$의 차수로 제한되어 있어, 이전 구성에서 차수 1 항목이 필요로 했던 것과는 다르다.
• 이 결과는 $\gcd(d,n-1) = 1$이면 $∝ig{M}_d(\mathcal{O}_n) \cong \mathcal{O}_n$임을 직접적이고 원시적인 증명으로 보여주며, [14]에서 제기된 질문에 대해 고급 $C^*$-대수 결과에 의존하지 않고 긍정적으로 답변한다.
• $L_n$의 $K_0$-군 자료는 순수하게 무한한 단순 $K$-대수의 가닥에서 동형류를 구별하는 데 충분하며, 이는 $C^*$-대수 이론의 결과에 대한 대수적 유사 결과를 지지한다.