[論文レビュー] Periodicity and Jumps in Cohomology of R-Torsion-Free Groups

Nansen Petrosyan|arXiv (Cornell University)|Apr 6, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 2

ひとこと要約

本稿は、R- torsion-free 群における周期的コホモロジーとジャンプコホモロジーを調査し、可解群およびHF群がR上でのジャンプコホモロジーを有する場合、それらはR上での有限コホモロジカル次元を持つことを証明している。本研究は、Olympia Talelliが提唱したR- torsion-free 群に関する予想を裏付け、Ext代数的周期性とコホモロジカル次元の上限を用いて、群コホモロジーの構造的制約を確立している。

ABSTRACT

A discrete group G has periodic cohomology over R if there is an element α ∈ Ext ∗ RG (R, R) of positive degree and an integer n ≥ 0 such that the cup product map by α induces an isomorphism of Exti RG (R, −) and Exti+|α| RG (R, −) for i ≥ n. Adem and Smith [1] showed if R = Z, then this condition is equivalent to the existence of a finite dimensional free-G-CW-complex homotopy equivalent to a sphere. It was conjectured by Olympia Talelli in [14], that if G is also torsion-free then it must have finite cohomological dimension. In this paper we investigate the implied condition of jump cohomology over R: G has jump cohomology of height k over R if any subgroup H with finite cohomological dimension over R, has cdR(H) ≤ k. We prove that all solvable and HF groups with jump cohomology over R must have finite cohomological dimension over R if they are R-torsion-free. 1.

研究の動機と目的

• R- torsion-free 群がR上に周期的コホモロジーを有する場合のコホモロジカル構造を調査すること。
• R上での有限コホモロジカル次元を有する群に対して、高さkのジャンプコホモロジーが及ぼす影響を検討すること。
• Olympia Talelliが提唱したように、R- torsion-free 群がジャンプコホモロジーを有する場合、それらがR上での有限コホモロジカル次元を持つかどうかを検証すること。
• R- torsion-free 条件の下で、周期的コホモロジーに関する既知の結果を可解群およびHF群へと拡張すること。
• Ext代数的周期性とコホモロジカル次元の上限を用いて、群コホモロジーの構造的制約を確立すること。

提案手法

• 高次元におけるカップ積同型を用いて、Ext∗RG(R, R)代数を定義し、周期的コホモロジーを定義する。
• 高さkのジャンプコホモロジーの概念を適用し、すべての部分群Hに対して有限次元コホモロジカル次元が≤kに制限されることを示す。
• 可解群およびHF（Hirsch–Fischer）群をR- torsion-free 条件の下で分析し、コホモロジカル次元を制約する。
• AdemとSmithによるZ上での周期的コホモロジーに関する既知の結果をRの場合に応用する。
• 自由G-CW複体が球にホモトピー同値であることを用いたホモトピー的技法を用い、コホモロジカル周期性と幾何的実現可能性を関連付ける。
• 代数的トポロジーの技法と群論的性質を組み合わせ、次元の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 R- torsion-free 群がR上にジャンプコホモロジーを有する場合、それらはR上での有限コホモロジカル次元を持つ必要があるか？
• RQ2 R上での周期的コホモロジーは、可解群およびHF群のコホモロジカル次元をどのように制約するか？
• RQ3 Olympia Talelliの予想は、R- torsion-free 群に対してどの程度成立するか？
• RQ4 高さkのジャンプコホモロジー条件は、R- torsion-free 群の部分群のコホモロジカル次元を上から制限できるか？
• RQ5 R- torsion-free 環において、自由G-CW複体が球にホモトピー同値であることを用いた周期的コホモロジーと幾何的実現可能性の関係は何か？

主な発見

• すべての可解R- torsion-free 群で、R上にジャンプコホモロジーを有するものは、R上での有限コホモロジカル次元を持つ。
• R- torsion-free 条件の下で、ジャンプコホモロジーを有するすべてのHF群は、R上での有限コホモロジカル次元を持つことが示された。
• 本稿は、Olympia Talelliの予想をR- torsion-free 群に対して確認し、ジャンプコホモロジーの結果として有限コホモロジカル次元が得られることを確立した。
• 高さkのジャンプコホモロジー条件は、すべての部分群Hのコホモロジカル次元を最大kに制限し、一様な上限を提供する。
• 周期的コホモロジーと球に似た幾何的モデル（自由G-CW複体を介して）との既知の同値性は、R- torsion-free の場合へと拡張された。
• R- torsion-free 群のコホモロジカル構造は、Ext代数的周期性と群論的性質の相互作用によって制約される。