[논문 리뷰] On families of triangular Hopf algebras

Pavel Etingof, Shlomo Gelaki|ArXiv.org|2001. 10. 03.

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

한 줄 요약

이 논문은 유한 초군의 휘두름을 통해 얻어지는 유한차원 복소삼각 호프 대수 $A(G,V,u,B)$의 가닥을 연구하여, 호프 대수 동형의 조건을 설정하고, 이러한 가닥이 비동형 대수들의 연속 모듈리 공간을 이룰 수 있음을 보여준다. 주요 결과는 연속적인 삼각 호프 대수의 가닥을 구성함으로써, 카플란스키의 10번째 추측의 약화된 형태를 반증하고, 동일한 그로텐디크 링을 공유하는 무한히 많은 비동치의 강한 텐서 구조를 가진 유한 아벨 범주에 대한 첫 번째 알려진 예를 제공한다는 것이다.

ABSTRACT

Following the ideas of our previous works math.QA/0008232 (joint with Andruskiewitsch) and math.QA/0101049, we study families of triangular Hopf algebras obtained by twisting finite supergroups by a twist lying entirely in the odd part. These families are parametrized by data (G,V,u,B), where G is a finite group, V its finite dimensional representation, u a central element of G of order 2 acting by -1 on V, and B an element of S^2V. We fix the discrete data G,V,u, and find the set of isomorphism classes of the members of the family as Hopf algebras, in terms of the continuous parameter B. This set is often infinite, which provides examples of nontrivial continuous families of triangular Hopf algebras. The lowest dimension in which such a family occurs is 32, in which case we get 3 families which are dual to the 3 families of pointed Hopf algebras of dimension 32 constructed recently by Grana. Furthermore, we show that if (S^2V)^G=0 then such continuous families are nontrivial not only up to a Hopf algebra isomorphism, but also up to twisting of the multiplication. Thus, they provide counterexamples to Masuoka's weakened Kaplansky's 10th conjecture, which claims that up to twisting, there are finitely many types of Hopf algebras in each dimension. Finally, we study the algebra structure of the duals of our families, and show they are direct sums of Clifford algebras. Since there are finitely many types of Clifford algebras in each dimension, this allows us to construct nontrivial families of rigid tensor structures on the abelian category of modules over a finite dimensional algebra, with a fixed Grothendieck ring.

연구 동기 및 목표

• 유한 초군의 휘두름을 통해 구성된 삼각 호프 대수 $A(G,V,u,B)$의 동형류를 분류하는 것.
• 이러한 가닥이 비동형 호프 대수들의 연속 모듈리 공간을 이룰 수 있는지 조사하여, 카플란스키의 10번째 추측에 도전하는 것.
• 쌍대 호프 대수 $A(G,V,u,B)^*$의 대수적 구조를 분석하여, 이것이 클리퍼드 대수의 직합과 동형임을 보이는 것.
• 결과를 텐서 범주 이론에 적용하여, 고정된 그로텐디크 링을 가진 유한 아벨 범주에서의 강한 텐서 구조의 분류에 대해 연구하는 것.
• 이 호프 대수의 표현 범주가 동일한 그로텐디크 링을 공유하나, 무한히 많은 비동치의 텐서 구조를 가질 수 있음을 보여주는 것.

제안 방법

• $A(G,V,u,B)$의 구성은 $\mathbb{C}[G \ltimes V]$의 군 초대수를 드리플란트 휘두름 $J = e^B$로 휘둘림에 기반한다. 여기서 $B \in S^2V$이다.
• $A(G,V,u,B)$의 동형류는 군 동형사상 $\phi: G_1 \to G_2$와 $G_1$-등변 동형사상 $\eta: V_1 \to \phi^*V_2$에 의해 결정되며, $B_1$과 $B_2$가 $(S^2V_2)^{G_2}$에 모odulo로 동치일 때 성립한다.
• 모듈리 공간의 분석은 대수기하학을 활용하여 수행되며, 특히 $S^2V$ 위에 작용하는 자동사상군의 작용을 고려하고, 주요 도구로는 접선 공간 위에서의 리 대수 작용의 상연성(-surjectivity-*)을 사용한다.
• 기저 대칭 텐서와 군 작용의 구조를 통해, 쌍대 대수 $A(G,V,u,B)^*$가 클리퍼드 대수의 직합과 동형임을 보였다.
• 스하우엔부르크의 정리( quasi-bialgebras의 휘두름 동치에 관한)를 적용하여, 표현 범주의 텐서 동치가 호프 대수의 휘두름 동치와 관련됨을 규명하였다.
• $(S^2V)^G = 0$ 이고 $|S^2V / \mathrm{Aut}(G,V)|$ 가 무한할 경우, 가닥 $A(G,V,u,B)$가 비틀림 동치가 아닌 비가산 많은 비동형 호프 대수를 유도함을 보여, 연속적인 가닥의 존재를 입증하였다.

실험 결과

연구 질문

• RQ1 두 호프 대수 $A(G,V,u,B)$와 $A(G',V',u',B')$가 삼각 구조에 관계없이 호프 대수로서 동형이 되는 조건은 무엇인가?
• RQ2 비동형 삼각 호프 대수의 연속 가닥이 존재할 수 있으며, 만약 존재한다면 최소 몇 차원에서 발생하는가?
• RQ3 동일한 그로텐디크 링을 공유하는 무한히 많은 비동치의 강한 텐서 구조를 가진 유한 아벨 범주가 존재하는가?
• RQ4 $A(G,V,u,B)^*$의 대수적 구조는 클리퍼드 대수와 어떻게 관련되어 있으며, 한 가닥 내에서 몇 종류의 서로 다른 코대수 유형이 존재하는가?
• RQ5 비틀림 동치가 이러한 호프 대수의 표현 범주를 얼마나 잘 분류할 수 있으며, 이는 텐서 범주의 분류에 어떤 의미를 갖는가?

주요 결과

• 동형류의 모듈리 공간이 양의 차원을 가지며, 연속적인 가닥이 존재함을 보였고, 이는 호프 대수의 연속 가닥이 존재하는 것으로 알려진 최소 차원인 32에서 발생한다.
• 32차원에서, 서로 다른 1매개변수 가닥 3개가 비동형 삼각 호프 대수로 구성되었으며, 이는 [Gr]에서 발견된 가닥의 쌍대와 일치하여, 이들이 코삼각임을 확인한다.
• $(S^2V)^G = 0$ 인 경우, 가닥 $A(G,V,u,B)$는 비가산 많은 비동형 호프 대수를 포함하며, 비틀림 동치인 것은 유한히만 존재하므로, 마수카의 제안한 카플란스키의 10번째 추측의 약화된 형태를 반증한다.
• 쌍대 대수 $A(G,V,u,B)^*$는 클리퍼드 대수의 직합과 대수적으로 동형임을 보였으며, 이는 각 가닥 내에서 유한한 수의 서로 다른 대수(및 코대수) 유형 뿐만이 존재함을 의미한다.
• 표현 범주 $\mathrm{Rep}(A(G,V,u,B)^*)$는 동일한 그로텐디크 링을 공유하는 무한히 많은 비동치의 강한 텐서 구조를 가질 수 있으며, 이는 이러한 성질을 가진 유한 아벨 범주의 첫 번째 알려진 예이다.
• 이 구성은 무한히 많은 비동치의 강한 텐서 범주를 가진 유한 아벨 범주를 제공하며, 오네아누의 결과에 따르면 단순성 조건이 성립하는 경우 이는 불가능하지만, 비단순성 조건에서는 가능함을 보여준다.