[論文レビュー] The Cuntz Algebra Q_N and C*-Algebras of Product Systems

Jeong Hee Hong, Nadia S. Larsen+1 more|arXiv (Cornell University)|Aug 3, 2011

Advanced Operator Algebra Research参考文献 10被引用数 3

ひとこと要約

本稿では、乗法的半群 ℕ× 上の特定の積系に対する Cuntz-Pimsner代数が Cuntz の代数 𝒬_ℕ に同型であることを確立する。普遍的性質と Nica 共変表現を用いて、積系に付随する Nica-Toeplitz代数の提示を提供し、その Cuntz-Nica-Pimsner 商が正確に 𝒬_ℕ であることを証明することで、積系の作用素代数が非可換幾何学および K-理論における重要な対象と結びつくことを示している。

ABSTRACT

We consider a product system over the multiplicative semigroup N^x of Hilbert bimodules which is implicit in work of S. Yamashita and of the second named author. We prove directly, using universal properties, that the associated Nica-Toeplitz algebra is an extension of the C^*-algebra Q_N introduced recently by Cuntz.

研究の動機と目的

• ℕ× 上の積系の Cuntz-Nica-Pimsner代数として 𝒬_ℕ の構造を明確化することにより、C*-代数 𝒬_ℕ の構造を解明すること。
• ℕ× 上のヒルベルト双加群の積系に付随する Nica-Toeplitz代数の直接的かつ明示的な提示を提供すること。
• 普遍的性質と Nica 共変性を用いて、積系の Cuntz-Nica-Pimsner代数と Cuntz の代数 𝒬_ℕ 間の同型を確立すること。
• Yamashita が ∞-グラフの C*-代数が 𝒬_ℕ であるように構成した際の技術的詳細を、その背後にある積系を特定することで埋めること。
• Laca-Raeburn の Toeplitz代数や Brownlowe らの境界表現といった代替的構成と、本手法を比較・対比すること。

提案手法

• 乗法的半群 ℕ× 上のヒルベルト双加群の積系 X を構成し、各ファイバー X_m が要素 Z^k 1_m で張られるようにする。
• ユニタリ u と等長作用素 w_m を用いて、関係式 (B1)–(B4) を満たす Toeplitz表現 ψ を定義する。特に u^*u = 1 および w_m w_m^* = u^m w_m w_m^* u^{*-m} を含む。
• コンパクト作用素 on X_m の構造を用いて、すべての m,n ∈ ℕ× に対して Nica 共変性の条件を検証することで、表現 ψ が Nica 共変であることを証明する。
• Nica-Toeplitz代数 T_cov(X) の普遍的性質を用いて、u と w_m によって生成される代数への全射 ∗-準同型を定義する。
• i(f) − i^{(m)}(φ_m(f)) の形の生成元からなるイデアルによる商として、Cuntz-Nica-Pimsner代数 NO(X) を特定する。
• NO(X) がすべての m ∈ ℕ× に対して ∑_{k=0}^{m−1} u^k w_m w_m^* u^{−k} = 1 を満たすことを示し、これは Cuntz の代数 𝒬_ℕ を特徴づける関係である。

実験結果

リサーチクエスチョン

• RQ1 Cuntz の代数 𝒬_ℕ は、ℕ× 上の積系の Cuntz-Nica-Pimsner代数としてどのように実現可能か？
• RQ2 ℕ× 上の積系に付随する Nica-Toeplitz代数の明確な提示は何か？
• RQ3 Nica 共変性の条件は、積系によって生成される普遍的 C*-代数の構造にどのように制約を加えるか？
• RQ4 この積系の Cuntz-Nica-Pimsner代数と、Laca-Raeburn の ℕ ⋊ ℕ× の Toeplitz代数との関係は何か？
• RQ5 分類定理に依存せずに、普遍的性質を直接用いて Cuntz-Nica-Pimsner代数と 𝒬_ℕ 間の同型を確立できるか？

主な発見

• ℕ× 上の積系 X に付随する Nica-Toeplitz代数 T_cov(X) は、ユニタリ u と等長作用素 w_m を生成元とする関係式 (B1)–(B4) で提示可能であり、特に u^*u = 1 および w_m w_m^* = u^m w_m w_m^* u^{*-m} を含む。
• 積系の Cuntz-Nica-Pimsner代数 NO(X) は、すべての m ∈ ℕ× に対して ∑_{k=0}^{m−1} u^k w_m w_m^* u^{−k} = 1 を満たす。これは Cuntz の代数 𝒬_ℕ を特徴づける定義的関係である。
• Cuntz-Nica-Pimsner代数 NO(X) は Cuntz の代数 𝒬_ℕ に同型である。両者とも単純かつ純粋無限な C*-代数であり、自由アーベル群としての K₁群を持ち、同じ普遍的関係を満たす。
• NO(X) と 𝒬_ℕ 間の同型は、𝒬_ℕ の普遍的性質と 𝒬_ℕ の単純性を用いて確立され、準同型が単射かつ全射であることが保証される。
• 本構成により、𝒬_ℕ がグラフ C*-代数や交叉積とは異なる観点から直接的に Cuntz-Nica-Pimsner代数として実現されることが示され、構造に対する新たな視点が得られる。
• 本研究の結果は、Yamashita が ∞-グラフの C*-代数が 𝒬_ℕ であるように構成したものを確認・拡張するものであり、その背後にある積系を特定し、普遍的関係を明示的に検証した。