[논문 리뷰] Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

Jason P. Bell, Karel Casteels외 1명|arXiv (Cornell University)|2010. 09. 13.

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{H}$-스트라타의 차원에 대한 조합론적 기준을 규명하는 것.
• Bell과 Launois가 제기한 $n \to \infty$일 때 $d$-차원 $\mathcal{H}$-스트라타의 渐近 비율에 대한 추측을 해결하는 것.
• $m$, $n$, $d$에 대한 $d$-차원 $\mathcal{H}$-스트라타의 수를 담은 닫힌 형식의 생성함수를 수립하는 것.

제안 방법

• 각 $\mathcal{H}$-프라임을 Cauchon 다이어그램에 연결하여, 조합론적 격자 색칠 규칙을 통해 $\mathcal{H}$-스트라타를 매개화한다.
• Cauchon 다이어그램과 제한된 순열 $\sigma \in S_{m+n}$ 사이의 전단사 관계를 이용하며, 이는 $|\sigma(i) - i| \leq \max(m,n)$를 만족한다.
• 토릭 순열 $\tau = \sigma \omega^{-1}$를 정의한다. 여기서 $\omega$는 제한된 순열의 역 브뤼헤 순서에서 최대 원소이다.
• Cauchon 다이어그램 $D$로부터 유도된 반대칭 행렬 $M(D)$의 근공간 $\ker(M(D))$와 순열 $\mu$의 행렬 표현 $P_\mu$에 대한 $\ker(P_\sigma + P_\omega)$ 사이의 동형사상을 수립한다.
• $\dim(\ker(M(D)))$가 순열 $\tau$의 홀수 순환의 수와 같음을 보인다. 여기서 순환은 짝수 길이일 때 홀수 순환으로 간주된다.
• 삼변수 생성함수 $C(x,y,t)$를 유도하며, 이는 $\frac{x^m}{m!}\frac{y^n}{n!}t^d$의 계수로 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$의 $d$-차원 $\mathcal{H}$-스트라타의 수를 주어진다.

실험 결과

연구 질문

• RQ1 주어진 $\mathcal{H}$-스트라타의 $\mathcal{O}_q(M_{m,n}(\mathbb{K}))$에서의 차원은 무엇인가?
• 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)$는 스틸링 수의 제2종과 Pochhammer 기호를 포함하는 유한 합으로 표현되어, Maple과 같은 기호 대수 시스템을 통한 효율적 계산이 가능하다.
• $\mathcal{O}_q(M_{n,n}(\mathbb{K}))$에서 $d$-차원 $\mathcal{H}$-스트라타의 비율이 $n \to \infty$일 때 수렴함을 보였으며, 그 값은 $a(d)/(n!2^n)$로 추측되나 정확한 값은 아직 미해결이다.