[論文レビュー] Hyperbolic group $C^*$-algebras and free-product $C^*$-algebras as compact quantum metric spaces

Narutaka Ozawa, Marc A. Rieffel|ArXiv.org|Feb 25, 2003

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

ひとこと要約

本稿では、双曲群の縮小C*-代数の状態空間が、語長関数を用いてディラック作用素から導かれるリプシッツ半ノルムを備えた場合、弱-*位相を備えることを確立している。これにより、それがコンパクトな量子メトリック空間として実現される。著者らは、忠実なトレースを備えたフィルター付きC*-代数に対して「ハーガープ型」条件を導入し、これがこの位相的一致を満たす十分条件であることを証明した。さらに、双曲群およびそれらの縮小自由積に対してこの条件が成り立つことを検証した。

ABSTRACT

Let $\ell$ be a length function on a group G, and let $M_{\ell}$ denote the operator of pointwise multiplication by $\ell$ on $\bell^2(G)$. Following Connes, $M_{\ell}$ can be used as a ``Dirac'' operator for $C_r^*(G)$. It defines a Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the state space of $C_r^*(G)$. We show that if G is a hyperbolic group and if $\ell$ is a word-length function on G, then the topology from this metric coincides with the weak-* topology (our definition of a ``compact quantum metric space''). We show that a convenient framework is that of filtered $C^*$-algebras which satisfy a suitable `` Haagerup-type'' condition. We also use this framework to prove an analogous fact for certain reduced free products of $C^*$-algebras.

研究の動機と目的

• 双曲群の縮小C*-代数の状態空間が、語長関数に基づくディラック作用素から導かれる距離を備えた場合、弱-*位相を備えることを確立すること。
• フィルター付きC*-代数と忠実なトレースを備えた「ハーガープ型」条件を導入・形式化し、これがメトリック位相と弱-*位相が一致するための十分条件であることを示すこと。
• ハーガープ型条件を満たすC*-代数の縮小自由積へと結果を拡張し、コンパクトな量子メトリック空間の新たな例を生成すること。
• 非アーベル自由群などのクラスにおける状態空間上のメトリックの位相的挙動を明確にし、$\mathbb{Z}^n$ のような条件が成り立たないケースと対比すること。
• ハーガープ型条件が成り立たない群のクラス（例えば、成長度が≥4のアメーバン群）を同定することで、この手法の限界を同定すること。

提案手法

• 忠実なトレースを備えたフィルター付きC*-代数を定義し、GNSヒルベルト空間 $\mathcal{H} = L^2(A, \sigma)$ を構成する。ここで $\sigma$ は忠実な状態である。
• フィルターレベルへの射影 $P_n$ を用いて、$D = \sum_{n=1}^\infty n P_n$ と定義するディラック作用素を導入し、$A$ 上にリプシッツ半ノルムを生成する。
• 状態空間 $C_r^*(G)$ 上に、$L(a) = \| [D, a] \|$ と定義されるリプシッツ半ノルムを定義し、これによりメトリックを誘導する。
• 「ハーガープ型」条件を導入：すべての $a \in A_n$ に対して、$m \geq n$ のとき $\|P_m(a)\|_2 \leq C \|a\|_2 / \sqrt{m}$ が成り立ち、$C$ は $n$ と $m$ に依存しない。
• ハーガープ型条件を用いて、行列係数および射影 $P_{(\boldsymbol{t})}$ に関する推定を用いて、状態空間上のメトリック位相と弱-*位相が一致することを証明する。
• 双曲群の幾何的性質と語長分布の指数的減衰を用いて、ハーガープ型条件を双曲群に対して検証し、基底要素の再帰的構造を用いて、縮小自由積へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 双曲群の縮小C*-代数の状態空間上のメトリックは、弱-*位相と一致するか？
• RQ2 フィルター付きC*-代数と忠実なトレースを備えた一般の条件は、メトリック位相と弱-*位相が一致することを保証できるか？
• RQ3 ハーガープ型条件は、双曲群およびそれらの縮小自由積に対して検証可能か？
• RQ4 $\mathbb{Z}^n$（$n \geq 2$）や成長度≥4のアメーバン部分群を含む群では、なぜハーガープ型条件が成り立たないのか？
• RQ5 この手法は、結合自由積や非トレース状態へと拡張可能か？

主な発見

• 語長関数に基づくディラック作用素から導かれるメトリックを備えた、双曲群の縮小C*-代数の状態空間は、弱-*位相を備える。
• 高次のフィルターレベルへの射影の $L^2$ ノルムを制限する「ハーガープ型」条件は、メトリック位相と弱-*位相が一致することを保証する十分条件である。
• 双曲群に対しては、その幾何的構造と語長分布の指数的減衰を用いて、ハーガープ型条件を検証した。
• この条件は、ハーガープ型条件を満たすフィルター付きC*-代数の縮小自由積に対しても成り立ち、これによりコンパクトな量子メトリック空間の新たな例が構成された。
• $\mathbb{Z}^n$（$n \geq 2$）や成長度≥4のアメーバン部分群を含む群では、ハーガープ型条件が成り立たないことが判明し、双曲の場合とは明確な違いがあることが示された。
• この手法は、[15]で $\mathbb{Z}^n$ に用いられたものとは別個の枠組みを提供しており、アーベル的および双曲的ケースを統一的に扱うための新たなアプローチの必要性を示唆している。