[論文レビュー] On the fundamental group and triple Massey's product

Grigori Rybnikov|ArXiv.org|May 13, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 5

ひとこと要約

この論文は、1次整数ホモロジーに同型を誘導し、2次に全射を与える写像である擬位相同相写像の下で不変であるものは、すべて基本群によって決定されることを確立する。さらに、math.AG/9805056で組合せ的に同値な配置を区別するために用いられた不変量が、1次整数ホモロジー群上の三重マッセイ積に等価であることが示され、基本群の不変量のホモトピー的特徴づけが得られる。

ABSTRACT

Let us say that a map of arcwise connected topological spaces (having the homotopy type of CW-complexes) is a pseudo-homeomorphism if it induces an isomorphism of the first integer homology groups and an epimorphism of the second integer homology groups. We prove that any invariant of a topological space w.r.t. pseudo-homeomorphisms is an invariant of the fundamental group of this space. We also describe a necessary condition for the fundamental groups to be distinguished by such invariants. As an example we show that the invariant used in math.AG/9805056 to distinguish the fundamental groups of combinatorially equivalent arrangements is, in fact, a form of triple Massey's product on the first integer homology group.

研究の動機と目的

• 擬位相同相写像の制限下で、どのような位相的不変量が基本群によって決定されるかを理解すること。
• 同じホモトピー型を持つ空間の基本群を区別する際、ホモロジー群が果たす役割を明確にすること。
• 既存の配置に関する研究（math.AG/9805056）で用いられた不変量を、代数的トポロジーにおける古典的構成と結びつけること。
• ホモロジーでは検出できない基本群の差を検出する不変量のホモトピー的特徴づけを提供すること。

提案手法

• 弧状連結でCW複体のホモトピー型を持つ空間間の写像として、H₁(−;ℤ)上で同型を誘導し、H₂(−;ℤ)上で全射を与える写像を擬位相同相写像と定義する。
• このような写像の下で不変である任意の不変量は、必然的に基本群の不変量であることを証明する。
• 下中央系列および関連する可換でないリー代数の構造を用いて基本群を分析する。
• 複素ヒルベルト配置の研究で用いられた不変量と、H¹(−;ℤ)上の三重マッセイ積との関係を明らかにする。
• コhomology作用素およびマッセイ積の理論を用いて、基本群における非自明性を検出する。
• math.AG/9805056で用いられた不変量が、H¹(−;ℤ)上の三重マッセイ積として実現されることを示し、古典的代数的トポロジーと結びつける。

実験結果

リサーチクエスチョン

• RQ1 擬位相同相写像に制限されたとき、位相空間のどの不変量がその基本群によって決定されるか。
• RQ2 組合せ的に同値な配置を区別するために用いられた不変量の背後にある正確な代数的構造は何か。
• RQ3 ホモロジーのみでは区別できない基本群の差を三重マッセイ積で検出できるか。
• RQ4 擬位相同相写像は、ホモロジーと基本群の不変量の関係をどのように制約するか。
• RQ5 math.AG/9805056で用いられた不変量は、三重マッセイ積のような既知のコhomology的構成と等価か。

主な発見

• 擬位相同相写像の下で不変である任意の不変量は、必然的に基本群の不変量である。
• 1次整数ホモロジー群 H¹(−;ℤ) 上の三重マッセイ積は、このような不変量によって基本群を区別するための必要条件を提供する。
• math.AG/9805056で用いられた、組合せ的に同値な配置を区別するための不変量は、H¹(−;ℤ) 上の三重マッセイ積と代数的に同等である。
• 特定の配置の基本群において三重マッセイ積は非自明であり、ホモロジーを越えた高次構造が非自明であることを示唆する。
• この構成により、ホモロジー群が同型であっても、基本群がホモロジーだけでは検出できないより細かい位相的差を検出できることを示している。
• 本論文は、配置の組合せ的トポロジーと、マッセイ積のような古典的コhomology的不変量との間の橋渡しを確立する。