[논문 리뷰] Batalin-Vilkovisky structure over the Hochschild cohomology ring of a group algebra

Yuming Liu, Guodong Zhou|arXiv (Cornell University)|2014. 05. 14.

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

한 줄 요약

이 논문은 군 대수의 호크실 코hom로지 링의 덧셈 분해를 코체인 수준에서 명시적으로 실현하며, 군 코호몰로지 성분을 통해 컵 곱, 바탈린-빌코비츠(BV) 연산자, 게르스텐하버 리 괄호의 명시적 공식을 제공한다. 집합적 자기호모토피 방법을 사용해 비교 사상들을 구성함으로써, 저자들은 BV 구조가 덧셈 분해를 유지함을 보이고, $ H^*(G,k) $ 가 $ HH^*(kG) $ 의 BV 부분대수로 통합됨을 보여, 비가환 대수에 대해 처음으로 전체 BV 구조를 구체적으로 계산한다 — 특히 $ \mathbb{F}_3 $ 위의 대칭군 $ S_3 $ 에 대해.

ABSTRACT

We realize explicitly the well-known additive decomposition of the Hochschild cohomology ring of a group algebra in the elements level. As a result, we describe the cup product, the Batalin-Vilkovisky operator and the Lie bracket in the Hochschild cohomology ring of a group algebra.

연구 동기 및 목표

• 군의 공액류 대표원 집합 $ X $ 에 대해 $ HH^*(kG) \simeq \bigoplus_{x \in X} H^*(C_G(x), k) $ 로서의 덧셈 분해를 요소 수준에서 명시적으로 실현하는 것.
• 이 덧셈 분해의 성분들에 따라 $ HH^*(kG) $ 내 컵 곱, 바탈린-빌코비츠(BV) 연산자, 게르스텐하버 리 괄호를 기술하는 것.
• BV 연산자와 리 괄호가 분해에 따라 각 합성항으로 제한됨을 보이며, $ H^*(G,k) $ 가 $ HH^*(kG) $ 의 BV 부분대수임을 보이는 것.
• 비가환 대수에 대해 전체 BV 구조를 처음으로 명시적으로 계산하는 것: $ \mathbb{F}_3 $ 위의 $ kS_3 $ 의 호크실 코호몰로지에 대해.

제안 방법

• 군 대수 $ kG $ 의 정규화된 바 리졸루션을 사용하여, 공액류 $ x \in X $ 에 따라 인덱싱된 코체인 복합체 $ \mathcal{H}_x^* $ 를 정의하며, $ \mathcal{H}_x^n $ 은 $ k[g_1\cdots g_n C_x] $ 로 들어가는 코체인들로 구성된다.
• 사상 $ \varphi_1 \mapsto \varphi_2(g_1,\dots,g_n) = \varphi_1(g_1,\dots,g_n) g_n^{-1}\cdots g_1^{-1} $ 를 통해, $ \mathcal{H}_x^* $ 와 $ \operatorname{Hom}_{kG}(Bar_*(kG) \otimes_{kG} k, kC_x) $ 사이의 명시적 동형사를 구성하며, 이는 $ H^*(G, kC_x) $ 를 계산한다.
• 레와와 주오(Le and Zhou, 2011)에서 제안한 집합적 자기호모토피 방법을 적용하여 리졸루션 간 비교 사상들을 구성함으로써, 덧셈 분해 동형사의 실현을 단순화한다.
• 분해가 $ H^*(G,k) $-모듈 구조를 유지함을 보여, $ HH^*(kG) \simeq \bigoplus_{x \in X} H^*(C_G(x), k) $ 가 그레디에이티드 $ H^*(G,k) $-모듈로서 성립함을 통해 컵 곱에 대한 명시적 공식을 도출한다.
• BV 연산자 $ \Delta $ 가 각 합성항 $ H^*(C_G(x), k) $ 로 제한됨을 증명하며, $ H^*(G,k) \subset HH^*(kG) $ 가 BV 부분대수임을 보인다.
• 유도된 공식들을 사용하여, 비가환 대수에 대해 처음으로 전체 BV 구조를 계산한다: $ HH^*(\mathbb{F}_3 S_3) $ 가 완전히 계산되며, $ \Delta $ 의 작용과 리 괄호가 포함된다.

실험 결과

연구 질문

• RQ1 어떻게 $ HH^*(kG) \simeq \bigoplus_{x \in X} H^*(C_G(x), k) $ 의 덧셈 분해를 코체인 수준에서 명시적으로 실현할 수 있는가?
• RQ2 이 분해 하에서 $ HH^*(kG) $ 내 컵 곱, BV 연산자 $ \Delta $, 게르스텐하버 리 괄호에 대한 명시적 공식은 무엇인가?
• RQ3 BV 연산자 $ \Delta $ 는 덧셈 분해의 각 합성항을 보존하는가? 그리고 $ H^*(G,k) $ 는 $ HH^*(kG) $ 의 BV 부분대수인가?
• RQ4 비가환 군 대수에 대해 전체 BV 구조를 명시적으로 계산할 수 있는가? 그리고 $ \mathbb{F}_3 S_3 $ 에서는 어떤 모습인가?

주요 결과

• 덧셈 분해 $ HH^*(kG) \simeq \bigoplus_{x \in X} H^*(C_G(x), k) $ 는 $ \mathcal{H}_x^* $ 와 $ \operatorname{Hom}_{kG}(Bar_*(kG) \otimes_{kG} k, kC_x) $ 사이의 동형사를 통해 코체인 수준에서 명시적으로 실현된다.
• HH^*(kG) 내 컵 곱은 $ H^*(G,k) $-모듈 구조로서 기술되며, $ HH^*(kG) \simeq \bigoplus_{x \in X} H^*(C_G(x), k) $ 가 $ H^*(G,k) $-모듈로서 성립한다.
• 바탈린-빌코비츠 연산자 $ \Delta $ 는 각 합성항 $ H^*(C_G(x), k) $ 로 제한되며, $ H^*(G,k) \subset HH^*(kG) $ 는 BV 부분대수이다.
• 비가환 대수에 대해 처음으로 전체 BV 구조를 명시적으로 계산한다: $ HH^*(\mathbb{F}_3 S_3) $ 가 완전히 계산되었으며, $ \Delta $ 의 작용과 리 괄호가 포함되어 있다.
• 집합적 자기호모토피 방법은 리졸루션 간 비교 사상의 구축을 위한 구성적 접근을 가능하게 하며, 덧셈 분해의 실현을 단순화한다.
• 코체인 수준의 동형사는 컵 곱, 리 괄호, $ \Delta $ 와 같은 모든 표준 구조를 군 코호몰로지 데이터로 표현할 수 있게 하며, $ HH^*(kG) $ 의 계산 프레임워크를 제공한다.