[논문 리뷰] The rational sectional category of certain maps

José Gabriel Carrasquel-Vera|arXiv (Cornell University)|2015. 03. 25.

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

한 줄 요약

이 논문은 호모토피 재구성 가능성을 갖는 사상에 대해 유리수 섹션 분류수의 대수적 특성화를 제공하며, 유리수 LS 분류수에 대한 Félix-Halperin 정리의 일반화를 이룩하고, Jessup-Murillo-Parent의 유리수 위상 복잡성에 대한 추측을 증명한다. 주요 결과는 유리수 섹션 분류수가 특정 cdga 사영이 호모토피 재구성 가능성을 갖는 최소의 $ m $임을 규명한다.

ABSTRACT

We give a simple algebraic characterisation of the sectional category of rational maps admitting a homotopy retraction. As a particular case we get the Félix-Halperin theorem for rational Lusternik-Schnirelmann category and prove the conjecture of Jessup-Murillo-Parent on rational topological complexity. We also give a characterisation for relative category in the sense of Doeraene-El Haouari.

연구 동기 및 목표

• 호모토피 재구성 가능성이 있는 사상에 대해 유리수 섹션 분류수의 순수 대수적 특성화를 제공한다.
• 유리수 LS 분류수에 대한 Félix-Halperin 정리를 호모토피 재구성 가능성이 있는 임의의 유리수 사상으로 일반화한다.
• 제안된 프레임워크를 통해 유리수 위상 복잡성에 대한 Jessup-Murillo-Parent의 추측을 증명한다.
• Doeraene-El Haouari의 의미에서 상대 분류수로의 특성화를 확장한다.
• 유리수 불변량을 통해 정수 섹션 분류수의 대수적 하한을 확립한다.

제안 방법

• 호모토피 재구성 가능성이 있는 사상 $ \varphi: A \to B $를 s-모델을 통해 모델링하며, 여기서 $ A = (B \otimes \Lambda W, D) $는 상대 수퍼리 아핀 대수이고 $ \varphi $는 재구성 사상이다.
• 핵의 $ (m+1) $제곱을 몫으로 삼는 사영 $ \rho_m: A \to A / (\ker \varphi)^{m+1} $를 정의한다.
• 표준적인 유리수 호모토피 이론 기법과 상대 수퍼리 아핀 모델을 사용하여 $ \rho_m $의 호모토피 재구성 가능성이 섹션 분류수와 어떻게 관련되는지 분석한다.
• 대각 사상 $ \Delta_n: X \to X^n $에 이 프레임워크를 적용하여 고차 위상 $ n $-복잡성을 모델링한다.
• B-모듈러 호모토피 재구성과 A-모듈러 구조를 사용하여 $ \text{msecat} $ 및 $ \text{mTC} $를 정의하고 분석한다.
• B 위의 cdga 범주에서의 교환 다이어그램을 구성하여 호모토피 절단과 재구성 가능성을 연결하고, 모델 이론 기법을 통해 주요 정리를 증명한다.

실험 결과

연구 질문

• RQ1 호모토피 재구성 가능성이 있는 사상 $ f $의 유리수 섹션 분류수에 대한 대수적 특성화는 무엇인가?
• RQ2 Jessup-Murillo-Parent의 유리수 위상 복잡성에 대한 추측은 참인가? 그리고 이는 유리수 호모토피 이론을 통해 증명될 수 있는가?
• RQ3 호모토피 재구성 가능성이 있는 사상에 대해, 유리수 섹션 분류수는 Doeraene-El Haouari의 의미에서 상대 분류수와 어떻게 관련되는가?
• RQ4 호모토피 재구성 가능성이 있는 경우 $ \text{msecat}(f) $ 불변량은 유리수 섹션 분류수와 동일한가?
• RQ5 특히 $ X \times S^n $와 같은 곱에 대해 유리수 위상 복잡성은 어떻게 행동하는가?

주요 결과

• 유리수 섹션 분류수 $ \text{secat}(f_0) $ 는 cdga 사영 $ \rho_m: A \to A / (\ker \varphi)^{m+1} $ 가 호모토피 재구성 가능성이 있는 최소의 $ m $ 이다.
• Jessup-Murillo-Parent의 유리수 위상 복잡성에 대한 추측은 참으로 증명되었다: $ \text{TC}(X_0) $ 는 사영 $ \Lambda V \otimes \Lambda V \to (\Lambda V \otimes \Lambda V)/K^{m+1} $ 가 호모토피 재구성 가능성이 있는 최소의 $ m $ 이며, 여기서 $ K $ 는 곱셈 사상의 핵이다.
• 고차 위상 복잡성에 대해 $ \text{TC}_n(X_0) $ 는 사영 $ A \otimes (\Lambda V)^{\otimes n-1} \to A \otimes (\Lambda V)^{\otimes n-1} / (\ker \varphi)^{m+1} $ 가 호모토피 재구성 가능성이 있는 최소의 $ m $ 이다.
• Ganea 추측은 $ \text{mTC} $ 에 대해 성립한다: $ \text{mTC}(X \times S^n) = \text{mTC}(X) + \text{mTC}(S^n) $, 여기서 $ \text{mTC} $ 는 위상 복잡성의 A-모듈러 형태이다.
• 유리수 상대 분류수 $ \text{relcat}(f_0) $ 는 상대 수퍼리 아핀 모델 $ i_m $ 이 재구성 가능성이 있는 $ r $ 를 갖는 최소의 $ m $ 이며, $ \varphi \circ r \simeq \overline{\varphi} \circ \theta_m \text{ rel } A $ 를 만족한다.
• 호모토피 재구성 가능성이 있는 경우 $ \text{msecat}(f) = \text{secat}(f_0) $ 라는 추측은 프레임워크에 의해 지지되나, 완전히 증명되지는 않았다.