[논문 리뷰] Maps on graphs can be deformed to be coincidence-free

P. Christopher Staecker|arXiv (Cornell University)|2010. 06. 27.

Computational Geometry and Mesh Generation참고 문헌 3인용 수 4

한 줄 요약

이 논문은 코디메인인이 원과 호메오멀피즘으로 표현되지 않는 한, 연결 그래프 사이의 임의의 두 연속적 사상이 호모토피를 통해 공 coincidence-free로 만들 수 있음을 증명한다. 핵심 방법은 그래프의 분기점(포크)을 이용해 사상이 공 coincidence 지점을 피하도록 호모토피적으로 재경로를 설정하는 '도로 교통' 유사 유형을 사용한다. 이는 비자명한 공 coincidence 불변량(예: 니엘센 수 또는 라이드마이스터 트레이스)이 이 설정에서 반드시 0이 되어야 하며, 이는 이전 연구에서의 주장들을 무효화한다.

ABSTRACT

We give a construction to remove coincidence points of continuous maps on graphs (1-complexes) by changing the maps by homotopies. When the codomain is not homeomorphic to the circle, we show that any pair of maps can be changed by homotopies to be coincidence free. This means that there can be no nontrivial coincidence index, Nielsen coincidence number, or coincidence Reidemeister trace in this setting, and the results of our previous paper "A formula for the coincidence Reidemeister trace of selfmaps on bouquets of circles" are invalid.

연구 동기 및 목표

• 버블로스 오브 서클에 대한 사상에 대해 비자명한 공 coincidence 불변량을 계산한다고 주장하는 이전 연구의 근본적 결함을 해결하기 위해.
• 그래프 상의 사상에서 공 coincidence 점이 호모토피에 의해 제거될 수 있는 조건을 설정하기 위해.
• 코디메인이 원이 아니면 공 coincidence 지수, 니엘센 수, 라이드마이스터 트레이스가 모두 소멸해야 한다는 것을 보여주기 위해.
• 특히 [3]에서의 공 coincidence 지수의 잘못된 사용을 수정하기 위해, 이 지수가 호모토피에 대해 안정적이지 않음을 보여주기 위해.
• 고정점 이론과 공 coincidence 이론 간의 차이를 그래프의 맥락에서 명확히 하기 위해.

제안 방법

• 두 사상이 단일 차선 도로 네트워크 상의 차량으로 간주되는 호모토피 기반 전략을 도로 교통 유사 유형에 기반하여 사용한다.
• 모든 공 coincidence 점이 간선 내부에 있을 경우, 국소적 호모토피 변환을 적용하여, 삼중 정점(포크)을 통해 사상을 방향을 바꿔 충돌을 피한다.
• 사상들이 공통 정점으로 후퇴하여 서로 다른 간선을 따라 지나가고, 순서를 뒤바꿔 다시 경로를 이어가는 위상수학적 구성 기법을 사용한다.
• 코디메인 그래프가 다양체가 아니며, 특히 원과 호메오멀피즘으로 표현되지 않는다는 가정에 기반하여, 재경로 설정을 위한 삼중 정점의 존재를 보장한다.
• 문제를 간선 내부의 공 coincidence 점으로 줄이기 위해 보조정리를 사용하여, 국소적 호모토피 구성의 반복 적용이 가능하게 한다.
• 반복적으로 이 구성 기법을 적용하여 모든 공 coincidence 점을 제거함으로써, 주어진 조건 하에서 임의의 두 사상이 항상 공 coincidence-free로 만들 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 코디메인이 원이 아니면, 연결 그래프 사이의 임의의 두 연속적 사상이 호모토피를 통해 공 coincidence-free로 만들 수 있는가?
• RQ2 왜 공 coincidence 지수가 그래프의 맥락, 특히 버블로스 오브 서클의 경우 잘 작동하지 않는가?
• RQ3 코디메인이 원이 아니면 그래프 상의 사상에 대해 니엘센 수와 라이드마이스터 트레이스의 정확한 행동 양태는 무엇인가?
• RQ4 이 설정에서 공 coincidence 지수가 실패함으로써, [3]에서의 공 coincidence 라이드마이스터 트레이스 공식 등 이전 연구 결과들이 어떻게 무효화되는가?
• RQ5 어떤 경우에 그래프 상의 사상에 대해 비자명한 공 coincidence 불변량이 여전히 존재할 수 있는가?

주요 결과

• 연결 그래프 X에서 연결 그래프 Y로의 임의의 두 연속적 사상은 Y가 원과 호메오멀피즘으로 표현되지 않는 한 호모토피를 통해 항상 공 coincidence-free로 만들 수 있다.
• 코디메인이 원이 아니면, 그래프 상의 사상에 대해 공 coincidence 지수, 니엘센 수, 라이드마이스터 트레이스가 모두 소멸해야 하며, 이는 모든 공 coincidence 점이 호모토피로 제거 가능하기 때문이다.
• [3]에서 공 coincidence 라이드마이스터 트레이스를 계산하기 위한 구성은 근본적으로 잘못되어 있으며, 이는 공 coincidence 값이 융합점(와이어 포인트)을 넘을 때 예측 불가능하게 변화하는 불안정한 공 coincidence 지수에 의존하기 때문이다.
• [3]의 오류는 주로 비융합점 근처에서 공간을 미분 가능 다양체로 간주하는 방식으로 공 coincidence 지수를 정의함으로써 발생하며, 이는 사상의 이미지가 융합점에 도달할 때 호모토피에 의해 실패한다.
• 코디메인이 원일 경우 비자명한 공 coincidence 불변량이 여전히 존재할 수 있다. 예를 들어, 사상 f,g: S¹ → S¹에 대해 MC(f,g) = |deg(f) - deg(g)|이다.
• 결과적으로, 그래프 상의 공 coincidence 이론은 고정점 이론의 일반화가 아니며, 고정점 이론과는 다르게 그래프 상의 자기사상의 고정점은 본질적으로 제거할 수 없지만, 항등사상과의 공 coincidence 점은 항상 제거 가능하다.