[논문 리뷰] Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two

K. R. Goodearl, J.J. Zhang|ArXiv.org|2009. 05. 05.

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

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위에서 Gelfand-Kirillov 차원이 2인 Noetherian Hopf 대수 도메인을 Ext¹(H,k,k) ≠ 0 조건 하에 분류한다. 주요 결과는 이러한 Hopf 대수가 다섯 개의 가족 중 하나와 동형임을 보여주며, 그 가족은 ℤ² 또는 ℤ⋊ℤ의 군 대수, 2차원 아벨 또는 아핀 리 대수의 보편 포괄 대수, 그리고 A(n,q), B(n,p₀,…,pₛ,q), C(n)이라는 세 가지 새로운 양자 대수 가족으로, 모두 지ointed이면서 강력한 호모로지적 성질을 만족한다.

ABSTRACT

We classify all noetherian Hopf algebras $H$ over an algebraically closed field $k$ of characteristic zero which are integral domains of Gelfand-Kirillov dimension two and satisfy the condition $\Ext^1_H(k,k) eq 0$. The latter condition is conjecturally redundant, as no examples are known (among noetherian Hopf algebra domains of GK-dimension two) where it fails.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체 위에서 Gelfand-Kirillov 차원이 2인 Noetherian Hopf 대수 도메인을 분류하기 위해.
• Ext¹(H,k,k)≠0라는 호모로지 조건 하에서 이러한 Hopf 대수의 구조를 이해하기 위해, 이 조건은 추측적으로 불필요하다.
• 이 조건을 만족하는 모든 아핀, Noetherian, 지ointed Hopf 대수의 완전한 목록을 제공하기 위해.
• 분류된 가족들 사이의 공통된 호모로지적 및 기하학적 성질을 수립하기 위해, 예를 들어 Auslander-Gorenstein 구조와 소수 스펙트럼에서의 정규 분리 성질을 포함한다.
• 낮은 GK-차원을 가진 소수 정규 Hopf 대수의 분류에 열려 있는 문제들을 해결하기 위해 새로운 예제를 구성하고 구조적 제약 조건을 증명하기 위해.

제안 방법

• Ext¹(H,k,k)≠0 조건을 핵심적인 구조적 제약 조건으로 사용하며, 이는 H에 의해 생성되는 양자군 내에 1차원 양자군 또는 고전적 대수적 군이 존재한다는 것과 동치이다.
• 스키우 다항식 확장과 자기형사와를 이용하여 A(n,q), B(n,p₀,…,pₛ,q), C(n)이라는 세 가지 새로운 Hopf 대수 가족을 구성한다.
• 비가환환 이론 기법, 특히 국소화, 정규 원소, 소수 이상의 구조를 활용하여 구성된 Hopf 대수의 소수 스펙트럼을 분석한다.
• 일반적인 양자 토러스와 스키우 미분에 관한 결과를 활용하여 국소화의 단순성과 소수 이상의 구조를 제어한다.
• 구성 가능한 대수 이론과 Nullstellensatz를 적용하여 Dixmier-Moeglin 등가성과 소수 이상의 유리성 확립.
• 지ointed Hopf 대수 이론과 생성자(군형 및 비대칭 원소)의 분류를 활용하여, 모든 분류된 Hopf 대수가 지ointed임을 증명한다.

실험 결과

연구 질문

• RQ1 GK-차원 2인 Hopf 대수에서 Noetherian, 도메인 조건이 성립할 경우 Ext¹(H,k,k)≠0 조건은 자동으로 유도되는가?
• RQ2 특성 0인 대수적으로 닫힌 체 위에서 GKL-차원이 2인 Noetherian Hopf 대수 도메인의 완전한 분류는 무엇인가?
• RQ3 모든 이러한 Hopf 대수는 Auslander-Gorenstein, GK-Cohen-Macaulay, 그리고 Dixmier-Moeglin 등가성을 만족하는 강력한 호모로지적 성질을 갖는가?
• RQ4 비가환적이면서도 코가환적이지 않은 새로운 Hopf 대수 가족을 구성할 수 있으며, 이 가족이 Ext¹ 조건을 만족하는가?
• RQ5 모든 이러한 Hopf 대수에서 정수 순서 io(H)와 PI-차수 p.i.deg(H)가 일치하는가, 아니면 반례가 존재하는가?

주요 결과

• Ext¹(H,k,k)≠0 조건을 만족하는 모든 GKL-차원 2인 Noetherian Hopf 대수 도메인은 아핀이며, 다섯 가족 중 하나와 동형이다: ℤ² 또는 ℤ⋊ℤ의 군 대수, 2차원 아벨 또는 아핀 리 대수의 보편 포괄 대수, 또는 새로운 가족 A(n,q), B(n,p₀,…,pₛ,q), C(n).
• Hopf 대수 B(n,p₀,…,pₛ,q)는 [25, 질문 0.4]와 [7, 질문 K 및 J]에 대한 부정적인 답변를 제공하며, 일반적으로 예상되는 성질들이 항상 성립하지 않음을 보여준다.
• 모든 이러한 Hopf 대수에서 소수 스펙트럼은 정규 분리를 만족하며, 임의의 소수 이상 P에 대해 높이(P) + GKdim(H/P) = 2를 만족한다.
• 이 대수들은 모두 Auslander-Gorenstein이며, GK-Cohen-Macaulay이며, 포함 차원이 2이며, 강력한 두 번째 계층 조건과 Dixmier-Moeglin 등가성을 만족한다.
• Ext¹ 차원이 1인 것은 대수가 비가환일 때에만 성립하며, 정수 순서 io(H)는 PI-차수 p.i.deg(H)를 나누며, 반례를 통해 이들이 항상 동일하지 않음을 보여준다.
• 모든 Hopf 대수들은 지ointed이며, 군형 및 비대칭 원소로 생성되며, Ext¹ 조건은 양자군 내에 1차원 고전적 대수적 군이 존재한다는 것과 동치이다.