[論文レビュー] Approximation of center-valued Betti-numbers

Anselm Knebusch|ArXiv.org|Apr 3, 2008

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

ひとこと要約

この論文は、群のvon Neumann代数上の普遍トレースに基づいて得られるより細かい不変量である中心値Betti数へ、Lückの$L^2$-Betti数近似定理を一般化する。中心値Betti数のフーリエ係数—非局所化Betti数に関連する—は、基本群の有限商を用いて近似可能であり、非可換幾何におけるトレース値でない次元への近似枠組みを拡張する。

ABSTRACT

In this paper we generalize the approximation theorem for L^2-Betti numbers to an approximation theorem for center-valued Betti-numbers.

研究の動機と目的

• 群のvon Neumann代数上の中心値トレースを用いて定義される、ホモロジー次元を測るより洗練された不変量である中心値Betti数への、古典的$L^2$-Betti数近似定理の拡張。
• 中心値Betti数のフーリエ係数—非局所化Betti数に関連する—が、基本群の有限商におけるそれらの有限次元類似物によって近似可能であることを確立する。
• 残留有限およびアメーブル群を含むクラス$\mathcal{G}$の群に対して、群環上の行列代数におけるトレース近似技術を用いて、近似枠組みを一般化する。
• 普遍トレースを用いた有限von Neumann代数における複素数値トレースを超えた近似結果を拡張することで、アティヤ予想および関連不変量の技術的基盤を提供する。

提案手法

• 群von Neumann代数$\mathcal{N}(G)$上の普遍（中心値）トレース$\operatorname{tr}^u_{\mathcal{N}(G)}$を用い、中心値Betti数を$\dim^u_{\mathcal{N}(G)}(\ker \Delta_p)$として定義する。
• 有限共轭類をもつ元$g$に対して、非局所化トレース$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}$を適用し、中心値次元のフーリエ係数を抽出する。
• 群の商写像$G_i \to G$の下で、行列$A \in M_d(\mathbb{Z}G)$に関連するスペクトル射影および分布関数$F^{\langle g\rangle,\operatorname{Re}}_A(\lambda)$の近似に依存する。
• 演算子の対数のトレースの代理として、対数積分$\int_{0^+}^{\kappa(A)} \frac{F^{\langle g\rangle,\operatorname{Re}}_A(\lambda) - F^{\langle g\rangle,\operatorname{Re}}_A(0)}{\lambda} d\lambda$を用いる。
• 実部に関するスペクトル分布関数の上界および下限の一様有界性を用い、商写像下での非局所化トレースの収束を証明する。
• 分布関数の下限および上限に関する議論を用い、非局所化トレース$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$が$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}(A)$に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 非可換幾何におけるより洗練された不変量である中心値Betti数へ、$L^2$-Betti数の近似定理を拡張できるか？
• RQ2 中心値Betti数のフーリエ係数—非局所化Betti数に対応する—が、基本群の有限商を用いて近似可能か？
• RQ3 クラス$\mathcal{G}$に属する群に対して、商写像$G_i \to G$の下で、非局所化トレース$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$の収束が一様的かつ安定的か？
• RQ4 複素数値トレースを超えて、有限von Neumann代数における普遍トレースへ近似枠組みを拡張できるか？

主な発見

• 中心値Betti数$\beta_p^u(X)$は、有限次元類似物$\beta_p^u(\widetilde{X}/\pi_i)$を用いて近似可能であり、Lückの定理が普遍トレース設定へ拡張される。
• 中心値次元のフーリエ係数—非局所化Betti数の倍数に相当する—は、商写像$G_i \to G$の下で収束する。
• 非局所化トレース$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$の極限は存在し、$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}(A)$に等しい。これはスペクトル分布関数の収束によって示される。
• 残留有限およびアメーブル群を含むクラス$\mathcal{G}$の群に対して、行列$A \in M_d(\mathbb{Z}G)$について、近似は一様に成り立つ。
• 鍵となる技術的ステップは、$\liminf_{i\in I} F^{\langle g\rangle,\operatorname{Re}}_{A[i]}(0) = \limsup_{i\in J} F^{\langle g\rangle,\operatorname{Re}}_{A[i]}(0) = F^{\langle g\rangle,\operatorname{Re}}_A(0)$を証明することであり、これによりトレースの収束が保証される。
• スペクトル分布関数の差の対数積分をバインドする技術的根拠として、$2d \ln(\kappa(A))$による一様有界性を示し、トレースの収束を示す。