[논문 리뷰] Strict quantum 2-groups

Shahn Majid|arXiv (Cornell University)|2012. 08. 30.

Algebraic structures and combinatorial models참고 문헌 19인용 수 8

한 줄 요약

이 논문은 호프 대수와 '삽입 가능한 양자 군oids'라는 새로운 개념을 사용하여 양자 2군의 새로운 프레임워크를 제안한다. 이는 엄격한 2군을 양자적 상황으로 일반화한 것으로, 핵심 기여는 정리 2.6로, 호프 대수 데이터로부터 양자 2군을 구성하는 것이다. 또한 이는 호프 대수의 모듈러 카테고리의 드린펠트 중심에서 브레이드된 교차 모듈을 확장하여, 고전적 교차 모듈의 양자적 대응을 제공한다.

ABSTRACT

A crossed module is (A,H,d,\la) where d:A o H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{ o\atop o}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.

연구 동기 및 목표

• 엄격한 2군의 개념을 호프 대수를 사용하여 양자적 상황으로 확장하기.
• 기저 대수가 비가환일 경우에도 일관된 2군의 구조를 지닌 새로운 종류의 양자 군oids인 '삽입 가능한 양자 군oids'를 정의하기.
• 드린펠트 중심에서의 H-모듈의 카테고리 안에서 브레이드된 호프 대수를 도입하여 교차 모듈을 브레이드된 상황으로 일반화하기.
• 수평 및 수직의 병합 연산이 교환 법칙을 만족하는 양자 군oids의 구성 제공하기.
• 브레이드된 모나드 카테고리와 호프 대수 데이터를 사용하여 양자 대칭의 분류화 기초 마련하기.

제안 방법

• 비가환 호프 대수 설정에서 군oids의 구조를 일반화한 '삽입 가능한 양자 군oids'의 개념을 도입하기.
• twisted-Hopf 대수 조건과 호환성 조건을 만족하는 호프 대수의 교차 모듈 $(A, H, d, riangleright)$을 통해 양자 2군을 정의하기.
• 수평 병합 $ullet$ 를 $G_1 = A times H$ 에서 $(b,g) ullet (a,h) = (ba,h)$ 로 정의하고, 결합법칙을 보장하기 위해 $G_1 \times G_1$ 전체로 확장하기.
• 브레이드된 호프 대수 $B$ 가 드린펠트 중심 ${\rm Z}({}_H{\rm M})$ 에서 정의될 때, Radford 이중생성법을 사용하여 $B \rtimes H$ 를 정의하기.
• 소스 및 타겟 사상 $s, t: G_1 \to G_0$ 를 호프 대수 사상으로 정의하며, $s(b \rtimes h) = \rho(b)h$, $t(b \rtimes h) = d(b)h$ 이고, 포함 사상 $i(h) = 1 \rtimes h$ 로 정의하기.
• twisted-Hopf 대수 공리와 $H$ 가 $A$ 위에 작용하는 방식을 사용하여 교환 법칙과 역원 조건을 검증하기.

실험 결과

연구 질문

• RQ1 고전적 엄격한 2군의 개념을 호프 대수를 사용하여 양자적 상황으로 어떻게 일반화할 수 있는가?
• RQ2 기저 대수가 비가환일 경우, 양자 군oids가 일관된 2군의 구조를 지닐 수 있는 데 필요한 구조는 무엇인가?
• RQ3 드린펠트 중심에서의 호프 대수를 통해 교차 모듈의 개념을 브레이드된 카테고리로 확장할 수 있는가?
• RQ4 양자 2군에서 수평 병합이 교환 법칙을 만족하기 위한 조건은 무엇인가?
• RQ5 드린펠트 중심의 브레이드된 구조가 양자 2군의 구성에 어떻게 영향을 미치는가?

주요 결과

• 정리 2.6는 호프 대수 교차 모듈 $(A, H, d, \triangleright)$ 에서 $G_0 = A$, $G_1 = A \rtimes H$ 와 호환성 있는 소스, 타겟, 항등원 사상으로부터 양자 2군을 구성함을 보여준다.
• 수평 병합 $ullet$ 는 $G_1$ 에서 결합법칙을 만족하며 $G_1 \times G_1$ 전체로 확장되어 교환 법칙과의 호환성을 보장한다.
• $t: G_1 \to G_0$ 를 $t(a,h) = d(a)h$ 로 정의한 사상은 호프 대수 준동형사상이며, 이는 2군의 구조에 필수적이다.
• 정리 3.5는 브레이드된 호프 대수 $B$ 가 ${\rm Z}({}_H{\rm M})$ 에서 정의될 경우, Radford 이중생성법 $B \rtimes H$ 가 호환성 있는 소스, 타겟, 항등원 사상을 지니며 양자 2군을 이룬다는 것을 보여준다.
• 예제 3.6은 $H$ 가 쿼아시트리앙이고 $B$ 가 $H$ 의 변형된 형태일 경우, 구성이 $H \blacktriangleright\rlap{\raise0.25em\relax\textstyle\bullet}\blacktriangleleft H$ 를 유도하며, 이는 알려진 양자 듀얼 구조와 유사하다.
• 논문은 브레이드된 경우에 전체 2군의 구조를 얻기 위해 현재 프레임워크를 넘어서 수직 병합과 쌍대원소의 정의를 일반화할 필요가 있음을 밝힌다.