[論文レビュー] An etale approach to the Novikov conjecture

Alexander Dranishnikov, Steven C. Ferry+1 more|ArXiv.org|Sep 27, 2005

Advanced Operator Algebra Research参考文献 26被引用数 4

ひとこと要約

この論文は、群 $\Gamma$ が有限の漸近次元を持つとき、$B\Gamma$ のヒグソンコンパクト化がすべての素数 $p$ に対して mod $p$ アーシュリーであることを示すことにより、ノヴィコフ予想に対する新しいエタール的アプローチを確立した。このアーシュリー性は、そのような群に対して整数係数ノヴィコフ予想が成り立つことを示し、C*-代数的技法とは対照的に位相的代替手法を提供し、素数 2 の障害を有限素数アーシュリー性によって解消した。

ABSTRACT

We show that the rational Novikov conjecture for a group $Γ$ of finite homological type follows from the mod 2 acyclicity of the Higson compactifcation of an E$Γ$. We then show that for groups of finite asymptotic dimension the Higson compactification is mod p acyclic for all p, and deduce the integral Novikov conjecture for these groups.

研究の動機と目的

• ノヴィコフ予想に対するヒグソンコンパクト化法が、有理数コホモロジーにおいてアーシュリーでないために不十分であるとみなされていたのを是正すること。
• 有理数コホモロジーにおいてヒグソンコンパクト化がアーシュリーでないという失敗を、有限素数係数（mod $p$）を用いることで克服すること。
• 群 $\Gamma$ が有限漸近次元をもつ場合に、$B\Gamma$ のヒグソンコンパクト化の mod $p$ アーシュリー性を証明することにより、そのような群に対して整数係数ノヴィコフ予想を確立すること。
• 有限漸近次元をもつ群に対して、ヒグソンコンパクト化がすべての $p$ に対して mod $p$ アーシュリーであることを示し、L理論における整数係数結果を得ること。

提案手法

• 著者たちは、$E\Gamma$ および $B\Gamma$ のヒグソンコンパクト化を、変動が減少する有界連続関数の空間における $X$ の閉包として定義する。
• 彼らはヒグソンコロナをこのコンパクト化の境界として定義し、均一有限ホモロジーの類似を用いてそのコホモロジー的性質を分析する。
• 定量的代数的位相幾何学的手法、特に漸近的ポリヘドロンとリプシッツ写像を用いて、エイレンバーグ＝マクライン空間への写像の幾何を制御する。
• 写像を $X$ からヒグソンコロナへ拡張するためのヒグソン拡張可能性条件 (*) を適用し、コンパクト化上でのホモトピー拡張を保証する。
• 任意の $K(\mathbb{Z}_p, n)$ への写像が、ヒグソンコンパクト化上でホモトピー的に零写像であることを示す。これは $\epsilon$-近似を構成し、有限ホモトピー群を用いることで達成される。
• 補題 3.2 を適用して、リプシッツ写像の空間のコンパクト性を活用し、定数写像への $\lambda$-リプシッツホモトピーを構成する。

実験結果

リサーチクエスチョン

• RQ1 ヒグソンコンパクト化がすべての素数 $p$ に対して mod $p$ アーシュリーであるならば、それがノヴィコフ予想の証明に用いられることができるか？
• RQ2 群 $\Gamma$ が有限漸近次元をもつ場合、$B\Gamma$ のヒグソンコンパクト化がすべての $p$ に対して mod $p$ アーシュリーであるか？
• RQ3 ヒグソンコンパクト化の mod $p$ アーシュリー性を用いて、L理論における整数係数ノヴィコフ予想を導くことができるか？
• RQ4 標準的なヒグソンコンパクト化が有理数コホモロジーでなぜ失敗するのか、そして有限素数係数がこれを是正できるか？
• RQ5 特に整数係数結果を得るための、C*-代数的技法の代替となる位相的アプローチは存在するか？

主な発見

• 群 $\Gamma$ が有限漸近次元をもち、$B\Gamma$ が有限複体であるとき、$B\Gamma$ のヒグソンコンパクト化はすべての $p$ に対して mod $p$ アーシュリーである。
• このような群に対して、整数係数アセンブリーマップ $H_*(B\Gamma; \mathbf{L}) \to L_*(\mathbb{Z}\Gamma)$ は単射である。
• $E\Gamma$ のヒグソンコンパクト化の mod 2 アーシュリー性は、素数 2 におけるノヴィコフ予想を示唆する。
• 距離空間 $X$ が有限漸近次元をもつとき、すべての $n > 0$ およびすべての $p$ に対して、$\check{H}^n(\bar{X}; \mathbb{Z}_p)$ は消える。
• 証明は、$K(\mathbb{Z}_p, n)$ への写像の $\epsilon$-近似を構成し、有限ホモトピー群を用いて零ホモトピーを保証することに依存する。
• バウム＝コンヌ予想に依存せず、有限漸近次元群に対する整数係数ノヴィコフ予想への新しい位相的ルートを提供する。