[論文レビュー] Quasitraces are Traces: A Short Proof of the Finite-Nuclear-Dimension Case

Nathanial P. Brown, Wilhelm Winter|arXiv (Cornell University)|May 12, 2010

Finite Group Theory Research参考文献 5被引用数 7

ひとこと要約

この論文は、局所的有限核次元をもつC*-代数上の擬トレースがトレースであることを簡潔に証明する。これは、下半連続な拡張された擬トレースへと拡張される。証明は、順序ゼロ写像、有限次元商代数上のトレースの超限極限、および擬トレースの2-下付加性を用いて、任意の擬トレースがトレースによって上から支配されることを示し、したがってそれが自身もトレースでなければならないことを示す。

ABSTRACT

Uffe Haagerup proved that quasitraces on unital exact C* -algebras are traces. We give a short proof under the stronger hypothesis of finite nuclear dimension.

研究の動機と目的

• 局所的有限核次元をもつC*-代数上の擬トレースがトレースであることを、ハーガープの元々の結果よりも強い仮定の下で、短く自立的な証明を提供すること。
• 非単位的C*-代数に、局所的有限核次元をもつ下半連続な拡張された擬トレースへと結果を一般化すること。
• 分類理論的C*-代数の文脈においてトレース性が成立することを確立すること。これらの代数は、有限または局所的有限核次元をもつことが知られている。
• 有限次元代数による近似と超限極限の技法を用いて、擬トレース条件がトレース条件を意味することを示すこと。
• ジョージ・エリオットが提起した疑問、すなわち結果が拡張された擬トレースへと拡張可能かどうかを、下半連続の場合に肯定的に解決すること。

提案手法

• 最小射影のムーリー＝フォン・ノイマン同値性を用いて、有限次元C*-代数上の擬トレースはトレースである（補題1）という事実を利用する。
• 順序ゼロ写像を適用して、有限次元商代数からのトレースを持ち上げる：φ: A → B が順序ゼロで、τがB上のトレースであれば、τ∘φはA上のトレースである（補題2）。
• 有限次元Fᵢ⁽λ⁾をもつ完全正値写像のネット ψλ: A → ⊕ᵢ₌₀ⁿ Fᵢ⁽λ⁾ および φλ: ⊕ᵢ₌₀ⁿ Fᵢ⁽λ⁾ → A を構成し、φλ∘ψλがA上で恒等写像を近似するようにする。
• 自由な超フィルターωに沿った超限極限を用いて、有限次元代数の超積上のトレース (τ∘φᵢ⁽λ⁾)ω を構成する。
• 擬トレースの2-下付加性を適用する：正のx,yに対してτ(x+y) ≤ 2(τ(x)+τ(y))であり、これを有限和へと帰納的に拡張する。
• τ(a)を超積上のトレースの有限線形結合によって上から抑え、τ ≤ 2ⁿ∑ᵢ (τ∘φᵢ⁽λ⁾)ω∘ψ̄ᵢ が成り立つことを示し、したがってτはトレースによって上から支配される。よって補題3よりτはトレースである。

実験結果

リサーチクエスチョン

• RQ1 正確性の仮定ではなく、局所的有限核次元の仮定のもとで、擬トレースがトレースであるという結論は成立するか？
• RQ2 非単位的C*-代数に、下半連続な拡張された擬トレースへと結果を拡張可能か？
• RQ3 分類理論の深いつまりを避け、有限核次元の場合に擬トレースがトレースを意味することを、短く直接的な証明で示せるか？
• RQ4 有限次元代数による近似と超限極限の技法を用いて、トレース性を回復できるか？
• RQ5 順序ゼロ写像と超限極限は、核次元枠組みにおいて、擬トレースとトレースをつなぐ役割を果たすか？

主な発見

• 有限核次元をもつC*-代数上の任意の擬トレースはトレースである。これは、有限次元商代数上のトレースの超限極限を用いて支配的トレースを構成することで示された。
• この結果は、局所的有限核次元をもつC*-代数に、下半連続な拡張された擬トレースへと一般化される。この場合、すべての正のa,bに対してτ(a+b) = τ(a) + τ(b)が、τの値が有限である限り成り立つ。
• 証明は、擬トレースの2-下付加性と、順序ゼロ写像が合成において擬トレース／トレース性を保存するという事実に依存する。
• 局所的有限核次元をもつC*-代数の任意の正の元aに対して、τ((a−ε)₊) → τ(a) がε→0のとき成り立つ。これは、極限へのトレース性の拡張に用いられる。
• 鍵となる不等式 τ(x) ≤ 2ⁿ∑ᵢ (τ∘φᵢ⁽λ⁾)ω∘ψ̄ᵢ(x) は、τが有限個のトレースの和によって上から支配されることを示し、補題3よりτがトレースであることを示唆する。
• τが無限大の値をとる場合でも、下半連続であればこの結果は成り立ち、近似と極限の議論によりトレース性が回復される。