[논문 리뷰] Mapping Spaces of Gray-Categories

Björn Gohla|arXiv (Cornell University)|2012. 12. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 고차 호환 이론과 호모토피 이론에서 핵심적인 역할을 하는 Gray-범주에 대한 새로운 매핑 공간 구조를 제안한다. 1차원 구조의 공모나드 해상화를 상향시키고 함자적 경로 공간을 구성함으로써, 준동형자기의 코-클라이슬리 범주에서 내부 호모로지 함자를 정의함으로써, 고차 변환의 완전한 병합을 지원하는 유연하고 사슬적으로 연결 가능한 프레임워크를 제공한다. 주요 기여는 고차 세포의 완전한 병합을 가능하게 하며, 고차 연결의 모듈리 공간을 모델링하는 데 유용한 잘 정의된 내부 호모로지이다.

ABSTRACT

We define a mapping space for Gray-enriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential ingredients are a path space construction for Gray-categories and a kind of comonadic resolution of the 1-dimensional structure of a given Gray-category obtained by lifting the resolution of ordinary categories along the canonical fibration of GrayCat over Cat.

연구 동기 및 목표

• 고차 호환 이론에서 3-연결의 모듈리 공간을 모델링하는 데 필수적인, 고차 변환의 완전한 병합을 지원하는 Gray-범주에 대한 매핑 공간을 정의하는 것.
• 표준적인 강화 범주 매핑 공간의 경직성을 극복하기 위해, 공모나드 해상화를 통해 준동형자기의 코-클라이슬리 범주를 도입함으로써 유연한 준동형자기 범주의 구성.
• 고차 세포와 변환의 내재화를 가능하게 하는 Gray-범주에 대한 함자적 경로 공간 함자를 구성하는 것.
• 고차 호환 데이터와 병합에 대한 호환성을 보장하는, Gray-범주의 코-클라이슬리 범주에서 내부 호모로지 함자를 정의하는 것.
• Gray-범주 간 준동형자기의 범주에서 모노이드 닫힘 구조를 구축하기 위한 기반을 마련하는 것.

제안 방법

• Cat 위의 표준 피브레이션을 통해 자유 범주 공모나드를 Gray-범주로 상향시키며, 이를 통해 공모나드 Q1과 코-클라이슬리 범주 GrayCatQ1를 도출한다.
• Gray-범주에 대한 함자적 경로 공간을 구성하며, 이는 GrayCatQ1 내부의 내부 범주가 된다.
• 경로 공간 구성의 반복을 통해 n-단절 내부 입체 객체를 구축하고, 이로부터 3중 반복 경로 공간을 도출한다.
• 내부 Gray-범주를 제3의 반복 경로 공간의 부분객체로 정의함으로써 고차 세포와 호환성 데이터를 포괄한다.
• 호모로지 함자를 적용하여, 엄격한 Gray-함수자 G와 H에 대해 내부 매핑 공간 [G, H] := GrayCatQ1(G, H→→H→→H→→H)를 정의한다.
• 변형과 변형을 매개하는 3-세포인 페르터베이션을 도입하며, 이는 2-코호몰로지가 서로 다른 사각형 병합 간의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 표준 강화 매핑 공간의 한계를 극복하면서도 릿지스러운 변환의 완전한 병합을 지원하는 Gray-범주에 대한 매핑 공간은 어떻게 정의할 수 있는가?
• RQ2 Gray-범주의 1차원 구조에 대한 공모나드 해상화를 통해, 경로 공간 구성이 가능한 다소의 준동형자기 범주를 구성할 수 있는가?
• RQ3 준동형자기의 코-클라이슬리 범주에서 내부 호모로지 함자를 정의할 수 있는가? 이는 고차 변환의 내재화와 병합을 지원한다.
• RQ4 특히 변환 간의 변형을 포함한 고차 세포의 호환성 데이터는 어떻게 표현하고 병합할 수 있는가? 이는 Gray-범주 구조를 존중해야 한다.
• RQ5 최종적으로 도출된 내부 호모로지가 Gray-범주 간 준동형자기의 범주에서 모노이드 닫힘 구조로 확장될 수 있는가?

주요 결과

• 논문은 고차 변환의 완전한 병합을 지원하는 매핑 공간 [G, H]를 GrayCatQ1에서 구성하였으며, 이는 이전 접근법의 핵심적 한계를 해결한다.
• 내부 호모로지 함수 [G, H]는 GrayCatQ1(G, H→→H→→H→→H)로 정의되며, 경로 공간 구성이 고차 세포의 호환성을 보장한다.
• 공모나드 Q1를 통해 구성된 코-클라이슬리 범주 GrayCatQ1는 경로 공간과 내부 범주의 구성이 가능한 다소의 준동형자기 범주를 제공한다.
• 내부 Gray-범주 H→→H→→H→→H는 제3의 반복 경로 공간의 부분객체로 구성되며, 모든 필요한 고차 세포와 호환성 데이터를 포함한다.
• H가 Gray-군족일 경우, 경로 공간 H→와 매핑 공간 [G, H]는 모두 군족 구조를 유지하며, 고차 세포의 가역성이 유지된다.
• 변환 간의 변형이 코호몰로지와 호환되며, 서로 다른 사각형 병합 간의 호환성은 2-코호몰로지가 매개함으로써 유지된다.