[논문 리뷰] Small values of Lusternik-Schnirelmann and systolic categories for manifolds

Alexander Dranishnikov, Mikhail G. Katz외 1명|ArXiv.org|2007. 06. 12.

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

한 줄 요약

이 논문은 1992년 고메스-라라냐가와 곤잘레스-아쿠냐가 제기한 추측을 확인함으로써, 루스터니크-쉬니렐만(LS) 분류가 2인 모든 닫힘 연결 다각형의 기본군이 자유군임을 증명한다. 증명은 코homological 기법, 분류 무게, 국소 계열의 구조를 사용하며, 체계적 분류와 하향 경계에 대한 아벨-아보지 맵 및 섬유의 자기연결 클래스를 통해 적용된다.

ABSTRACT

We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher dimensions. We examine its ramifications in systolic topology, and provide a sufficient condition for ensuring a lower bound of 3 for systolic category.

연구 동기 및 목표

• 1992년 추측을 해결한다: LS 분류가 2인 닫힘 다각형은 반드시 자유 기본군을 가져야 한다.
• 특히 코homological 및 기하 불변량을 통해 4차원 다각형에서 LS 분류와 체계적 분류 간의 연결 고리를 설정한다.
• 아벨-아보지 맵에서 섬유의 자기연결 클래스를 사용하여 체계적 분류가 3 이상임을 보장하는 충분조건을 제공한다.
• 지정된 LS 분류와 차원을 가진 다각형의 기본군으로 실현 가능한 기본군을 특성화한다.
• LS 분류 경계의 맥락에서 코homological 차원, 컵장, 체계적 불변량 간의 관계를 명확히 한다.

제안 방법

• LS 분류가 2인 공간의 구조를 분석하기 위해 분류 무게 이론과 국소 계수에 대한 코homology를 활용한다.
• 아벨-아보지 맵에서 섬유의 자기연결 클래스와 코homology에서의 매스시 곱 $\langle\alpha, \alpha, \beta\rangle \cup \beta$ 간의 대칭성을 이용한다.
• 레스코프의 캐슨-워커 불변량 일반화를 적용하여 $H_{n-3}(M)$에서 비자명한 자기연결을 탐지한다.
• 최대 자유 아벨 코버 $\overline{M}$를 포함하는 피복도형을 구성하여 $\overline{M}$에서의 섬유 호모로지 클래스와 $M$에서의 연결을 연결한다.
• 최대 자유 아벨 코버 $\overline{M}$에서의 섬유 클래스가 0이 아니면, 이는 비자명한 자기연결을 의미하며, 이는 다시 $\operatorname{cat_{sys}}(M) \geq 3$를 이끈다.
• 기하 데이터로부터 체계적 분류의 하향 경계를 도출하기 위해 그로모프의 체계적 부등식을 분할 $n = 1 + 1 + (n-2)$에 적용한다.

실험 결과

연구 질문

• RQ1 모든 차원 $n \geq 3$인 닫힘 $n$-다각형이 LS 분류가 2일 경우 기본군이 자유군인가?
• RQ2 4차원 다각형의 체계적 분류는 그 LS 분류에 의해 상한으로 제한되는가?
• RQ3 아벨-아보지 맵에서 섬유의 자기연결 클래스가 $\operatorname{cat_{sys}}(M) \geq 3$를 이끌어내는 조건은 무엇인가?
• RQ4 주어진 유한형성 군 $\pi$에 대해, $\pi_1(M) = \pi$ 이고 $\operatorname{cat_{LS}}(M) = n$ 인 닫힘 다각형 $M$이 존재하는가?
• RQ5 모든 $n$-다각형에 대해 $n > 4$, 자유 기본군, $H_2$가 토퍼션-자유일 경우 $\operatorname{cat_{LS}}(M) \leq n-2$ 인가?

주요 결과

• 모든 닫힘 연결 다각형이 LS 분류가 2일 경우 기본군이 자유군임을 증명함으로써, 1992년 고메스-라라냐와 곤잘레스-아쿠냐의 추측을 확인한다.
• 아벨-아보지 맵에서 일반적인 섬유의 자기연결 클래스가 $H_{n-3}(M)$에서 비자명할 경우 $\operatorname{cat_{sys}}(M) \geq 3$이다.
• 모든 유한형성 군 $\pi$ 및 정수 $k,l \geq 0$에 대해, $\pi_1(M) = \pi$, $\dim M = 5 + 2k + l$, $\operatorname{cat_{LS}}(M) = 3 + k$ 를 만족하는 닫힘 다각형 $M$이 존재한다.
• 모든 닫힘 옹호 4차원 다각형은 $\operatorname{cat_{sys}}(M) \leq \operatorname{cat_{LS}}(M)$ 를 만족하며, 이는 체계적-LS 분류 비교를 확립한다.
• 최대 자유 아벨 코버 $\overline{M}$에서의 섬유 클래스가 0이 아니면, 이는 $M$에서 자기연결 클래스가 0이 아니며, 이는 다시 $\operatorname{cat_{sys}}(M) \geq 3$를 이끈다.
• 자기연결 클래스는 부호를 제외하고는 코homology 클래스 $\langle\alpha, \alpha, \beta\rangle \cup \beta \in H^3(M)$ 와 쌍대이며, 기하적 연결과 매스시 곱을 연결한다.