[論文レビュー] Quantum binary polyhedral groups and their actions on quantum planes

Kenneth Chan, Ellen Kirkman+2 more|arXiv (Cornell University)|Mar 28, 2013

Algebraic structures and combinatorial models参考文献 25被引用数 9

ひとこと要約

この論文は、グローバル次元2のアーチン＝シュレーディンガー正則代数—特に量子平面—に内側から忠実に作用し、ホモロジカルなデターミナントが自明である有限次元ホップ代数を分類する。これは、古典的なSL₂(k)の有限部分群の一般化を非可換な設定に拡張するものである。主な結果は、このような作用がアーチン＝シュレーディンガーGorensteinおよび正則性を有する不変環を生じることであり、古典的なクライン特異点と類似している。非可換かつ非コココミュタティブなホップ代数は、非可換でPI性を有する量子平面の場合にのみ非自明に存在する。

ABSTRACT

We classify quantum analogues of actions of finite subgroups G of SL_2(k) on commutative polynomial rings k[u,v]. More precisely, we produce a classification of pairs (H,R), where H is a finite dimensional Hopf algebra that acts inner faithfully and preserves the grading of an Artin-Schelter regular algebra R of global dimension two. Remarkably, the corresponding invariant rings R^H share similar regularity and Gorenstein properties as the invariant rings k[u,v]^G in the classic setting. We also present several questions and directions for expanding this work in noncommutative invariant theory.

研究の動機と目的

• グローバル次元2のアーチン＝シュレーディンガー正則代数上での有限次元ホップ代数の作用を分類することで、古典的不変量理論を非可換な設定に拡張すること。
• 多項式環k[u,v]におけるSL₂(k)の有限部分群の作用を、ホップ代数の作用を介して量子平面R = k_q[u,v]またはk_J[u,v]に一般化すること。
• このようなホップ作用の不変環R^Hが、古典的なクライン特異点に類似したAS Gorensteinおよび正則性を有する条件を同定すること。
• ホモロジカルなデターミナントと半単純性が、不変環の望ましいホモロジカル性質を保つ役割を果たす条件を明らかにすること。
• 非可換なマコーレイ対応の基盤を築くために、量子平面におけるホップ代数とその作用を同定すること。

提案手法

• 分類は、グローバル次元2のアーチン＝シュレーディンガー正則代数の枠組みに依拠しており、これらは量子平面k_q[u,v]またはk_J[u,v]に同型である。
• 著者たちは、古典的状況におけるSL₂(k)条件を一般化するため、内側から忠実で、次数を保存するホップ代数作用に加え、ホモロジカルなデターミナントが自明であるという条件を課す。
• 解析は、可換対非可換、半単純対非半単純ホップ代数、および量子平面のPI性というケース別に進める。
• 主な道具はホモロジカルなデターミナント、マコーレイクイバー技法、および双対ホップ代数を用いたコアクション双対性の分析である。
• 分類は、既知の文献からの分類結果を活用し、O_q(SL₂(k))の商としてのホップ代数の構造的解析によって達成される。
• 論文は、自己双対モジュールの表現論とクイバー理論を用いて、不変環の構造とその特異性を分析する。

実験結果

リサーチクエスチョン

• RQ1 グローバル次元2の量子平面に内側から忠実に作用し、ホモロジカルなデターミナントが自明である有限次元ホップ代数は、どのようなものか？
• RQ2 このようなホップ作用の不変環R^Hが、AS Gorensteinまたは正則性を保つ条件は何か？
• RQ3 非可換で非ココミュタティブなホップ代数が、非可換でPI性を有する量子平面上に作用可能か？ もし可能であれば、どのような条件下か？
• RQ4 アーチン＝シュレーディンガー正則代数上でのホップ作用に対して、シェパード＝タッド＝シュバリエの定理の非可換版は存在するか？
• RQ5 仮説0.3のもとで、ホップ作用がアーチン＝シュレーディンガー正則代数上に作用するとき、アウスラーフェン型の同型R#H ≅ End_{R^H}(R)は成り立つか？

主な発見

• 内側から忠実で、ホモロジカルなデターミナントが自明な量子平面上への有限次元ホップ代数の作用は、3つのケースに分類される：可換なRに対してはココミュタティブ、非PIなRに対しては可換かつココミュタティブ、非可換でPI性を有する量子平面に対しては非自明（非可換かつ非ココミュタティブ）なホップ代数が存在する。
• 不変環R^Hは常にアーチン＝シュレーディンガーGorensteinである。これは、G ⊂ SL₂(k)のときk[u,v]^GがGorensteinであるという古典的結果の一般化である。
• 非可換でPI性を有する量子平面では、非自明なホップ代数（非可換かつ非ココミュタティブ）が存在し、忠実に作用する。これは、古典的な二面体群の構造を拡張する。
• 作用のマコーレイクイバーは型˜L₁または˜DLであり、後者は他の量子マコーレイ対応の文脈でも現れる。
• Hが半単純であるとき、不変環R^HがAS正則であるための必要十分条件は、Hが量子二面体群であることであり、これは古典的状況を一般化する。
• 非半単純な場合、不変環は正則でないことが判明し、モジュールの単純性とqの位数を用いて、このような作用の完全な分類がなされている。