[論文レビュー] Hopf actions and Nakayama automorphisms

Kenneth Chan, Chelsea Walton+1 more|arXiv (Cornell University)|Oct 24, 2012

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

ひとこと要約

本稿は、N-カスズル・アーティン・シュレーダー正則代数 A におけるナカユマ自己同型と、A をコアクションするホップ代数 H の反対作用 S² の間に深い関係を確立する。内因的忠実なコアクションと有限次元性の下で、ホモロジカルなコデターミナント D による共轭作用が η_D ∘ S² = η_{μ_A^τ} を満たすことを証明し、A のホモロジカル不変量とホップ代数構造を結びつける。この結果により、このような代数に作用するホップ代数の構造が特徴づけられ、特に特徴標数 0 のとき、2次元の非PI AS正則代数に作用する有限次元ホップ代数は、群代数に限ることが示される。

ABSTRACT

Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.

研究の動機と目的

• 非可換代数のナカユマ自己同型と、それに対してコアクションするホップ代数の反対作用の関係を理解すること。
• FrobeniusおよびAS正則代数におけるナカユマ自己同型の既知の結果を、ホップコアクションの設定に一般化すること。
• グローバル次元が2のアーティン・シュレーダー正則代数に内因的忠実に作用する有限次元ホップ代数を分類すること。
• S² とナカユマ自己同型の関係が、異なる代数的設定において統一可能かどうかを検討すること。
• 特定の非PI AS正則代数、例えばスケール多項式代数などに作用するホップ代数の構造を同定すること。

提案手法

• ホップ代数 H が順次代数 A にコアクションする仕組みを、マンインの量子線形群の構成を用いて H の構造に関連付ける。
• H の A へのコアクションのホモロジカルなコデターミナント D を、H の中心的元として定義し、自己同型関係におけるねじれを制御する。
• D による共轭作用と、ナカユマ自己同型 μ_A の行列の転置による共轭作用をそれぞれ H 上に自動同型 η_D と η_{μ_A^τ} として構成する。
• ホップ代数における Ext-代数のコアクションと行列座標の計算を用いて、鍵となる恒等式 η_D ∘ S² = η_{μ_A^τ} を確立する。
• ラドフォードの定理を用いて S² の位数を評価し、特徴標数 0 の条件下で原始的元の消失を導き、群代数構造に至る。
• 内因的忠実なコアクション条件を用いて、H の生成元が全代数を張ることを保証し、構造的分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 N-カスズル・AS正則代数のナカユマ自己同型は、コアクションするホップ代数の反対作用 S² とどのように関係するか？
• RQ2 恒等式 η_D ∘ S² = η_{μ_A^τ} は、N-カスズル代数を超えて一般AS正則代数に対しても拡張可能か？
• RQ3 グローバル次元が2の非PI AS正則代数に内因的忠実に作用する有限次元ホップ代数の構造は何か？
• RQ4 特徴標数 1 の非可換ホップ代数で、Gelfand-Kirillov次元が1であるもので、スケール多項式代数 k_J[x₁,x₂] に内因的忠実にコアクションするものは存在するか？
• RQ5 S² とナカユマ自己同型の関係は、AS正則ホップ代数に対して既知の公式 μ_K = S² ∘ Ξ^{l}_{∫^l} と統一可能か？

主な発見

• 任意の有限次元ホップ代数 H が、双射な反対作用を持つ N-カスズル・AS正則代数 A に内因的忠実にコアクションするとき、鍵となる恒等式 η_D ∘ S² = η_{μ_A^τ} が成り立つ。
• 特徴標数 0 のとき、非PI代数 A_J = k_J[x₁,x₂] に内因的忠実にコアクションする任意の有限次元ホップ代数 H は、ある巡回群 G に対して kG に同型である。
• H の構造はナカユマ自己同型 μ_A の行列とホモロジカルなコデターミナント D によって制約され、η_D ∘ S² は μ_A の行列の転置による共轭作用として作用する。
• A = k_p[x₁,x₂] で p が単位根でない場合にも同様の結論が成り立つ。これは定理 0.4 を用いて示される。
• 特徴標数 0 の体上の有限次元ホップ代数において、非自明な原始的元が存在しないことから、生成元はすべて群的元となり、群代数構造に帰着される。
• この結果により、特徴標数 0 において、2次元の非PI AS正則代数は、内因的忠実かつ有限次元のホップコアクションのもとで、群代数のコアクションしか許されないことが確認された。