[논문 리뷰] Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture

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

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

한 줄 요약

이 논문은 대칭 다항식과 단항식 조건으로 생성되는 아이디얼 $ I_{n,k} $ 에 의해 $ \mathbb{Q}[x_1,\dots,x_n] $ 의 몫으로 정의되는 일반화된 코인variant 대수 $ R_{n,k} $ 를 소개한다. 이 대수는 등급을 가진 $ \mathfrak{S}_n $-작용을 지닌다. 핵심 결과는 $ R_{n,k} $ 의 등급을 가진 프로베누스 급수(graded Frobenius series)가 델타 추측의 조합론적 측면의 $ t=0 $ 전문화와 일치한다는 것이다. 이는 이 전문화를 실현하는 첫 번째 명시적인 이중등급 $ \mathfrak{S}_n $-모듈을 제공한다.

ABSTRACT

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.

연구 동기 및 목표

• 고전적 코인variant 대수 $ R_n $ 을 $ k \leq n $ 인 새로운 이중등급 $ \mathfrak{S}_n $-모듈의 가닥 $ R_{n,k} $ 으로 일반화하여, 그 조합론적 및 대수적 성질을 유지하는 것.
• $ R_{n,k} $ 의 조합론이 $ [n] $ 을 $ k $ 개의 블록으로 나누는 순서 있는 집합 분할에 의해 지배됨을 입증하여, $ R_n $ 에서의 순열 기반 제어를 일반화하는 것.
• $ R_{n,k} $ 의 등급을 가진 프로베누스 급수가 델타 추측의 조합론적 측면의 $ t=0 $ 전문화와 일치함을 보여주어, 이 전문화와 관련된 핵심 열린 문제를 해결하는 것.
• $ I_{n,k} $ 의 축소 그뢰브너 기저를 제공하고, 아르틴 및 가르시아-스타턴트의 단항식 기저를 확장하며, $ R_{n,k} $ 의 힐베르트 급수를 계산하는 것.

제안 방법

• 다항식환 $ \mathbb{Q}[x_1,\dots,x_n] $ 에서의 관계 아이디얼 $ I_n $ 과 $ i = 1,\dots,n $ 에 대해 $ x_i^k $ 로 생성되는 아이디얼의 합으로서 아이디얼 $ I_{n,k} \subseteq \mathbb{Q}[x_1,\dots,x_n] $ 을 정의한다.
• 다항식환의 등급을 가진 $ \mathfrak{S}_n $-작용을 이어받는 몫환 $ R_{n,k} = \mathbb{Q}[x_1,\dots,x_n]/I_{n,k} $ 를 구성한다.
• $ R_{n,k} $ 의 힐베르트 급수가 $ [n]!_q $ 임을 증명하여, 고전적 $ R_n $ 경우를 일반화한다.
• 순서 있는 집합 분할의 블록 구조를 활용하여 아르틴 및 가르시아-스타턴트 기저를 새로운 설정으로 확장함으로써 $ R_{n,k} $ 의 단항식 기저를 구성한다.
• 사전순서 기준으로 $ I_{n,k} $ 의 축소 그뢰브너 기저를 계산하여, $ e_1,\dots,e_n $ 과 $ x_1^k,\dots,x_n^k $ 로 생성됨을 보인다.
• 대칭 함수 이론을 활용하여 $ R_{n,k} $ 의 등급을 가진 프로베누스 급수를 델타 추측의 조합론적 측면의 $ t=0 $ 전문화로 표현한다.

실험 결과

연구 질문

• RQ1 고전적 코인variant 대수 $ R_n $ 을 $ k < n $ 인 모듈의 가닥 $ R_{n,k} $ 으로 어떻게 일반화할 수 있으며, 핵심 대수적 및 표현론적 성질을 유지할 수 있는가?
• RQ2 $ R_{n,k} $ 의 구조를 지배하는 조합론적 대상은 무엇이며, $ k=n $ 인 경우 순열에 의해 일반화되는가?
• RQ3 $ R_{n,k} $ 의 등급을 가진 프로베누스 급수가 맥도널드 다항식 이론의 알려진 대칭 함수 표현식과 일치하는가? 특히 델타 추측과 관련하여?
• RQ4 $ R_{n,k} $ 가 델타 추측의 조합론적 측면의 $ t=0 $ 전문화를 이중등급 $ \mathfrak{S}_n $-모듈로 실현함을 보일 수 있는가?

주요 결과

• $ R_{n,k} $ 의 힐베르트 급수는 $ [n]!_q $ 이며, 고전적 $ R_n $ 의 결과를 일반화한다.
• 사전순서 기준으로 $ I_{n,k} $ 의 축소 그뢰브너 기저는 기본 대칭 함수 $ e_1,\dots,e_n $ 과 단항식 $ x_1^k,\dots,x_n^k $ 로 이루어져 있다.
• 순서 있는 집합 분할을 사용하여 $ k $ 개의 블록을 가진 기반을 구성함으로써, $ R_{n,k} $ 의 단항식 기저를 아르틴 및 가르시아-스타턴트 기저로부터 확장하였다.
• $ R_{n,k} $ 의 등급을 가진 프로베누스 급수는 약간의 변형을 제외하고 델타 추측의 조합론적 측면의 $ t=0 $ 전문화와 같다.
• 이로써 델타 추측의 $ t=0 $ 전문화를 실현하는 첫 번째 명시적 이중등급 $ \mathfrak{S}_n $-모듈이 제공된다.