[논문 리뷰] Hall-Littlewood expansions of Schur delta operators at $t = 0$

James Haglund, Brendon Rhoades외 1명|arXiv (Cornell University)|2018. 01. 24.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 19

한 줄 요약

이 논문은 임의의 분할 $\nu$에 대해 $\omega\Delta'_{s_\nu}e_n$의 Hall-Littlewood 전개를 계산하여 $t=0$에서의 Delta 추측에 대한 새로운 대수적 증명을 제공한다. 이 전개는 $n$의 분할 중 $k$개의 부분을 가지는 $\mu$에 대한 합으로 표현되며, $q^{\overline{b}(\mu)}\binom{k}{m(\mu)}_q$에 의해 가중지수화되고 이중 Hall-Littlewood 기저 $Q'_\mu$와 곱해진다. 결과는 대칭군 표현의 $\mathrm{Hom}$-공간을 통해 해석되어, $t=0$에서의 추측에 대한 새로운 기하학적 및 표현론적 이해를 제공한다. 이 작업은 이전 결과를 일반화하며, 기울인 연산자와 초함수 변환을 사용한 새로운 접근법을 제시한다.

ABSTRACT

For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.

연구 동기 및 목표

• 대칭 함수 이론과 Hall-Littlewood 기저를 사용하여 $t=0$에서의 Delta 추측에 대한 새로운 대수적 증명을 제공하는 것.
• $\omega C_{n,k}$의 알려진 전개를 $\nu = (1^{k-1})$의 경우를 초월하여 임의의 슈어 함수 $s_\nu$로 일반화하는 것.
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$를 대칭군 모듈의 $\mathrm{Hom}$-공간의 등급화된 프로베니우스 특성으로 표현론적으로 해석하는 것.
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$의 대칭 함수와 플래그 유사 다양체 $X_{n,k}$의 Borel-Moore 호모로지 사이의 기하학적 연결 고리를 설정하는 것.

제안 방법

• 대칭 함수의 환 $\Lambda$에서의 기울인 연산자 $e_j^\perp$를 사용하여 $\Delta'_{s_\nu}$의 작용을 다루는 것.
• ${}_3\phi_2$-초함수 변환을 활용하여 유도된 대칭 함수 표현을 단순화하고 평가하는 것.
• 모든 분할 $\nu$에 대해 $\omega\Delta'_{s_\nu}e_n|_{t=0}$의 Hall-Littlewood 전개를 이중 Hall-Littlewood 함수 $Q'_\mu$로 계산하는 것.
• 유도된 대칭 함수를 $\mathfrak{S}_n$-모듈의 $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$의 프로베니우스 특성으로 식별하는 것. 여기서 $W_{n,m}$은 등급화된 $\mathfrak{S}_n$-모듈이다.
• 포incare 쌍대성과 Borel-Moore 호모로지를 활용하여 코homology 링 $R_{n,k}$의 반전을 $\widetilde{R}_{n,k} \cong \mathbb{Q} \otimes \overline{H}_\bullet(X_{n,k})$로 해석하는 것.
• 등급화된 $\mathfrak{S}_n$-작용을 갖는 $\mathbb{C}^k$에서의 $n$개의 직선의 $n$-튜플이 $\mathbb{C}^k$를 생성하는 다양체 $X_{n,k}$를 구축하여 호모로지를 모듈로로 실현하는 것.

실험 결과

연구 질문

• RQ1 $t=0$에서의 $\omega\Delta'_{s_\nu}e_n$의 Hall-Littlewood 전개는 임의의 분할 $\nu$에 대해 무엇인가요?
• RQ2 조합적 통계 대신 대칭 함수 기법과 초함수 항등식을 사용하여 $t=0$에서의 Delta 추측을 재증명할 수 있을까요?
• RQ3 대칭군 $\mathfrak{S}_n$의 표현론적으로 $\omega\Delta'_{s_\nu}e_n|_{t=0}$는 어떻게 해석될 수 있나요?
• RQ4 그러한 코homology가 $\omega\Delta'_{s_\nu}e_n|_{t=0}$의 프로베니우스 특성을 실현하는 기하학적 다양체 $X_{n,\nu}$가 존재할 수 있을까요?
• RQ5 코homology 링의 반전 작용이 대칭 함수와 Borel-Moore 호모로지 사이의 연결 고리에서 어떤 역할을 하나요?

주요 결과

• 논문은 임의의 분할 $\nu$에 대해 $\omega\Delta'_{s_\nu}e_n|_{t=0} = \sum_{\mu \vdash n, \ell(\mu)=k} q^{\overline{b}(\mu)} \binom{k}{m(\mu)}_q Q'_\mu$임을 입증하며, 이는 이전 결과를 일반화한다.
• 이 결과는 $t=0$에서의 Delta 추측에 대한 새로운 대수적 증명을 제공하며, 대칭 함수 항등식과 초함수 변환을 통해 $\Delta'_{e_{k-1}}e_n|_{t=0} = C_{n,k}$를 확인한다.
• $\omega\Delta'_{s_\nu}e_n|_{t=0}$가 $\mathrm{Hom}_{{\mathfrak{S}}_n}(S^\nu, W_{n,m})$의 등급화된 프로베니우스 특성과 같다는 것이 입증되었으며, 여기서 $W_{n,m}$은 반전된 코homology 링의 텐서곱의 직합이다.
• $R_{n,k} = \mathbb{Q}[x_1,\dots,x_n]/I_{n,k}$는 $H^\bullet(X_{n,k})$로 식별되며, 포incare 쌍대성을 통해 그 반전 $\widetilde{R}_{n,k}$는 Borel-Moore 호모로지 $\overline{H}_\bullet(X_{n,k})$와 동형이다.
• $\mathbb{C}^k$에서의 $n$개의 직선이 $\mathbb{C}^k$를 생성하는 $n$-튜플로 구성된 기하학적 모델 $X_{n,k}$는 $\mathfrak{S}_n$-작용을 갖는다. 이에 따라 그 호모로지는 Delta 추측의 대칭 함수 측면의 모듈 구조를 실현한다.
• 이 작업은 일반적인 다양체 $X_{n,\nu}$를 구성하기 위한 프레임워크를 제공하며, 그 호모로지는 $\omega\Delta'_{s_\nu}e_n|_{t=0}$를 프로베니우스 특성으로 실현할 수 있다. 이는 플래그 다양체 모델을 임의의 $\nu$로 일반화하는 데 기여한다.