[論文レビュー] Pertinency of Hopf actions and quotient categories of Cohen-Macaulay algebras

Yan-Hong Bao, J.-W. He+1 more|arXiv (Cornell University)|Mar 8, 2016

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

ひとこと要約

本稿は、Artin-Schelter regular かつ Cohen-Macaulay な代数への Hopf代数作用に対して、関連性不変量（pertinency invariant）を導入し、非可換版の Auslander の定理を確立する。関連性 ≥ 2 がホモロジ的小ささと同値であり、固定部分環の自己準同型代数とスメールト積代数の間の自然な同型写像が存在することを示す。これは非可換代数幾何学および McKay 対応理論における古典的結果を一般化する。

ABSTRACT

We study invariants and quotient categories of fixed subrings of Artin-Schelter regular algebras under Hopf algebra actions.

研究の動機と目的

• Hopf代数作用を用いた非可換設定への古典的 Auslander の定理の一般化を図ること。
• Artin-Schelter 正則代数への Hopf代数作用のホモロジ的測度としての関連性不変量を定義し、その研究を行うこと。
• スメールト積代数が固定部分環の自己準同型代数と同型となる条件を確立すること。
• 非可換商特異点における関連性、ホモロジ的小ささ、Cohen-Macaulay 性質の相関関係を調査すること。
• Hopf作用と商圏を用いて、McKay 対応の枠組みを非可換代数へと拡張すること。

提案手法

• 半単純 Hopf代数 $H$ の積分 $\int$ を用いて、$1\#\int$ で生成される両側イデアル $I$ を用い、関連性不変量 $\mathsf{p}(R,H) = \operatorname{GKdim} R - \operatorname{GKdim}((R\#H)/I)$ を導入する。
• Gelfand-Kirillov 次元を用いて代数の成長を測定し、商代数 $R\#H/I$ の階数を用いてホモロジ的小ささを定義する。
• 非可換 Auslander の定理の正当性を保証する重要なホモロジ的条件として、Cohen-Macaulay 性質を適用する。
• $\mathsf{p}(R,H) \geq 2$、ホモロジ的小ささ、および同型写像 $R\#H \cong \operatorname{End}_{R^H}(R)$ の同値性を確立する。
• スケール多項式環と対称群作用の構造を活用し、特に $\Bbbk_{-1}[x_1,\dots,x_n]$ の場合に関連性を計算する。
• トレース関数と単位根の構成を用いて、商環の次元を解析し、素イデアル商の GK 次元に対する上限を得る。

実験結果

リサーチクエスチョン

• RQ1 Hopf代数 $H$ が Cohen-Macaulay かつ AS 正則代数 $R$ に作用するとき、スメールト積 $R\#H$ が $\operatorname{End}_{R^H}(R)$ に同型となる条件は何か？
• RQ2 関連性不変量 $\mathsf{p}(R,H)$ は、$R\#H/I$ の階数といったホモロジ的性質とどのように関係するか？
• RQ3 対称群作用がスケール多項式代数に作用する場合、関連性を組合せ論的に計算できるか？
• RQ4 非可換商特異点の文脈において、関連性と非可換 McKay 対応の関係は何か？
• RQ5 Cohen-Macaulay 性質が非可換 Auslander の定理の正当性をどの程度保証するか？

主な発見

• 関連性 $\mathsf{p}(R,H) \geq 2$ であることは、$H$-作用がホモロジ的小さく、自然写像 $R\#H \to \operatorname{End}_{R^H}(R)$ が同型であることに同値である。
• $n$ が奇数であるスケール多項式環 $\Bbbk_{-1}[x_1,\dots,x_n]$ において、対称群 $G = S_n$ が置換で作用するとき、関連性 $\mathsf{p}(R,G)$ は $n - n/p$ に等しくなる。ここで $p$ は $n$ の最小の奇素因数である。
• $n = 2^d$ のとき、関連性 $\mathsf{p}(R,G) = n$ である。これは $t=1$ におけるトレース関数の極の位数が 0 であるためである。
• 関連性 $\mathsf{p}(R,G)$ は $n - N_n$ で上から有界であり、ここで $N_n$ は $\gcd(i,n)=1$ を満たす異なる $Y_{2i}$ の個数である。$4 \nmid n$ のとき $N_n = \phi(n)$、$4 \mid n$ のとき $N_n = \phi(n)/2$ である。
• Weyl 群 $W$ が $\Bbbk_{-1}[x_1,\dots,x_n]$ に作用するとき、$\mathsf{p}(R,W) \geq 2$ であり、非可換 Auslander の定理が成り立つ。
• 関連性不変量は、$R/R^H$ が右 $H^*$-稠密ガロア拡張であるかどうかを検出できる。$\mathsf{p}(R,H) = \operatorname{GKdim} R$ であることは、この条件が成り立つことに同値である。