[논문 리뷰] Module traces and Hopf group-coalgebras

Andres F. Fontalvo Orozco, Azat M. Gainutdinov|arXiv (Cornell University)|2018. 09. 04.

Algebraic structures and combinatorial models참고 문헌 7인용 수 3

한 줄 요약

이 논문은 모듈러 끝오브런터를 지닌 퍼지컬 카테고리에 대해 일반화된 모듈러 트레이스의 개념을 도입하며, 단순성과 단조성 조건을 초월해 수정 트레이스를 확장한다. 유한차원 퍼지컬 호프 대수, 포함 비단조성인 경우를 포함하여, 임의의 체 위의 유한차원 퍼지컬 호프 대수에 대해 프로젝티브 텐서 아이디얼 위에 비퇴화된 모듈러 트레이스의 존재를 증명하고, 이를 유한형 호프 군코알geb也就是说, 타프 대수와 근의 단위에서의 비제한된 양자군에 대해 명시적인 계산을 포함한다.

ABSTRACT

Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that any finite-dimensional pivotal Hopf k-algebra, not necessarily unimodular, admits a non-degenerate module trace on its projective tensor ideal. We also extend this result to pivotal Hopf group-coalgebras of finite type, and we give explicit calculations for the family of Taft Hopf algebras and non-restricted Borel quantum groups at roots of unity.

연구 동기 및 목표

• 비단순성과 비단조성 조건을 초월해 수정 트레이스 개념을 일반화하는 것.
• 퍼지컬 카테고리에 모듈러 끝오브런터를 지닌 모듈러 카테고리의 맥락에서 모듈러 트레이스를 정의하고 연구하는 것.
• 임의의 유한차원 퍼지컬 호프 대수에 대해 프로젝티브 텐서 아이디얼 위에 비퇴화된 모듈러 트레이스의 존재를 확립하는 것.
• 유한형 호프 군코알geb어로 이론을 확장하고 명시적인 예를 계산하는 것.
• 이러한 일반화된 트레이스를 이용해 비단순성 설정에서 위상적 불변량을 구성하는 프레임워크를 제공하는 것.

제안 방법

• 퍼지컬 카테고리에 모듈러 끝오브런터를 지닌 모듈러 카테고리 위에서 모듈러 트레이스의 개념을 도입하는 것.
• 모듈러 함자를 통한 모듈러 트레이스의 당김을 정의하여 서로 다른 모듈러 카테고리 구조 간의 관계를 설정하는 것.
• 텐서 아이디얼 위의 트레이스 조건을 단순화하기 위해 감소 보조정리를 사용하는 것.
• 일반화된 적분과 모듈러 끝오브런터의 작용을 이용해 모듈러 트레이스를 구성하는 것.
• 유한형 호프 군코알geb어에 이론을 적용하기 위해 G-적분과 α-대칭화된 G-적분을 도입하는 것.
• 호프 대수 설정에서 그래픽적 계산과 대수적 항등식을 사용해 트레이스 공리(순환성과 부분 트레이스)를 검증하는 것.

실험 결과

연구 질문

• RQ1 수정 트레이스 구성은 단순성과 비단조성 조건을 초월해 일반화될 수 있는가?
• RQ2 비단조성인 경우를 포함하여, 임의의 유한차원 퍼지컬 호프 대수의 프로젝티브 텐서 아이디얼 위에 비퇴화된 모듈러 트레이스가 존재하는가?
• RQ3 모듈러 트레이스 개념은 유한형 호프 군코알geb어로 어떻게 일반화될 수 있는가?
• RQ4 타프 대수와 근의 단위에서의 비제한 양자군과 같은 구체적 예에서 모듈러 트레이스에 대한 명시적 공식을 어떻게 유도할 수 있는가?
• RQ5 비단순성 설정에서 모듈러 트레이스는 쌍대성과 텐서 구조와 어떻게 상호작용하는가?

주요 결과

• 임의의 체 위의 유한차원 퍼지컬 호프 대수에 대해, 비단조성 여부에 관계없이 프로젝티브 텐서 아이디얼 위에 비퇴화된 모듈러 트레이스가 존재한다.
• 이 구성은 [BBGa]의 수정 트레이스를 비단조성인 경우를 포함한 더 넓은 대수의 클래스로 일반화한다.
• 타프 호프 대수의 가족에 대해, 모듈러 트레이스는 명시적으로 계산되었으며 비퇴화임이 입증되었다.
• 근의 단위에서의 비제한 보렐 양자군의 경우, α-대칭화된 G-적분을 통해 모듈러 트레이스가 구성되었으며, 비퇴화된 쌍대성 결과를 도출하였다.
• 트레이스는 순환성과 부분 트레이스 공리를 만족하여, 비단순성 TQFT에서 위상적 불변량과의 호환성을 보장한다.
• H-pmod 위의 모듈러 트레이스는 모듈러 끝오브런터의 작용과 적분에 의해 결정되며, 명시적인 평가는 t_V_s(R_z,x^s) = z^{1+n}/r 로 주어진다.