[논문 리뷰] A Combinatorial Formula for the Character of the Diagonal Coinvariants

J. Haglund, Mark Haiman외 3명|ArXiv.org|2003. 10. 28.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 4

한 줄 요약

이 논문은 대칭 함수 $\nabla e_n(z)$에 대한 조합적 공식을 제안하며, 이는 대칭군 $S_n$-모듈로로서의 대각 코인바리언트 환 $R_n$의 특징을 쌍중으로 순서가 매겨진 방식으로 표현한다. 리본 표준표와 맥도널드 다항식 이론을 이용하여, 공식이 대칭적이고 슈어 양성임을 증명하며, 이는 주차 함수의 조합적 해석과 $q,t$-카탈란 수 및 슈뢰더 경로를 통한 $\nabla^m e_n(z)$의 $q,t$-해석을 지지하는 추측을 뒷받침한다.

ABSTRACT

Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as abla e_n, where e_n is the n-th elementary symmetric function, and abla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for abla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on abla e_n are special cases of our conjecture. Finally, we extend our conjectures on abla e_n and several of the results supporting them to higher powers abla^m e_n.

연구 동기 및 목표

• 대각 코인바리언트 환 $R_n$의 프로베니우스 특징, 즉 맥도널드 연산자 $\nabla$가 초등 대칭 함수 $e_n$에 작용한 결과인 $\nabla e_n(z)$에 대한 조합적 공식을 제공하는 것.
• 제안된 공식이 조합적 정의로부터 바로 드러나지 않는 대칭성과 슈어 양성이라는 성질을 만족함을 증명하는 것.
• 기존의 $q,t$-카탈란과 슈뢰더 경로 생성함수에 대한 결과를 확장하여, $\nabla^m e_n(z)$에 대한 공식을 일반화하는 것.
• 기존의 $\nabla e_n(z)$에 대한 추측, 특히 $C_n(q,t)$에 대한 가르시아-헤글런드 공식과 $R_n$의 힐버트 급수 ${\rm Hilb}(R_n;q,t)$에 대한 헤글런드-로엘 추측을 통합하고 확장하는 것.
• 카즈단-루스티그 다항식과 펠리스티즘 대체를 포함한 맥락에서 $q,t$-대칭성과 특수화 항등식에 관련된 열린 문제를 탐색하는 것.

제안 방법

• 저자들은 $\nu$를 $n$의 분할, $\nu^{(0)}$를 더 작은 분할로 하고, $d_{\text{inv}}^m$ 통계량에 기반한 가중치를 갖는 비어 있는 형상 $\nu/\nu^{(0)}$ 위의 반표준 표준표를 이용하여 조합적 공식 $D_n(z;q,t)$를 정의한다.
• 라스코우, 레클레르, 티본이 개발한 리본 표준표 생성함수 이론을 활용하여, 리본 표준표의 생성함수가 $q,t$에 대해 대칭이므로 공식이 대칭임을 증명한다.
• 슈어 양성은 카즈단-루스티그 다항식에 대한 해석을 통해 확립되며, [20]에서처럼, 비록 직접적인 조합적 해석은 열려 있다.
• $\nabla^m e_n(z)$로의 공식 확장을 위해 표준표 위의 일반화된 $d_{\text{inv}}^m$ 통계량을 사용하며, $m=1$일 때 $D_n(z;q,t)$로 축소되는 공식 $D_n^{(m)}(z;q,t)$를 제안한다.
• 저자들은 공식이 중요한 항등식을 만족함을 증명한다. 예를 들어 특수한 경우에 $D_n(z;q,t) = D_n(z;t,q)$이고, $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$이며, 이는 $t=q^{-1}$에서 $\nabla^m e_n(z)$의 알려진 평가와 일치한다.
• 표준표의 열형태로 된 시퀀스 $\boldsymbol{\nu}$의 원소와 비어 있는 형상 $(\nu + (1^n))/\nu$의 셀 사이에 이분법을 구성하며, 내용 오프셋을 $mn+1$ 모듈로로 정의하여 $d_{\text{inv}}^m$ 통계량이 조정된 셀의 내용 차이와 등가임을 밝힌다.

실험 결과

연구 질문

• RQ1 제안된 조합적 공식 $D_n(z;q,t)$가 $q$와 $t$에 대해 대칭적인가?
• RQ2 공식은 슈어 양성인가? 즉, 슈어 함수의 음이 아닌 정수 계수 조합으로 전개되는가?
• RQ3 $\nabla^m e_n(z)$에 대한 일반화된 공식 $D_n^{(m)}(z;q,t)$가 알려진 특수화 항등식, 예를 들어 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$를 만족하는가?
• RQ4 $D_n(z;q,t)$가 조합적 증명이 없더라도 $q,t$-대칭성 $D_n(z;q,t) = D_n(z;t,q)$를 만족하는가?
• RQ5 $D_n^{(m)}(z;q,t)$의 슈어 양성을 조합적으로 증명할 수 있는가, 아니면 카즈단-루스티그 다항식에 의한 대체 해석에 국한되는가?

주요 결과

• 제안된 공식 $D_n(z;q,t)$는 라스코우, 레클레르, 티본의 리본 표준표 생성함수 이론을 이용하여 $q$와 $t$에 대해 대칭임을 증명하였다.
• 공식은 슈어 양성이며, 슈어 기저에 대한 전개에서 계수가 $\natnum[q,t]$에 속함을 의미한다. 이는 카즈단-루스티그 다항식 해석을 통해 유도되는 비자명한 성질이다.
• 공식은 가르시아-헤글런드의 $C_n(q,t) = \braket{\nabla e_n, e_n}$에 대한 공식, 헤글런드-로엘의 $R_n$의 힐버트 급수 ${\rm Hilb}(R_n;q,t) = \braket{\nabla e_n, e_1^n}$에 대한 추측, 그리고 슈뢰더 경로를 통한 $\braket{\nabla e_n, h_d e_{n-d}}$에 대한 추측을 일반화한다.
• 높은 거듭제곱에 대해서는 공식 $D_n^{(m)}(z;q,t)$가 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$를 만족할 것이라 추측하며, 이는 $t=q^{-1}$에서 $\nabla^m e_n(z)$의 알려진 평가와 일치한다.
• $d_{\text{inv}}^m$ 통계량이 표준표에서 조정된 내용 차이 조건을 $mn+1$ 모듈로로 등가임을 보여주며, 표준표와 비어 있는 형상의 셀 사이에 역행성의 이분법을 확립하여 역행성 통계량을 유지한다.
• $D_n^{(m)}(z;q,t)$는 특수한 경우에 $q \to t$, $t \to q$에 대해 대칭임을 증명하였으며, $q,t$-대칭성은 특수화 항등식의 강력한 증거에도 불구하고 여전히 열린 문제로 남아 있다.