[논문 리뷰] Ordered set partitions and the 0-Hecke algebra

Jia Huang, Brendon Rhoades|arXiv (Cornell University)|2016. 11. 04.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 6

한 줄 요약

이 논문은 헤글런드, 로아즈, 시모조노가 정의한 $R_{n,k}$ 몫환의 0-헤케 대수 버전을 제안한다. $ℝ[\mathbf{x}_n]$의 새로운 몫 $S_{n,k}$를 정의하여 $H_n(0)$의 계급화된 작용을 지닌다. 주요 결과는 $S_{n,k}$의 0-헤케 특성치가 고전적 $R_{n,k}$의 계급화된 프로베니우스 특성치와 일치한다는 것으로, 대칭군과 0-헤케 모듈 구조 간의 깊이 있고 놀라운 연결고리를 드러낸다.

ABSTRACT

Let the symmetric group $\mathfrak{S}_n$ act on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The coinvariant algebra is the graded $\mathfrak{S}_n$-module $R_n := {\mathbb{Q}[\mathbf{x}_n]} / {I_n}$, where $I_n$ is the ideal in $\mathbb{Q}[\mathbf{x}_n]$ generated by invariant polynomials with vanishing constant term. Haglund, Rhoades, and Shimozono introduced a new quotient $R_{n,k}$ of the polynomial ring $\mathbb{Q}[\mathbf{x}_n]$ depending on two positive integers $k \leq n$ which reduces to the classical coinvariant algebra of the symmetric group $\mathfrak{S}_n$ when $k = n$. The quotient $R_{n,k}$ carries the structure of a graded $\mathfrak{S}_n$-module; Haglund et. al. determine its graded isomorphism type and relate it to the Delta Conjecture in the theory of Macdonald polynomials. We introduce and study a related quotient $S_{n,k}$ of $\mathbb{F}[\mathbf{x}_n]$ which carries a graded action of the 0-Hecke algebra $H_n(0)$, where $\mathbb{F}$ is an arbitrary field. We prove 0-Hecke analogs of the results of Haglund, Rhoades, and Shimozono. In the classical case $k = n$, we recover earlier results of Huang concerning the 0-Hecke action on the coinvariant algebra.

연구 동기 및 목표

• 대칭군 작용에서 0-헤케 대수 작용으로 $R_{n,k}$ 몫환 구성 기법을 확장한다.
• 임의의 체 $ℝ$에 대해 0-헤케 대수 $H_n(0)$ 작용에 대해 안정적인 새로운 몫 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$를 정의한다.
• 헤글런드, 로아즈, 시모조노의 $R_{n,k}$ 모듈에 대한 결과들에 대한 0-헤케 대응판을 증명한다.
• 0-헤케 작용 하에서 $S_{n,k}$와 고전적 코인variants 대수 $R_n$ 사이의 구조적 및 표현론적 유사성을 탐색한다.
• identicality $\mathrm{Ch}_t(S_{n,k}) = \mathrm{grFrob}(R_{n,k};t)$의 신비를 풀기 위해 개념적 설명을 제안한다.

제안 방법

• 고전적 $R_{n,k}$에 사용된 이상 $I_{n,k}$의 0-헤케 대응판으로서, 0-헤케 대수 작용에 대해 안정적인 새로운 동차 이상 $J_{n,k} \subseteq \mathbb{F}[\mathbf{x}_n]$를 정의한다.
• 0-헤케 대수 $H_n(0)$-모듈로서의 계급화된 작용을 갖는 몫환 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$를 구성한다.
• 0-헤케 특성치 $\mathrm{Ch}_t(S_{n,k})$가 계급화된 프로베니우스 특성치 $\mathrm{grFrob}(R_{n,k};t)$와 일치함을 증명하여 핵심 항등식을 확립한다.
• 일반화된 가르시아-스타턴 단항식과 순서 있는 집합 분할과 같은 조합 기반 기저를 사용하여 $S_{n,k}$의 구조를 분석한다.
• 델타 추측과 쿼asi-대칭 함수를 연결하여 $S_{n,k}$를 대칭 함수 이론과 연관시킨다.
• 구성법을 다른 반사군으로 일반화하고 스프링거 피브어 코homology 대수에 대한 0-헤케 안정 이상 정의 가능성 탐색.

실험 결과

연구 질문

• RQ1 0-헤케 대수의 $R_{n,k}$ 몫환은 무엇이며, 고전적 코인variants 대수를 어떻게 일반화하는가?
• RQ2 왜 $S_{n,k}$의 0-헤케 특성치는 정확히 $R_{n,k}$의 계급화된 프로베니우스 특성치와 일치하는가? 이 항등식의 개념적 설명은 무엇인가?
• RQ3 타니아키 이상 $I_\lambda$는 어떻게 수정되어 0-헤케 안정 몫 $\mathbb{F}[\mathbf{x}_n]/J_\lambda$를 정의할 수 있으며, 그 특성치가 쌍대 할-리틀우드 다항식 $Q'_\lambda(\mathbf{x};t)$와 일치하는가?
• RQ4 $S_{n,k}$에 대한 0-헤케 작용은 순서 있는 집합 분할의 조합론과 델타 추측과 어떻게 관련되어 있는가?
• RQ5 $S_{n,k}$의 구성은 $ℝ_n$ 이외의 복소 반사군으로 확장될 수 있는가?

주요 결과

• 몫 $S_{n,k} = \mathbb{F}[\mathbf{x}_n]/J_{n,k}$는 $J_{n,k}$가 $I_{n,k}$의 0-헤케 대응판으로서 0-헤케 안정 이상이므로 계급화된 $H_n(0)$-모듈이다.
• 0-헤케 특성치 $\mathrm{Ch}_t(S_{n,k})$는 $\mathrm{grFrob}(R_{n,k};t)$와 일치하며, 이는 대칭군의 $R_{n,k}$ 프로베니우스 특성치와 일치하는 놀랍고 깊이 있는 항등식이다.
• 만일 $k = n$이라면, 이 구성은 황이 고전적 코인variants 대수 $R_n$에 대한 0-헤케 작용에 대해 이전의 결과를 회복한다.
• $S_{n,k}$의 차원은 $k! \cdot \mathrm{Stir}(n,k)$이며, 이는 $[n]$을 $k$개의 블록으로 나누는 순서 있는 집합 분할의 수와 일치한다. 이 모듈은 무계급 $H_n(0)$-모듈로서 $\mathcal{OP}_{n,k}$ 위의 순열 모듈과 동형이다.
• 0-헤케 모듈 $S_{n,k}$는 $R_{n,k}$의 가르시아-스타턴 기저와 유사한 단항식 기저를 갖는다. 이 기저는 순열과 순서 있는 집합 분할에 의해 인덱싱된다.
• 항등식 $\mathrm{Ch}_t(S_{n,k}) = \mathrm{grFrob}(R_{n,k};t)$는 아직 개념적으로 설명되지 않았으며, 대칭군과 0-헤케 표현 간의 더 깊은 대칭 또는 조합적 이중성의 가능성을 시사한다.