[논문 리뷰] Some Hopf algebras of dimension $72$ without the Chevalley property

Naihong Hu, Rongchuan Xiong|arXiv (Cornell University)|2016. 12. 15.

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

한 줄 요약

이 논문은 12차원의 비단순(coradical이 부분대수되지 않는) 호프 대수에 일반화된 리프팅 방법을 적용하여, 체바레프 성질을 갖지 않는 72차원의 새로운 유한차원 호프 대수를 구성한다. 비단순 모듈러에 대한 니켈스 대수는 무한차원임을 증명하고, 생성자와 관계식을 통해 유한차원 니켈스 대수를 명시적으로 기술함으로써, 체바레프 성질을 갖지 않는 72차원 호프 대수를 도출한다.

ABSTRACT

In this paper, we consider the Drinfeld double $\D$ of a $12$-dimensional Hopf algebra $\C$ over an algebraically closed field of characteristic zero whose coradical is not a subalgebra and describe its simple modules, projective covers of the simple modules and show that it is of wild representation type. Moreover, we show that the Nichols algebras associated to non-simple indecomposable modules are infinite-dimensional. In particular, for any object $V$ in $\CYD$, if $\BN(V)$ is finite-dimensional, then $V$ must be semisimple. Finally, we describe the Nichols algebras associated to partial simple modules in terms of generators and relations. As a byproduct, we obtain some Hopf algebras of dimension $72$ without the Chevalley property, that is, the coradical is not a subalgebra.

연구 동기 및 목표

• 72차원의 체바레프 성질을 갖지 않는 유한차원 호프 대수를 분류하기 위해.
• 코라디컬이 호프 부분대수인 고전적 설정을 초월하여 리프팅 방법을 확장하기 위해.
• 비단순 모듈러에 관련된 니켈스 대수가 언제 유한차원이 되는지 규명하기 위해.
• 부분단순 모듈러 위에서의 유한차원 니켈스 대수의 구조를 명시적으로 기술하기 위해.
• 일반화된 리프팅 방법을 사용하여 비단순 코라디컬을 갖는 새로운 호프 대수의 예를 구성하기 위해.

제안 방법

• 코라디컬 필터링 대신 표준 필터링을 사용하여 체바레프 성질이 없는 호프 대수를 다룰 수 있도록, 안드루스키에비치와 쿠드라의 일반화된 리프팅 방법을 응용한다.
• 코라디컬이 부분대수가 되지 않는 12차원 호프 대수 $\mathcal{C}$의 드린펠드 듀얼 $\mathcal{D}$를 구성한다.
• 표현론적 이론을 분석하여 단순 모듈러와 프로젝티브 커버를 포함한 $\mathcal{D}$의 성질을 연구하고, 이 대수가 야수 표현론적 성질을 가짐을 보인다.
• 특정 브레인드 벡터 공간 $V$에 대해 보존화 $\mathcal{B}(V)\sharp\mathcal{C}$의 코곱과 관계식을 계산하여 $\mathcal{B}(V)$가 유한차원이 되는 조건을 규명한다.
• 직접 대수적 계산을 통해 $xy - yx$와 같은 특정 교환자들이 대수에서 0이 되며, 이는 $x^3 = 0$ 및 $x^2 - \xi^2 y^2 = 0$ 등의 관계를 이끌어내고, 이는 $A \cong \mathrm{gr}\,A$를 의미한다.
• 결과로 얻어진 대수가 $V$가 $V_{2,2}$, $V_{2,4}$, $V_{3,1}$ 또는 $V_{3,5}$와 동형일 때 $\mathcal{B}(V)\sharp\mathcal{C}$와 동형임을 검증하여, 체바레프 성질을 갖지 않는 72차원 호프 대수를 도출한다.

실험 결과

연구 질문

• RQ1 72차원의 유한차원 호프 대수 중 체바레프 성질을 만족하지 않는 대수들은 어떤 것들이며, 체계적으로 어떻게 구성할 수 있는가?
• RQ2 비단순 모듈러일 때 니켈스 대수 $\mathcal{B}(V)$가 언제 유한차원이 되는가?
• RQ3 코라디컬이 부분대수가 되지 않는 호프 대수에 일반화된 리프팅 방법을 적용할 수 있는가?
• RQ4 비단순 예터-드린펠드 모듈러 위에서의 유한차원 니켈스 대수의 명시적 표현(생성자와 관계식)은 무엇인가?
• RQ5 드린펠드 듀얼과 표준 필터링 방법은 야수 표현론적 성질을 갖는 새로운 호프 대수의 예를 도출하는가?

주요 결과

• 코라디컬이 부분대수가 되지 않는 12차원 호프 대수 $\mathcal{C}$의 드린펠드 듀얼 $\mathcal{D}$는 단순 모듈러와 프로젝티브 커버를 분석함으로써 야수 표현론적 성질을 가짐을 입증한다.
• 모든 ${}^{\mathcal{C}}_{\mathcal{C}}\mathcal{YD}$의 원소 $V$에 대해 $\mathcal{B}(V)$가 유한차원이라면, $V$는 반드시 단순여야 한다.
• 부분단순 모듈러 $V_{2,2}$, $V_{2,4}$, $V_{3,1}$, $V_{3,5}$에 대해 관련된 니켈스 대수는 모두 유한차원이며, 생성자와 관계식을 통해 명시적으로 기술된다.
• $\mathcal{B}(V_{2,2})\sharp\mathcal{C}$, $\mathcal{B}(V_{2,4})\sharp\mathcal{C}$, $\mathcal{B}(V_{3,1})\sharp\mathcal{C}$, $\mathcal{B}(V_{3,5})\sharp\mathcal{C}$는 모두 차원 72이며 체바레프 성질을 갖지 않는다.
• 결과 대수에서는 $x^3 = 0$, $xy - yx = 0$, $x^2 - \xi^2 y^2 = 0$ 등의 관계가 성립하여 $A \cong \mathrm{gr}\,A$임을 의미하고, 보존화와의 동형관계를 확인한다.
• $\bigwedge\mathds{k}_{\chi^k}\sharp\mathcal{C}$ ($k \in \{1,3,5\}$)는 차원 24이며, 이 역시 체바레프 성질을 갖지 않는다.