[논문 리뷰] Quantum Groupoids and their Hopf Cyclic Cohomology

Mohammad Hassanzadeh, Bahram Rangipour|arXiv (Cornell University)|2011. 07. 29.

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

한 줄 요약

이 논문은 군oids의 새로운 양자화로 $\times$-Hopf 코제너레이터를 제안하며, Hopf 대수와 약한 Hopf 대수를 일반화한다. 안정-역-Yetter-Drinfeld (SAYD) 모듈러스를 계수로 하는 Hopf 순환 코hom로지 이론을 개발하여, 군oids 코제너레이터의 순환 복합체가 정확히 네트워크 생성 순환 복합체와 일치함을 증명함으로써 이전 접근법에서의 일致성 격차를 해결한다.

ABSTRACT

A new quantization of groupoids under the name of imes-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for imes-Hopf coalgebras. We use imes-Hopf coalgebras to study coextensions of coalgebras. Finally, equivariant imes-Hopf coalgebra Galois coextensions are defined and applied as functors between categories of stable anti-Yetter-Drinfeld modules over imes-Hopf coalgebras involved in the coextension.

연구 동기 및 목표

• 군oids 대수의 Hopf 순환 복합체와 그의 네트워크에서 유도된 순환 복합체 사이의 일致성 부족 문제를 해결하기 위해.
• 대수적 구조가 아닌 코제너레이터 구조를 사용하여 $\times$-Hopf 코제너레이터를 군oids의 정확한 양자화로 제안하기 위해.
• 안정-역-Yetter-Drinfeld (SAYD) 모듈러스를 계수로 하는 $\times$-Hopf 코제너레이터에 대한 Hopf 순환 코hom로지 이론을 개발하기 위해.
• 등변 $\times$-Hopf 코제너레이터 갈로와스 코확장의 정의를 내리고, 이들이 관련된 $\times$-Hopf 코제너레이터 위의 SAYD 모듈러스의 범주들 사이의 함자를 유도함을 보여주기 위해.
• 군oids 코제너레이터의 순환 복합체가 새로운 프레임워크 하에서 네트워크 생성 순환 복합체와 정확히 일치함을 확립하여 호몰로지 불변량의 일致성 달성하기 위해.

제안 방법

• 이중코제너레이터 구조를 기반으로 하여, Hopf 대수와 약한 Hopf 대수의 일반화로 $\times$-Hopf 코제너레이터를 공리화하기 위해.
• 적절한 코작용과 작용의 호환성에 기반해 $\times$-Hopf 코제너레이터 위의 안정-역-Yetter-Drinfeld (SAYD) 모듈러스를 정의하기 위해.
• 표준 순환 연산자 프레임워크를 사용하여 SAYD 모듈러스를 계수로 하는 $\times$-Hopf 코제너레이터의 Hopf 순환 코hom로지 복합체를 구성하기 위해.
• 군oids 코제너레이터를 주요 예시로 삼아, 그 순환 복합체가 정확히 네트워크에서 생성된 순환 복합체와 일치함을 보여주기 위해.
• Hopf 갈로와스 확장의 일반화로서 등변 $\times$-Hopf 코제너레이터 갈로와스 코확장을 도입하고, 구조 사상이 호환 조건을 만족함을 정의하기 위해.
• 이러한 코확장이 관련된 $\times$-Hopf 코제너레이터 위의 SAYD 모듈러스의 범주들 사이의 함자를 유도함을 증명하여 기존의 Hopf 대수 이론 결과를 확장하기 위해.

실험 결과

연구 질문

• RQ1 군oids 대수의 Hopf 순환 복합체가 $\times$-Hopf 대수로서의 성질을 갖는다 하더라도, 그 군oids의 네트워크에서 유도된 순환 복합체와 일치하는가?
• RQ2 순환 호몰로지에서의 일치성을 달성하기 위해, 군oids의 양자화를 대수적 구조가 아닌 코제너레이터 구조를 사용하여 새롭게 구성할 수 있는가?
• RQ3 $\times$-Hopf 코제너레이터에 대해 안정-역-Yetter-Drinfeld 모듈러스를 계수로 하는 잘 정의된 Hopf 순환 코hom로지 이론이 존재하는가?
• RQ4 등변 $\times$-Hopf 코제너레이터 갈로와스 코확장은 관련된 코제너레이터 위의 SAYD 모듈러스의 범주들 사이의 함자를 유도하는가?
• RQ5 새로운 프레임워크 하에서 군oids 코제너레이터의 순환 복합체가 네트워크 생성 순환 복합체와 일치하는가?

주요 결과

• 군oids 코제너레이터가 $\times$-Hopf 코제너레이터로 간주될 때, 그 Hopf 순환 복합체는 정확히 군oids의 네트워크에서 생성된 순환 복합체와 일치함을 입증하여 이전 접근법에서의 핵심 일치성 문제를 해결하였다.
• 군oids 코제너레이터를 통한 $\times$-Hopf 코제너레이터의 구성은 군oids의 일관된 양자화를 제공하며, 이는 Hopf 대수와 약한 Hopf 대수를 모두 일반화한다.
• 안정-역-Yetter-Drinfeld 모듈러스를 계수로 하는 $\times$-Hopf 코제너레이터에 대해 잘 정의된 Hopf 순환 코hom로지 이론이 확립되었다.
• 등변 $\times$-Hopf 코제너레이터 갈로와스 코확장을 정의하고, 이들이 관련된 $\times$-Hopf 코제너레이터 위의 SAYD 모듈러스의 범주들 사이의 함자를 유도함을 보였다.
• 양자화 과정에서 대수적 구조가 아닌 코제너레이터 구조를 사용함으로써 순환 네트워크 구성과의 호환성이 보장되며, 이는 군oids 호몰로지에 대한 새로운 프레임워크의 타당성을 검증한다.
• 증명는 코작용 호환성, 코모듈러 코제너레이터 공리, 그리고 Nakayama 자기동형사상의 성질에 기반하며, 텐서곱과 코곱 구조를 통한 명시적 순환 연산자 관계 검증이 수행되었다.