[論文レビュー] Noetherian Hopf algebra domains of Gelfand-Kirillov dimension two

K. R. Goodearl, J.J. Zhang|ArXiv.org|May 5, 2009

Algebraic structures and combinatorial models参考文献 12被引用数 11

ひとこと要約

この論文は、特性0の代数的に閉じた体上でのGelfand-Kirillov次元2のnoetherian Hopf代数の整域を、Ext¹(H,k,k) ≠ 0 という条件の下で分類する。主な結果は、このようなHopf代数が5つの族のいずれかに同型であるというものである：ℤ²またはℤ⋊ℤの群代数、2次元アーベルまたはアフィンリー代数の普遍包あくり代数、および3つの新しい量子化代数族A(n,q)、B(n,p₀,…,pₛ,q)、C(n)。これらすべては点付きであり、強いホモロジー的性質を満たす。

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的で、点付きのGK次元2のHopf代数の完全なリストを提供すること。
• 分類された族の間で共通するホモロジー的および幾何的性質（例えば、Auslander-Gorenstein構造や素イデアルの空間における正規分離性）を確立すること。
• 低GK次元の素的正則Hopf代数の分類における未解決問題を、新しい例の構成と構造的制約の証明によって解決すること。

提案手法

• Ext¹(H,k,k)≠0という条件を、Hに付随する量子群に1次元の量子群または古典的代数群が存在することに等価な主要な構造的制約として用いる。
• スケール多項式拡張と自己同型を用いて、3つの新しいHopf代数族A(n,q)、B(n,p₀,…,pₛ,q)、C(n)を構成する。
• 非可換環論の技法（局所化、正規元、素イデアル構造など）を用いて、構成されたHopf代数の素イデアル空間を分析する。
• 一般量子トーラスおよびスケール微分作用素に関する結果を活用し、局所化の単純性を証明し、素イデアルの構造を制御する。
• 構成可能代数の理論とNullstellensatzを用いて、Dixmier-Moeglin同値性と素イデアルの有理的性質を確立する。
• 点付きHopf代数の理論と生成元（群的および歪みみた生成元）の分類を用いて、分類されたすべてのHopf代数が点付きであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 GK次元2のHopf代数において、noetherian性、整域性、GK次元2という仮定から、Ext¹(H,k,k)≠0が導かれるか？
• RQ2 特性0の代数的に閉じた体上でのGK次元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を満たすGK次元2のnoetherian Hopf代数の整域はすべてアフィン的であり、5つの族のいずれかに同型である：ℤ²またはℤ⋊ℤの群代数、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について、height(P) + GKdim(H/P) = 2が成り立つ。
• これらの代数はすべてAuslander-Gorenstein的で、GK-Cohen-Macaulay的であり、内挿的次元は2であり、強い第二層条件およびDixmier-Moeglin同値性を満たす。
• Ext¹次元が1であることは、代数が非可換であることと同値であり、整数位数io(H)はPI次数p.i.deg(H)を割り切るが、反例によりそれらが常に等しいとは限らない。
• すべてのHopf代数は点付きであり、群的および歪みみた生成元によって生成され、Ext¹条件は、量子群に1次元の古典的代数群が存在することに等しい。