[논문 리뷰] Strong homotopy types, nerves and collapses

Jonathan Ariel Barmak, Elías Gabriel Minian|ArXiv.org|2009. 07. 17.

Advanced Topology and Set Theory참고 문헌 16인용 수 10

한 줄 요약

이 논문은 강한 콤���스의 새로운 유형—강한 콤팩트화—를 통해 단순 복합체에 대한 강한 호모토피 유형을 도입한다. 이는 고전적 단순 복합체 콤팩트화보다 더 구조적인 대안을 제공한다. 핵의 존재성과 유일성을 확립하고, 최소 복합체 간의 강한 호모토피 동치가 임베딩임을 증명하며, 정점에 대해 동일한 비에바시브 복합체의 핵도 여전히 비에바시브임을 보여, 에바시브성 추측을 최소 복합체의 클래스로 축소한다.

ABSTRACT

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.

연구 동기 및 목표

• 강한 콤팩트화에 기반한 단순 복합체에 대한 새로운 호모토피 이론을 개발하여, 고전적 콤팩트화보다 더 구조적인 방법을 제공한다.
• 고전적 콤팩트화 이론에서의 핵의 비유일성 문제를 해결하기 위해, 유일하고 잘 행동하는 핵을 가지는 프레임워크를 도입한다.
• 강한 호모토피 유형, 뉴어스, 그리고 유한한 위상 공간 간의 관계를 조사하여 콤팩트화의 이해를 심화한다.
• 정점에 대해 동일한 비에바시브 단순 복합체에 대해 에바시브성 추측의 특수한 경우를 증명한다.
• 정점에 대해 동일한 비에바시브 복합체의 핵이 여전히 비에바시브임을 보여, 일반적인 에바시브성 추측을 최소 복합체의 클래스로 축소한다.

제안 방법

• 강한 콤팩트화를 정점의 열린 스타를 제거하는 것으로 정의하며, 이때 도미네이션은 링크가 단순 복합체의 원뿔임을 의미한다.
• 연속성 클래스를 통한 강한 호모토피 동치의 개념을 도입하여, 고전적 호모토피 이론을 일반화한다.
• 유한한 $T_0$-공간을 사용하여 단순 복합체를 모델링하며, 단순체의 부분순서집합을 통해 유한한 공간과 단순 복합체 간의 이중성을 수립한다.
• $\mathcal{F}K$의 $n$-중복을 함수 $\mathcal{F}: V_K \to \mathbb{N}$를 사용하여 정의하여, 복수의 복사본 개념을 일반화한다.
• $\mathcal{F}K$가 $n$-콤팩트화 가능하다면 $K$도 $n$-콤팩트화 가능하다는 것을, 정점 제거 순서에 대한 귀납적 증명을 통해 증명한다.
• 뉴어스 연산을 반복 적용하여 복합체의 핵에 도달함을 보여, 핵 계산을 위한 새로운 방법을 수립한다.

실험 결과

연구 질문

• RQ1 핵의 유일성과 콤팩트화 분석의 단순화를 보장하는 더 구조적인 콤팩트화 개념을 정의할 수 있는가?
• RQ2 강한 호모토피 유형, 뉴어스, 그리고 단순 복합체의 핵 간의 관계는 무엇인가?
• RQ3 정점에 대해 동일한 비에바시브 단순 복합체의 핵은 여전히 비에바시브인가?
• RQ4 에바시브성 추측은 최소 복합체의 클래스로 축소될 수 있는가?
• RQ5 군 작용 하에서의 복합체들에 대한 강한 콤팩트화는 고전적 콤팩트화와 비에바시브성과 어떻게 관련되는가?

주요 결과

• 강한 콤팩트화 하에서 어떤 유한한 단순 복합체의 핵은 임베딩을 제외하고 유일하며, 이는 고전적 핵의 비유일성 문제를 해결한다.
• 강한 콤팩트화는 고전적 콤팩트화의 특수한 경우이지만, 최소 복합체 간의 강한 호모토피 동치가 임베딩임을 보장한다.
• 뉴어스 연산을 반복 적용하면 복합체의 핵으로 수렴하며, 이는 핵 탐지의 새로운 계산 방법을 제공한다.
• $\mathcal{F}K$가 $n$-콤팩트화 가능하다면 $K$도 $n$-콤팩트화 가능하며, 특히 $\mathcal{F}K$가 비에바시브이면 $K$도 비에바시브이다.
• 정점에 대해 동일한 비에바시브 복합체의 핵은 여전히 비에바시브이며, 이러한 복합체는 핵의 $n$-중복과 동형이다.
• 에바시브성 추측은 최소 복합체로 축소된다: 만약 최소 복합체이며 정점에 대해 동일하고 비에바시브인 복합체가 한 점이라면, 전체 추측이 성립한다.