[논문 리뷰] Thin Elements and Commutative Shells in Cubical omega-categories

Philip J. Higgins|ArXiv.org|2004. 08. 23.

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

한 줄 요약

이 논문은 붙임 이론이나 네르브에 의존하지 않고, 얇은 구조와 연결성 사이의 직접적이고 공리적 동치성을 입증한다. 이는 복합체의 공백이 항상 공백임을 보이고, 얇은 원소가 정확히 항등 원소와 연결성을 통해 표현 가능한 것임을 보여주며, 이는 이전의 2차원 및 3차원 결과를 모든 차원으로 일반화한다. 이는 부분 접기 연산 Ψ를 통해 단순화된 방법을 사용한다.

ABSTRACT

The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously needed for this purpose; see previous work by Al-Agl/Brown/Steiner. It is shown that composites of commutative shells are commutative and that thin structures are equivalent to appropriate sets of connections; this work extends to all dimensions the results proved in dimensions 2 and 3 by Brown/Mosa, and Brown/Kamps/Porter.

연구 동기 및 목표

• 붙임 이론이나 네르브 구성에 의존하지 않고, 얇은 원소와 공백 복합체의 직접적이고 직관적인 특성화를 제공한다.
• 이전의 2차원 및 3차원 결과를 얇은 구조와 연결성에 대해 모든 차원으로 일반화한다.
• 연결성의 집합과 얇은 구조 사이의 자연스러운 전단사 사상이 존재함을 확립한다.
• 공백 복합체, 얇은 원소, 그리고 고차원 양방향 입방체 범주에서 연결성의 역할 사이의 관계를 명확히 한다.

제안 방법

• 이전 연구에서 사용된 전체 접기 연산 Φₙ의 복잡한 붙임 기반 기법을 피하기 위해, 더 단순한 부분 접기 연산 Ψ를 도입한다.
• 공백 n-복합체를 접기 사상 Ψ의 상에 속하는 원소로 정의하고, 이를 통해 입방체 ω-범주에 얇은 구조를 구성한다.
• 입방체 n-범주에 연결성을 부여한 구조를 이용하여, 얇은 원소를 얇은 구조 사상 θ에 의한 공백 복합체의 상으로 정의한다.
• 서로 다른 조합 순서에서의 복합체 일致성을 확보하기 위해, 조합 가능한 배열과 분할에 대한 교환 법칙과 복합 공리계를 적용한다.
• θ가 연결성과 복합체 메우기의 행동에 의해 유일하게 결정됨을 보여, 연결성 Γ⁺ᵢ, Γ⁻ᵢ와 얇은 구조 θ 사이의 표준적인 대응 관계를 확립한다.
• 재귀적 구성 방법을 사용한다: 연결성을 가진 입방체 (n−1)-범주가 주어지면, n-세포는 공백 (n−1)-복합체로부터 θ를 통해 구성되며, 이는 면과 연결성 사상과의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 붙임 이론이나 네르브를 사용하지 않고, 입방체 ω-범주에서의 얇은 원소는 어떻게 특성화할 수 있는가?
• RQ2 모든 차원에서 입방체 ω-범주에서 공백 복합체와 연결성 사이의 정확한 관계는 무엇인가?
• RQ3 공백 복합체의 복합체가 임의의 차원에서 교환 가능함을 입증할 수 있는가? 이는 기존의 2차원 및 3차원 결과를 일반화하는가?
• RQ4 입방체 n-범주에서 얇은 구조와 연결성 집합 사이에 자연스러운 전단사 사상이 존재하는가?
• RQ5 연결성과 복합체 복합체를 통해 얇은 원소를 공리화함으로써, 입방체 T-복합체의 개념을 단순화할 수 있는가?

주요 결과

• 입방체 ω-범주에서 공백 복합체의 복합체는 모든 차원에서 교환 가능하며, 이는 이전의 2차원 및 3차원 결과를 일반화한다.
• 입방체 ω-범주에서의 얇은 원소는 정확히 항등 원소와 연결성을 복합한 것으로 표현 가능한 것들이며, 이는 정리 2.8에 의해 명시된다.
• 정리 3.1에 의해, 얇은 구조 θ: □▽Cₙ₋₁ → Cₙ과 연결성 집합 Γ⁺ᵢ, Γ⁻ᵢ: Cₙ₋₁ → Cₙ 사이에 자연스러운 전단사 사상이 존재한다.
• θ에 의해 정의된 얇은 원소는 연결성 Γ⁺ᵢ와 Γ⁻ᵢ에 의해 정의된 것과 정확히 일치하며, 이는 다양한 공식화 간의 일致성을 보장한다.
• 전체 접기 Φₙ 대신 부분 접기 연산 Ψ를 사용함으로써 이론이 단순화되고 핵심적인 구조가 유지되어, 접근법이 더 직관적이고 접근하기 쉬워진다.
• 이 구성은 Cₙ 내의 직사각형에 대한 조합 가능한 분할이 항상 조합 가능한 배열로 세분화될 수 있음을 보장하며, 연결성의 존재로 인해 모든 이러한 복합체가 서로 같다.