[論文レビュー] The Novikov conjecture for algebraic K-theory of the group algebra over the ring of Schatten class operators

Guoliang Yu|arXiv (Cornell University)|Jun 20, 2011

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

ひとこと要約

本稿は、シュタインクラス作用素の環上の群代数における代数的K理論のアセンブリーマップの有理的単射性を証明し、このような代数における代数的K理論的ノヴィコフ予想を確立する。証明は、等長的循環的単体ホモロジーを用いたコンネス＝ツァイアン・キャラクターの明示的構成に依拠しており、下部K理論における単射性の証明を可能にする重要な局所的性質を明らかにする。この結果により、既知の結果が非単位的かつ無限次元の作用素代数の設定へと拡張される。

ABSTRACT

In this paper, we prove the algebraic K-theory Novikov conjecture for group algebras over the ring of Schatten class operators. The main technical tool in the proof is an explicit construction of the Connes-Chern character.

研究の動機と目的

• 群代数の代数的K理論的ノヴィコフ予想を、シュタインクラス作用素の環上に確立すること。
• ファーロン＝ジョーンズ同型予想を、非単位的かつH-単位的環であるシュタインクラス作用素の環へと拡張すること。
• 楕円作用素の高次インデックス理論の文脈において、ノヴィコフ予想の新たな証明を提供すること。
• ${\cal S}\Gamma$のアセンブリーマップが有理的単射であることを示すこと、ここで${\cal S}$はシュタインクラス作用素の環である。
• 代数的K理論の${\cal S}$上群代数と、バウム＝コンス予想の枠組みによるトポロジカルK理論を結びつけること。

提案手法

• 等長的循環的単体ホモロジー理論を用いて、コンネス＝ツァイアン・キャラクターを明示的に構成する。
• 小さな伝搬性を持つK理論的要素に対して、コンネス＝ツァイアン・キャラクターの局所的性質を利用する。
• 切除法とH-単位性を用いて、主要定理を下部代数的K理論の状況に還元する。
• 五つの補題の議論を適用して、等長的ホモロジー理論と循環的ホモロジー理論の間の有理的同型を示す。
• $K_n({\cal S})$の2周期性とメイヤー＝ビートリスの系列を用いて、ホモロジー理論を比較する。
• $K_n({\cal S}) = \mathbb{Z}$（偶数$n$）および$0$（奇数$n$）であるという事実を用いて、ホモロジー理論における周期性を確立する。

実験結果

リサーチクエスチョン

• RQ1 群代数の代数的K理論的ノヴィコフ予想は、シュタインクラス作用素の環上でも成立するか？
• RQ2 等長的循環的ホモロジー枠組みにおいて、コンネス＝ツァイアン・キャラクターを明示的に構成することで、アセンブリーマップの単射性を証明できるか？
• RQ3 コンネス＝ツァイアン・キャラクターの局所的性質が、下部K理論における有理的単射性の証明において果たす役割は何か？
• RQ4 シュタインクラス作用素環${\cal S}$のH-単位性が、同型予想を${\cal S}\Gamma$へと拡張するのをどのように支援するか？
• RQ5 代数的K理論の${\cal S}\Gamma$は、バウム＝コンス予想を通じて、減少群$C^*\text{-代数}$のトポロジカルK理論とどの程度関連しているか？

主な発見

• すべての群$\Gamma$に対して、アセンブリーマップ$A: H_n^{Or\Gamma}(E_{\cal VCY}(\Gamma), \mathbb{K}({\cal S})^{-\infty}) \to K_n({\cal S}\Gamma)$は有理的単射であり、このクラスの代数におけるノヴィコフ予想が証明される。
• シュタインクラス作用素の環${\cal S}$はH-単位的であり、代数的K理論における切除法を保証し、単位的状況への還元を可能にする。
• コンネス＝ツァイアン・キャラクターは等長的循環的単体ホモロジーを用いて明示的に構成され、単射性証明に不可欠な局所的性質が明らかになる。
• ホモロジー理論$H_i^{Or\Gamma}(X, \mathbb{K}({\cal S})^{-\infty})$は2周期的であり、$K_n({\cal S})$の周期性と一致するため、循環的ホモロジーとの比較が簡素化される。
• 等長的ホモロジーから循環的ホモロジーへの写像$\psi_i$は、$i \leq 0$に対して$\mathbb{C}$とテンソル積を取ると同型となる。これは、アセンブリーマップの有理的単射性を示唆する。
• この結果により、$i_*: K_n({\cal S}\Gamma) \to K_n(C_r^*(\Gamma) \otimes K)$の有理的単射性から、ノヴィコフの高次シグネチャ予想が導かれる。