[論文レビュー] Homological Dimension of Crossed Products

Yao-Zhong Zhang|ArXiv.org|Nov 28, 2003

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

ひとこと要約

この論文は、体 $ k $ 上の交叉積代数 $ R\#_{\sigma}H $ の左グローバル次元、弱次元、右グローバル次元が、$ H $ が有限次元で半単純かつコ半単純なホップ代数である限り、基本代数 $ R $ のそれらと等しいことを確立する。この結果は、$ R $ と $ (R\#_{\sigma}H)\#H^{*} $ の間のモラータ同値性を用いて導かれる。この同値性は、交叉積上の射影的および平坦的分解におけるホモロジー代数的技法を応用することで得られる。

ABSTRACT

We obtain that the global dimensions of $R$ and the crossed product $R # _σH$ are the same; meantime, their weak dimensions are also the same, when $H$ is finite-dimensional semisimple and cosemisimple Hopf algebra.

研究の動機と目的

• 代数 $ R $ とそのホップ代数 $ H $ による交叉積 $ R\#_{\sigma}H $ のホモロジー次元の関係を特定すること。
• スケール群環（交叉積の特別な場合）に関する既知の結果を、$ H $ に関する構造的条件の下で一般交叉積へ拡張すること。
• $ H $ が有限性および半単純性条件を満たす場合に、$ R $ と $ R\#_{\sigma}H $ のグローバル次元および弱次元が一致することを確立すること。
• 次元の等しさを用いて、交叉積代数における半素性および正則性の保存問題を解決すること。
• McConnell と Robson のスケール群環に関する結果を、より広範なホップ代数的設定へ一般化すること。

提案手法

• 左 $ R $-加群としての $ R\#_{\sigma}H \cong R \otimes H $ の性質を用い、加群的性質の移行を可能にする。
• 補題 1.1 および補題 1.2 を適用して、$ R\#_{\sigma}H $-加群の射影的および平坦的分解が $ R $-加群としても分解を保つことを示し、ホモロジー次元の保存を裏付ける。
• 双対構成 $ (R\#_{\sigma}H)\#H^{*} $ を用いて、ホップ代数の双対性を活用し、$ R $ と $ R\#_{\sigma}H $ の間のモラータ同値性を確立する。
• グローバル次元および弱次元のモラータ不変性（補題 2.1）を用いて、モラータ同値な代数間で次元を等しくする。
• $ H $ が有限次元で、半単純かつコ半単純であるという条件を適用し、$ H^{*} $ もまた半単純かつコ半単純であることを保証し、双対性の議論を可能にする。
• 正規化された積分 $ t \in \int_H^r $ が $ \epsilon(t) = 1 $ を満たすことを根拠に、$ R $-写像を $ R\#_{\sigma}H $-写像へ上昇させる加群準同型を定義する（補題 1.4）。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数 $ H $ にどのような条件が課わられると、$ R $ と $ R\#_{\sigma}H $ のグローバル次元および弱ホモロジー次元が一致するか？
• RQ2 スケール群環の特別な場合に限らない一般交叉積へ、$ \lgD(R) = \lgD(R\#_{\sigma}H) $ の結果を拡張できるか？
• RQ3 $ R $ と $ (R\#_{\sigma}H)\#H^{*} $ の間のモラータ同値性は、ホモロジー次元の等しさを意味するか？
• RQ4 次元保存に必要な $ H $ の構造的性質（例えば、半単純性、コ半単純性）は何か？
• RQ5 ホモロジー次元の保存は、ヴォン・ノイマン正則性や半準素性といった他の環論的性質の保存を意味するか？

主な発見

• ホップ代数 $ H $ が有限次元で、半単純かつコ半単純であるとき、$ R\#_{\sigma}H $ の左グローバル次元は $ R $ のそれと等しい。
• 同じ条件下で、$ R\#_{\sigma}H $ の弱次元は $ R $ の弱次元と等しい。
• 右グローバル次元についても、$ R\#_{\sigma}H $ のそれと $ R $ のそれとが等しくなり、3つの次元の対称性が完全に成立する。
• ホップ代数の双対性を用いて確立された、$ R $ と $ (R\#_{\sigma}H)\#H^{*} $ の間のモラータ同値性が、次元の等しさを可能にする主要なメカニズムである。
• McConnell と Robson のスケール群環 $ R*G $ に関する定理が、$ \sigma $ が自明な場合の特別な交叉積として一般化されている。
• もし $ H $ が有限次元で、半単純かつコ半単純（例えば、$ \chark \nmid \dim H $ であるココミュタティブな場合）であれば、$ R $ がヴォン・ノイマン正則であることと $ R\#_{\sigma}H $ がヴォン・ノイマン正則であることは同値である。