추상적 절단 차수의 통합 이론

본 논문은 ‘절단 차수(sectional category, secat)’라는 정량적 위상불변량을 추상적인 모델 카테고리 환경에서 일반화하고 체계화한다. 서론에서는 절단 차수가 Lusternik‑Schnirelmann(L‑S) 카테고리와 어떻게 연관되는지를 설명하고, 기존에 Ganea‑type과 Whitehead‑type 두 가지 특성화가 존재함을 언급한다. 그러나 이러한 특성화는 주로 구체적인 위상공간이나 사상에 한정되어 있었으며, 추상적인 호모토피 이론으로 확장하기 위한 틀이 부족했다는 점을 지적한다. 1. **예비 지식**에서는 J‑카테고리의 정의와 (J1)–(J5) 공리를 상세히 제시한다. 영 객체, 피브레이션, 코피브레이션, 약동형 사이의 관계와, 풀백·푸시아웃이 존재함을 보장하는 ‘큐브 공리’를 강조한다. 또한 ‘조인(join)’, ‘조인 사상’, ‘약섹션(weak section)’ 등 핵심 개념을 도입하고, Lemma 3·5를 통해 조인과 약섹션이 약동형에 대해 잘 동작함을 보인다. 2. **절단 차수의 정의**에서는 두 가지 접근법을 제시한다. - **Ganea‑type (Gsecat)**: 임의의 사상 p:E→B에 대해 ∗⁰_B E=E, h₀=p 로 시작한다. 재귀적으로 hₙ을 p와 hₙ₋₁의 조인 사상으로 정의하고, 최소 n으로서 hₙ이 약섹션을 갖는 경우를 Gsecat(p)라 정의한다. 이 정의는 전통적인 위상공간에서 B가 파라컴팩트일 때 기존의 secat(p)와 일치한다(주석 9). Proposition 10은 약동형 사상 사이에서 Gsecat이 불변임을 증명한다. - **Whitehead‑type (Wsecat)**: B가 e‑피브레이트(e‑fibrant)인 경우, T₀(p)=E, j₀=p 로 시작한다. Tₙ(p)와 jₙ를 재귀적으로 구성하며, Δₙ₊₁:B→Bⁿ⁺¹이 jₙ를 따라 약섹션을 가질 때 n을 Wsecat(p)라 정의한다. B가 e‑피브레이트가 아닐 경우, B→0의 F‑팩터화 B→τ→F→0을 선택하고 τ p에 대해 동일하게 정의한다. Lemma 13은 이 정의가 τ의 선택에 독립적임을 보인다. 3. **두 정의의 동등성**에서는 Lemma 11을 활용해 조인 구조와 Whitehead 구조 사이에 약동형을 구축한다. 이를 통해 Gsecat(p)=Wsecat(p)임을 증명하고, 두 정의가 동일한 불변량임을 확인한다. 또한, 약동형 사상에 대한 불변성(정리 10)과 함께, 기존의 Ganea‑characterization