[논문 리뷰] Symmetric polynomials vanishing on the diagonals shifted by roots of unity

Boris Feigin, M. Jimbo외 3명|ArXiv.org|2002. 09. 11.

Advanced Mathematical Identities참고 문헌 2인용 수 4

한 줄 요약

이 논문은 $k+1$와 $r-1$가 서로소일 때, 단위근으로 이동된 대각선에서 0이 되는 대칭 다항식을 특성화한다. $r-1$-희박한 분할과 허용 가능한 분할을 사용하여 매크도날 다항식을 이용해 명시적 기저를 구성하고, $b_n^{(k)}(v^{r-1})$와 희박한 분할에 대한 생성함수를 포함하는 곱공식을 통해 공간의 특성치를 유도한다.

ABSTRACT

For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1.

연구 동기 및 목표

• 주어진 조건에서 $x_i = t q^{s_i} x_{i-1}$ 형태의 대각선에서 0이 되는 $n$개의 변수에 대한 대칭 다항식 공간을 기술하는 것.
• $\gcd(k+1, r-1) = 1$ 조건 하에서 이 공간에 대한 명시적 기저를 구성하는 것.
• 이러한 대칭 다항식 공간의 특성치 $\chi_{k,r}(z,v)$ 를 계산하는 것.
• 잭 극한을 통해 $W_k$ 대칭대수 최소급 수열 $(k+1, k+r)$ 의 표현 이론과의 연결 고리를 설정하는 것.
• [FJMM2]의 일반적인 $u$-경우 결과를 $u$가 $(k+1)(r-1)$차 단위근일 때의 단위근 설정으로 일반화하는 것.

제안 방법

• $t^{k+1} = 1$, $q^{r-1} = 1$, $t$, $q$가 각각 순서 $k+1$, $r-1$의 단위근일 때, $\mathcal{S}_{r-1}(q,t) = \{t, tq, \dots, tq^{r-2}\}$ 를 휠 집합으로 정의한다.
• $q = u^{-(k+1)}$, $t = u^{r-1}$, $u$가 $(k+1)(r-1)$차 단위근일 때 매크도날 다항식 $P_\lambda(x;q,t)$ 를 사용한다.
• 각 부분이 최대 $r-1$번 나타나는 분할을 $r-1$-희박한 분할로 정의한다.
• $t^{k+1} = 1$, $q^{r-1} = 1$ 이며 $x_2 = t x_1, \dots, x_{k+1} = t q^{k} x_k$, $x_1 = t q^{k} x_{k+1}$ 를 만족하는 $k+1$-튜플에서 0이 되는 대칭 다항식의 공간을 $F_n^{(k,r)}$ 로 정의한다.
• $f_\lambda = \mathcal{F}(\tilde{f}_\lambda)$ 를 통해 $F_n^{(k,2)}$ 에서의 함수를 $F_n^{(k,r)}$ 로 올리는 데 푸리에우스 호모모르피즘 $\mathcal{F}$ 를 적용한다.
• 매크도날 연산자 $D_n(X;q,\tilde{t})$ 를 사용하여 특정 변환 하에서 0이 되는 조건이 유지됨을 확인하고, 이는 서로 다른 $\lambda$ 에 대해 고유값 분리 기법을 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 $\gcd(k+1, r-1) = 1$ 일 때, 단위근으로 이동된 대각선에서 0이 되는 대칭 다항식 공간의 구조는 어떻게 되는가?
• RQ2 매크도날 다항식을 사용하여 이 공간에 대한 명시적 기저를 어떻게 구성할 수 있는가?
• RQ3 공간 $F^{(k,r)}$ 에 대한 특성치 $\chi_{k,r}(z,v)$ 는 무엇인가?
• RQ4 단위근 설정은 [FJMM2]의 일반적인 $u$-경우와 어떻게 다를까, 특히 0이 되는 평면과 공진 조건 측면에서?
• RQ5 이 공간은 $W_k$ 대칭대수 최소급 수열 $(k+1, k+r)$ 와 관련된 버텍스 연산자 대수의 아벨 전류 상관 함수와 어떤 관계가 있는가?

주요 결과

• $F_n^{(k,r)}$ 공간은 $f_\lambda$ 가 $F_n^{(k,2)}$ 의 기저 원소이고 $g_\mu$ 가 $\mu$ 가 $r-1$-희박한 분할인 매크도날 다항식인 곱 $f_\lambda g_\mu$ 로 이루어진 기저를 가진다.
• 특성치 $\chi_{k,r}(z,v)$ 는 $\sum_{n=0}^\infty \left( b_n^{(k)}(v^{r-1}) \prod_{s=1}^n \frac{1 - v^{s(r-1)}}{1 - v^s} \right) z^n$ 으로 주어지며, 여기서 $b_n^{(k)}(v)$ 는 $k$-허용 가능한 분할에 대한 생성함수이다.
• 기저 구성은 $\mathcal{F}$ 를 통해 $F_n^{(k,2)}$ 에서의 함수를 $F_n^{(k,r)}$ 로 올리는 데 기반하며, $f_\lambda = \mathcal{F}(\tilde{f}_\lambda)$ 로 표현된다.
• 매크도날 연산자 $D_n(X;q,\tilde{t})$ 의 작용 하에서 0이 되는 조건이 유지되어 서로 다른 $\lambda$ 에 대해 고유값 분리 논리가 성립함을 보장한다.
• 공간 $F_n^{(k,r)}$ 는 $k$-허용 가능한 분할 공간과 $r-1$-희박한 분할 공간의 텐서곱과 동형이며, 특성치는 생성함수의 곱으로 주어진다.
• 잭 극한 $u \to 1$ 에서 공간 $F^{(k,r)}$ 는 매개수 $\beta = -(r-1)/(k+1)$ 를 가진 잭 다항식과 일치하며, $W_k$ 대칭대수 최소급 수열 $(k+1, k+r)$ 의 아벨 전류 상관 함수와 일치할 것으로 기대된다.