[論文レビュー] Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

Jason P. Bell, Karel Casteels+1 more|arXiv (Cornell University)|Sep 13, 2010

Advanced Combinatorial Mathematics参考文献 15被引用数 3

ひとこと要約

本稿は、$\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $m\times n$ 量子行列の代数における $Χ$-層の次元を計算する組み合わせ的公式を提示する。各層をパイプ・ドリームを介して置換に結びつけ、次元がその置換における奇数巡回の数に等しいことを示す。主な結果は、$d$-次元層の数に対する閉形式の母関数であり、$n \to \infty$ のときの漸近的割合に関する以前の予想を解消する。この手法は、カウオン図、制限付き置換、および歪対称行列と置換行列の核空間の間の同型に依存する。

ABSTRACT

We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m imes n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$-dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$-dimensional $\C{H}$-strata in $\Oq$.

研究の動機と目的

• $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $\mathcal{H}$-層の次元に対する組み合わせ的基準を特定すること。
• ベルとロノアスによる、$n \to \infty$ のときの $d$-次元 $\mathcal{H}$-層の漸近的割合に関する予想を解消すること。
• $m$, $n$, $d$ を用いた $d$-次元 $\mathcal{H}$-層の数を数える閉形式の母関数を確立すること。

提案手法

• 各 $\mathcal{H}$-素数を、組み合わせ的グリッド着色則によって $\mathcal{H}$-層をパrametrizeするカウオン図に結びつける。
• カウオン図と制限付き置換 $\sigma \in S_{m+n}$ の間の双対性を用い、$|\sigma(i) - i| \leq \max(m,n)$ を満たす。
• $\tau = \sigma \omega^{-1}$ を定義し、ここで $\omega$ は制限付き置換の逆ブルアット順序における最大元である。
• $\ker(M(D))$ と $\ker(P_\sigma + P_\omega)$ の間の同型を確立する。ここで $M(D)$ はカウオン図 $D$ から導かれる歪対称行列であり、$P_\mu$ は置換 $\mu$ の行列表現である。
• $\dim(\ker(M(D)))$ が $\tau$ における奇数巡回の数に等しいことを示す。ここで、巡回が奇数であるとは、その長さが偶数であることを意味する。
• $\frac{x^m}{m!}\frac{y^n}{n!}t^d$ の係数が $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の数を与える三変数母関数 $C(x,y,t)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の与えられた $\mathcal{H}$-層の次元は何か？
• RQ2 すべての $m,n$ に対して、$d$-次元 $\mathcal{H}$-層の数をどのように数え上げることができるか？
• RQ3 $n \to \infty$ のとき、$\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の漸近的割合は何か？
• RQ4 $m$, $n$, $d$ を用いた $d$-次元 $\mathcal{H}$-層の数に対する閉形式の母関数は存在するか？
• RQ5 $\mathcal{O}_q(M_{n,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の割合は $n \to \infty$ のとき収束するか？

主な発見

• $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $\mathcal{H}$-層の次元は、その $\mathcal{H}$-素数に関連するトーリック置換 $\tau = \sigma \omega^{-1}$ における奇数巡回の数に等しい。
• $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の数は、三変数母関数 $C(x,y,t)$ の $\frac{x^m}{m!}\frac{y^n}{n!}t^d$ の係数として与えられ、明示的に計算されている。
• $n \to \infty$ のとき、$\mathcal{O}_q(M_{m,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の割合は $a(d)/(m!2^m)$ に収束する。ここで $a(d) = [t^d](t+1)(t+3)\cdots(t+2m-1)$ である。
• $m=2,3,4,5$ のような小さい $m$ に対して、$h(m,n,d)$、つまり $d$-次元 $\mathcal{H}$-層の数の公式が明示的に導出され、既存の結果と一致する。
• 母関数 $C(x,y,t)$ は、第二種スターリング数とポッホハマー記号を含む有限和として表現され、Maple などの記号代数システムによる効率的な計算を可能にする。
• $n \to \infty$ のとき、$\mathcal{O}_q(M_{n,n}(\mathbb{K}))$ の $d$-次元 $\mathcal{H}$-層の割合の極限が存在することが示され、$a(d)/(n!2^n)$ であると予想されているが、正確な値は未解決のままである。