[논문 리뷰] Regular multiplier Hopf algebroids. Basic theory and examples

Thomas Timmermann, Alfons Van Daele|arXiv (Cornell University)|2013. 07. 02.

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

한 줄 요약

이 논문은 비단위 보편화된 호프 대수기하학과 약한 승수 호프 대수기하학의 일반화로, 정규 승수 호프 대수기하학을 도입하며, 두 개의 표준 사상의 전단사성과 쌍대항의 존재가 동치임을 증명한다. 쌍대항의 가역성 또한 특성화하고, 기초 이론과 구체적인 예시를 제시한다.

ABSTRACT

Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf algebroid are a left and a right comultiplication. We show that bijectivity of two associated canonical maps is equivalent to the existence of an antipode, discuss invertibility of the antipode, and present some examples and special cases.

연구 동기 및 목표

• 비단위 설정에서 양자 군oids의 대수적 유사체로 간주되는 승수 호프 대수기하학에 대한 기초 이론을 구축하는 것.
• 기저 대수가 비분리일 수 있는 경우로 확장함으로써 호프 대수기하학과 약한 승수 호프 대수기하학을 일반화하는 것.
• 이 일반화된 프레임워크 내에서 쌍대항이 존재할 조건을 설정하는 것.
• 승수 호프 대수기하학의 맥락에서 쌍대항의 가역성에 대해 조사하는 것.
• 이론이 실제로 작동하는 방식을 보여주는 구체적인 예와 특수한 경우를 제시하는 것.

제안 방법

• 비단위 대수 위에서 왼쪽 및 오른쪽 코승법 사상에 의해 승수 호프 대수기하학의 구조를 도입하는 것.
• 코승법 사상과 관련된 두 개의 표준 사상을 정의하고, 이들의 전단사성을 핵심적인 구조 조건으로 분석하는 것.
• 이러한 표준 사상의 전단사성이 쌍대항의 존재와 동치임을 증명하는 것.
• 표준 사상에서 유도된 대수적 조건을 사용하여 쌍대항의 가역성 분석하는 것.
• 특수한 경우로는 군oids 대수와 약한 승수 호프 대수기하학을 포함한 정규 승수 호프 대수기하학의 예를 구성하는 것.
• 범주론적 및 대수적 기법을 사용하여, 단위 및 분리 가능한 설정에서 알려진 결과를 비단위 및 비분리 가능한 경우로 일반화하는 것.

실험 결과

연구 질문

• RQ1 승수 호프 대수기하학에서 쌍대항이 존재하기 위한 조건은 무엇인가?
• RQ2 표준 사상의 전단사성은 쌍대항의 존재와 어떻게 관련이 있는가?
• RQ3 승수 호프 대수기하학 이론은 어떻게 호프 대수기하학과 약한 승수 호프 대수기하학을 일반화할 수 있는가?
• RQ4 이 프레임워크 내에서 쌍대항의 가역성은 어떤 구조적 함의를 갖는가?
• RQ5 정규 승수 호프 대수기하학의 대표적인 예와 특수한 경우는 무엇인가?

주요 결과

• 승수 호프 대수기하학에서 쌍대항의 존재는 코승법 사상에서 유도된 두 표준 사상의 전단사성과 동치이다.
• 쌍대항이 가역임은 특정한 표준 사상에 대한 대수적 조건이 만족될 때에만 성립하며, 이는 단위 설정에서 알려진 결과를 일반화한다.
• 이 프레임워크는 호프 대수기하학과 약한 승수 호프 대수기하학을 비단위 및 비분리 기저 대수로 성공적으로 확장한다.
• 예시로는 군oids 대수와 약한 승수 호프 대수기하학이 포함되며, 이들은 새로운 프레임워크 내에서 자연스럽게 들어맞는다.
• 이론은 더 넓은 비단위 맥락에서 양자 군oids에 대한 일관된 대수적 기초를 제공한다.
• 표준 사상은 쌍대항의 존재성 및 가역성과 같은 구조적 성질을 특성화하는 중심 도구로 기능한다.