[論文レビュー] Study of a Z-form of the coordinate ring of a reductive group

G. Lusztig|ArXiv.org|Sep 9, 2007

Advanced Topics in Algebra参考文献 1被引用数 5

ひとこと要約

本稿は、修正量子包合代数とその標準基底を用いて、再帰的群の座標環のZ形式を構築し、コスタントのZ形式と量子群論的構成との間に自然な同型写像を確立する。主な結果は、v = 1のとき、量子座標代数OAがコスタントのO′_Aに同型であることから、コスタントの予想を証明し、標準基底を用いて彼の構成を量子設定へと拡張することを可能にする。

ABSTRACT

We show how the theory of canonical bases in modified universal enveloping algebras can be used to develop the theory of Chevalley groups over any commutative ring with 1.

研究の動機と目的

• 量子群の手法を用いて、再帰的群の座標環の厳密なZ形式を確立すること。
• v = 1のとき、コスタントのZ形式O′_Aが量子群論的構成OAと同型であることを証明すること。
• 修正量子包合代数とその完備化ˆUAを用いて、コスタントのアプローチを一般化すること。
• Aが整域でv = 1のとき、OAが有限生成かつ整域であることを示すこと。
• 標準基底を介して、OQとO′_Qの間に自然な同型写像を構成し、ホップ代数構造と整合性を持つこと。

提案手法

• パラメータvをもつ環A上の修正量子包合代数˙UAを構成し、その標準基底˙Bの形式的A線形結合として完備化ˆUAを定義する。
• ブレード群作用を実現する明示的な要素s′_i,e ∈ ˆUAを導入し、明確な整域性の性質を持つようにする。
• 標準基底と双対構造を用いて、ˆUAの部分代数として量子座標代数OAを定義する。
• OAが明示的な生成元をもつ有限生成代数であること、およびブレード群作用を介してより単純な代数のテンソル積へ埋め込めるように証明する。
• 標準基底が誘導するOQとO′_Qの間の同型写像を用いて、Z形式OZとO′_Zを特定する。
• v = 1のとき、OAとO′_Aのホップ代数構造が自然な同一視のもとで整合的であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 コスタントの再帰的群の座標環のZ形式は、量子群の手法を用いて厳密に再構成可能か？
• RQ2 v = 1のとき、量子座標代数OAはコスタントのO′_Aと同型か？
• RQ3 修正量子包合代数の標準基底は、OQとO′_Qの間に自然な同一視を提供するか？
• RQ4 Aとvについて適切な条件下で、OAが有限生成かつ整域であることを示せるか？
• RQ5 完備化ˆUAと要素s′_i,eは、ブレード群作用の整域的実現に果たす役割は何か？

主な発見

• 量子座標代数OAは、A上有限生成であり、標準基底から導かれる明示的な生成元の集合をもつ。
• Aにおけるv = 1のとき、OAはコスタントのO′_Aに同型であり、これにより[Ko]におけるコスタントの未解決の主張が証明される。
• Aが整域でv = 1のとき、OAはテンソル積分解とブレード群作用を介して整域であることが示される。
• ˙UAの標準基底は、OQとO′_Qの間の自然な同型写像を誘導し、それらのホップ代数構造と整合的である。
• ˆUAに属する要素s′_i,eは、ブレード群作用の明示的かつ整域的に定義された実現を提供するが、これまではこのような明示的構成がなかった。
• OQとO′_Qの同一化を介して、座標環のZ形式OZはO′_Zと自然に同型であることが示され、構成の整域性が確立される。