[論文レビュー] Rank t H-primes in quantum matrices

Stéphane Launois|ArXiv.org|Oct 29, 2003

advanced mathematical theories参考文献 3被引用数 4

ひとこと要約

本論文は、Goodearl, Lenagan, および McCammond による予想を解決し、量子座標環 $O_q(\mathcal{M}_n(\mathbb{K}))$ 内のランク $t$ の $\hc$-素イデアルの数が、$S(n+1,t+1)$ を第二種スターリング数とするとき、$(t!)^2 S(n+1,t+1)^2$ に正確に等しいことを証明した。証明は、Cauchon の導分削除法、局所化された三角的因子における $\hc$-不変素イデアルの明示的数え上げ、および多項ベルヌーイ数の閉じた公式を組み合わせている。

ABSTRACT

Let K be a (commutative) field and consider a nonzero element q in K which is not a root of unity. Goodearl and Lenagan have shown that the number of H-primes in the algebra R of m times p quantum matrices which contain all (t+1) times (t+1) quantum minors but not all t times t quantum minors is a perfect square. The aim of this paper is to make precise their result: we prove that this number is equal to (t!)^2 S(n+1,t+1)^2, where S(n+1,t+1) denotes the Stirling number of second kind associated to n+1 and t+1. This result was conjectured by Goodearl, Lenagan and McCammond. The proof involves some closed formulas for the poly-Bernoulli numbers that were established by Arakawa-Kaneko and Kaneko.

研究の動機と目的

• 量子群 $O_q(\mathcal{M}_n(\mathbb{K}))$ 内のランク $t$ の $\hc$-不変素イデアルの正確な個数に関する Goodearl, Lenagan, および McCammond の予想を解決すること。
• 体 $\mathbb{K}$ 上で $q \in \mathbb{K}^*$ が単位根でないとき、量子行列におけるランク $t$ の $\hc$-不変素イデアルの個数に対する明確な公式を提示すること。
• 分類の根幹をなす局所化されたステップ三角的因子 $R_{\mathbf{r}}^+$ における $\hc$-不変素イデアルの集合の完全な記述を確立すること。
• 代数的および表現論的技法を用いて、$\hc$-不変素イデアルの個数を、第二種スターリング数および多項ベルヌーイ数といった組合せ的不変量と結びつけること。

提案手法

• Cauchon の導分削除理論を用いて、$O_q(\mathcal{M}_n(\mathbb{K}))$ 及びその局所化代数 $R_{\mathbf{r}}^+$ 内の明示的な $\hc$-不変素イデアルを構成する。
• 列 $\gamma_i$ を用いたパrametrization を用いて、$R_{\mathbf{r}}^+$ 内の $\hc$-不変素イデアルの個数を $1^{r_1}2^{r_2 - r_1} \cdots t^{r_t - r_{t-1}}(t+1)^{n - r_t}$ として計算する。
• Goodearl と Lenagan が示した恒等式 $|\hc\text{-}Spec^{[t]}(R)| = \left( \sum_{\mathbf{r} \in \mathbf{R}_t} |\hc\text{-}Spec(R_{\mathbf{r}}^+)| \right)^2$ を用いて、$\mathbf{r}$-列の和に依存する個数の関係を確立する。
• 既知の結果として、$R$ 内の $\hc$-不変素イデアル総数は多項ベルヌーイ数 $B_n^{(-n)}$ に等しく、これに先行研究による $B_n^{(-n)}$ の閉じた公式を適用する。
• 組合せ的数え上げにより、$\sum_{\mathbf{r} \in \mathbf{R}_t} |\hc\text{-}Spec(R_{\mathbf{r}}^+)| \geq t! S(n+1,t+1)$ という下界を確立する。
• 和の平方恒等式と差の非負性を用いた背理法により、$|\hc\text{-}Spec^{[t]}(R)| = (t! S(n+1,t+1))^2$ という正確な等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 量子座標環 $O_q(\mathcal{M}_n(\mathbb{K}))$ 内のランク $t$ の $\hc$-不変素イデアルの正確な個数は何か？
• RQ2 Goodearl, Lenagan, および McCammond が提起した、この数が $(t!)^2 S(n+1,t+1)^2$ に等しいという予想は、厳密に証明可能か？
• RQ3 局所化代数 $R_{\mathbf{r}}^+$ 内の $\hc$-不変素イデアルは、$R$ 内のランク $t$ の $\hc$-素イデアルの総数にどのように寄与するか？
• RQ4 $\hc$-不変素イデアルの個数に、第二種スターリング数および多項ベルヌーイ数という組合せ的解釈は存在するか？

主な発見

• ランク $t$ の $\hc$-不変素イデアルの個数が、$O_q(\mathcal{M}_n(\mathbb{K}))$ 内で正確に $(t!)^2 S(n+1,t+1)^2$ に等しいことが示され、Goodearl, Lenagan, および McCammond の予想が裏付けられた。
• $R_{\mathbf{r}}^+$ 内の $\hc$-不変素イデアルの集合は、正確に $\{J_{w_{\mathbf{r},\gamma}}^+ S_{\mathbf{r}}^{-1} \mid \gamma \in \Gamma_{\mathbf{r}}\}$ に一致し、$|\Gamma_{\mathbf{r}}| = 1^{r_1}2^{r_2 - r_1} \cdots t^{r_t - r_{t-1}}(t+1)^{n - r_t}$ である。
• $R$ 内の $\hc$-不変素イデアルの総数は多項ベルヌーイ数 $B_n^{(-n)}$ に等しく、これは $B_n^{(-n)} = \sum_{t=0}^n (t! S(n+1,t+1))^2$ という平方和の形で表される。
• 証明は [1] で得られた $B_n^{(-n)}$ の閉じた公式に依存しており、これにより各ランク $t$ における項が正確な個数として特定可能である。
• $|\hc\text{-}Spec^{[t]}(R)| = (t! S(n+1,t+1))^2$ という等式は背理法により確立された：$R_{\mathbf{r}}^+$ 内の個数がこれより大きいとすれば、$B_n^{(-n)}$ の平方和恒等式が破られる。
• この結果は、$\hc$-不変素イデアルが $\gamma$-列によるパrametrization によって完全に分類可能であり、導分削除法によって構成されたもの以外のイデアルは存在しないことを示唆する。