[論文レビュー] Intermediate rank and property RD

Sylvain Barré, Mikaël Pichot|arXiv (Cornell University)|Oct 8, 2007

Advanced Operator Algebra Research参考文献 45被引用数 14

ひとこと要約

本稿は、可算群における中間的ランクの概念を導入し、非正曲率空間に基づく幾何学的・代数的枠組みを用いて、古典的整数ランク（例：ランク1およびランク2）の間を補間する。中間的ランクの群、特にランク $7/4$ の群に対して性質RDを確立し、それらの簡約 $C^*$-代数が安定ランク1を有することを示し、バウム＝コンヌー予想を満たす群のクラスを拡張する。

ABSTRACT

We introduce concepts of intermediate rank for countable groups that "interpolate" between consecutive values of the classical (integer-valued) rank. Various classes of groups are proved to have intermediate rank behaviors. We are especially interested in interpolation between rank 1 and rank 2. For instance, we construct groups "of rank 7/4". Our setting is essentially that of non positively curved spaces, where concepts of intermediate rank include polynomial rank, local rank, and mesoscopic rank. The resulting framework has interesting connections to operator algebras. We prove property RD in many cases where intermediate rank occurs. This gives a new family of groups satisfying the Baum-Connes conjecture. We prove that the reduced $C^*$-algebras of groups of rank 7/4 have stable rank 1.

研究の動機と目的

• 可算群における中間的ランクの振る舞いを、特にランク1（双曲的）とランク2（対称的／三角形ビルディング）の間を補間する形で定義・研究すること。
• 三角形多面体と分岐成長に基づく幾何的枠組みを構築し、微視的・中間的・漸近的スケールにおける中間的ランク現象を分析すること。
• 非正曲率空間における多項式的および指数的分岐を用いて、中間的ランクを示す群に対して性質RDを確立すること、特にランク $7/4$ の群を対象とする。
• 中間的ランクと作用素代数を結びつけるために、このような群の簡約 $C^*$-代数が安定ランク1を有することを証明すること。
• 性質RDを満たす新規の家族の群に対して、バウム＝コンヌー予想を満たす群のクラスを拡張すること。

提案手法

• 三角形多面体における多項式的分岐の概念を導入し、与えられた測地的基底を持つ平坦な正三角形の数が、基底長に対して多項式で有界であることを仮定する。
• 頂点Aからの距離rにおける分岐を測る頂点に基づく関数 $\varphi_A$ を用いて、複体の普遍被覆における平坦な帯とディスクの成長に基づき、局所的ランクおよび中間的ランクを定義する。
• バタフライとルーズン、三角形を含む2次元複体 $V_{\bowtie}$ を、手術技術を用いて構成し、その普遍被覆 $X = \tilde{V}_{\bowtie}$ がCAT(0)であることを保証することで、幾何的解析を可能にする。
• 普遍被覆における平坦な帯とセクターの対称的配置を用いて、区間 $[(k-1)\sqrt{3}, k\sqrt{3}]$ における $\varphi_A$ の指数的成長を導出し、中間的ランクの振る舞いを示す。
• 性質RDの理論を適用し、$L^2$-ノルム不等式 $\|f*g\|_2 \leq P(r)\|f\|_2\|g\|_2$ が、球の半径rに台を持つ関数について成り立つことを確認する。分岐成長を用いて畳み込みノルムを評価する。
• 性質RDとバウム＝コンヌー予想の関係を活用し、性質RDを満たす群が予想を満たすことを示し、$C^*$-代数的技法を用いてランク $7/4$ の群の簡約 $C^*$-代数が安定ランク1を有することを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的整数ランクの間、特にランク1とランク2の間で、中間的ランクの振るまいを体系的かつ分類的に定義・特徴づけることができるか？
• RQ2 三角形多面体における多項式的または指数的分岐は、群の性質RDとどのように関係するか？
• RQ3 バタフライとルーズンを含む2次元複体における幾何的手術によって構成された群の、中間的ランクは何か？
• RQ4 非整数の中間的ランク、例えば $7/4$ のような群を構成し、それらが性質RDを満たすことを示すことができるか？
• RQ5 中間的ランクの $C^*$-代数的結果、特に簡約 $C^*$-代数の安定ランクに関して、どのような結果が得られるか？

主な発見

• バタフライを含む2次元複体における手術により構成された群 $\Gamma_{\bowtie}$ は、指数的中間的ランクを示し、$k \geq 3$ に対して区間 $[(k-1)\sqrt{3}, k\sqrt{3}]$ で $\varphi_A \geq 2^{2k-4}$ が成り立つ。
• 複体 $V_{\bowtie}$ の普遍被覆 $X = \tilde{V}_{\bowtie}$ はCAT(0)空間であり、非正曲率を保証し、分岐の幾何的解析を可能にする。
• 中間的分岐と中間的ランクを用いて構成されたランク $7/4$ の群は、$L^2$-ノルム不等式と多項式的有界性により、性質RDを満たすことが確認された。
• ランク $7/4$ の群の簡約 $C^*$-代数は安定ランク1を有する。これは構造的単純性を示す強い $C^*$-代数的不変量である。
• 本稿では、性質RDが新たな家族の群に対して成立することを確立し、中間的ランクを有する群を含む、バウム＝コンヌー予想を満たす群のクラスを拡張した。
• 分岐成長を測る関数 $\varphi_A$ は、$r > \sqrt{3}/2$ から連続的サポートを有し、小スケールでの非自明な幾何的構造を示している。