[논문 리뷰] On topological complexity and LS-category

Alexander Dranishnikov|arXiv (Cornell University)|2012. 07. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 5

한 줄 요약

이 논문은 위상적 복잡도(TC)와 LS-카테고리 간의 관계를 조사하며, Iwase-Sakai 추측을 증명한다. 즉, $TC(X) > \dim X + 1$ 조건 하에서 단조적 위상적 복잡도 $TC^M(X)$가 표준적 위상적 복잡도 $TC(X)$와 일치함을 보이며, $TC(X \vee Y)$에 대한 범위를 제시한다. 또한 커버링 사상에 대한 $TC$의 단조성에 대한 추측을 반증하고, LS-카테고리 기반으로 Arnold-Kuiper 정리를 간결하게 증명한다.

ABSTRACT

We present some results supporting the Iwase-Sakai conjecture about coincidence of the topological complexity $TC(X)$ and monoidal topological complexity $TC^M(X)$. Using these results we provide lower and upper bounds for the topological complexity of the wedge $X\vee Y$. We use these bounds to give a counterexample to the conjecture asserting that $TC(X')\le TC(X)$ for any covering map $p:X' o X$. We discuss a possible reduction of the monoidal topological complexity to the LS-category. Also we apply the LS-category to give a short proof of the Arnold-Kuiper theorem.

연구 동기 및 목표

• 표준적 위상적 복잡도 $TC(X)$와 단조적 위상적 복잡도 $TC^M(X)$가 일치한다는 Iwase-Sakai 추측을 지지하기 위해, 특히 조건 $TC(X) > \dim X + 1$ 하에서 검토한다.
• 와이드 합 $X \vee Y$의 위상적 복잡도에 대한 하한과 상한을 설정한다.
• 모든 커버링 사상 $p: X' \to X$에 대해 $TC(X') \leq TC(X)$라는 추측을 반증한다.
• 비콤팩트 공간을 위한 새로운 $\infty$-카테고리 불변량을 통해 단조적 위상적 복잡도를 LS-카테고리로 환원할 수 있는 잠재적 방법을 탐색한다.
• LS-카테고리를 응용하여 Arnold-Kuiper 정리에 대한 간결한 증명을 제공한다. 이 정리는 궤도 공간 $\mathbb{C}P^2 / \mathbb{Z}_2 \cong S^4$를 다룬다.

제안 방법

• Weinberger의 보조정리를 사용하여, $X$가 리군일 경우 $TC^M(X) = TC(X)$임을 보인다.
• 비콤팩트 공간에 대해 $\infty$-카테고리 개념을 적용하여 $TC^M(X)$를 $\operatorname{cat}(X \times X / \Delta X)$와 $\infty\text{-}\operatorname{cat}(X \times X \setminus \Delta X)$와 연결한다.
• 경로 피브레이션 $\pi: PX \to X \times X$의 단면과 열린 덮개의 구조를 이용하여 $TC(X \vee Y)$에 대한 범위를 설정한다.
• 피브레이션의 Schwarz 계수를 적용하여, 매핑 콘 $C_p$의 카테고리 $\operatorname{cat}(C_p)$와 $\infty\text{-}\operatorname{cat}(C_p \setminus \{\ast\})$를 포함하는 부등식을 유도한다.
• $\mathbb{C}P^2 \cong SP^2(S^2)$가 등변적으로 성립함을 이용하여 $\mathbb{Z}_2$-작용과 궤도 공간을 분석한다.
• 열린 덮개 $M = F \cup U$를 구성한다. 여기서 $U$는 열려 있고 수축 가능하며, $F$는 컴팩트하고 $\bar{D}_+$와 위상동형이다. 이를 통해 $\operatorname{cat}(M) = 2$임을 보인다.

실험 결과

연구 질문

• RQ1 모든 ENR에 대해 $TC^M(X) = TC(X)$가 성립하는가? 특히 $TC(X) > \dim X + 1$ 조건 하에서 성립하는가?
• RQ2 위상적 복잡도 $X$와 $Y$의 복잡도를 이용해 와이드 합 $X \vee Y$의 위상적 복잡도를 상한과 하한으로 제한할 수 있는가?
• RQ3 커버링 사상 $p: X' \to X$에 대해 위상적 복잡도가 단조적인가? 즉, $TC(X') \leq TC(X)$가 성립하는가?
• RQ4 비콤팩트 공간에 대해 수정된 LS-카테고리 불변량을 통해 단조적 위상적 복잡도를 특성화할 수 있는가?
• RQ5 LS-카테고리를 사용하여 Arnold-Kuiper 정리를 간결하게 증명할 수 있는가?

주요 결과

• Iwase-Sakai 추측 $TC^M(X) = TC(X)$는 $TC(X) > \dim X + 1$ 조건 하에서 참임을 증명하였으며, 리군의 경우 Weinberger 보조정리를 통해 이를 확인하였다.
• 논문은 $TC(X \vee Y)$에 대한 범위를 제시하였으며, $TC(X \vee Y)$는 $TC(X) + TC(Y)$ 이하이고 $\max\{TC(X), TC(Y)\}$ 이상으로 유계됨을 보였다. 그러나 정확한 공식은 제시하지 않았다.
• 모든 커버링 사상 $p: X' \to X$에 대해 $TC(X') \leq TC(X)$라는 추측을 반박하기 위해 반례를 구성하였다. 이는 일반적으로 불등식이 성립하지 않음을 보여준다.
• 단조적 위상적 복잡도 $TC^M(X)$는 $\operatorname{cat}(X \times X / \Delta X)$와 $\infty\text{-}\operatorname{cat}(X \times X \setminus \Delta X)$ 사이에 끼어있으며, 이는 LS-카테고리로의 환원 가능성을 시사한다.
• LS-카테고리를 사용하여 $\operatorname{cat}(\mathbb{C}P^2 / \mathbb{Z}_2) = 2$임을 짧게 증명하였으며, 이는 Freedman의 정리에 의해 궤도 공간이 $S^4$와 위상동형임을 의미한다.
• 궤도 공간 $\mathbb{C}P^2 / \mathbb{Z}_2$는 카테고리가 2인 4차원 다양체임을 보였으며, 카테고리가 2인 닫힌 4차원 다양체는 $S^4$와 호모토피 동치이므로, 이는 $S^4$와 위상동형임을 의미한다.