[논문 리뷰] Hopf invariants, topological complexity, and LS-category of the cofiber of the diagonal map for two-cell complexes

Jesús González, Mark Grant외 1명|arXiv (Cornell University)|2016. 07. 29.

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

한 줄 요약

이 논문은 두 셀 복합체 $X$가 붙임 사상 $α: S^q \to S^p$ 로부터 유도될 때, 메타안정 범위 $q \leq 3(p-1)$ 내에서, $X$의 위상적 복잡도 (TC)가 대각 사상 $Δ: X \to X \times X$ 의 코프라이어 $C_X$ 의 루스테니크-슐레르렐만 카테고리 (cat) 와 같음을 증명한다. 유일한 예외는 $p$ 가 짝수이고 $α$ 의 호프 불변량이 순서 3를 가질 경우이다. 이 결과는 일반화된 호프 불변량과 섬유화된 합 기법을 사용하여 도출되었으며, 로봇 공학 내 운동 계획과 관련된 섹션 카테고리 및 복잡도 연구를 확장한다.

ABSTRACT

Let $X$ be a two-cell complex with attaching map $\\alpha\\colon S^q\ o S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\ o X\ imes X$. It is shown that the topological complexity (${\ m TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\ m cat}$) of $C_X$ in the (almost stable) range $q\\leq2p-1$. In addition, the equality ${\ m TC}(X)={\ m cat}(C_X)$ is proved in the (strict) metastable range $2p-1<q\\leq3(p-1)$ under fairly mild conditions by making use of the Hopf invariant techniques recently developed by the authors in their study of the sectional category of arbitrary maps.

연구 동기 및 목표

• 두 셀 복합체 $X$ 의 위상적 복잡도 $\mathrm{TC}(X)$ 가 대각 사상의 코프라이어 $C_X$ 의 루스테니크-슐레르렐만 카테고리 $\mathrm{cat}(C_X)$ 와 같을 조건을 규명하는 것.
• 일반화된 호프 불변량의 적용을 운동 계획의 맥락에서 위상적 복잡도와 루스테니크-슐레르렐만 카테고리 연구로 확장하는 것.
• 메타안정 범위 $2p-1 < q \leq 3(p-1)$ 내에서 $\mathrm{TC}(X) = \mathrm{cat}(C_X)$ 가 성립하거나 실패하는 경우를 해결하는 것. 특히 호프 불변량의 순서가 3일 경우를 중심으로 분석한다.
• 제로-디바이저 컵 랑스와 고차 호프 불변량을 통한 $\mathrm{TC}(X)$ 와 $\mathrm{cat}(C_X)$ 의 호모토피적 특성화를 제공하는 것.
• 기존의 표면 및 실수 프로젝티브 공간 등 알려진 예제를 넘어서 보다 광범위한 두 셀 복합체 클래스로 $\mathrm{TC}(X)$ 와 $\mathrm{cat}(C_X)$ 간의 등식을 일반화하는 것.

제안 방법

• 저자들이 최근 개발한 일반화된 호프 불변량 기법을 사용하여, 특히 대각 포함 사상 $\Delta: X \to X \times X$ 의 섹션 카테고리를 분석한다.
• 섬유화된 합 구조를 적용하여 $C_X$ 의 가네아 피브레이션을 모델링함으로써, 고차 호프 불변량을 통한 $\mathrm{cat}(C_X)$ 의 계산을 가능하게 한다.
• 코프라이어 $C_X$ 의 가네아 피브레이션 순서에서 첫 번째 사상과 제3호프 불변량 $h_3^{\mathrm{cat}}$ 를 식별함으로써, 이와 위상적 복잡도를 연결한다.
• 쌍의 $(X \times X, X)$ 의 코homology 시퀀스의 분할을 이용하여, $X$ 의 제로-디바이저 컵 랑스를 $\mathrm{cat}(C_X)$ 의 하한으로 사용한다.
• $\mathbb{Z}_k$ 계수에서의 보크슈타인 연산자 $\beta_k$ 를 적용하여, $|\deg(\alpha)| > 2$ 일 때 $\mathrm{cat}(C_X) \geq 4$ 임을 보이며, 카테고리 무게 이론을 활용한다.
• [7] 과 [9] 의 결과를 조합하여, 특정 차원 및 연결 조건 하에서 $\mathrm{cat}(C_X) \leq \mathrm{TC}(X)$ 와 $\mathrm{TC}(X) \leq \mathrm{cat}(C_X)$ 의 부등식을 확립한다.

실험 결과

연구 질문

• RQ1 두 셀 복합체 $X$ 의 위상적 복잡도 $\mathrm{TC}(X)$ 가 대각 사상의 코프라이어 $C_X$ 의 루스테니크-슐레르렐만 카테고리 $\mathrm{cat}(C_X)$ 와 같아지는 조건은 무엇인가?
• RQ2 붙임 사상 $\alpha: S^q \to S^p$ 의 호프 불변량이 메타안정 범위 내에서 $\mathrm{TC}(X) = \mathrm{cat}(C_X)$ 를 결정하는 데 어떤 역할을 하는가?
• RQ3 메타안정 범위 $2p-1 < q \leq 3(p-1)$ 내에서 $\mathrm{TC}(X) = \mathrm{cat}(C_X)$ 가 실패할 수 있으며, 만약 그렇다면 어떤 호모토피적 조건에서 그러한 실패가 발생하는가?
• RQ4 제로-디바이저 컵 랑스와 고차 호프 불변량은 $\mathrm{cat}(C_X)$ 의 하한을 어떻게 기여하며, 이는 $\mathrm{TC}(X)$ 와의 등식에 어떤 영향을 미치는가?
• RQ5 $\mathrm{TC}(X) = \mathrm{cat}(C_X) + 1$ 이 성립하는 조건은 무엇이며, 이는 관련된 호프 불변량의 구조에 대해 어떤 함의를 갖는가?

주요 결과

• 붙임 사상 $\alpha: S^q \to S^p$ 를 가진 두 셀 복합체 $X_\alpha$ 에 대해, $q \leq 3(p-1)$ 일 때는 $\mathrm{TC}(X_\alpha) = \mathrm{cat}(C_{X_\alpha})$ 가 성립하며, 유일한 예외는 $p$ 가 짝수이고 호프 불변량 $H(\alpha)$ 가 순서 3를 가질 경우이다.
• 특수한 경우로 $p$ 가 짝수이고 $H(\alpha)$ 가 순서 3를 가질 경우, $2 \leq \mathrm{cat}(C_X) \leq \mathrm{TC}(X) \leq 3$ 임을 보여, 등식의 실패 가능성을 시사한다.
• 호프 불변량이 0이 아니며 $q = 2p - 1$ 이고 $p \geq 2$ 일 때, 제로-디바이저 컵 랑스와 함께 $\mathrm{TC}(X) = 4$ 이므로 $\mathrm{TC}(X) = \mathrm{cat}(C_X)$ 가 확인된다.
• $p = q = 1$ 일 때는 모든 $\deg(\alpha)$ 에 대해 등식이 성립하며, $|\deg(\alpha)| = 1$ 이면 $\mathrm{TC}(X) = \mathrm{cat}(C_X) = 2$, $|\deg(\alpha)| > 2$ 이면 $\mathrm{TC}(X) = \mathrm{cat}(C_X) = 4$ 이다.
• 호프 불변량 $H(\alpha) = 0$ 일 경우, $\mathrm{TC}(X) = \mathrm{zcl}_{\mathbb{Q}}(X) = 2$ 이고 $\mathrm{cat}(C_X) = 2$ 이므로, $2 \leq p \leq q \leq 3(p-1)$ 에서도 등식이 성립한다.
• 이 결과는 모든 유한 유형의 경로 연결 쌍대화된 복합체로 확장되며, 레마 4.1 과 비고 2.3 의 조합으로 인해 $\mathrm{TC}(X) = \mathrm{cat}(C_X)$ 가 성립한다.