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

技術要約：重み付きレヴィット・パス代数における次数付きグレディコフ群 $K^{\text{gr}}_0$ の充満性

問題設定
レヴィット・パス代数（LPA）およびグラフ $C^*$-代数の分類は、非可換代数および作用素論における中心的な問題である。「次数付き分類予想」は、次数付きグレディコフ群 $K^{\text{gr}}_0$ がこれらの代数の完全不変量として機能することを提唱している。具体的には、2つのLPAの $K^{\text{gr}}_0$ 群の間の任意の順序保存的な $\mathbb{Z}[x, x^{-1}]$-加群準同型は、それらの代数自体の単単位的な $\mathbb{Z}$-次数付き $k$-準同型へと持ち上げられる（lift）ことが予想されている。一方、この予想のパート(1)（持ち上げの性質）は、ArnoneとVasによって通常のLPAに対して最近確認されたが、パート(2)（同型は同型を意味する）は依然として未解決である。

本論文は、この調査を頂点重み付きレヴィット・パス代数（$L_k(E, w)$）へと拡張する。これらの代数は通常のLPAを一般化したものであり、$n > 1$ における古典的なレヴィット代数 $L_k(n, n+k)$ を実現するために必要である（これらは通常の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$ であるが、これら2つの代数は非同型である）。

方法論
著者らは、モノイド論、次数付き環論、および普遍的代数構成を組み合わせた手法を用いる：

1. グラフ・モノイドとタレンテッド・モノイド： 著者らは、頂点重み付きグラフ $(E, w)$ に付随する重み付きグラフ・モノイド $M(E, w)$ とタレンテッド・モノイド $T(E, w)$ を定義する。タレンテッド・モノイドは、グラフの重みと構造を反映する関係式に従う記号 $v(i)$ によって生成される $\mathbb{Z}$-モノイドである。
2. 簡約性と合流性： AbramsとHazratによって確立された「合流補題（Confluence Lemma）」およびBergmanのメカニズムを用いて、非巡回的な頂点重み付きグラフに対して、グラフ・モノイド $M(E, w)$ が簡約（cancellative）であることを証明する。さらに、タレンテッド・モノイド $T(E, w)$ が常に簡約であることを示すためにこれを拡張する。
3. 精製性質の分析： これらのモノイドの「精製性質（refinement property）」を調査する。$T(E, w)$ が精製性質を持つための必要十分条件は、重み付きグラフが特定の「Preusser条件」を満たすことである。もしこれらの条件が満たされない場合（これは $L_k(n, n+k)$ を実現するグラフにおいて一般的である）、そのモノイドは精製ではない。
4. 被覆グラフ： 著者らは、重み付きモノイドを非重み付きの非巡回的な構造に関連付けるために、被覆グラフ（または無限パス空間）の概念を利用し、既知の非巡回グラフ理論の結果の適用を容易にする。
5. 次数付きBergmanメカニズム： 持ち上げ定理を証明するために、著者らは[14]で開発されたBergmanの普遍的構成の次数付き版を利用する。これにより、各々の $V_{\text{gr}}$ モノイド間のモノイド準同型が与えられたとき、普遍環 $L_k(E, w)$ から任意の対象代数 $A$ への次数付き環準同型を構成することができる。

主要な貢献と結果

• 重み付き代数と非重み付き代数の区別： 本論文は、$K^{\text{gr}}_0$ が頂点重み付きレヴィット・パス代数を通常の（非重み付き）ものから区別することを証明する。具体的には、$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}]$-加群同型が、それぞれの代数の頂点生成イデアルの半束（semilattice）の間の同型を誘導することを確立する。これは、次数付き分類予想の第2の部分を支持する構造的な証拠を提供する。
• 関手の充満性（持ち上げ定理）： 中心的な結果は、$K^{\text{gr}}_0$ が頂点重み付きレヴィット・パス代類の圏において**充満関手（full functor）**であることを証明することである。
  • 定理 4.1： 順序単位（order unit）を保存する $\mathbb{Z}[x, x^{-1}]$-加群準同型 $\phi: K^{\text{gr}}_0(L_k(E, w)) \to K^{\text{gr}}_0(L_k(F, w))$ に対して、$\psi: L_k(E, w) \to L_k(F, w)$ という単単位的な $\mathbb{Z}$-次数付き $k$-準同型が存在し、$K^{\text{gr}}_0(\psi) = \phi$ を満たす。
  • これは、頂点重み付きグラフのクラスに対する次数付き分類予想のパート(1)を裏付けるものである。
• レヴィット代数の分類： 本論文は、$K^{\text{gr}}_0$ が古典的なレヴィット代数 $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$ を一意に決定する。

意義
本論文は、これらの結果が、より広いクラスの頂点重み付きレヴィット・パス代数に対して、次数付き分類予想の一方向を裏付けるものであると主張している。すべての重みが1である特殊なケース（通常のLPA）としてArnoneとVasの持ち上げ定理を回収することで、本研究は通常のLPAと重み付きLPAの理論を次数付きグレディコフ群の枠組みの下で統一している。さらに、$K^{\text{gr}}_0$ が重みの存在を検出し、レヴィット代数 $L_k(n, n+k)$ を分類することを示すことで、著者らは、次数付き不変量が、次数付きでない $K_0$ 群が逃してしまう本質的な構造情報を捉えているという強力な証拠を提示している。タレンテッド・モノイドを $K^{\text{gr}}_0$ の正錐（positive cone）として利用する手法により、グラフの幾何学的構造（サイクル構造やイデアル格子を含む）の直接的な組合せ論的解析が可能となる。