[論文レビュー] Nakayama Automorphism and Rigidity of Dual Reflections Group Coactions

Ellen Kirkman, James Kuzmanovich+1 more|arXiv (Cornell University)|May 6, 2016

Algebraic structures and combinatorial models参考文献 26被引用数 3

ひとこと要約

本稿は、アーティン＝シュレーダー正則代数への双対反射群コアクションのホモロジカルな剛性を検討し、ホモロジカルなコデターミナントから導かれるナカヤマ自己同型とマス要素の役割に注目する。マス要素が生成集合における一意な最大長の群元に対応することを確立し、半単純リー代数の普遍包あらゆる代数、ウィール代数のリース環、非PIスクラニン代数といった特定の非可換代数が、非自明な有限群コアクションに関して剛性を示すことを証明している。これは、固定部分環が自明でない限りアーティン＝シュレーダー正則でないことを意味する。

ABSTRACT

We study homological properties and rigidity of group coactions on Artin-Schelter regular algebras.

研究の動機と目的

• 双対反射群コアクションを許容する代数のホモロジカル性質を理解すること、特に固定部分環の構造に注目すること。
• アーティン＝シュレーダー正則代数への群コアクションから生じるスモーズ積の文脈において、ナカヤマ自己同型を特徴付けること。
• 特定の非可換AS正則代数が、非自明な有限群コアクションに関して固定部分環がAS正則でないことを証明することで、剛性結果を確立すること。
• ホモロジカルに定義されたマス要素を、群の長さ関数やシクロトミック多項式といった組合せ論的データと結びつけること。
• ホップ代数コアクションの文脈において、非可換不変量論に拡張された古典的不変量（ホモロジカルコデターミナントおよびナカヤマ自己同型）を定式化すること。

提案手法

• H = \Bbbk^G および K = \Bbbk G とおくとき、左 H-作用と右 K-コアクションの同値性を用い、群コアクション問題を代数的構造に翻訳する。
• ホモロジカルコデターミナントとその逆元であるマス要素 m を、Hilbert系列の比 \mathfrak{p}(t) = H_A(t) H_{A^H}(t)^{-1} により定義し、群論的性質を検出する。
• 生成集合 \Re \subset G \setminus \{e\} に関する長さ関数 l_\Re(g) を用い、同次生成子 f_g の次数と群語長を関連付ける。
• ナカヤマ自己同型 \mu_A を用い、スモーズ積 A \# \Bbbk G の構造を分析し、Poincaré双対性とRadfordの公式とを結びつける。
• 非可換代数幾何学の結果（たとえば、ねじれ同型座標環の射影的単純性）を応用し、非PIスクラニン代数における正規元の存在を除外する。
• 特殊化 t \mapsto 1 を用い、可換の場合に還元し、ウィール代数の単純性を用いて矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 双対反射群がAS正則代数にコアクションする際、ホモロジカルコデターミナントと群論的構造の関係は何か？
• RQ2 固定部分環のナカヤマ自己同型は、群コアクションおよび代数の構造とどのように関係するか？
• RQ3 有限群コアクション下でのAS正則代数の固定部分環がAS正則であるための条件は何か？
• RQ4 マス要素は、生成集合における一意な最大長の要素として組合せ論的に特徴付けられるか？
• RQ5 非可換AS正則代数、たとえば非PIスクラニン代数やウィール代数のリース環などは、有限群コアクションに関して剛性を示すか？

主な発見

• マス要素 m \in G は、縮小語長関数 l_\Re に関して一意な最大長の要素であり、\deg f_m = l_\Re(m) が成り立つ。これにより、ホモロジカル不変量と群の組合せ論的構造が結びつけられる。
• Hilbert系列比 \mathfrak{p}(t) = H_A(t) H_{A^H}(t)^{-1} はシクロトミック多項式の積であり、\mathfrak{p}(1) = |G| を満たし、次数は l_\Re(m) に等しい。これにより、深い算術的構造が確認される。
• 有限次元半単純リー代数の普遍包あらゆる代数に関しては、非自明な有限群コアクションによってAS正則固定部分環が得られず、代数の剛性が示される。
• ウィール代数 A_n(\Bbbk) のリース環は、G = \mathbb{Z}/(2) のみでAS正則固定部分環を許容するが、その場合でさえ元の代数と同型でない。
• グローバル次元3以上の非PIスクラニン代数では、1次元の要素の有限集合の積が正規でないため、非自明な群コアクションによってAS正則固定部分環が得られないことが示される。
• スモーズ積 A \# \Bbbk G のナカヤマ自己同型は、群コアクションおよびマス要素によって決定され、その構造は代数のホモロジカル双対性を反映している。