[논문 리뷰] K-theory Classification of Graded Ultramatricial Algebras with Involution

Roozbeh Hazrat, Lia Vaš|arXiv (Cornell University)|2016. 04. 26.

Advanced Topics in Algebra참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $A$가 충분한 유니타리 원소를 가지며 $A_0$가 2-적절하고 $*$-피타고라스임을 만족할 때, $\Gamma$-그레디에이티드 $*$-체 $A$ 위의 그레디에이티드 초초등 $*$-대수를 $K_{0}^{\text{gr}}$가 완전히 분류함을 증명한다. 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 준동형사상에서 그레디에이티드 $*$-준동형사상으로의 상승에 대한 구축 공식을 제공하며, $K_{0}^\text{gr}$가 유니타리 코너제이션을 통해 $*$-동형사상을 탐지함을 증명하고, 레비트 경로 대수와 그레디에이티드 동형사상 추측에의 적용을 제시한다.

ABSTRACT

We consider a generalization $K_0^{\operatorname{gr}}(R)$ of the standard Grothendieck group $K_0(R)$ of a graded ring $R$ with involution. If $Γ$ is an abelian group, we show that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial $*$-algebras over a $Γ$-graded $*$-field $A$ such that (1) each nontrivial graded component of $A$ has a unitary element in which case we say that $A$ has enough unitaries, and (2) the zero-component $A_0$ is 2-proper (for any $a,b\in A_0,$ $aa^*+bb^*=0$ implies $a=b=0$) and $*$-pythagorean (for any $a,b\in A_0,$ $aa^*+bb^*=cc^*$ for some $c\in A_0$). If the involutive structure is not considered, our result implies that $K_0^{\operatorname{gr}}$ completely classifies graded ultramatricial algebras over any graded field $A.$ If the grading is trivial and the involutive structure is not considered, we obtain some well known results as corollaries. If $R$ and $S$ are graded matricial $*$-algebras over a $Γ$-graded $*$-field $A$ with enough unitaries and $f: K_0^{\operatorname{gr}}(R) o K_0^{\operatorname{gr}}(S)$ is a contractive $\mathbb Z[Γ]$-module homomorphism, we present a specific formula for a graded $*$-homomorphism $ϕ: R o S$ with $K_0^{\operatorname{gr}}(ϕ) = f.$ If the grading is trivial and the involutive structure is not considered, our constructive proof implies the known results with existential proofs. As an application of our results, we show that the graded version of the Isomorphism Conjecture holds for a class of Leavitt path algebras: if $E$ and $F$ are countable, row-finite, no-exit graphs in which every path ends in a sink or a cycle and $K$ is a 2-proper and $*$-pythagorean field, then the Leavitt path algebras $L_K(E)$ and $L_K(F)$ are isomorphic as graded rings if any only if they are isomorphic as graded $*$-algebras.

연구 동기 및 목표

• 그레디에이티드 $*$-체 위의 $*$-대수에 대해 $K_0$를 그레디에이티드 버전인 $K_0^{\text{gr}}$로 일반화하기.
• 그레디에이티드 초초등 $*$-대수가 $K_0^{\text{gr}}$에 의해 완전히 분류되는 조건을 규명하기.
• 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 준동형사상에서 그레디에이티드 $*$-준동형사상으로의 명시적 구성 제공하기.
• 두 그레디에이티드 $*$-준동형사상 $\phi, \psi: R \to S$가 같은 $K_0^{\text{gr}}$ 지도를 유도할 조건을 유니타리 코너제이션 기준으로 설정하기.
• 2-적절하고 $*$-피타고라스인 체 위의 레비트 경로 대수에 대해 그레디에이티드 동형사상 추측의 버전을 증명하기.

제안 방법

• 그레디에이티드 환 $R$와 호환을 갖는 $K_0^{\text{gr}}(R)$를 $K_0(R)$의 일반화로 도입하기.
• 그레디에이티드 $*$-체 $A$에 대해 '충분한 유니타리 원소' 조건과 그의 차수 0 성분인 $A_0$에 대해 '2-적절' 및 '$*$-피타고라스' 조건 정의하기.
• 이 조건들이 만족될 경우, $K_0^{\text{gr}}$가 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 동형사상에 의해 그레디에이티드 초초등 $*$-대수를 완전히 분류함을 보이기.
• 주어진 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 준동형사상 $f: K_0^{\text{gr}}(R) \to K_0^{\text{gr}}(S)$로부터 명시적으로 그레디에이티드 $*$-준동형사상 $\phi: R \to S$를 구성하기.
• 두 그레디에이티드 $*$-준동형사상 $\phi, \psi: R \to S$에 대해 $K_0^{\text{gr}}(\phi) = K_0^{\text{gr}}(\psi)$이면, $S$의 차수 0 유니타리 원소 $u$를 통해 $\phi(r) = u\psi(r)u^*$ for all $r \in R$ 임을 증명하기.
• 가산적이고 행렬이 끝나지 않는, 종점 또는 사이클로 끝나는 무한 경로를 갖는 그래프의 레비트 경로 대수에 대해 분류를 적용하여, 그레디에이티드 환 동형사상이 2-적절하고 $*$-피타고라스인 체 위에서 $*$-대수 동형사상임을 보여주기.

실험 결과

연구 질문

• RQ1 그레디에이티드 초초등 $*$-대수가 그레디에이티드 $*$-체 $A$ 위에서 $K_0^{\text{gr}}$에 의해 완전히 분류되는 조건은 무엇인가?
• RQ2 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 준동형사상이 두 $K_0^{\text{gr}}$ 그룹 간에 주어졌을 때, 이를 명시적인 그레디에이티드 $*$-준동형사상으로 상승시킬 수 있는가?
• RQ3 두 그레디에이티드 $*$-준동형사상 $\phi, \psi: R \to S$의 $K_0^{\text{gr}}$-이미지에 대해 어떤 조건에서 동치가 되는가?
• RQ4 $K_0^{\text{gr}}$는 2-적절하고 $*$-피타고라스인 체 위의 종점이 없는 그래프의 레비트 경로 대수 간의 $*$-동형사상을 탐지할 수 있는가?
• RQ5 기저 체가 2-적절하고 $*$-피타고라스일 경우, 레비트 경로 대수에 대해 그레디에이티드 동형사상 추측이 참인가?

주요 결과

• 그레디에이티드 $*$-체 $A$ 위의 그레디에이티드 초초등 $*$-대수는 $A$가 충분한 유니타리 원소를 가지며 $A_0$가 2-적절하고 $*$-피타고라스일 경우, $K_0^{\text{gr}}$에 의해 완전히 분류된다.
• 모든 수축 가능한 $\mathbb{Z}[\Gamma]$-모듈러스 준동형사상 $f: K_0^{\text{gr}}(R) \to K_0^{\text{gr}}(S)$에 대해, $K_0^{\text{gr}}(\phi) = f$를 만족하는 명시적인 그레디에이티드 $*$-준동형사상 $\phi: R \to S$를 위한 공식이 존재한다.
• 두 그레디에이티드 $*$-준동형사상 $\phi, \psi: R \to S$에 대해 $K_0^{\text{gr}}(\phi) = K_0^{\text{gr}}(\psi)$이면, $S$의 차수 0 유니타리 원소 $u$가 존재하여 모든 $r \in R$에 대해 $\phi(r) = u\psi(r)u^*$ 임이 필요하고 충분하다.
• 모든 체 $K$에 대해, 가산적이고 행렬이 끝나지 않는 종점이 없는 그래프의 레비트 경로 대수 $L_K(E)$와 $L_K(F)$는 그레디에이티드 환으로서 동형일 필요와 충분조건이 $K_0^{\text{gr}}(L_K(E))$와 $K_0^{\text{gr}}(L_K(F))$ 사이에 수축 가능한 $\mathbb{Z}[x,x^{-1}]$-모듈러스 동형사상이 존재하는 것이다.
• 만약 $K$가 2-적절하고 $*$-피타고라스이면, $L_K(E) \cong_{\text{gr}} L_K(F)$가 그레디에이티드 환으로서 성립할 필요와 충분조건이 그들이 그레디에이티드 $*$-대수로서 동형임을 뜻하며, 이는 이 클래스에 대해 그레디에이티드 동형사상 추측의 버전을 증명한다.
• $K_0$보다 $K_0^{\text{gr}}$가 더 정밀한 불변량임을 보여주는 예시를 통해, $K_0$가 구분할 수 없는 대수들을 $K_0^{\text{gr}}$가 구분할 수 있음을 입증한다.