[논문 리뷰] Hopf algebras of dimension 14

Margaret Beattie, S. Dǎscǎlescu|ArXiv.org|2002. 05. 23.

Algebraic structures and combinatorial models참고 문헌 15인용 수 9

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 차원 14인 모든 유한차원 호프 대수는 단순적이며, 따라서 군 대수 또는 그 이중 대수와 동형임을 증명한다. 비자명한 비틀린 원소를 갖지 않는 호프 대수에서 두 번째 코라디칼 필터링 성분의 차원에 대한 경계를 사용하여, 이러한 대수 중 차원 14인 것들은 반드시 단순적이며, 이는 이 차원에 대한 분류를 해결하고, 비단순적이며 비점형이며 이중점형이 아닌 호프 대수가 존재할 수 있는 최소 차원이 적어도 16임을 보여준다.

ABSTRACT

Let H be a finite dimensional non-semisimple Hopf algebra over an algebraically closed field k of characteristic 0. If H has no nontrivial skew-primitive elements, we find some bounds for the dimension of H_1, the second term in the coradical filtration of H. Using these results, we are able to show that every Hopf algebra of dimension 14 is semisimple and thus isomorphic to a group algebra or the dual of a group algebra. Also a Hopf algebra of dimension pq where p and q are odd primes with p

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위에서 차원 14인 모든 유한차원 호프 대수를 분류하는 것.
• 비자명한 비틀린 원소를 갖지 않는 호프 대수에서 두 번째 코라디칼 필터링 성분의 차원에 대한 경계를 설정하는 것.
• p와 q가 홀수 소수이고 p < q ≤ 1 + 3p이며 q ≤ 13인 경우, 차원 pq인 호프 대수가 단순임을 증명하는 것.
• 특히 비단순적이며 비점형인 호프 대수의 경우, 코라디칼이 호프 부분대수가 아닌 경우를 포함하여, 차원 16에 대한 부분 분류 결과를 제공하는 것.
• 비단순적이며 비점형이며 이중점형이 아닌 호프 대수가 처음으로 나타나는 최소 차원이 적어도 16임을 보이는 것.

제안 방법

• 비자명한 비틀린 원소를 갖지 않는 유한차원 호프 대수에서 dim(H₁), 즉 코라디칼 필터링의 두 번째 성분에 대한 경계를 개발한 것.
• Nichols 이중모듈 필터링과 코알제브라 프로젝션 기법을 사용하여, ρL 및 ρR 사상들을 통해 H₁의 구조를 분석한 것.
• Kac-Zhu 정리와 Nichols-Zoeller 정리를 적용하여 가능한 차원과 군형 구조를 제약한 것.
• 단순 코알제브라 위에서 쌍대항등원 S의 작용을 분석하여 차원 부등식을 도출한 것.
• 행렬 코알제브라 위에서 쌍대항등원 작용의 사이클 분해를 바탕으로 한 모순 추론을 통해 비단순적 구조를 배제한 것.
• 기존에 알려진 차원 16의 점형 및 단순 호프 대수의 분류를 활용하여 가능한 코라디칼 구조를 제거한 것.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위에서 차원 14인 모든 호프 대수는 단순적인가?
• RQ2 비자명한 비틀린 원소를 갖지 않는 유한차원 호프 대수에서 H₁의 차원에 대해 어떤 제약을 두어야 하는가?
• RQ3 p와 q가 홀수 소수이고 p < q ≤ 1 + 3p이며 q ≤ 13인 경우, 차원 pq인 호프 대수들은 모두 단순적인가?
• RQ4 코라디칼이 호프 부분대수가 아닌 비단순적 호프 대수로서, 차원 16인 것이 존재할 수 있는가?
• RQ5 비단순적이며 비점형이며 이중점형이 아닌 호프 대수가 처음 나타나는 최소 차원은 얼마인가?

주요 결과

• 특성 0인 대수적으로 닫힌 체 위에서 차원 14인 모든 호프 대수는 단순적이며, k[C₁₄], k[D₇], 또는 k[D₇]*와 동형이다.
• p와 q가 홀수 소수이고 p < q ≤ 1 + 3p이며 q ≤ 13인 경우, 차원 pq인 모든 호프 대수는 단순적이며 따라서 군 대수 또는 그 이중 대수와 동형이다.
• 15, 21, 35, 55, 77, 65, 91, 143의 차원은 모두 단순 호프 대수만 존재하며, 군 대수 또는 이중 군 대수와 동형이다.
• 비단순적 호프 대수로서, 차원 16인 경우, 코라디칼이 k·1 ⊕ Mᶜ(2,k), k·1 ⊕ Mᶜ(2,k)⊕³, k·1 ⊕ Mᶜ(3,k), 또는 k·1 ⊕ Mᶜ(2,k) ⊕ Mᶜ(3,k)와 동형일 수 없다.
• 이 논문은 비단순적이며 비점형이며 이중점형이 아닌 호프 대수가 존재할 수 있는 최소 차원이 적어도 16임을 보여준다.
• 차원 16의 분류는 아직 완전하지 않지만, 현재 알려진 모든 유형(점형, 단순형, 비점형이지만 코라디칼이 호프 부분대수인 경우)은 이제 모두 분류되었다.