[论文解读] K-theory Classification of Graded Ultramatricial Algebras with Involution

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

Advanced Topics in Algebra参考文献 11被引用 3

一句话总结

本文证明了当 $A$ 具有足够单位元且 $A_0$ 为 2-适当和 $*$-毕达哥拉斯时，分次格罗滕迪克群 $K_{0}^{\text{gr}}$ 完全分类了分次 $*$-域 $A$ 上的分次超矩阵 $*$-代数。本文提供了将压缩的 $\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}}$ 完全分类分次超矩阵 $*$-代数的条件。
• 从 $K_0^{\text{gr}}$ 群之间的压缩 $\mathbb{Z}[\Gamma]$-模同态显式构造分次 $*$-同态。
• 建立两个分次 $*$-同态诱导相同 $K_0^{\text{gr}}$ 映射的单位元共轭准则。
• 证明在 2-适当且 $*$-毕达哥拉斯域上，莱维特路径代数的分次同构猜想成立。

提出的方法

• 将分次格罗滕迪克群 $K_0^{\text{gr}}(R)$ 引入为分次环 $R$（带对合）的 $K_0(R)$ 的推广。
• 定义分次 $*$-域 $A$ 的“足够单位元”条件，以及其零次分量 $A_0$ 的“2-适当”和“$*$-毕达哥拉斯”条件。
• 在这些条件下，证明 $K_0^{\text{gr}}$ 通过压缩的 $\mathbb{Z}[\Gamma]$-模同构完全分类了 $A$ 上的分次超矩阵 $*$-代数。
• 从给定的压缩 $\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$ 中的零次分量单位元 $u$，使得对所有 $r \in R$，有 $\phi(r) = u\psi(r)u^*$。
• 将分类结果应用于具有无限路径终止于汇点或环的可数、行有限且无出口的图的莱维特路径代数，证明分次环同构蕴含在 2-适当且 $*$-毕达哥拉斯域上的 $*$-代数同构。

实验结果

研究问题

• RQ1 在何种条件下，分次格罗滕迪克群 $K_0^{\text{gr}}$ 是分次超矩阵 $*$-代数在分次 $*$-域 $A$ 上的完全不变量？
• RQ2 能否将 $K_0^{\text{gr}}$ 群之间的压缩 $\mathbb{Z}[\Gamma]$-模同态提升为对应代数之间的显式分次 $*$-同态？
• RQ3 何时两个分次 $*$-同态 $\phi, \psi: R \to S$ 在其 $K_0^{\text{gr}}$-像意义下等价？
• RQ4 $K_0^{\text{gr}}$ 是否能检测在 2-适当且 $*$-毕达哥拉斯域上，无出口图的莱维特路径代数之间的 $*$-同构？
• RQ5 当基域为 2-适当且 $*$-毕达哥拉斯时，莱维特路径代数的分次同构猜想是否成立？

主要发现

• 当 $A$ 具有足够单位元且 $A_0$ 为 2-适当和 $*$-毕达哥拉斯时，分次格罗滕迪克群 $K_0^{\text{gr}}$ 完全分类了 $\Gamma$-分次 $*$-域 $A$ 上的分次超矩阵 $*$-代数。
• 对于任意压缩的 $\mathbb{Z}[\Gamma]$-模同态 $f: K_0^{\text{gr}}(R) \to K_0^{\text{gr}}(S)$，存在一个显式公式，可构造出一个分次 $*$-同态 $\phi: R \to S$，使得 $K_0^{\text{gr}}(\phi) = f$。
• 两个分次 $*$-同态 $\phi, \psi: R \to S$ 满足 $K_0^{\text{gr}}(\phi) = K_0^{\text{gr}}(\psi)$ 当且仅当存在一个 $S$ 中的零次分量单位元 $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^{\text{gr}}$ 不变量比 $K_0$ 更精细，通过示例表明其可区分 $K_0$ 无法区分的代数。