[논문 리뷰] Pseudohomology and homology

Peter J. Kahn|ArXiv.org|2001. 11. 20.

Geometric and Algebraic Topology참고 문헌 17인용 수 8

한 줄 요약

이 논문은 매끄러운 콪 pact 다중다양체 쌍에 대한 허위동형군을 허위사이클의 bordism 이론으로서 도입하며, 이들이 Eilenberg-Steenrod 공리계를 만족하고, 매끄럽고 컴팩트한 다중다양체 쌍에 대해 자연스럽게 단순형 호몰로지와 동치임을 증명한다. 주요 기여는 유한한 핸들 분해를 가진 쌍에서 단순형 호몰로지에서 허위동형군으로 가는 자연스러운 변환을 정의한 것으로, 이 변환은 비콤팩트 다중다양체로의 연장에 실패함으로써 비콤팩트 설정에서 호몰로지와 허위동형군 간의 근본적인 차이를 드러낸다.

ABSTRACT

The notion of a pseudocycle is introduced by McDuff and Salamon (J-holomorphic curves and quantum cohomology, University Lecture Series, Vol. 6, AMS (1994)) to provide a framework for defining Gromov-Witten invariants and quantum cohomology. This paper studies the bordism groups of pseudocycles, called pseudohomology groups. These are shown to satisfy the Eilenberg-Steenrod axioms. For smooth compact manifold pairs, it is proved that pseudohomology is naturally equivalent to homology. Easy examples show that this equivalence does not extend to the case of non-compact manifolds.

연구 동기 및 목표

• 매끄러운 다중다양체 쌍에 대한 허위사이클의 보르드이즘 이론으로서 허위동형군을 정의하고 연구하기.
• 허위동형군이 Eilenberg-Steenrod 공리계를 만족함을 확립하며, 이는 호몰로지 불변성, 정확성, 절단, 차원 공리 등을 포함한다.
• 유한한 핸들 분해를 가진 쌍에서 단순형 호몰로지에서 허위동형군으로 가는 자연스러운 변환을 구성하기.
• 이 등가성 변환이 비콤팩트 다중다양체로 확장되지 않음을 보여주어, 이러한 설정에서 호몰로지와 허위동형군 간의 근본적인 구조적 차이를 드러내기.
• 허위동형군과 고전적 보르드이즘 간의 관계를 명확히 하여, 기본류 맵과의 복합이 교차쌍대를 유지함을 보여주기.

제안 방법

• 매끄러운 다중다양체 쌍 (X,A) ∈ ℂ 에서의 상대적 k-허위사이클의 보르드이즘 클래스로 허위동형군 Ψₖ(X,A) 를 정의한다.
• 할당 (X,A) ↦ Ψₖ(X,A) 가 Eilenberg-Steenrod 공리계를 만족함을 증명하며, 특히 자연스러운 동형사상 Ψₖ(pt) ≅ Hₖ(pt) 를 포함한다.
• 각 상대적 단순형 사이클에 대해 매끄럽게 근사화 및 모서리 부드러움 처리를 통해 대표 허위사이클을 할당함으로써, 자연스러운 변환 ψ: Hₖ(X,A) → Ψₖ(X,A) 를 구성한다.
• 경계 및 부분복합체의 구조를 유지하기 위해, 매끄러운 근사 정리의 상대적 형태(보조정리 E.4)를 사용한다.
• 다양체의 모서리가 있는 경우의 미분위상수학 결과, 특히 튜브근처 및 지오데식 호몰로지 등을 적용하여, 가까운 근사 사이의 호몰로지를 구성한다.
• 이 변환 ψ 가 교차쌍대를 유지함을 보이며, 고전적 보르드이즘 기본류 맵과의 호환성에 기반한다.

실험 결과

연구 질문

• RQ1 허위동형군은 Eilenberg-Steenrod 공리계를 만족하는가? 만약 그렇다면 컴팩트 케이스에서 단순형 호몰로지와 어떻게 비교되는가?
• RQ2 유한한 핸들 분해를 가진 컴팩트 쌍에서 단순형 호몰로지에서 허위동형군으로 가는 자연스러운 변환이 존재하는가? 이는 등가성인가?
• RQ3 왜 호몰로지와 허위동형군 간의 자연스러운 등가성이 비콤팩트 다중다양체로 확장되지 않는가?
• RQ4 허위동형군은 교차쌍대의 관점에서 호몰로지와 동일한 위상적 불변량을 감지할 수 있는가?
• RQ5 허위동형군은 무한한 직접극한과 가환하는가? 이는 비콤팩트 공간에 대해 어떤 결과를 낳는가?

주요 결과

• 허위동형군 Ψₖ 는 Eilenberg-Steenrod 공리계를 모두 만족하며, 특히 자연스러운 동형사상 Ψₖ(pt) ≅ Hₖ(pt) 를 포함한다.
• Hₖ(X,A) → Ψₖ(X,A) 로 가는 자연스러운 변환 ψ 가 존재하며, 이는 경계 사상과 가환하며, 유한한 핸들 분해를 가진 쌍의 전체 부분범주 ℂₚʳᵒᵖₕᵃⁿ𝒹 에서 등가성이다.
• 이 자연스러운 변환 ψ 는 ℂₚʳᵒᵖₕᵃⁿ𝒹 에서의 유일한 그러한 등가성으로, ψ: Hₖ(pt) → Ψₖ(pt) 가 자연스러운 동형사상이 되도록 한다.
• 비콤팩트이면서 연결되고 경계가 없는 정향 다중다양체 X 에 대해서는 Hₖ(X) → Ψₖ(X) 가 전사인 군 준동형사상이 존재하지 않으며, 이는 등가성에 대한 근본적인 장애를 나타낸다.
• X 가 컴팩트일 경우, Hₖ(X×ℝ) → Ψₖ(X×ℝ) 가 단사인 자연스러운 변환은 존재하지 않으며, 이는 허위동형군이 무한한 직접극한과 가환하지 않음을 보여준다.
• 변환 ψ 는 교차쌍대를 유지한다: α·β = ψ(α)·ψ(β) 는 차원이 보완적인 호몰로지 클래스에 대해 성립하며, 고전적 보르드이즘과의 호환성에 기반한다.