[論文レビュー] The integral cohomology groups of configuration spaces of pairs of points in real projective spaces

Jesús González, Peter S. Landweber|arXiv (Cornell University)|Apr 6, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 37被引用数 3

ひとこと要約

この論文は、スペクトル系列と群コホモロジーを用いて、実射影空間における2つの異なる点の順序付きおよび順序なしの配置空間の整数係数コホモロジー群を計算する。主な結果は、これらの群を基本的アーベル2群と拡張を用いて完全に記述することであり、4- torsionに関する予想を解決し、対称的位相的複雑性に関する先行研究を拡張する。

ABSTRACT

We compute the integral homology and cohomology groups of configuration spaces of two distinct points on a given real projective space. The explicit answer is related to the (known multiplicative structure in the) integral cohomology---with simple and twisted coefficients---of the dihedral group of order 8 (in the case of unordered configurations) and the elementary abelian 2-group of rank 2 (in the case of ordered configurations). As an application, we complete the computation of the symmetric topological complexity of real projective spaces of dimension 2^i + d for d=0,1,2.

研究の動機と目的

• 順序付きおよび順序なしの配置空間 $F(\mathbb{P}^m, 2)$ および $B(\mathbb{P}^m, 2)$ の整数係数コホモロジー群およびホモロジー群を計算すること。
• Fred Cohenが提起した、$H^*(B(\mathbb{P}^m, 2))$ の torsion に関する予想を解消すること。具体的には、$m > 1$ のとき2- torsion を含み、$m > 2$ のとき4- torsion を含むが、8- torsion は含まないというものである。
• $\mathbb{P}^{2^i + \delta}$ の対称的位相的複雑性の計算を、$i \geq 0$ および $0 \leq \delta \leq 2$ の範囲ですべて完了すること。
• これらの配置空間のコホモロジーが、順序なしの場合の位数8の二面体群（$D_4$）の、および順序ありの場合のランク2の基本的アーベル2群（$\mathbb{Z}_2^2$）の、係数がねじれた整数係数コホモロジーとどのように関係するかを明らかにすること。

提案手法

• 論文は、対称群が順序付き配置空間に作用することを用いて、コホモロジーを解析するためのCartan-LerayおよびSerreスペクトル系列を用いる。
• torsion の解析には、Bocksteinスペクトル系列を用い、特に $H^*(B(\mathbb{P}^m, 2))$ における4- torsion の存在と8- torsion の不在を確認する。
• 計算されたコホモロジー群から整数係数ホモロジー群を導出するために、Universal Coefficient Theorem を適用する。
• 非可換な設定におけるホモロジーとコホモロジーの関係を、$w_1$- twisting を用いたPoincaré双対性を用いて確立する。
• スペクトル系列における永久サイクルおよび微分を追跡し、収束性と乗法的構造を用いて、どの要素が $E_\infty$ に生き残るかを同定する。
• 既知の構造と不変量（例：$\rho^*$-不変量）を用いて、配置空間のコホモロジーを $D_4$ および $\mathbb{Z}_2^2$ の群コホモロジーと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 実射影空間における $F(\mathbb{P}^m, 2)$ および $B(\mathbb{P}^m, 2)$ の整数係数コホモロジー群は何か？
• RQ2 $B(\mathbb{P}^m, 2)$ のコホモロジーは4- torsion を含むか？ もし含むならば、どの次元で含むか？
• RQ3 $i \geq 0$ および $0 \leq \delta \leq 2$ の範囲で、$\mathbb{P}^{2^i + \delta}$ の対称的位相的複雑性を完全に計算できるか？
• RQ4 これらの配置空間のコホモロジー群は、$D_4$ および $\mathbb{Z}_2^2$ の、係数がねじれた整数係数コホモロジーとどのように関係するか？
• RQ5 $B(\mathbb{P}^m, 2)$ のコホモロジーにおける torsion の正確な構造は何か？ 8- torsion は存在するか？

主な発見

• $F(\mathbb{P}^{2n}, 2)$ の整数係数コホモロジーは明示的に計算されている：次数0および $4n-1$ で $\mathbb{Z}$ をとり、その間の次数では偶奇および範囲に応じて $\langle k \rangle$ または $\{k\}$ の torsion 群をとる。
• $F(\mathbb{P}^{2n+1}, 2)$ のコホモロジーには、奇数次元の場合を反映して、次数 $2n+1$ に追加の $\mathbb{Z} \oplus \langle n \rangle$ の和分解が存在する。
• $B(\mathbb{P}^{2n}, 2)$ のコホモロジーは、$\{k\} = \langle k \rangle \oplus \mathbb{Z}_4$ および $\langle k \rangle$ を用いて記述され、次数が4で割ったあまりごとにグループ化されており、$0 < \ell < m/2$ のとき $4\ell$ 次元に4- torsion が存在することが示される。
• $B(\mathbb{P}^{2n+1}, 2)$ のコホモロジーには、次数 $2n+1$ に $\mathbb{Z} \oplus \langle n \rangle$ の和分解が含まれ、偶数の場合と同じ範囲で4- torsion 構造が確認される。
• Fred Cohenの予想が確認された：$H^*(B(\mathbb{P}^m, 2))$ は $m > 1$ のとき2- torsion を含み、$m > 2$ のとき4- torsion を含むが、8- torsion は含まない。
• 2を逆数にしたとき、$F(\mathbb{P}^m, 2)$ および $B(\mathbb{P}^m, 2)$ はともにホモロジー球体になる。これは、$m=1$ のとき既知の円周の場合を一般化する。