[논문 리뷰] Tannaka Reconstruction of Weak Hopf Algebras in Arbitrary Monoidal Categories

Micah Blake McCurdy|ArXiv.org|2009. 03. 02.

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

한 줄 요약

이 논문은 단순한 호프 대수의 설정을 넘어서, 임의의 모나이드 범주에서 약한 호프 대수로의 Tannaka 쌍대성을 일반화한다. 이를 위해 모나이드 및 코모나이드 함자에 대한 그림 기반 계산법을 도입한다. 만약 분리 가능한 프로베누스 함자 $F: A \to B$가 모나이드 범주 $A$에서 브레이디드 자율 범주 $B$로 맵핑된다면, Tannaka 재구성은 $B$ 내의 약한 이중대수를 얻으며, $A$가 자율적이라면 결과는 약한 호프 대수이다.

ABSTRACT

We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F: A --> B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannaka reconstruction gives a weak bialgebra in B; if, moreover, A is autonomous, this weak bialgebra is in fact a weak Hopf algebra.

연구 동기 및 목표

• 표준 호프 대수 설정을 넘어서 약한 호프 대수로의 Tannaka 재구성을 일반화하는 것.
• 브레이디드 자율 범주 $B$에서의 Tannaka 재구성 과정이 약한 이중대수 또는 약한 호프 대수를 얻는 조건을 설정하는 것.
• 모나이드 및 코모나이드 함자에 대한 정교화된 그림 기반 계산법을 개발하고 적용하여 재구성 과정을 단순화하고 명확화하는 것.
• 재구성된 대상에서 약한 이중대수 및 약한 호프 대수의 구조를 보장하는 데 있어 프로베누스 및 분리 가능한 함자의 역할을 명확히 하는 것.
• 재구성 과정이 약한 경우에 대해는 수반 관계를 유도하지 못하며, 이는 고전적인 강한 경우와의 주요 차이점임을 보여주는 것.

제안 방법

• Cockett와 Seely의 영감을 받은 모나이드 및 코모나이드 함자에 대한 그림 기반 계산법을 도입하였으며, 변형을 통해 명료성과 변형에 대한 불변성을 향상시켰다.
• 재구성된 대수적 대상을 정의하기 위해 $E_F = \int_{a \in A} [Fa, Fa]$라는 종료 구성(End construction)을 사용하였으며, 함자 $F: A \to B$를 활용하였다.
• 함자 $F$가 분리 가능한 프로베누스 함자임을 조건으로 둔다—즉, 추가적인 일致성 공리들을 만족하는 모나이드이자 코모나이드이기 때문에, 약한 이중대수의 구조를 보장한다.
• 그림 기반 계산법을 사용하여 약한 이중대수 및 약한 호프 대수의 공리를 검증하였으며, 일치 조건이 $F$의 구조 사상들로 구성된 항등식으로 줄어듦을 보였다.
• 함자 $F$가 프로베누스일 경우, 약한 이중대수의 단위 공리들이 만족됨을 보였으며, 코단위 공리들은 단지 모나이드 및 코모나이드 구조만 필요로 함을 확인하였다.
• 복합화 다이어그램을 사용하여 반대자 공리(axioms)를 분석하였으며, $F$가 모나이드이자 코모나이드일 경우 복합화 $S \star E_F \star S = S$에 대한 특정 조건이 성립함을 보였다.

실험 결과

연구 질문

• RQ1 브레이디드 자율 범주 $B$에서 Tannaka 재구성 과정이 약한 이중대수를 얻는 조건은 무엇인가?
• RQ2 함자 $F$의 분리 가능한 프로베누스 성질이 재구성된 대상에서 약한 이중대수의 구조를 보장하는 방식은 무엇인가?
• RQ3 약한 이중대수보다 약한 호프 대수로의 재구성된 대상이 되기 위해 추가로 필요한 조건은 무엇인가?
• RQ4 그림 기반 계산법은 재구성 과정에서 약한 이중대수 및 약한 호프 대수의 공리 검증을 어떻게 단순화하는가?
• RQ5 왜 재구성 과정은 약한 경우에 수반 관계를 생성하지 못하는가? 이는 고전적인 강한 모나이드 설정과의 주요 차이점이다.

주요 결과

• 함자 $F: A \to B$가 분리 가능한 프로베누스 함자이고, $A$가 모나이드이며 $B$가 적절히 완비되거나 완비된 브레이디드 자율 범주라면, Tannaka 재구성 $E_F$는 $B$ 내의 약한 이중대수이다.
• 만약 $A$ 또한 자율적이며 $F$가 분리 가능한 프로베누스 함자라면, $E_F$는 $B$ 내의 약한 호프 대수이며, 이는 고전적인 Tannaka 쌍대성을 약한 설정으로 일반화한다.
• 약한 이중대수의 단위 공리는 그림 기반 계산법과 분해형 계산을 통해 $F$가 프로베누스일 경우 정확히 만족됨을 보였다.
• 약한 이중대수의 코단위 공리는 $F$가 모나이드이자 코모나이드일 경우에만 성립하며, 프로베누스 조건은 필요로 하지 않는다.
• 약한 반대자 공리는 복합화 다이어그램을 사용하여 검증되었으며, 핵심 항등식 $S \star E_F \star S = S$는 $F$가 모나이드이자 코모나이드일 경우 성립한다.
• 재구성 과정은 약한 경우에 수반 관계를 생성하지 않으며, 이는 고전적인 강한 모나이드 재구성에서 표현과 재구성 함자 사이에 수반 관계가 존재하는 것과의 주요 차이점이다.