[논문 리뷰] The monoidal category of Yetter-Drinfeld modules over a weak braided Hopf algebra

J. N. Alonso Álvarez, J. M. Fernández Vilaboa외 2명|arXiv (Cornell University)|2012. 03. 12.

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

한 줄 요약

이 논문은 역행성 있는 항성자기(antipode)를 갖는 엄격한 모나이드 카테고리에서 약한 브레이드형 호프 대수 위의 Yetter-Drinfeld 모듈을 도입하며, 일반화된 약한 연산자를 통해 새로운 유형의 대상을 정의한다. 이 모듈들이 비엄격한 모나이드 카테고리임을 증명하고, 수반 작용과 사영을 통한 예시를 구성하여 이론이 고전적 호프 대수 설정을 초월함을 보여준다.

ABSTRACT

In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a non strict monoidal category. It is also shown that this category is not trivial, that is to say that it admits objects generated by the adjoint action (coaction) associated to the weak braided Hopf algebra.

연구 동기 및 목표

• 역행성 있는 항성자기를 갖는 엄격한 모나이드 카테고리에서 약한 브레이드형 호프 대수 위의 Yetter-Drinfeld 모듈 이론을 확장하는 것.
• 이 설정에서 약한 양-바이어스터 연산자의 자연스러운 일반화인 일반화된 약한 연산자를 정의하는 것.
• 이러한 대수 위의 Yetter-Drinfeld 모듈의 카테고리가 비엄격한 모나이드 카테고리이자 비자명한 성질을 갖는다는 것을 증명하는 것.
• 약한 브레이드형 호프 대수의 수반 작용과 사영을 이용하여 Yetter-Drinfeld 모듈의 구체적 예를 구성하는 것.
• 이 일반화된 프레임워크에서 모듈 카테고리와 모나이드 카테고리의 중심 사이의 카테고리 동치 관계를 설정하는 것.

제안 방법

• 엄격한 모나이드 카테고리에서 약한 양-바이어스터 연산자의 일반화로서 약한 연산자의 개념을 도입하는 것.
• 약한 브레이드형 호프 대수 위에서 약한 연산자를 포함한 호환 가능한 모듈 및 코모듈의 구조를 통해 Yetter-Drinfeld 모듈을 정의하는 것.
• 약한 연산자와 대수적 연산에 대한 호환성에 기반하여 Yetter-Drinfeld 모듈의 카테고리에 모나이드 구조를 구성하는 것.
• 약한 연산자, 항성자, 구조 사상들을 포함한 교환 다이어그램을 사용하여 모나이드 구조의 일관성 조건을 검증하는 것.
• 약한 브레이드형 호프 대수의 수반 작용과 코작용에 기반하여 구체적인 대상을 구성함으로써 비자명성을 입증하는 것.
• 등복원소 분해와 텐서곱 호환성과 같은 카테고리 도구를 사용하여 카테고리가 잘 정의되고 비퇴화되어 있음을 보장하는 것.

실험 결과

연구 질문

• RQ1 역행성 있는 항성자기를 갖는 엄격한 모나이드 카테고리에서 약한 브레이드형 호프 대수 위에 비엄격한 모나이드 카테고리의 Yetter-Drinfeld 모듈을 구성할 수 있는가?
• RQ2 이러한 Yetter-Drinfeld 모듈의 카테고리가 영 모듈 이외의 비자명한 대상을 포함하는가?
• RQ3 약한 연산자가 이 설정에서 모듈-코모듈 호환성을 지원하기 위해 약한 양-바이어스터 연산자를 어떻게 일반화할 수 있는가?
• RQ4 이 일반화된 프레임워크에서 Yetter-Drinfeld 모듈의 카테고리와 모듈의 모나이드 카테고리의 중심 사이에 카테고리 동치 관계가 존재하는가?
• RQ5 약한 브레이드형 호프 대수에서 사영 또는 수반 작용을 통해 Yetter-Drinfeld 모듈의 예를 체계적으로 생성할 수 있는가?

주요 결과

• 역행성 있는 항성자기를 갖는 약한 브레이드형 호프 대수 위의 Yetter-Drinfeld 모듈의 카테고리는 비엄격한 모나이드 카테고리이다.
• 약한 연산자의 존재는 모듈 및 코모듈의 구조 간 호환성을 보장하며, 이는 모나이드 카테고리의 구성에 기여한다.
• 비자명한 Yetter-Drinfeld 모듈이 존재하며, 이는 약한 브레이드형 호프 대수의 수반 작용과 코작용에 의해 생성된 경우를 포함한다.
• 약한 브레이드형 호프 대수의 사영을 이용하여 명시적인 예를 구성함으로써 카테고리의 풍부함을 입증한다.
• 약한 브레이드형 호프 대수의 구조 사상으로부터 유도된 사상의 4중조가 약한 연산자의 공리를 만족함을 확인하여 일관성을 입증한다.
• 텐서곱과 자연 변환을 포함한 교환 다이어그램을 통해 작용과 코작용이 약한 연산자와 호환됨을 검증한다.