[논문 리뷰] Combinatorial rules for three bases of polynomials

Colleen Ross, Alexander Yong|arXiv (Cornell University)|2013. 02. 01.

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

한 줄 요약

이 논문은 내림차순에 의해 정의된 대칭 블록을 통해 열쇠 다항식을 슈어 다항식으로 전개하는 조합론적 규칙을 제시하며, 특정 순열의 기약 단어를 형성하는 증가 테이블로의 전단사에 의해 비음성성을 증명한다. 또한 $\mathrm{GL}$-변형 열쇠 다항식 ($\mathrm{GL}$-변형 $\mathrm{GL}$-열쇠 다항식)과 그로텐디크 다항식에 대해 확장된 코헨베르트 이동을 사용한 유사한 규칙을 제안하며, 이는 이전의 슈버버트 및 슈어 다항식에 대한 결과를 일반화한다.

ABSTRACT

We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].

연구 동기 및 목표

• 내림차수 $\alpha$ 에서 정의된 대칭 블록을 통해 열쇠 다항식 $\kappa_{\alpha}$ 를 슈어 다항식으로 전개하는 조합론적 비음성 규칙을 수립한다.
• 코헨베르트 이동 프레임워크를 확장하여 열쇠 다항식의 $\gamma$-변형인 $\Omega_{\alpha}$ 에 대한 추측적 조합론적 규칙을 정의한다.
• 확장된 코헨베르트 이동을 사용하여 그로텐디크 다항식 ${\mathfrak{G}}_{w}$ 에 대한 새로운 조합론적 규칙을 제안하며, 이는 이전에 증명된 규칙과 다름을 가진다.
• 테이블 시퀀스를 통한 구조 상수의 비음성 정리로서 열쇠 다항식의 비음성성을 보여준다.
• 순열 코드와 에델만-그린 공식을 통해 대칭 및 비대칭 다항식 기저의 구조를 통합한다.

제안 방법

• 내림차수 $\alpha$ 에서 단항식에 델루르지 작용소가 작용함으로써 열쇠 다항식 $\kappa_{\alpha}$ 를 정의하며, $\kappa_{\alpha}$ 는 내림차수로 분리된 블록에서 대칭적이다.
• $\alpha$ 의 코드에 대응하는 순열 $w[\alpha]$ 를 사용하여 재귀적 내림차수 구성법을 통해 표준 증가 테이블 $T[\alpha]$ 를 정의한다.
• 에델만-그린 공식 $\text{EGLS}$ 를 사용하여 호환 가능한 수열 $({\bf a},{\bf i})$ 와 증가 테이블의 튜플 $(T_1,\dots,T_k)$ 사이의 전단사를 확립한다.
• 구조 상수 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 가 $T_i$ 의 연결된 행 단어가 $w[\alpha]$ 의 기약 단어를 형성하고, $\text{EGLS}$ 이미지가 $T[\alpha]$ 와 일치하는 테이블 튜플을 세는 것을 보여준다.
• 코헨베르트의 이동 규칙을 확장하여 열쇠 다항식의 $\gamma$-변형인 $\Omega_{\alpha}$ 에 대한 추측적 단항식 전개를 정의한다.
• 동일한 확장된 코헨베르트 이동을 사용하여 그로텐디크 다항식 ${\mathfrak{G}}_{w}$ 에 대한 새로운 규칙을 제안하며, 이는 문헌에 알려진 규칙과 다름을 가진다.

실험 결과

연구 질문

• RQ1 내림차수 블록을 통해 열쇠 다항식 $\kappa_{\alpha}$ 를 슈어 다항식으로 전개하는 데 있어 비음성 구조 상수를 가진 조합론적 규칙으로 기술할 수 있는가?
• RQ2 코헨베르트 이동 규칙을 일반화한 $\gamma$-변형 열쇠 다항식 $\Omega_{\alpha}$ 에 대해 조합론적 규칙이 존재하는가?
• RQ3 확장된 코헨베르트 이동을 기반으로 한 새로운 규칙을 사용하여 그로텐디크 다항식 ${\mathfrak{G}}_{w}$ 를 전개할 수 있는가, 이는 기존에 증명된 규칙과 다를 것인가?
• RQ4 구조 상수 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 는 특정 행 단어 및 형상 제약 조건을 만족하는 증가 테이블 시퀀스를 세는가?
• RQ5 $K$-이론적 열쇠 다항식 전개의 $K$-이론적 유사체가 비균형성에도 불구하고 유한하게 종료됨을 보일 수 있는가?

주요 결과

• 정리 1.1 은 열쇠 다항식 $\kappa_{\alpha}$ 를 슈어 다항식으로 전개할 때의 구조 상수 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 가 비음성 정수임을 보이며, 이는 특정 행 단어 및 최소 레이블 제약 조건을 만족하는 증가 테이블 시퀀스를 세는 것을 의미한다.
• 이 규칙은 [RS95, 정리 5(1)] 을 정밀화하며, 슈버터트 다항식의 분할 규칙 [BKTY04, 추론 3] 과도 호환되며, 열쇠 다항식에 대한 새로운 비음성 정리 제공한다.
• 이 증명은 호환 가능한 수열 $({\bf a},{\bf i})$ 와 테이블 튜플 $(T_1,\dots,T_k)$ 사이의 전단사 $\Phi$ 를 사용하며, 조건 ${\tt EGLS}({\bf a}) = T[\alpha]$ 는 $T_i$ 의 행 단어가 $w[\alpha]$ 의 기약 단어를 형성함을 보장한다.
• 모든 $f \in \text{Pol}$ 이 $J_{\alpha}$-기저로 전개될 때 유한함을 보여주는 바, Proposition 3.1 에서 $K$-코헨베르트 규칙 하에서 $J_{\alpha}$ 의 유한한 지지 집합으로 인해 성립한다.
• 논문은 그로텐디크 다항식 ${\mathfrak{G}}_{w}$ 가 확장된 코헨베르트 이동을 사용하는 새로운 규칙에 따라 $\Omega_{\alpha}$ 로 전개되며, 차수에 따라 부호가 교차함을 추측한다.
• 제안된 ${\mathfrak{G}}_{w}$ 의 규칙는 이전에 증명된 규칙들([FK94, L01, BKTY05, LRS06] 등)과 구조적으로 다름을 보이며, $K$-이론적 슈버터트 계산에 대해 새로운 조합론적 프레임워크를 제안한다.