[論文レビュー] Prime ideals in certain quantum determinantal rings

K. R. Goodearl, T. H. Lenagan|ArXiv.org|Mar 24, 1999

Algebraic structures and combinatorial models参考文献 5被引用数 4

ひとこと要約

この論文は、量子行列式環の素スペクトルを、量子座標代数 O_q(M_{m,n}(k)) 内の 2×2 量子小行列式によって生成されるイデアル I を分析することによって調査する。古典的不変体理論の定理の類似を用いて、I が完全素であることを証明し、A/I が k[x,x⁻¹]-余作用に関するテンソル積の余不変式環に同型である整域であることを示し、A/I における自然なトーラス作用に関する不変素イデアルを特定する。

ABSTRACT

The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.

研究の動機と目的

• 量子行列式環における素イデアルの構造、特に 2×2 量子小行列式によって生成されるものについて理解すること。
• 量子設定における不変体理論の第一および第二基本定理の類似を確立すること。
• O_q(M_{m,n}(k)) 内の 2×2 量子小行列式によって生成されるイデアル I が完全素であること、したがって A/I が整域であることの証明。
• A/I が k[x,x⁻¹] に関する k[x,x⁻¹]-余作用の下での O_q(k^m) ⊗ O_q(k^n) の余不変式環として記述できることの説明。
• A/I における (m+n)-トーラス作用によって不変である素イデアルの同定。

提案手法

• A/I を k[x,x⁻¹]-余作用に関するテンソル積の余不変式環として実現するために、余作用理論を用いる。
• イデアル I の構造を分析するために、古典的不変体理論の量子類似定理を適用する。
• A/I に自然に誘導される (m+n)-トーラス作用を用いて、不変素イデアルを研究する。
• トーラス不変性と余作用構造を活用して、A/I の素スペクトルを分析する。
• 先行研究で示された t×t 量子小行列式によって生成されるイデアルが完全素であるという事実を根拠として、2×2 の場合を支持する。

実験結果

リサーチクエスチョン

• RQ1 O_q(M_{m,n}(k)) 内の 2×2 量子小行列式によって生成されるイデアルは完全素であるか、すなわち商環が整域であるか？
• RQ2 量子行列式環の文脈において、不変体理論の第一および第二基本定理の類似は量子設定で確立可能か？
• RQ3 商環 A/I は、ホップ代数の余作用に関する余不変式としてどのように記述できるか？
• RQ4 A/I の素イデアルの中で、(m+n)-トーラス作用によって不変であるものはどれか？
• RQ5 トーラス不変性の下で、A/I の素スペクトルの構造はいかなるものか？

主な発見

• O_q(M_{m,n}(k)) 内の 2×2 量子小行列式によって生成されるイデアル I は完全素であり、したがって A/I は整域である。
• A/I は O_q(k^m) ⊗ O_q(k^n) における k[x,x⁻¹]-余作用に関する余不変式環と同型である。
• 商環 A/I は A からの自然な (m+n)-トーラス作用を引き継ぐ。
• A/I における不変素イデアルは、トーラス作用によって完全に特徴付けられる。
• これらの不変素イデアルの分類に基づいて、A/I の素スペクトルの構造が導かれる。