[논문 리뷰] Hopf algebras of GK-dimension two with vanishing Ext-group

D.-G. Wang, J.J. Zhang외 1명|arXiv (Cornell University)|2011. 04. 30.

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

한 줄 요약

이 논문은 Gelfand-Kirillov 차원이 2이고 첫 번째 Ext군이 0인 유한 생성, Noetherian Hopf 도메인의 새로운 가족을 구성하고 분류한다. $\operatorname{Ext}^1_H(k,k)=0$ 이며, Goodearl과 Zhang이 제기한 질문에 대해 부정적인 답변을 제시한다. 저자들은 새로운 클래스 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$를 도입하고, 제곱근의 단위 조건을 배제하는 가정 하에 이러한 대수들이 유일하게 이러한 조건을 만족하는 대수임을 증명한다.

ABSTRACT

We construct and study a family of finitely generated Hopf algebra domains $H$ of Gelfand-Kirillov dimension two such that $\Ext^1_H(k,k)=0$. Consequently, we answer a question of Goodearl and the second-named author.

연구 동기 및 목표

• GK-차원이 2이고 $\operatorname{Ext}^1_H(k,k) = 0$ 인 유한 생성, Noetherian Hopf 도메인을 구성하여 Goodearl과 Zhang이 제기한 질문에 답한다.
• GK-차원이 2인 이러한 Hopf 도메인을 분류하기 위해 $\Omega'$ 가정을 적용한다. 이 가정은 $q$가 5차 또는 7차 원분할 단위근일 경우 $A(1,q)$가 Hopf 부분대수로 포함되지 않음을 제외한다.
• 제시된 제약 조건 하에서, $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 가 GK-차원이 2이고 Ext군이 0인 모든 이러한 Hopf 도메인을 고갈함을 입증한다.
• 새로운 대수들이 그들의 아핀 중심 위에서 유한 생성이며, $s=2$ 이고 $\alpha_1 \neq \alpha_2$ 인 경우에만 유한 전반적 차원을 가진다는 것을 보여준다.

제안 방법

• Goodearl-Zhang의 $B(n,p_0,\dots,p_s,q)$ 대수의 수정을 통해 새로운 Hopf 대수 가족 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$를 구성한다.
• 비대칭 원소와 군형 원소의 구조를 이용해 관계를 정의한다: $x^{-1}y_i x = q_i y_i$, $y_i^{p_i} = y_1^{p_1} + \alpha_i(x^M - 1)$, 그리고 $q_i^{n_j} = q_j^{n_i} = 1$.
• 코라디컬 필터링과 GK-차원 분석을 적용하여 Hopf 부분대수의 구조를 분석하고 $\Omega'$ 가정 하에 이를 분류한다.
• $\operatorname{Ext}^1_H(k,k)$ 가 0임을 이용해 모든 $\alpha_i = 0$ 인 경우를 제거한다. 이 경우 $H$는 비영인 Ext 조건을 만족하는 기존의 일곱 가족 중 하나와 동형이 되기 때문이다.
• Goodearl-Zhang의 조건 ($\natural$) 하에서의 분류 결과를 활용하고, 새로운 분류 정리를 통해 영인 Ext의 경우로 확장한다.
• $\Omega'$ 조건 하에서 $\operatorname{Ext}^1_H(k,k) = 0$ 인 GK-차원이 2인 유일한 Hopf 도메인은 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 임을 증명한다. 이는 비대칭 원소의 성질과 그 무게를 이용한다.

실험 결과

연구 질문

• RQ1 GK-차원이 2이고 $\operatorname{Ext}^1_H(k,k) = 0$ 인 Hopf 도메인이 존재하는가? 이는 이전 분류에서 비영인 Ext 조건 ($\natural$) 이 가정된 바와 모순된다.
• RQ2 적절한 제약 조건 하에서, $\operatorname{Ext}^1_H(k,k)$ 가 0인 모든 유한 생성 Hopf 도메인을 분류할 수 있는가?
• RQ3 특정 제곱근의 단위를 배제할 경우, 새로운 가족 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 가 $\operatorname{Ext}^1_H(k,k) = 0$ 인 GK-차원이 2인 Hopf 도메인의 유일한 가족인가?
• RQ4 새로운 Hopf 대수 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 의 호모로지적 성질(예: 임베딩 차원, 전반적 차원)은 무엇인가?
• RQ5 언제 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 의 전반적 차원이 유한한가? 그리고 정확히 2가 되는 조건은 무엇인가?

주요 결과

• 논문은 $\operatorname{Ext}^1_H(k,k) = 0$ 인 GK-차원이 2인 새로운 Hopf 대수 가족 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 를 구성하여, 이는 Ext 조건 ($\natural$) 이 실패하는 첫 번째 알려진 예시를 제공한다.
• $\Omega'$ 가정 하에, $q$가 5차 또는 7차 원분할 단위근일 경우 $A(1,q)$ 가 Hopf 부분대수로 포함되지 않도록 제한할 때, $\operatorname{Ext}^1_H(k,k) = 0$ 인 유한 생성 Hopf 도메인은 반드시 $\alpha_i \neq \alpha_j$ 를 만족하는 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 와 동형이어야 한다.
• $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 는 그 아핀 중심 위에서 유한 생성이며, 그 임베딩 차원은 정확히 2이다.
• $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 의 전반적 차원은 $s = 2$ 이고 $\alpha_1 \neq \alpha_2$ 인 경우에만 유한하며, 이 경우 전반적 차원은 정확히 2이다.
• $\Omega'$ 조건 하에서 분류는 완전하다: 이러한 Hopf 도메인은 비영인 $\operatorname{Ext}^1_H(k,k)$ 를 가진 일곱 가족 중 하나이거나, 비영인 $\alpha_i$ 를 가진 새로운 가족 $B(n,\{p_i\}_{1}^{s},q,\{\alpha_i\}_{1}^{s})$ 와 동형이어야 한다.
• 이러한 구성은 GK-차원이 2일 때 $\operatorname{Ext}^1_H(k,k)$ 가 0이 될 수 있음을 보여주며, 따라서 [GZ, 질문 0.3]에 대해 부정적인 답변을 제시한다.