[논문 리뷰] Singular polynomials for the symmetric groups

Charles F. Dunkl|ArXiv.org|2004. 03. 16.

Mathematical Analysis and Transform Methods참고 문헌 7인용 수 6

한 줄 요약

이 논문은 대칭군의 음의 유리수 매개수 $\kappa = -\frac{m}{n}$에서 $S_N$-모듈로의 비가역 다항식을 구성한다. 여기서 $2 \leq n \leq N$ 이고 $\frac{m}{n} \notin \mathbb{Z}$ 이다. 각 모듈로의 이소타입은 $\left(n-1, (n_1-1)^l, \rho\right)$로 식별되며, $n_1 = n/\gcd(m,n)$ 이다. 덱루 연산자의 작용에 대한 명시적 공식과 $N$에 대한 극의 의존성을 분석하는 방법을 제공하며, 표현 이론 분석을 위해 머피 원소를 사용한다.

ABSTRACT

For certain negative rational numbers k, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter equals k. It was shown by the author, de Jeu and Opdam (Trans. Amer. Math. Soc. 346 (1994), 237-256) that the singular values are exactly the values -m/n with 2 <= n <= N, m = 1,2,... and m/n is not an integer. This paper constructs for each pair (m,n) satisfying these conditions an irreducible S_N-module of singular polynomials for the singular value -m/n. The module is of isotype (n-1,(n1-1)^p,r) where n1 = n/gcd(m,n), r = N-n+1-p(n1-1) and 1 <= r <= n1-1 (thus defining p). The singular polynomials are special cases of nonsymmetric Jack polynomials. The paper presents some formulae for the action of Dunkl operators on these polynomials valid in general, and a method for showing the dependence of poles (in the parameter) on the number of variables (N). Murphy elements are used to analyze the representation of S_N on irreducible spaces of singular polynomials.

연구 동기 및 목표

• 대칭군에서 특이값 $\kappa = -\frac{m}{n}$에서 비가역 다항식의 명시적 비가역 $S_N$-모듈로를 구성하는 것.
• 이러한 비가역 다항식으로 생성된 비가역 $S_N$-모듈로의 이소타입을 $m$, $n$, $N$의 함수로 결정하는 것.
• 비가역 다항식 위에서 덱루 연산자의 작용에 대한 공식을 제공하고, 매개수 $\kappa$에서의 극의 구조를 분석하는 것.
• 머피 원소를 사용하여 $S_N$의 비가역 다항식 공간 위의 표현을 분석하고, 그들의 준정규 구조를 확립하는 것.

제안 방법

• 특성 $\lambda$로부터 유도된 $m$, $n$, $N$에 대한 조합에 관련된 비대칭 잭 다항식의 특수한 경우로 비가역 다항식을 구성한다.
• 이소타입 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$를 정의하며, 여기서 $n_1 = n/\gcd(m,n)$, $l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$, $= (N+1-n) - l(n_1-1)$ 이다.
• 단항식 위에서 덱루 연산자 $\mathcal{D}_i$의 작용을 사용하고, 곱의 법칙을 적용하여 $\kappa = \kappa_0$일 때 모듈로 $M_\tau$가 $\mathcal{D}_i$에 대해 닫혀 있음을 보여준다.
• 머피 원소를 사용하여 기저 $\{\zeta_{w\lambda}^x : w \in E_\tau\}$ 위에서 $S_N$의 준정규 표현을 실현하며, 모듈로가 표현 $\tau$에 따라 변환됨을 증명한다.
• 덱루 연산자의 작용에서 $\kappa$의 의존성에 대해 $N$의 변수 수에 따라 추적함으로써 극의 의존성을 분석한다.
• 이소타입 $\tau$의 비가역 다항식을 라벨링하기 위해 분할 $\lambda$의 역순 래티스 순열을 사용한다.

실험 결과

연구 질문

• RQ1 어느 음의 유리수 값 $\kappa = -\frac{m}{n}$에서 모든 덱루 연산자에 의해 영이 되는 비가역 다항식이 존재하는가?
• RQ2 특이값 $\kappa = -\frac{m}{n}$에서 비가역 다항식으로 생성된 $S_N$-모듈로의 이소타입 $\tau$는 무엇인가?
• RQ3 주어진 $\kappa$에 대해 덱루 연산자의 작용에서 극이 변수 수 $N$에 따라 어떻게 의존하는가?
• RQ4 머피 원소를 사용하여 $S_N$의 비가역 다항식 공간 위의 표현을 완전히 특성화할 수 있는가?
• RQ5 주어진 $\kappa_0$에서 모든 비가역 다항식을 일반적으로 구성할 수 있는 방법이 있으며, 특정 조건 하에서 유일성이 확립될 수 있는가?

주요 결과

• 특이값 $S_N$는 정확히 $\kappa = -\frac{m}{n}$이며, 여기서 $2 \leq n \leq N$, $m \in \mathbb{N}$, $\frac{m}{n} \notin \mathbb{Z}$ 이다.
• 각 $\kappa_0 = -\frac{m}{n}$에 대해, 이소타입 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$인 비가역 $S_N$-모듈로가 존재한다. 여기서 $n_1 = n/\gcd(m,n)$, $l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$, $\rho = (N+1-n) - l(n_1-1)$ 이다.
• 비가역 다항식은 비대칭 잭 다항식의 특수한 경우이며, 그 구조는 조합 $\lambda = \Lambda(n_1-1, d-1, l, \rho, m_1)$에 의해 완전히 결정된다. 여기서 $d = \gcd(m,n)$, $m_1 = m/d$, $n_1 = n/d$ 이다.
• 모듈로 $M_\tau = \mathrm{span}_{\mathbb{P}}\{\zeta_{w\lambda}^x : w \in E_\tau\}$는 $\kappa = \kappa_0$일 때 $\mathcal{D}_i$와 $S_N$의 작용에 대해 닫혀 있으며, 이는 유리 체인버니크 대수 $\mathbf{A}$의 모듈로를 이룬다.
• $\{\zeta_{w\lambda}^x\}$ 기저 위에서 $S_N$의 작용은 준정규 표현과 동형이며, 머피 원소와 역순 래티스 순열의 구조를 통해 확인된다.
• 논문은 주어진 $(m,n)$ 쌍에 대해 이소타입 $\tau$와 라벨링 $\lambda$를 계산하는 완전한 알고리즘을 제공하며, $m$, $n$, $N$에 대한 $l$, $\rho$, $\lambda$에 대한 명시적 공식을 제공한다.