[논문 리뷰] Identities among relations for higher-dimensional rewriting systems

Yves Guiraud, Philippe Malbos|arXiv (Cornell University)|2009. 10. 23.

Logic, programming, and type systems참고 문헌 17인용 수 10

한 줄 요약

이 논문은 다각형과 트랙 n-카테고리의 도구를 사용하여 군 이론의 관계 간 항등식을 고차원 리터링 시스템으로 일반화한다. n-카테고리에 대한 자연스러운 관계 간 항등식 체계를 도입하고, 유한 유도 유형이 이 체계의 유한 생성성을 암시함을 증명하며, 수렴하는 다각형에서 임계 쌍이 유창성 다이어그램을 통해 체계를 생성함을 보여준다.

ABSTRACT

We generalize the notion of identities among relations, well known for presentations of groups, to presentations of n-categories by polygraphs. To each polygraph, we associate a track n-category, generalizing the notion of crossed module for groups, in order to define the natural system of identities among relations. We relate the facts that this natural system is finitely generated and that the polygraph has finite derivation type.

연구 동기 및 목표

• 기존에 군 표현에서 정의된 관계 간 항등식의 고전적 개념을 n-카테고리와 같은 고차원 대수적 구조로 확장하는 것.
• 다각형을 통한 n-카테고리 표현에 대해 관계 간 항등식의 자연스러운 체계를 정의하고, 이를 고차원으로 일반화된 교차 모듈의 개념으로 확장하는 것.
• 이 자연스러운 체계의 유한 생성성과 기저 다각형의 유한 유도 유형 사이의 연결 고리를 설정하는 것.
• 수렴하는 다각형의 유창성 생성자를 통해 관계 간 항등식 체계의 생성 집합을 형성함을 보여주는 것.
• 트랙 n-카테고리의 호모토피 기반을 통해 관계 간 항등식의 호모토피적 및 대수적 해석을 제공하는 것.

제안 방법

• n-다각형 Σ에서 자유 트랙 n-카테고리 Σ^top를 구성하며, 이는 군oids로 강화된 자유 (n−1)-카테고리이다.
• 아벨화된 트랙 n-카테고리 Σ^top_ab를 정의하고, 이를 통해 제시된 n-카테고리 위에 관계 간 항등식의 자연스러운 체계 Π(Σ)를 부여한다.
• Baues와 Jibladze의 결과를 적용하여 Π(Σ)를 유일한 아벨 자연스러운 체계로 특성화하며, 이 체계가 관련 군oids와 동형임을 보인다.
• 수렴하는 다각형에서 발생하는 임계 쌍으로부터 유창성 다이어그램을 정의하고, 이를 통해 생성 유창성(Generating confluences)을 정의하며, 이것이 Π(Σ)를 생성함을 보인다.
• 트랙 n-카테고리 Σ^top의 호모토피 기반과 Π(Σ)의 생성 집합 사이의 대응 관계를 설정하며, 항등식의 호모토피적 해석을 활용한다.
• 임계 쌍 분석과 유창성 구조를 이용하여, 다각형이 유한 유도 유형을 가진다면 자연스러운 체계 Π(Σ)가 유한 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 군 이론에서의 관계 간 항등식의 고전적 개념을 고차원 리터링 시스템으로 어떻게 일반화할 수 있는가?
• RQ2 특히, 다각형으로 제시된 n-카테고리에서 관계 간 항등식을 포괄하는 적절한 범주적 구조—구체적으로 어떤 자연스러운 체계—는 무엇인가?
• RQ3 관계 간 항등식 체계가 언제 유한 생성되는가?
• RQ4 수렴하는 다각형의 유창성 다이어그램과 임계 쌍은 관계 간 항등식 체계의 생성자와 어떻게 관련되는가?
• RQ5 트랙 n-카테고리의 호모토피 기반과 관계 간 항등식의 생성 집합 사이의 관계는 무엇인가?

주요 결과

• 관계 간 항등식의 자연스러운 체계 Π(Σ)는 아벨화된 트랙 n-카테고리 Σ^top_ab에 관련된 아벨 자연스러운 체계로 정의된다.
• n-다각형 Σ가 유한 유도 유형을 가진다면, 체계 Π(Σ)는 유한 생성이다.
• 수렴하는 다각형의 생성 유창성은 Π(Σ)의 생성 집합을 형성하며, 이는 각 유창성이 체계의 생성자에 해당함을 의미한다.
• 체계 Π(Σ)는 트랙 n-카테고리 Σ^top의 호모토피 기반을 통해 명시적으로 기술되며, 이는 대수적 구조와 호모토피적 구조를 연결한다.
• 한 개의 생성자를 갖는 자유 아벨 군의 표현 예시에서, Π(Σ)는 단 하나의 원소 ⌊a₂a₂⁻⌋에 의해 생성된다.
• Π(Σ)의 구조는 교환 관계와 특정 항목의 소멸(예: ⌊a₁⌋ = 0)에 의해 지배되며, 이는 특정 경우에 체계를 단일 생성자로 단순화시킨다.