[논문 리뷰] Coincident root loci and Jack and Macdonald polynomials for special values of the parameters

M. Kasatani, T. Miwa외 2명|ArXiv.org|2004. 04. 05.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 두 쌍의 변수가 같을 때 사라지는 대칭 다항식의 아이디얼에 대해 명시적인 선형 기저를 구성한다 (즉, 두 중복근을 가진다), Jack 다항식을 매개수 $\alpha = -2$ 를 사용하여 구성한다. Hilbert-Poincar\'e 급수를 유도하고 최소 차수의 생성자를 특정 Jack 다항식으로 식별하며, $t^2q=1$ 에서 Macdonald 다항식과 보간 Jack 다항식으로 결과를 확장한다.

ABSTRACT

We consider the coincident root loci consisting of the polynomials with at least two double roots andpresent a linear basis of the corresponding ideal in the algebra of symmetric polynomials in terms of the Jack polynomials with special value of parameter $α= -2.$ As a corollary we present an explicit formula for the Hilbert-Poincarè series of this ideal and the generator of the minimal degree as a special Jack polynomial. A generalization to the case of the symmetric polynomials vanishing on the double shifted diagonals and the Macdonald polynomials specialized at $t^2 q = 1$ is also presented. We also give similar results for the interpolation Jack polynomials.

연구 동기 및 목표

• 두 쌍의 변수가 같을 때 사라지는 대칭 다항식의 아이디얼을 기술하는 것, 이는 분할 $\mu = (2^2, 1^{n-4})$ 에 해당하는 일치하는 근 위치를 나타낸다.
• Jack 다항식을 사용하여 이 아이디얼에 대한 명시적인 선형 기저를 제공하며, $\alpha = -2$ 이고, 이는 단일 다중근에 대한 이전 결과를 일반화한다.
• Macdonald 다항식을 $t^2q=1$ 에서 사용하고 보간 Jack 다항식을 활용하여 $t$-대각선과 이동 대각선을 포함하는 관련 아이디얼의 프레임워크를 확장한다.
• 이 아이디얼의 Hilbert-Poincar\'e 급수를 계산하고 최소 차수의 생성자를 명시적으로 규명한다.
• 다른 분할 $\mu = (p^k, q^l)$ 에 대해 결과를 일반화하여 대칭함수 이론과 근 위치 기하학 사이의 넓은 연결 고리를 제안한다.

제안 방법

• 변수 $x_1 = x_2$ 와 $x_3 = x_4$ 일 때 사라지는 대칭 다항식의 아이디얼 $I_n$ 을 도입하고, $t$-대각선과 이동 대각선을 위한 관련 아이디얼 $J_n$ 과 $I_n^*$ 를 정의한다.
• Macdonald 다항식을 $q = t^{-2}$ 에서 특수화하여 $J_n$ 에 대한 기저를 구성하며, 대칭함수 이론과 이동 대각선에 대한 기존 결과를 활용한다.
• Macdonald 기저를 특수화 및 쌍대성에 의해 $I_n$ 과 $I_n^*$ 의 기저를 유도하며, $\alpha = -2$ 에서 Jack 다항식과 Macdonald 다항식 간의 연결 고리를 이용한다.
• Knop, Sahi, Okounkov, Olshanski 의 보간 Jack 다항식 이론을 적용하여 $I_n^*$ 와 $I_n$ 의 구조를 기술한다.
• Hilbert 급수 기법을 사용하여 아이디얼의 생성함수를 계산하며, 허용 가능한 분할과 그 무게의 구조에 의존한다.
• 그레이드 성분 간의 동형사상과 $q$-Pochhammer 곱의 몫을 이용하여 정확한 Hilbert-Poincar\'e 급수를 도출한다.

실험 결과

연구 질문

• RQ1 두 쌍의 변수가 같을 때 사라지는 대칭 다항식의 아이디얼의 구조는 무엇인가?
• RQ2 왜 개별 Jack 다항식이 부족할 때 $\alpha = -2$ 를 가진 Jack 다항식을 사용하여 이 아이디얼의 선형 기저를 구성할 수 있는가?
• RQ3 일치하는 두 중복근에 대해 아이디얼 $I_n$ 의 Hilbert-Poincar\'e 급수는 무엇인가?
• RQ4 결과는 $t^2q = 1$ 에서 Macdonald 다항식과 보간 Jack 다항식으로 어떻게 확장되는가?
• RQ5 아이디얼 $I_n$ 의 최소 차수 생성자는 무엇이며, 이는 이중근 조건을 가진 대칭다항식과 어떻게 관련이 있는가?

주요 결과

• 아이디얼 $I_n$ 의 Hilbert-Poincar\'e 급수는 $\mathrm{ch}\,I_n = \frac{q^{(n-1)(n-3)}}{(q)_1(q)_{n-3}} + \frac{q^{(n-2)(n-1)}}{(q)_1(q)_{n-2}} + \frac{q^{n(n-1)}}{(q)_n}$ 로 주어지며, 여기서 $(q)_s = \prod_{j=1}^s (1 - q^j)$ 이다.
• 아이디얼 $I_n$ 의 최소 차수 생성자는 차수 $M(n) = (n-1)(n-3) = n^2 - 4n + 3$ 를 가지며, $\theta = -\frac{1}{2}$ 과 분할 $\lambda = ((2n-5), (2n-7), \dots, 5, 3, 0, 0, 0)$ 을 가진 특정 Jack 다항식 $P_\lambda(x, \theta)$ 로 표현된다.
• 이 생성자는 스칼라 상수배를 제외하고는 $\mathrm{Symm} \prod_{j=4}^n (x_1 - x_j)(x_2 - x_j)(x_3 - x_j) \prod_{4 \leq k < l \leq n} (x_k - x_l)^2$ 와 일치하며, 이는 차수 $M(n)$ 을 가진다.
• 모든 $n=4$ 와 $n=5$ 에 대해 최소 차수는 각각 3과 8이며, Cayley 의 결과와 Magma 계산과 일치한다.
• 결과는 $q = t^{-2}$ 에서 Macdonald 다항식과 보간 Jack 다항식으로 일반화되며, 관련 아이디얼에 대한 통합된 프레임워크를 제공한다.
• 단일 근의 중복도 $p$ 인 경우의 최소 차수는 $M(n,p) = s(s-1)(p-1) + 2sr$ 이며, 여기서 $s = \lfloor n/(p-1) \rfloor$ 이고 $r = n \mod (p-1)$ 이며, 생성자는 $\theta = -1/(p-1)$ 에서의 Jack 다항식으로 주어진다.