[논문 리뷰] Monoidal Morita equivalence

Kornél Szlachányi|ArXiv.org|2004. 10. 18.

Algebraic structures and combinatorial models참고 문헌 13인용 수 10

한 줄 요약

이 논문은 기저에 종속되지 않는 2-category적 프레임워크로서 이원수의 모나드적 모리타 동치를 도입하며, 고전적 모리타 동치를 단순한 카테고리에서 모나드적 카테고리로 일반화한다. 강한 코모노이드 프로젠레터가 모나드적 모리타 동치의 동치류를 분류함을 증명하고, 이원수의 모듈러 카테고리를 특성화하며, 타케우치의 $φ$-모리타 이론을 탄카니안이 아닌 설정으로 확장한다.

ABSTRACT

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module categories are monoidally equivalent. The module categories of bialgebroids and of Frobenius Hopf algebroids are characterized by the existence of strong comonoid progenerators and strong Frobenius progenerators, respectively.

연구 동기 및 목표

• 기저에 종속되지 않는 이원수의 2-category를 개발하여 모나드적 모리타 동치를 기술한다.
• 고전적 모리타 이론을 모나드적 카테고리로 일반화하며, 특히 탄카니안이 아닌 예시인 이원수와 호프 이원수에 대해 적용한다.
• 강한 코모노이드 프로젠레터의 존재를 통해 이원수의 모듈러 카테고리를 특성화한다.
• 스위드러 코링의 경우에서 모나드적 모리타 동치와 고전적 $φ$-모리타 동치 사이의 관계를 명확히 한다.
• 기저 카테고리 간의 함자 없이도 모나드적 카테고리를 비교할 수 있는 프레임워크를 제공한다.

제안 방법

• 수평 합성은 $S^e$ 위에서의 텐서곱을 통해 이루어지는 $R|S$-이원수를 1-세포로 사용하여 코이원수의 2-category를 구성한다.
• 1-세포의 합성 $P \odot Q = P \otimes_{S^e} Q$를 정의하며, 유도된 코승법과 코단위 구조를 포함한다.
• 이 2-category의 수평 항등원으로 스위드러 코링 $E(R) = R^{\mathrm{op}} \otimes R$을 사용한다.
• 타케우치의 프레임워크를 적용하여, 이 2-category 내의 동치로서 모나드적 모리타 동치를 정의한다.
• 모나드적 모리타 동치의 동치류를 분류하기 위해 강한 코모노이드 프로젠레터를 불변량으로 활용한다.
• 이원수의 모듈러 카테고리가 모나드적으로 모리타 동치임은, 강한 코모노이드 프로젠레터를 함께 가짐과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 이원수에 대해 기저 카테고리에 종속되지 않는 방식으로 모나드적 모리타 동치를 어떻게 정의할 수 있는가?
• RQ2 모나드적 설정에서 이원수의 모듈러 카테고리를 특성화하는 데 필요한 구조적 성질은 무엇인가?
• RQ3 스위드러 코링의 경우에서 모나드적 모리타 동치는 고전적 $φ$-모리타 동치와 어떻게 관련이 있는가?
• RQ4 강한 코모노이드 프로젠레터는 모나드적 모리타 동치의 동치류를 분류하는 데 어떤 역할을 하는가?
• RQ5 기저 환의 $φ$-모리타 동치가 성립하지 않더라도 모나드적 모리타 동치가 발생할 수 있는가?

주요 결과

• 모나드적 모리타 동치는 기저에 종속되지 않는 이원수의 2-category를 통해 정의되며, 고전적 모리타 이론을 모나드적 맥락으로 일반화한다.
• 강한 코모노이드 프로젠레터는 이원수 모듈러 카테고리의 모나드적 모리타 동치의 동치류를 분류한다.
• 강한 코모노이드 프로젠레터의 존재는 이원수 $A$에 대한 카테고리 $\mathsf{M}_A$를 특성화한다.
• 스위드러 코링 $E(R)$로 제한할 경우, 타케우치의 $\sqrt{\text{Morita}}$ 동치가 복원된다.
• 기저 이원수들이 동치일 필요는 없으며, 이는 이원수의 블로잉업 예시로 보여진다.
• 코승법과 코단위의 호환성에 기반하여 이중화된 이원수 $\tilde{B}$와 $B$ 사이의 동치 $B \simeq \tilde{B}$를 증명함으로써, $\tilde{B} \simeq B$ 가 이원수로서의 동치임을 입증한다.