자유 섬유와 라크스 한계 및 칸 확장

초록

이 논문은 (∞,2)-범주에서 섬유화 이론을 새롭게 정리하고, 이를 이용해 라크스(또는 부분 라크스) 한계와 가중 한계, 그리고 부분 라크스 칸 확장을 체계적으로 구축한다. 자유 섬유와 섬유의 푸시포워드, 그리고 프레젠터블 (∞,2)-범주의 특성까지 폭넓게 다룬다.

상세 분석

본 연구는 (∞,2)-범주의 섬유화(fibration) 개념을 “특정 사각형이 풀백(pullback)이다”는 간단한 조건으로 재정의한다. 여기서 핵심은 1‑와 2‑사상 모두를 선택적으로 표시한 데코레이션(decorated) (∞,2)-범주를 도입하고, 이 구조 위에서 섬유화의 코카르테시안(coCartesian) 1‑사상과 카르테시안(cartesian) 2‑사상의 존재 여부를 판별한다. 이 접근법은 기존의 스케일드 심플리시컬 모델에 비해 모델 독립적인 기술을 제공한다는 점에서 의미가 크다.

정리 A는 p: E→B가 (0,1)-섬유(즉, 1‑사상의 코카르테시안과 2‑사상의 카르테시안을 모두 갖는 경우)라면, E에 대한 데코레이션이 주어졌을 때 아래의 사각형이 (∞,2)-범주의 풀백이면 충분조건이 된다고 말한다. 여기서 사용되는 Ar‑oplax(E)와 Ar‑oplax(B)는 각각 E와 B의 oplax 화살표 범주이며, DAr‑oplax(E⋄)는 데코레이션된 1‑사상과 2‑사상을 포함하는 전완 부분범주이다.

이 결과를 바탕으로 Corollary B와 Corollary C는 섬유화가 함수공간 Fun(K,E)ᵗˡᵃˣ → Fun(K,B)ᵗˡᵃˣ 에서도 보존된다는 사실을 보여준다. 특히, 평가(evaluation) functor ev₁: Ar‑oplax(A)→A가 (0,1)-섬유임을 확인함으로써, 섬유화가 “정체성 사각형”을 통해 자연스럽게 발생한다는 점을 강조한다.

다음 단계에서는 자유 섬유(free fibration) 를 구축한다. Theorem D는 임의의 functor F: A→B에 대해, Fib(0,1)/B의 잊어버리는 functor가 좌측 adjoint를 갖고, 그 좌측 adjoint는 A×_B Ar‑oplax(B)→B 로 표현된다. 이는 기존 스케일드 모델에서의 결과와 일치하지만, 여기서는 데코레이션과 부분 섬유화까지 일반화한다.

또한, Theorem E는 임의의 F와 1‑사상의 집합 I에 대해, 부분 섬유화의 풀백을 취하는 functor F*가 오른쪽 adjoint를 갖는다는 것을 보인다. 이는 자유 섬유와 그 푸시포워드가 존재함을 의미하며, 특히 co‑free 섬유(즉, 자유 섬유의 오른쪽 adjoint)도 존재함을 보여준다.

섬유화 결과를 (∞,2)-범주의 라크스(또는 부분 라크스) 한계와 연결한다. I‑lax limit은 Functor F: A→C에 대해, C 안에서 Nat_I‑oplax(A,C)(c,F) 를 대표하는 객체로 정의된다. Theorem F는 (0,1)-섬유 p: E→A에 대해 I‑lax 한계가 E에서 특정 2‑사상을 뒤집고, I에 속하는 1‑사상에 대한 코카르테시안 사상만을 보존하는 과정으로 얻어진다고 설명한다. 이는 기존 가중 한계(weighted limit)와 부분 라크스 한계 사이의 변환 관계를 명확히 하며, 가중 한계가 부분 라크스 한계의 특수 경우임을 보여준다.

Kan 확장에 대해서는 Theorem G이 핵심이다. F: A→B와 대상 (∞,2)-범주 C가 각 b∈B에 대해 I_b‑lax limit을 갖는다면, 제한 functor F* : Fun(B,C) → Fun(A,C)_I‑lax 가 오른쪽 adjoint를 가지며, 이는 I‑lax 오른쪽 Kan 확장으로 구체화된다. 여기서 I_b는 A_b→F에 대한 섬유화에서 I에 대응하는 사상들의 집합이다. 이 결과는 기존 스케일드 모델에서의 Kan 확장과 일치하지만, 섬유화와 라크스 한계의 관점에서 보다 직관적인 설명을 제공한다.

마지막으로 프레젠터블 (∞,2)-범주에 대한 Theorem H는 네 가지 동등한 조건을 제시한다. (1) 코완전하고 로컬하게 작은(Locally small) 범주이며, (2) κ‑필터드 ∞‑범주에 대한 콜리미트(colimit)로 생성되는 2‑κ‑콤팩트 객체들의 전충족 서브범주가 존재함, (3) 작은 (∞,2)-범주 J와 전신함수 ℂ→PSh(J) 사이에 좌측 adjoint가 존재하고, (4) 작은 집합 S에 대한 로컬라이제이션으로 표현 가능함을 보인다. 이는 Heine의 일반적인 풍부 ∞‑범주 이론과 일맥상통한다.

전반적으로 이 논문은 (∞,2)-범주의 섬유화와 라크스 한계, Kan 확장을 통합적인 프레임워크 안에서 다루며, 모델 독립적인 접근법과 자유 섬유의 명시적 구성, 그리고 프레젠터블 범주의 새로운 특성화를 제공한다는 점에서 고차 범주론 및 고차 동형론 연구에 중요한 기여를 한다.