[論文レビュー] Auslander's Theorem for group coactions on noetherian graded down-up algebras

Jiangxi Chen, Ellen Kirkman+1 more|arXiv (Cornell University)|Jan 27, 2018

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

ひとこと要約

本稿は、noetherian な階数付きダウンアップ代数に対する有限群のコアクションについて、Auslanderの定理の非可換版を確立する。同定の条件のもとで、perrinency が 2 以上であることを証明することで、スモーズ積代数 $A\#H$ と自己準同型代数 $\operatorname{End}_{A^H}(A)$ の間に同型が存在することを確認し、非可換 McKay 対応をこのクラスの代数へと拡張する。

ABSTRACT

We prove a version of a theorem of Auslander for finite group coactions on noetherian graded down-up algebras.

研究の動機と目的

• noetherian な階数付きダウンアップ代数に対する有限群コアクションの文脈において、Auslander の定理を拡張すること。
• グローバル次元 3 の Artin-Schelter 正則ダウンアップ代数に対して、非可換 Auslander 猜定を検証すること。
• 自然な写像 $A\#H \to \operatorname{End}_{A^H}(A)$ が同型となる条件を確立すること。
• 同調的行列式が自明であるとき、perrinency 条件 $\mathsf{p}(A,H) \geq 2$ が成立することを示すこと。

提案手法

• Hopf代数 $H = \Bbbk^G$ の作用を分析するため、$I$ を $1\#\int$ で生成されるイデアルとするとき、perrinency 不変量 $\mathsf{p}(A,H) = \operatorname{GKdim} A - \operatorname{GKdim}((A\#H)/I)$ を用いる。
• 左 $H$-作用と右 $K$-コアクションの間の同値性（$K = \Bbb{k}G$、$G$ を有限群として）を用い、問題をコアクションの観点から再定式化する。
• 代数 $A = \mathbb{D}(\alpha,\beta)$ が $\beta \neq 0$ のとき、グローバル次元 3 の Artin-Schelter 正則かつ noetherian であることから、適切な同調的性質を保証する。
• 同調的行列式の自明性を、$\mathsf{p}(A,H) \geq 2$ を保証する重要な条件として用い、[4, Theorem 0.3] より $A\#H \cong \operatorname{End}_{A^H}(A)$ の同型が導かれる。
• 与えられた条件下で、自然な写像 $\phi: A\#H \to \operatorname{End}_{A^H}(A)$ が、階数付き代数の同型であることを確認する。
• 例として、$D_{2n}$-コアクションが代数 $\mathbb{H}$ に作用する場合を分析し、固定部分代数が反復 Ore 拡大における超曲面であることを示し、不変環の構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 同調的行列式が自明であるとき、有限群のコアクションが noetherian な階数付きダウンアップ代数に作用する場合、Auslander の定理は成り立つか。
• RQ2 このようなコアクションに対して、perrinency $\mathsf{p}(A,H)$ が 2 以上である条件は何か。
• RQ3 ダウンアップ代数の非可換設定において、同型 $A\#H \cong \operatorname{End}_{A^H}(A)$ を確立できるか。
• RQ4 この同型を通じて、ダウンアップ代数における非可換 McKay 対応は実現可能か。
• RQ5 Remark 1.6(2) が示すように、同調的行列式が非自明な場合、定理が成立しないのはなぜか。

主な発見

• 有限群 $G$ が $\Bbbk^G$ として作用する noetherian な階数付きダウンアップ代数 $\mathbb{D}(\alpha,\beta)$ に対して、同調的行列式が自明であれば、$\mathsf{p}(A,H) \geq 2$ が成り立つことを証明した。
• これにより、階数付き代数同型 $A\#H \cong \operatorname{End}_{A^H}(A)$ が存在することが示され、この文脈における非可換 Auslander 定理が裏付けられた。
• この結果は $\beta \neq 0$ の場合に限定され、そのとき代数は noetherian かつグローバル次元 3 の Artin-Schelter 正則であることが保証される。
• 同調的行列式の条件がなければ、定理は成立しない。これは Remark 1.6(2) で示されている。
• 固定部分代数 $\mathbb{H}^{co\;D_{2n}}$ が反復 Ore 拡大における超曲面であることが示され、Hilbert 級数は $\frac{1-t^{4n}}{(1-t^2)^2(1-t^{2n})^2}$ である。これにより、AS-正則構造が確認された。
• 生成子 $x^2, y^2, (yx)^n, (xy)^n$ と $\sigma$-twisted 導分作用素を用いた関係式を通じて不変環が構成され、これが一般化された Weyl 代数であることが確認された。