[論文レビュー] The kernel of the determinant map on pure C*-algebras

Ping Wong Ng, Leonel Robert|arXiv (Cornell University)|Aug 19, 2014

Advanced Operator Algebra Research参考文献 23被引用数 9

ひとこと要約

この論文は、安定的スカラーが1でトレース一意的な2-quasitracial状態をもつ分離可能で単純かつ純粋なC*-代数において、恒等元の連結成分に属するユニタリでde la Harpe–Skandalis行列式が0であるものは、その分解における指数関数の個数をkとすると、正確に7k + 29個の交換子の積として表せることを確立している。この結果は、AF、AH、Z-安定なC*-代数に既に知られていた結果を、非核型の例（例えば、無限個の生成元をもつ自由群の縮小C*-代数）を含むより広いクラスへと拡張する。

ABSTRACT

In a simple C*-algebra with suitable regularity properties, any unitary or invertible element with de la Harpe--Skandalis determinant zero is a finite product of commutators.

研究の動機と目的

• 核型C*-代数を超えて、非核型の純粋なC*-代数へと、行列式が0のユニタリが有限個の交換子の積として表せることを一般化すること。
• その指数関数的分解に基づいて、このようなユニタリを表すために必要な交換子の数に対する一様な上限を確立すること。
• ユニタリに限らず、一般線型群の連結成分に属する可逆元へと結果を拡張すること。
• 特に核次元とCuntz半群の性質に着目した最近の分類理論的技法を、豊富な射影をもたないC*-代数へと適用すること。
• 安定的スカラーが1である代数において、行列式写像の核に属する元を交換子として表現するための枠組みを、近似と摂動技法を用いて提供すること。

提案手法

• NCCW系からの分類結果を用いて、仮定を満たす与えられたC*-代数Aに1次元のNCCW C*-代数Bを埋め込むこと。
• Bの核次元が1以下であることを利用し、U⁰(A) ∩ ker Δ_Tr に属するユニタリの近似問題をU⁰(B)に還元すること。
• 豊富な射影が存在しない状況下でも機能するように、AF代数におけるFackの技法の修正版を用い、トレース直交性と交換子による近似を活用すること。
• 各指数関数 e^{ih_j} を11個の交換子の積として表す再帰的構成（直交射影とユニタリを用いる）により、u = ∏_{j=1}^k e^{ih_j} を7k + 29個の交換子の積に分解すること。
• 可逆元 x ∈ GL⁰(A) に対して極分解 x = u|x| を用い、Δ_Tr(u) = Δ_Tr(|x|) = 0 であることを利用して、可逆元のケースをユニタリのケースに還元すること。
• de la Harpe–SkandalisおよびThomsenの証明戦略を非核型C*-代数に適応するため、純粋性（ほぼ非分解的かつほぼ可除的Cuntz半群）と安定的スカラーが1の性質に依拠すること。

実験結果

リサーチクエスチョン

• RQ1 核型C*-代数を超えて、非核型で純粋なC*-代数に対しても、行列式が0のユニタリが有限個の交換子の積として表せることを拡張できるか？
• RQ2 ユニタリ u ∈ U⁰(A) が Δ_Tr(u) = 0 を満たし、u = ∏_{j=1}^k e^{ih_j} と分解できる場合、その指数関数の個数kに基づいて、必要な交換子の数に対する一様な上限は何か？
• RQ3 純粋なC*-代数で安定的スカラーが1であるとき、GL⁰(A) 上のde la Harpe–Skandalis行列式の核は、GL⁰(A) 内の交換子群と一致するか？
• RQ4 FackのAF代数に対する手法を、C*r(F∞) のような豊富な射影をもたないC*-代数へとどのように適応できるか？
• RQ5 純粋なC*-代数の正規性的性質（核次元 ≤ 1 および安定的スカラーが1）は、ker Δ_Tr に属する元を交換子で近似するためにどの程度有効に働くか？

主な発見

• 分離可能で単純かつ純粋なC*-代数Aが安定的スカラーが1でトレース一意的な2-quasitracial状態をもつとき、Δ_Tr(u) = 0 かつ u = ∏_{j=1}^k e^{ih_j} を満たす任意のユニタリ u ∈ U⁰(A) は、正確に7k + 29個の交換子の積として表せる。
• U⁰(A) 上の行列式写像の核は、U⁰(A) 内の交換子群と一致する。すなわち、ker Δ_Tr ∩ U⁰(A) = DU⁰(A) = DU(A) である。
• ユニタリでZ-安定的かつ有理数的TAIなC*-代数では、指数関数的ランクが1+εであるため、ker Δ_Tr ∩ U⁰(A) に属する要素に対しては43個の交換子による一様な上限が得られる。
• この結果は一般線型群へと拡張可能である：x ∈ GL⁰(A) かつ Δ_Tr(x) = 0 ならば、x はGL⁰(A) 内の乗法的交換子の有限個の積として表せる。
• 証明は、A を核次元が1以下のC*-代数Bに埋め込み、問題をBに還元する点に依拠しており、各指数関数を11個の交換子の積として表す摂動的構成を用いる。
• トレース直交性とユニタリ共役を用いて、豊富な射影が存在しない状況下でも、自己随伴元の指数関数を有限個の交換子の積に分解できる。