[논문 리뷰] Quantum heaps, cops and heapy categories

Zoran Škoda|ArXiv.org|2007. 01. 25.

Algebraic structures and combinatorial models참고 문헌 5인용 수 6

한 줄 요약

이 논문은 단위를 忘却한 채로 힉스 대수의 일반화로서 이항 연산을 갖춘 양자 힙을 도입하고, 코점이 있는 양자 힙의 범주와 힉스 대수의 범주 사이의 동형을 수립한다. 또한 단위를 잃은 채로 힉스 대수의 코알제브라에 대응하는 '코프'를 단순화된 모나이드 범주에서 정의하고, 삼항 곱의 구조를 갖춘 표현 범주인 '힙피 범주'—즉, 강한 단위 모나이드 범주를 일반화한 범주—를 도입한다.

ABSTRACT

A heap is a structure with a ternary operation which is intuitively a group with forgotten unit element. Quantum heaps are associative algebras with a ternary cooperation which are to the Hopf algebras what heaps are to groups, and, in particular, the category of copointed quantum heaps is isomorphic to the category of Hopf algebras. There is an intermediate structure of a cop in monoidal category which is in the case of vector spaces to a quantum heap about what is a coalgebra to a Hopf algebra. The representations of Hopf algebras make a rigid monoidal category. Similarly the representations of quantum heaps make a kind of category with ternary products, which we call a heapy category.

연구 동기 및 목표

• 단위를 忘却함으로써 군을 일반화하는 방식과 유사하게, 이항 연산을 갖춘 양자 힙을 도입함으로써 힉스 대수를 일반화하는 것.
• 모나이드 범주에서 '코프'를 정의함으로써 힉스 대수의 코알제브라에 대응하는 범주론적 동치를 제공하고, 삼항 코승법이 결합법칙을 만족하도록 하는 것.
• 객체에 대한 삼항 곱의 구조를 갖춘 '힙피 범주'—즉, 강한 단위 모나이드 범주의 곱의 구조를 일반화한 범주—를 도입하는 것.
• 강한 단위를 갖춘 힙피 범주의 범주와 강한 단위 모나이드 범주의 범주 사이의 동치를 자연스러운 구성으로 수립하는 것.
• 힙피 범주에서의 단위의 역할을 탐구하고, 비단위 힙피 범주가 비단위 모나이드 범주보다도 비커뮤터티브 토르소르와 같은 특정 맥락에서 더 자연스럽게 작용할 수 있음을 제안하는 것.

제안 방법

• 결합법칙: (id⊗id⊗τ)∘τ = (τ⊗id⊗id)∘τ 를 만족하는 삼항 코승법 τ 를 갖춘 이항 연산을 갖춘 대수로 양자 힙을 정의한다.
• 모나이드 범주에서 객체 C 와 (id⊗ε⊗ε)∘τ = id = (ε⊗ε⊗id)∘τ 를 만족하는 삼항 코승법 τ:C → C⊗C⊗C 를 갖춘 객체 C 를 '코프'로 정의한다.
• 코프 C 에 대해 (id⊗ε⊗ε)∘τ = id = (ε⊗ε⊗id)∘τ 를 만족하는 코유니트 ε:C → 1 를 정의하여, 코알제브라의 코유니트를 일반화한다.
• 양자 힙의 표현 범주를 구성하고, 그 안에서 표현의 작용을 통해 객체에 삼항 곱의 구조를 유도한다: h·(a⊗b⊗c) = h^(1)·a ⊗ h^(2)·b ⊗ h^(3)·c.
• 객체에 대한 삼항 곱의 함자 ⋄: C × C^op × C → C 를 A ⋄ B ⋄ C = (A ⊗ B^*) ⊗ C 로 정의하여 힙피 범주를 구성한다. 여기서 B^* 는 B 의 쌍대이다.
• 삼항 곱의 일관성 이sovism을 정의하여, 모나이드 범주에 대한 맥클레인의 일관성 조건을 일반화함으로써 힙피 범주를 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 양자 힙에서 단위를 忘却하고 다시 캐릭터(코유니트)를 도입함으로써 힉스 대수를 재건할 수 있는가?
• RQ2 양자 힙의 표현 범주가 가지는 범주론적 구조는 무엇이며, 이는 강한 단위 모나이드 범주의 곱의 구조를 어떻게 일반화하는가?
• RQ3 힙피 범주에서 단위의 역할은 무엇이며, 이는 강한 단위 모나이드 범주에서의 단위와 어떻게 관련되어 있는가?
• RQ4 비커뮤터티브 토르소르의 개념은 양자 힙과 그에 관련된 코프의 구조를 통해 일반화될 수 있는가?
• RQ5 코힙 모노이드의 공리와 힉스 대수의 공리 사이의 관계는 무엇이며, 그라운산의 원래 서술에서 여유로운 공리는 어떤 의미를 갖는가?

주요 결과

• 코점이 있는 양자 힙의 범주는 힉스 대수의 범주와 동형이 되며, 이는 양자 힙이 단위를 忘却함으로써 힉스 대수를 자연스럽게 일반화한 것임을 보여준다.
• 코힙 모노이드의 캐릭터는 자동으로 기저 코프의 코유니트가 되며, 이는 대수적 캐릭터와 범주론적 코유니트 사이의 직접적인 연결 고리를 확립한다.
• 양자 힙의 표현 범주는 자연스럽게 삼항 곱의 구조를 갖추며, 이는 함자적 삼항 곱 A ⋄ B ⋄ C = (A ⊗ B^*) ⊗ C 를 갖춘 힙피 범주가 된다.
• 강한 단위 모나이드 범주는 A ⋄ B ⋄ C = (A ⊗ B^*) ⊗ C 의 구성으로부터 강한 단위를 갖춘 힙피 범주로 유도되며, 반대로 강한 단위를 갖춘 힙피 범주는 Q₁ ⊗ Q₂ = Q₁ ⋄ 1 ⋄ Q₂ 의 방식으로 강한 단위 모나이드의 구조를 유도한다.
• 강한 단위 모나이드 범주와 강한 단위를 갖춘 힙피 범주 사이의 동치는 자연스러운 일관성 이sovism을 통해 수립되며, 이는 힙피 범주가 비단위 일반화의 자연스러운 프레임워크임을 시사한다.
• 비단위 힙피 범주는 비커뮤터티브 토르소르와 같은 맥락에서 비단위 모나이드 범주보다 더 자연스럽게 작용할 수 있으며, 이는 토르소르의 그림과 양자 힙이 비커뮤터티브 기하학에서 수행하는 역할에 기반한다.