[논문 리뷰] Hopf algebra structures and tensor products for group algebras

Jon Carlson, Srikanth B. Iyengar|arXiv (Cornell University)|2016. 12. 14.

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

한 줄 요약

이 논문은 초순수 아벨 $p$-군의 군 대수에서, 차수 1 원소들의 보크스타인에 의해 생성되는 코homology 링의 다항식 부분환 $S$의 작용이 군 유형과 리 유형의 호프 대수 코알제브라 구조 간의 선택에 관계없이 일정하다는 것을 증명한다. 이러한 불변성은 $\zeta \in S$인 모듈러스 $L_\zeta$를 포함하는 텐서곱이 코알제브라 구조에 관계없이 잘 정의됨을 보장하며, 호프 대수적 구조를 통한 군 표현 이론과 교환 대수학 간의 연결을 위한 핵심 장애물을 제거한다.

ABSTRACT

The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures that determine cup products on cohomology of modules. However, it is proved in this paper that the products with elements of the polynomial subring of the cohomology ring generated by the Bocksteins of the degree one elements are independent of the choice of these coalgebra structures.

연구 동기 및 목표

• 초순수 아벨 $p$-군의 군 대수에서 호프 대수 코알제브라 구조의 차이로 인해 발생하는 $kE$-모듈러스에 대한 텐서곱 구성의 모호성을 해결하기 위해.
• 차수 1 원소들의 보크스타인에 의해 생성되는 다항식 부분환 $S$의 작용이 $\operatorname{Ext}^*_{kE}(M,M)$에 대해 코알제브라 구조에 관계없이 불변임을 보여주기 위해.
• 모듈러스 $L_\zeta \otimes_k M$의 동형류가 $\zeta \in S$일 때, 군 또는 리 코알제브라 구조를 사용하든 간에 잘 정의됨을 확립하기 위해.
• 핵심 사상 $\theta^M$이 호크시하우저 코homology를 통해 인수분해됨을 보여주어, 교환 대수학과 군 표현 이론 간의 범주적 동치를 뒷받침하기 위해, $S$ 제약 조건이 코알제브라 선택에 관계없이 불변임을 보여주기 위해.

제안 방법

• 코homology 작용 사상 $\theta^M: \operatorname{Ext}^*_{kE}(k,k) \to \operatorname{Ext}^*_{kE}(M,M)$이 호크시하우저 코homology $\operatorname{HH}^*(kE/k; kE)$를 통해 인수분해되며, 이는 코알제브라 의존성과 모듈러스 의존성을 분리한다.
• 스위들러 표기법을 사용하여 공승법을 정의하고, 모듈러스의 텐서곱에 대한 대각선 작용을 $\alpha \cdot (x \otimes m) = \sum_{(\alpha)} \alpha_1 x \otimes \alpha_2 m$로 정의한다.
• 등식 $kE \cong k[x_1,\dots,x_r]/(x_1^p,\dots,x_r^p)$을 적용하여 군 대수를 자명한 괄호와 $p$-거듭제곱 연산을 갖는 교환적 제한 리 대수의 제한 포괄 대수로 표현한다.
• 군 $E$가 순환 $p$-군들의 직접곱임을 이용해, 둘 다의 코알제브라 구조에서 동일한 호크시하우저 코homology 사상이 $S$에 대해 동일함을 보여주는 명시적 계산을 수행한다.
• 피츠소바와 윌리엄스의 결과에 기반하여 $\theta^M$이 $\operatorname{HH}^*(kE/k; kE)$를 통해 인수분해됨을 이용하여 문제를 인수분해의 첫 번째 사상 비교로 환원한다.
• 모듈러스에 대한 텐서곱에서 $L_\zeta$-모듈러스의 행동을 두 코알제브라 구조 모두에서 분석하며, 특별히 특성 2에서의 명시적 기저 계산을 통해 $S$ 외부에서는 불변성이 성립하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 초순수 아벨 $p$-군의 군 대수에서 호프 대수 코알제브라 구조의 선택에 따라 $\operatorname{Ext}^*_{kE}(M,M)$에 대한 코homology 링의 작용이 달라지는가?
• RQ2 차수 1 원소들의 보크스타인에 의해 생성되는 다항식 부분환 $S$의 작용이 코알제브라 구조의 선택에 관계없이 불변인가?
• RQ3 만약 $\zeta \in S$일 경우, $L_\zeta \otimes_k M$의 동형류는 코알제브라 구조의 선택에 관계없이 잘 정의되는가?
• RQ4 코알제브라 구조를 변경하더라도 $S$에 대한 제약 조건이 유지된다면, 모듈러스의 지지 다양체 $V_G(M)$는 그대로 유지되는가?
• RQ5 불변성 결과의 강력한 역이 존재하는가? 즉, 텐서곱이 동형일 때는 반드시 코homology 클래스가 $S$에 속해 있어야 하는가?

주요 결과

• 차수 1 원소들의 보크스타인에 의해 생성되는 부분환 $S \subseteq \operatorname{H}^*(E,k)$의 작용은 $\operatorname{Ext}^*_{kE}(M,M)$에 대해 군 유형과 리 유형의 호프 대수 코알제브라 구조 간의 선택에 관계없이 불변이다.
• 그 결과로, 임의의 $kE$-모듈러스 $M$과 $\zeta \in S$에 대해, $L_\zeta \otimes_k M$의 동형류는 사용된 코알제브라 구조에 관계없이 잘 정의된다.
• 호크시하우저 코homology 사상 $\operatorname{HH}^*(kE/k; kE) \to \operatorname{Ext}^*_{kE}(M,M)$은 $\theta^M$을 통해 인수분해되며, 이 사상의 $S$에 대한 제약 조건은 둘 다의 코알제브라 구조에서 동일하여 불변성이 보장된다.
• 지지 다양체 $V_G(M)$는 코알제브라 구조에 관계없이 불변이다. 왜냐하면 $S$ 내에서 $\operatorname{Ext}^*_{kE}(M,M)$의 소멸자인 $J(M) \cap S$가 코알제브라 선택에 관계없이 불변이기 때문이다.
• 특성 2에서의 명시적 계산을 통해, $\zeta \notin S$일 경우 리 코알제브라 구조에서는 $L_\zeta \otimes_k L_\zeta$가 분해 가능하지만 군 코알제브라 구조에서는 분해 불가능함을 보여주어 결과의 정확성을 입증한다.
• Magma를 사용한 컴퓨터 실험 결과, $L_{\gamma_1} \otimes_k L_{\gamma_2}$의 동형류가 코알제브라 구조에 관계없이 불변임은 $\gamma_1, \gamma_2$ 중 적어도 하나가 $S$에 속할 때에만 성립함을 보여주며, 주요 정리의 강력한 역을 지지한다.