[논문 리뷰] Eight classes of new Hopf algebras of dimension $128$ without the Chevalley property

Naihong Hu, Rongquan Xiong|arXiv (Cornell University)|2017. 01. 08.

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 차원 128인 유한차원 호프 대수의 여덟 가지 새로운 종류를 일반화된 리프팅 방법을 사용하여 분류한다. 이들은 체바일 조건을 만족하지 않는 차원 16의 비-체바일 호프 대수를 코레디컬로 삼고, 단순 Yetter-Drinfeld 모듈로서의 무한소 브레딩을 가지며, 고전적인 포인티드 호프 대수 프레임워크 외부의 새로운 예를 제공한다.

ABSTRACT

Classifying Hopf algebras of a given dimension is a hard and open question. Using the generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf algebra $H$ of dimension $16$ without the Chevalley property and the corresponding infinitesimal braidings are simple objects in $\HYD$. In particular, we figure out $8$ classes of new Hopf algebras of dimension $128$ without the Chevalley property.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위에서 체바일 성질을 만족하지 않는 128차원 유한차원 호프 대수를 분류하는 것.
• 코레디컬 필터링이 호프 대수 필터링이 되지 않는 호프 대수에 대해 일반화된 리프팅 방법을 표준 필터링을 사용하여 확장하는 것.
• 체바일 성질이 없는 차원 16의 호프 대수 H에 대해 무한소 브레딩이 {}^H_H\mathcal{YD}에서 단순 대상인 모든 이러한 호프 대수를 결정하는 것.
• 이러한 단순 브레딩된 벡터 공간에서의 니컬스 대수로부터 유래하는 새로운 호프 대수의 가족을 구성하고 분류하는 것.
• 주어진 조건 하에서 H 위의 모든 유한차원 호프 대수가 표준 필터링의 첫 번째 항에 의해 생성됨을 증명하여 분류를 완료하는 것.

제안 방법

• 체바일 성질이 실패할 경우 코레디컬 필터링이 호프 대수 필터링이 되지 않기 때문에, 일반화된 리프팅 방법을 적용할 때 표준 필터링 {A_{[n]}} 을 사용한다.
• 표준 필터링을 재귀적으로 정의한다: A_{[0]} 은 코레디컬 A_0 에 의해 생성되는 부분대수이며, n ≥ 1 에 대해 A_{[n]} = A_{[n-1]} owedge A_{[0]} 이다.
• Radford의 정리를 사용하여 관련된 군집된 호프 대수 gr A ≅ R ⋊ H 를 분해한다. 여기서 R 은 Yetter-Drinfeld 카테고리 {}^H_H\mathcal{YD} 내의 브레딩된 호프 대수이고 H 는 차원 16의 코레디컬 호프 대수이다.
• 무한소 브레딩 R(1) = P(R) 를 식별하며, 이는 {}^H_H\mathcal{YD} 내에서 단순 대상이다. 이에 대해 유한차원 니컬스 대수 B(V) 를 가지는 모든 브레딩된 벡터 공간 V 를 분류한다.
• 생성자 a, b, c, d, x, y 간의 관계와 Δ(x), Δ(y), 그리고 단항식의 Δ 를 포함한 복소곱의 표현을 명시적으로 계산한다.
• 코homological 및 대수적 제약 조건(예: Δ(x^4) = x^4 ⊗ 1 + 1 ⊗ x^4)을 사용하여 x^4 = 0 과 같은 필수 관계를 유도하고, 표준 필터링을 통해 결과 대수가 호프 대수임을 검증한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위에서 차원 128인 유한차원 호프 대수 중 체바일 성질을 만족하지 않으며 일반화된 리프팅 방법을 통해 분류 가능한 것은 무엇인가?
• RQ2 코레디컬 필터링이 호프 대수 필터링이 되지 않는 호프 대수에 대해 일반화된 리프팅 방법을 표준 필터링을 사용하여 어떻게 적응시킬 수 있는가?
• RQ3 체바일 성질이 없는 차원 16의 호프 대수 H 위에서 무한소 브레딩이 {}^H_H\mathcal{YD} 내에서 단순 대상인 모든 유한차원 호프 대수의 완전한 가족은 무엇인가?
• RQ4 H 가 군 대수일 경우가 아닐 때 이러한 단순 브레딩된 벡터 공간 위의 니컬스 대수의 보소니제이션에서 명시적인 관계와 복소곱의 구조는 어떻게 유도되는가?
• RQ5 결과로 얻어진 호프 대수들은 상호 비동형이며, 주어진 조건 하에서 H 위의 모든 이러한 유한차원 호프 대수를 포함하는가?

주요 결과

• 논문은 체바일 성질을 만족하지 않는 차원 16의 비-체바일 호프 대수 H 로부터 유래하는 128차원 유한차원 호프 대수의 여덟 가지 새로운 종류를 구성한다.
• 이 호프 대수들은 {}^H_H\mathcal{YD} 내에서 단순 무한소 브레딩 V 를 리프팅한 것으로, (i,j,k,ι) ∈ Λ^5 ∪ Λ^6 인 V_{i,j,k,ι} 와 동형이다.
• 각 V 에 대해 결과 호프 대수는 매개변수에 따라 Λ^5(μ) 또는 Λ^6(μ) 와 동형이며, 생성자 a, b, c, d, x, y 간의 명시적 관계를 가진다.
• 관계에는 a^4 = 1, d^4 = 1, b^2 = c^2 = 0, a^2 d^2 = 1, ad = da, bc = cb = 0 가 포함되며, ξ 와 λ_i 매개변수를 포함하는 비자명한 브레딩된 교환 관계도 있다.
• 복소곱은 명시적으로 계산되었으며, Δ(x) 와 Δ(y) 는 da^{j-1} ⊗ x 와 a^j ⊗ y 와 유사한 항을 포함한다. 또한 Δ(x^4) = x^4 ⊗ 1 + 1 ⊗ x^4 라는 조건은 대수에서 x^4 = 0 을 강제한다.
• 결과로 얻어진 호프 대수들은 서로 비동형이다. 이는 H 위의 Yetter-Drinfeld 모듈로서의 무한소 브레딩이 상호 비동형이기 때문이다.