The graded Grothendieck group ${K}_0^{\mathrm{gr}}$ is full for weighted Leavitt path algebras

技术摘要：加权 Leavitt 路径代数的分级 Grothendieck 群 $K^{\text{gr}}_0$ 是满的

问题陈述
Leavitt 路径代数（LPAs）与图 $C^*$-代数的分类是无交换代数与算子理论中的一个核心问题。“分级分类猜想”（Graded Classification Conjecture）认为，分级 Grothendieck 群 $K^{\text{gr}}_0$ 是这些代数的完全不变量。具体而言，该猜想指出，两个 LPA 的 $K^{\text{gr}}_0$ 群之间任何保序的 $\mathbb{Z}[x, x^{-1}]$-模同态，都可以提升为这两个代数本身之间的幺单位 $\mathbb{Z}$-分级 $k$-同态。虽然 Arnone 和 Vas 最近已证实了该猜想的第一部分（提升性质）对于普通 LPA 成立，但第二部分（同构蕴含同构）仍是一个开放问题。

本文将研究范围扩展到了顶点加权 Leavitt 路径代数（$L_k(E, w)$）。这些代数是普通 LPA 的推广，并且是实现经典 Leavitt 代数 $L_k(n, n+k)$（其中 $n > 1$）所必需的，因为后者无法用普通 LPA 来表示。一个主要的挑战在于确定在加权设定下，$K^{\text{gr}}_0$ 是否仍能保持其结构的效力，特别是因为普通的 $K_0$ 群无法区分某些加权代数与无权代数（例如，$K_0(L_k(1, 1+k)) \cong K_0(L_k(n, n+k)) \cong \mathbb{Z}^k$，尽管这些代数并不同构）。

方法论
作者结合了单群理论、分级环理论以及通用代数构造：

1. 图单群与天才单群（Talented Monoids）： 作者定义了与顶点加权图 $(E, w)$ 相关联的加权图单群 $M(E, w)$ 和天才单群 $T(E, w)$。天才单群是一个由符号 $v(i)$ 生成的 $\mathbb{Z}$-单群，其关系反映了图的权重与结构。
2. 可消去性与汇合性： 利用 Abrams 和 Hazrat 建立的“汇合引理”（Confluence Lemma）以及 Bergman 的机制，作者证明了对于无环顶点加权图，图单群 $M(E, w)$ 是可消去的。他们进一步证明了天才单群 $T(E, w)$ 始终是可消去的。
3. 细化性质分析： 本文研究了这些单群的“细化性质”（refinement property）。研究表明，$T(E, w)$ 具有细化性质当且仅当加权图满足特定的“Preusser 条件”。如果这些条件不满足（这在实现 $n > 1$ 的 $L_k(n, n+k)$ 的图中很常见），则该单群不是细化的。
4. 覆盖图： 作者利用覆盖图（或无限路径空间）的概念，将加权单群与一个无权的无环结构联系起来，从而便于应用已知的无环图理论结果。
5. 分级 Bergman 机制： 为了证明提升定理，作者利用了分级版本的 Bergman 通用构造（由 [14] 开发）。这使得在给定两个 $V_{\text{gr}}$ 单群之间的单群同态的情况下，可以从通用环 $L_k(E, w)$ 到任何目标代数 $A$ 构建一个分级环同态。

主要贡献与结果

• 加权与无权代数的区分： 本文证明了 $K^{\text{gr}}_0$ 能够区分顶点加权 Leavitt 路径代数与普通（无权）代数。具体而言，如果 $L_k(E, w)$ 是一个不满足 Preusser 条件的加权代数，那么其天才单群 $T(E, w)$ 不是一个细化单群。由于任何无权图的天才单群都是细化单群，因此 $K^{\text{gr}}_0(L_k(E, w))$ 不可能与任何无权图 $F$ 的 $K^{\text{gr}}_0(L_k(F))$ 同构。这与普通 $K_0$ 群无法做出这种区分形成了对比。
• 理想的格同构： 作者确立了 $K^{\text{gr}}_0(L_k(E, w))$ 与 $K^{\text{gr}}_0(L_k(F, w))$ 之间的保序 $\mathbb{Z}[x, x^{-1}]$-模同构会诱导各自代数中顶点生成理想的半格同构。这为支持分级分类猜想的第二部分提供了结构性证据。
• 函子的满性（提升定理）： 本文的核心结果是证明了 $K^{\text{gr}}_0$ 是顶点加权 Leavitt 路径代数范畴上的一个满函子。
  • 定理 4.1： 对于任何保序单位的 $\mathbb{Z}[x, x^{-1}]$-模同态 $\phi: K^{\text{gr}}_0(L_k(E, w)) \to K^{\text{gr}}_0(L_k(F, w))$，存在一个幺单位 $\mathbb{Z}$-分级 $k$-同态 $\psi: L_k(E, w) \to L_k(F, w)$，使得 $K^{\text{gr}}_0(\psi) = \phi$。
  • 这证实了分级分类猜想的第一部分在顶点加权图类中的成立。
• Leavitt 代数的分类： 本文展示了 $K^{\text{gr}}_0$ 完全分类了经典 Leavitt 代数 $L_k(n, n+k)$。虽然 $K_0$ 无法区分 $L_k(n, n+k)$ 与 $L_k(n+l, n+k+l)$，但分级群 $K^{\text{gr}}_0$（通过其天才单群的同构）能唯一确定参数 $n$ 和 $k$。

意义
本文声称，这些结果证实了分级分类猜想在更广泛的顶点加权 Leavitt 路径代数类中的一个方向。通过将 Arnone 和 Vas 的提升定理作为一种特例（即所有权重均为 1 时）进行回收，这项工作在分级 Grothendieck 群的框架下统一了普通和加权 LPA 理论。此外，通过展示 $K^{\text{gr}}_0$ 如何检测权重的存在并分类 Leavitt 代数 $L_k(n, n+k)$，作者证明了分级不变量捕捉到了普通 $K_0$ 群所遗失的重要结构信息。利用天才单群作为 $K^{\text{gr}}_0$ 正锥的方法，使得对代数几何（包括循环结构和理想格）的直接组合分析成为可能。