[논문 리뷰] Compositional (km,kn)-Shuffle Conjectures

François Bergeron, Adriano M. Garsia외 2명|arXiv (Cornell University)|2014. 04. 17.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 20

한 줄 요약

이 논문은 $k > 1$ 이고 $(m,n)$ 이 서로소일 때 쌍 $(km, kn)$ 에 대한 Gorsky-Negut 셔플 추측의 조합적 확장인 것을 제안한다. 원래의 셔플 추측을 일반화한다. $ abla$-연산자와 유리 정수 주차 함수, 유리 다이크 경로 등의 조합적 구조를 사용하는 대칭 함수 프레임워크를 도입하여, 다변수 로랑 다항식에서의 상수항 추출이 NE-경로에 대한 $t^{\text{area}} q^{\text{dinv}}$ 의 생성함수를 얻는다는 것을 보이며, 핵심 결과는 대칭 함수와 유리 다이크 경로를 연결하는 추측적 항등식이다.

ABSTRACT

In 2008, Haglund, Morse and Zabrocki formulated a Compositional form of the Shuffle Conjecture of Haglund et al. In very recent work, Gorsky and Negut by combining their discoveries with the work of Schiffmann-Vasserot on the symmetric function side and the work of Hikita and Gorsky-Mazin on the combinatorial side, were led to formulate an infinite family of conjectures that extend the original Shuffle Conjecture of Haglund et al. In fact, they formulated one conjecture for each pair (m,n) of coprime integers. This work of Gorsky-Negut leads naturally to the question as to where the Compositional Shuffle Conjecture of Haglund-Morse-Zabrocki fits into these recent developments. Our discovery here is that there is a compositional extension of the Gorsky-Negut Shuffle Conjecture for each pair (km,kn), with (m,n) co-prime and k > 1.

연구 동기 및 목표

• Haglund-Morse-Zabrocki의 조합적 셔플 추측을 서로소가 아닌 쌍 $(km, kn)$ 이며 $k > 1$ 인 경우로 확장한다.
• 최근의 대칭 함수, 유리 다이크 경로, 타원형 홀 장대의 이론을 조합적 프레임워크를 통해 통합한다.
• $(km,kn)$-격자에서의 유리 정수 주차 함수에 대한 $t^{\text{area}} q^{\text{dinv}}$ 생성함수를 생성하는 추측적 상수항 항등식을 제시한다.
• 유리 셔플 대수의 맥락에서 Gorsky-Negut 추측의 대칭 함수 이론적 해석을 제공한다.

제안 방법

• 다변수 로랑 다항식 $\frac{\bar{\boldsymbol{\theta}}[\boldsymbol{z}]}{\boldsymbol{z}_\nu}$ 에서 $(km,kn)$-격자 내의 $\nabla$-연산자와 유리 다이크 경로 $\nu$ 를 포함시켜 제안한다.
• $(km,kn)$-기반의 $\text{SL}_2[\bbZ]$-작용과 $\boldsymbol{Q}$-연산자들을 사용하여 대칭 함수 항등식을 유도한다.
• 유리 함수의 곱 $\frac{1}{1-qtz_i/z_{i+1}}$ 와 $\frac{1}{1-\theta(-Mz_i/z_j)}$ 에서 상수항을 추출하여 경로 통계량을 분리한다.
• 경로 분해와 대각선 비교를 통해 유리 정수 주차 함수에 대한 조합적 통계량 $\text{area}(\nu)$ 와 $\text{dinv}(\nu)$ 를 정의한다.
• NE-경로 $\nu \geq \gamma$ 에 대한 합으로 표현되는 추측적 항등식(추측 6.1)을 설정하며, 이는 $t^{\text{area}(\nu/\gamma)} q^{\text{dinv}(\nu)}$ 를 가중치로 갖는다.
• 컴퓨터로 검증된 자료와 서로소 경우와의 구조적 유사성을 바탕으로 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 서로소인 경우 $(m,n)$ 에서의 조합적 셔플 추측을 $k > 1$ 인 비서로소 쌍 $(km, kn)$ 으로 어떻게 확장할 수 있는가?
• RQ2 $(km,kn)$-격자 내의 유리 다이크 경로에 대한 $t^{\text{area}} q^{\text{dinv}}$ 생성함수의 배경이 되는 대칭 함수 연산자 체계는 무엇인가?
• RQ3 $\prod_{1\leq i<j\leq n} \Omega[-Mz_i/z_j]$ 요소가 상수항 항등식에서 $q^{\text{dinv}}$ 통계량을 어떻게 반영하는가?
• RQ4 다변수 시리즈에서의 상수항 추출이 유리 정수 주차 함수의 합으로 해석될 수 있는가? 이 경우 면적과 $\text{dinv}$ 통계량이 포함되는가?
• RQ5 $\text{SL}_2[\bbZ]$-작용은 $(km,kn)$-셔플 추측의 대칭 함수 항등식을 정리하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 원래의 HHLRU 셔플 추측을 비서로소 격자 크기로 일반화한 조합적 $(km,kn)$-셔플 추측을 제안한다.
• 핵심 추측적 항등식(6.42)는 다변수 로랑 다항식의 상수항이 $\nu \geq \gamma$ 인 NE-경로에 대한 합으로 표현되며, $t^{\text{area}(\nu/\gamma)} q^{\text{dinv}(\nu)}$ 를 가중치로 갖는다. 이 때 $\text{dinv}$ 는 대각선 비교를 통해 정의된다.
• 상수항 추출 기법이 단항식 분해와 경로 분해를 통해 자연스럽게 $t^{\text{area}}$ 와 $q^{\text{dinv}}$ 가중치를 생성한다는 것이 입증되었다.
• 이 프레임워크는 $ abla$-연산자가 $(km,kn)$-설정에서의 유리 정수 주차 함수의 생성함수로 작용한다는 아이디어를 뒷받침한다.
• 추측은 광범위한 컴퓨터 검증과 서로소 경우와의 구조적 일致성에 의해 지지된다.
• $\boldsymbol{Q}$-연산자와 $\text{SL}_2[\bbZ]$-작용의 포함은 유리 셔플 추측의 배경에 더 깊은 대수적 구조가 존재한다는 것을 시사한다.