[논문 리뷰] On the fundamental group and triple Massey's product

Grigori Rybnikov|ArXiv.org|1998. 05. 13.

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)을 대수적 토폴로지의 고전적 구성과 연결하는 것.
• 호모로지보다 더 높은 차수의 구조를 감지할 수 있는 불변량의 호모토피적 특성화를 제공하는 것.

제안 방법

• 아크별로 연결된 공간 사이의 사상으로서, H₁(−;ℤ)에 대해 동형을, H₂(−;ℤ)에 대해 전성사상을 유도하는 사상을 '가짜 홈오모르피즘'으로 정의한다.
• 이러한 사상에 대해 보존되는 모든 불변량은 반드시 근본군의 불변량이어야 한다는 것을 증명한다.
• 낮은 중심 시리즈와 관련된 잉여 레이어 리 대수의 구조를 이용해 근본군을 분석한다.
• H¹(−;ℤ) 위의 삼중 마세이 곱을 복소 하이퍼플레인 배열의 연구에서 사용된 불변량과 연결한다.
• 코homology 작용소와 마세이 곱의 이론을 적용하여 근본군 내 비자명성을 감지한다.
• math.AG/9805056에서 사용된 불변량이 H¹(−;ℤ) 위의 삼중 마세이 곱으로 실현됨을 보여주며, 고전적 대수적 토폴로지와 연결한다.

실험 결과

연구 질문

• RQ1 가짜 홈오모르피즘 제한 하에서 어떤 위상공간의 불변량이 그 근본군에 의해 결정되는가?
• RQ2 조합적으로 동치인 배열을 구별하는 데 사용된 불변량의 정확한 대수적 구조는 무엇인가?
• RQ3 삼중 마세이 곱은 호모로지로만 구별이 불가능한 근본군의 차이를 감지하는 데 사용될 수 있는가?
• RQ4 가짜 홈오모르피즘은 호모로지와 근본군 불변량 간의 관계를 어떻게 제약하는가?
• RQ5 math.AG/9805056에서의 불변량은 삼중 마세이 곱과 같은 알려진 코homology 구성과 동치인가?

주요 결과

• 가짜 홈오모르피즘에 대해 보존되는 모든 불변량은 반드시 근본군의 불변량이어야 한다.
• 1차 정수 호모로지군 H¹(−;ℤ) 위의 삼중 마세이 곱은 이러한 불변량을 통해 근본군을 구별하기 위한 필수 조건을 제공한다.
• 조합적으로 동치인 배열을 구별하는 데 사용된 불변량(math.AG/9805056)은 H¹(−;ℤ) 위의 삼중 마세이 곱과 대수적으로 동치이다.
• 일부 배열의 근본군에서는 삼중 마세이 곱이 비자명하여, 호모로지를 초월한 비자명한 고차 구조가 존재함을 시사한다.
• 이 구성은 호모로지 군이 동형이더라도 근본군이 더 세밀한 위상적 차이를 감지할 수 있음을 보여주며, 호모로지만으로는 감지할 수 없는 구조를 드러낸다.
• 이 논문은 배열의 조합적 토폴로지와 마세이 곱과 같은 고전적 코homology 불변량 사이의 다리를 놓는다.