[논문 리뷰] Cohomology of Categorical Self-Distributivity

J. Scott Carter, Alissa S. Crans외 2명|ArXiv.org|2006. 07. 18.

Advanced Topics in Algebra참고 문헌 16인용 수 5

한 줄 요약

이 논문은 코commutative 코알제브라의 범주에서 자기분배적 구조에 대한 통합 코homology 이론을 제안하며, 쿼랜들(coquandle) 및 리 대수 코homology를 일반화한다. 다이어그램 계산과 범주론적 내재화를 통해 비자명한 쿼랜들 및 리 대수 코호몰로지 족이 차원 2와 3에서 비자명한 스텔프(cohomology) 클래스를 유도함을 증명하여, 코호몰로지가 비자명하며 자기분배적 연산의 변형에 대한 차단 조건을 제공한다.

ABSTRACT

We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground field, and Hopf algebras. The self-distributive operations of these structures provide solutions of the Yang--Baxter equation, and, conversely, solutions of the Yang--Baxter equation can be used to construct self-distributive operations in certain categories. Moreover, we present a cohomology theory that encompasses both Lie algebra and quandle cohomologies, is analogous to Hochschild cohomology, and can be used to study deformations of these self-distributive structures. All of the work here is informed via diagrammatic computations.

연구 동기 및 목표

• 범주론적 자기분배성의 프레임워크 내에서 쿼랜들 코호몰로지와 리 대수 코호몰로지의 통합 코호몰로지 이론을 개발하는 것.
• 코알제브라에서의 자기분배적 연산과 양-바크스터 방정식의 해 사이의 연결 고리를 설정하는 것.
• 코코ercive 코알제브라의 범주에서 자기분배적 구조의 변형에 대한 코호몰로지적 장벽 이론을 제공하는 것.
• 비자명한 쿼랜들 및 리 대수 코호몰로지 족이 차원 2와 3에서 비자명한 스텔프 코호몰로지 클래스로 올라가는 것을 보여주는 것.
• 내재화와 코승법 구조를 활용한 자기분배성의 다이어그램적 및 범주론적 기초를 탐색하는 것.

제안 방법

• 범주론적 기법을 사용하여 코코ercive 코알제브라의 범주에서 스텔프와 랙을 내재화하는 것.
• 코승법과 자기분배적 사상의 다이어그램 계산을 통한 코알제브라에서 자기분배적 연산에 대한 코호몰로지 이론 정의.
• 코승법과 자기분배적 연산을 사용하여 2- 및 3-코호몰로지 조건을 구축하고, 다이어그램 항등식을 통한 검증.
• 코알제브라의 맥락에서 Hochschild 코호몰로지의 변형이론 프레임워크를 모방함으로써 코호몰로지와 Hochschild 코호몰로지의 관계를 설정하는 것.
• 리 대수 $ rak{g} $에 대해 $ N = k times rak{g} $에서의 자기분배적 연산 $ q $를 사용하여 리 대수 족을 스텔프 코호몰로지로 올리는 것.
• 비자명한 코호몰로지가 비코 boundary임을 보여주는 것으로 코호몰로지의 비자명성을 증명함 — 쿼랜들 및 리 대수 코호몰로지에서 비코 boundary인 족이 스텔프 코호몰로지에서도 여전히 비코 boundary임을 증명함.

실험 결과

연구 질문

• RQ1 코알제브라에서 자기분배적 연산은 어떻게 체계적으로 양-바크스터 방정식의 해와 연결될 수 있는가?
• RQ2 코알제브라 범주에서 리 대수 코호몰로지, 쿼랜들 코호몰로지, 그리고 새로 정의된 스텔프 코호몰로지 사이의 정확한 관계는 무엇인가?
• RQ3 이 코호몰로지 이론은 자기분배적 구조의 변형에 대한 장벽 이론으로 기능할 수 있는가?
• RQ4 비자명한 리 대수 또는 쿼랜들 족으로부터 유도된 비자명한 스텔프 코호몰로지 클래스가 차원 2와 3에서 존재하는가?
• RQ5 이 코호몰로지 이론은 고차원으로 확장되거나, 리 2-대수 및 자몰로치코프의 테트라헤드론 방정식으로 일반화될 수 있는가?

주요 결과

• 코코ercive 코알제브라의 범주에서 자기분배적 구조에 대한 코호몰로지 이론은 Theorem 7.4–7.9에 의해 비자명함을 입증함.
• 비자명한 쿼랜들 족이 차원 2와 3에서 비자명한 스텔프 코호몰로지 클래스를 유도함.
• 비자명한 리 대수 족, 예를 들어 $ H^2_{ ext{Lie}}(W_p; bF_p) $에서의 비르라소르 족은 $ H^2_{ ext{sh}}(N(W_p'); N(W_p')) $에서 비자명한 스텔프 코호몰로지 클래스로 올라감.
• 리 대수 족 $ heta $가 코 boundary가 아니면, 해당하는 스텔프 족 $ ilde{ heta} $ 역시 코 boundary가 아니며, Theorem 7.9에서 증명됨.
• 코호몰로지 이론은 Hochschild 코호몰로지와 유사하며, 코알제브라 범주에서 자기분배적 연산의 변형을 연구하는 데 사용될 수 있음.
• 다이어그램 계산을 통한 스텔프 코호몰로지의 구성은 공리의 일관성과 저차원에서의 족 조건의 타당성을 확인함.