[논문 리뷰] A Lefschetz type coincidence theorem

Peter Saveliev|ArXiv.org|1998. 06. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 6

한 줄 요약

이 논문은 임의의 위상공간 X에서 다양체 Y로의 사상 f, g: X → Y에 대해 Lefschetz 유형의 공 coincidence 정리 수립. 공 coincidence 지수 I(f,g)가 Lefschetz 수 L(f,g)와 같음을 증명하며, 이는 L(f,g) ≠ 0이면 f와 g가 적어도 한 점 x에서 f(x) = g(x)를 만족하는 공 coincidence 점을 가져야 함을 의미. 결과는 고전적 공 coincidence 정리들을 일반화하며, X와 Y가 모두 다양체이거나 f의 섬유가 acyclic일 경우와 같은 경우에 적용 가능.

ABSTRACT

A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero then there is an x in X such that f(x)=g(x). In particular, the theorem contains some well-known coincidence results for (i) X,Y manifolds and (ii) f with acyclic fibers.

연구 동기 및 목표

• 임의의 위상공간에서 다양체로의 사상으로의 고전적 공 coincidence 정리 일반화.
• 공 coincidence 지수 I(f,g)에 대한 Lefschetz 유형의 공식을 Lefschetz 수 L(f,g)로 제시.
• f의 섬유가 acyclic이거나 X와 Y가 모두 다양체일 경우 알려진 결과를 통합 및 확장.
• 공 coincidence 점 존재를 위한 위상적 기준—비영인 Lefschetz 수—제공.

제안 방법

• 저자들은 호몰로지 및 코호몰로지 이론을 포함한 대수적 위상수학 도구를 사용해 공 coincidence 지수 I(f,g)를 정의.
• 유도된 호몰로지 사상에서 유도된 추적 유사 불변량으로서 Lefschetz 수 L(f,g)를 구성.
• 공 coincidence 지수와 Lefschetz 수를 연결하기 위해 다양체의 쌍대성 및 Poincaré 쌍대성 성질을 활용한 증명.
• Y가 다양체라는 사실을 이용해 기본류의 존재를 보장하고 필요한 쌍대성 동형사상을 정의.
• 핵심 단계는 f와 g의 그래프를 포함한 호몰로지 계산을 통해 I(f,g) = L(f,g)를 보이는 것.
• 표준적인 대수적 위상수학 기법, 특히 전이 사상과 보편 계수 정리의 사용을 통해 결과 도출.

실험 결과

연구 질문

• RQ1 Y가 다양체일 때, 연속 사상 f,g: X → Y에 대해 공 coincidence 지수 I(f,g)가 Lefschetz 수 L(f,g)와 같아지는 조건은 무엇인가?
• RQ2 고전적 Lefschetz 고정점 정리가 임의의 위상공간 X와 다양체 Y로의 사상에 대해 공 coincidence 정리로 확장될 수 있는가?
• RQ3 비영인 Lefschetz 수 L(f,g)는 f(x) = g(x)를 만족하는 공 coincidence 점 x의 존재를 보장하는가?
• RQ4 f의 섬유가 acyclic이거나 X와 Y가 모두 다양체일 경우 결과는 어떻게 특수화되는가?
• RQ5 매끄럽거나 유한차원적 구조가 없는 경우, 공 coincidence 점을 탐지할 수 있는 위상적 불변량은 무엇인가?

주요 결과

• Y가 다양체일 때, 임의의 연속 사상 f,g: X → Y에 대해 공 coincidence 지수 I(f,g)는 Lefschetz 수 L(f,g)와 같다.
• L(f,g) ≠ 0이면 적어도 하나의 점 x ∈ X가 존재하여 f(x) = g(x)를 만족하므로 공 coincidence 점이 존재함을 보장.
• 이 결과는 다양체에 대한 알려진 공 coincidence 정리와 섬유가 acyclic인 사상에 대한 결과를 일반화.
• Lefschetz 수는 X가 다양체가 아니더라도 공 coincidence 점 존재를 위한 충분조건으로 기능함.
• 이 정리는 X가 임의의 위상공간이고 Y가 임의의 다양체일 때, 컴acts 또는 유한성 조건 없이 일반적으로 성립.
• 증명은 Y의 다양체 구조를 이용해 쌍대성 정의 및 호몰로지를 통한 공 coincidence 지수 계산에 의존.