[논문 리뷰] Shifted Schur Functions

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|1996. 05. 28.

Algebraic structures and combinatorial models참고 문헌 16인용 수 211

한 줄 요약

이 논문은 $ abla^*$로 표기되는 이동된 대칭 함수의 대수를 도입하고, 변수에 이동을 포함시킨 일반화된 고전적 슈어 다항식을 제공하는 새로운 기저인 이동된 슈어 함수 $s^*_{ abla}$를 정의한다. 이러한 함수들은 유니버설 포괄 대수 $U( abla^*(n))$의 중심 $Z( abla^*(n))$에 자연스러운 기저를 제공하며, 잭비-트루디 공식, 피에리 법칙, 캡엘라 유형의 항등식 등 핵심 항등식을 확립한다. 이는 $U(n)$ 및 $S(n)$의 특성 이론과 이항 정리 및 비틀린 도형의 차원 공식을 통해 연결된다.

ABSTRACT

The classical algebra $Λ$ of symmetric functions has a remarkable deformation $Λ^*$, which we call the algebra of shifted symmetric functions. In the latter algebra, there is a distinguished basis formed by shifted Schur functions $s^*_μ$, where $μ$ ranges over the set of all partitions. The main significance of the shifted Schur functions is that they determine a natural basis in $Z(\frak{gl}(n))$, the center of the universal enveloping algebra $U(\frak{gl}(n))$, $n=1,2,\ldots$. The functions $s^*_μ$ are closely related to the factorial Schur functions introduced by Biedenharn and Louck and further studied by Macdonald and other authors. A part of our results about the functions $s^*_μ$ has natural classical analogues (combinatorial presentation, generating series, Jacobi--Trudi identity, Pieri formula). Other results are of different nature (connection with the binomial formula for characters of $GL(n)$, an explicit expression for the dimension of skew shapes $λ/μ$, Capelli--type identities, a characterization of the functions $s^*_μ$ by their vanishing properties, `coherence property', special symmetrization map $S(\frak{gl}(n)) o U(\frak{gl}(n))$. The main application that we have in mind is the asymptotic character theory for the unitary groups $U(n)$ and symmetric groups $S(n)$ as $n o\infty$. The results of this paper were used in \cite{Ok1--3}.

연구 동기 및 목표

• 고전적 대칭 함수 대수 $ abla$의 변형인 이동된 대칭 함수 대수 $\Lambda^*$를 정의하고 연구하는 것.
• 고전적 슈어 다항식을 일반화하는 특별한 기저인 이동된 슈어 함수 $s^*_{\mu}$를 도입하는 것.
• 이동된 슈어 함수 $s^*_{\mu}$와 표현 이론적 대상, 특히 $U(\nabla^*(n))$의 중심 $Z(\nabla^*(n))$ 사이의 연결 고리를 확립하는 것.
• 이동된 슈어 함수 $s^*_{\mu}$에 대한 조합론적 및 대수적 항등식(예: 잭비-트루디, 피에리, 캡엘라 유형 항등식)을 유도하고, 이를 팩터리얼 슈어 다항식과 연결하는 것.
• 이론을 단위군 $U(n)$ 및 대칭군 $S(n)$의 $n \to \infty$일 때의 渐近 특성 이론에 적용하는 것.

제안 방법

• 행렬식 공식을 통한 이동된 슈어 다항식 정의: $s^*_{\mu}(x_1,\ldots,x_n) = \frac{\det[(x_i + n - i \downharpoonright \mu_j + n - j)]}{\det[(x_i + n - i \downharpoonright n - j)]}$, 여기서 $x \downharpoonright k$는 내림 계승 계수를 의미한다.
• 변수를 0으로 설정할 때의 안정성 성질 $s^*_{\mu}(x_1,\ldots,x_n,0) = s^*_{\mu}(x_1,\ldots,x_n)$을 이용해 이동된 대칭 함수의 대수 $\Lambda^*$를 정의함으로써 무한 변수 극한을 허용한다.
• 완전한 이동된 함수 $h^*_r$와 기본 이동된 함수 $e^*_r$ 사이의 쌍대성 관계를 확립하고, 이러한 기저들의 생성함수를 유도한다.
• 고전적 경우와 유사하게, 행렬식 정의를 이용해 $s^*_{\mu}$에 대한 잭비-트루디 항등식을 증명한다.
• 곱셈 $h^*_r$에 대한 피에리 유형 공식을 유도하고, 양자 이민언트의 일관성 성질을 증명한다.
• GL(n)의 특성에 대한 이항 정리와 $\lambda/\mu$의 비틀린 도형의 차원 사이의 연결을, $\Lambda(n)$ 내의 쌍대성과 내적 항등식을 이용해 확립한다.

실험 결과

연구 질문

• RQ1 고전적 슈어 함수는 어떻게 변형되어 새로운 이동된 대칭 함수 대수 $\Lambda^*$를 정의할 수 있는가?
• RQ2 이동된 슈어 함수 $s^*_{\mu}$는 중심 $Z(\nabla^*(n))$의 구조에서 어떤 역할을 하는가?
• RQ3 이동된 슈어 함수는 팩터리얼 슈어 다항식 $t_\mu$와 어떻게 관련되어 있으며, 이동된 표현 방식은 어떤 이점이 있는가?
• RQ4 이동된 슈어 함수 $s^*_{\mu}$에 대해 성립하는 조합론적 및 대수적 항등식(예: 잭비-트루디, 피에리, 캡엘라 유형)은 무엇이며, 고전 결과를 어떻게 일반화하는가?
• RQ5 비틀린 양의 그림 $\lambda/\mu$의 차원은 $s^*_{\lambda}(1+x_1,\ldots,1+x_n)$의 이항 전개 계수를 통해 어떻게 표현될 수 있는가?

주요 결과

• 이동된 슈어 함수 $s^*_{\mu}$는 유니버설 포괄 대수 $U(\nabla^*(n))$의 중심 $Z(\nabla^*(n))$에 대한 기저를 형성하며, 대칭 함수와 리 대수 표현 이론 사이의 자연스러운 연결 고리를 제공한다.
• 대수 $\Lambda^*$는 $s^*_{\mu}$가 변수를 0으로 설정할 때의 안정성에 의해 정의되며, 이는 무한 변수로의 확장을 가능하게 하며, 이동된 대칭성 $f(x_1,\ldots,x_i,x_{i+1},\ldots) = f(x_1,\ldots,x_{i+1}-1,x_i+1,\ldots)$를 만족한다.
• 이동된 슈어 함수 $s^*_{\mu}$에 대한 잭비-트루디 항등식은 $s^*_{\mu} = \det[(x_i + n - i \downharpoonright \mu_j + n - j)] / \det[(x_i + n - i \downharpoonright n - j)]$로 정의되며, 고전적 행렬식 공식을 일반화한다.
• 비틀린 도형 $\lambda/\mu$의 차원은 $s^*_{\lambda}(1 + x_1, \ldots, 1 + x_n)$의 이항 전개 계수로 나타나며, 구체적으로 $\dim \lambda/\mu = \frac{\langle s^*_{\lambda}, s^*_{\lambda} \rangle}{(|\lambda| - |\mu|)! \langle s^*_{\mu}, s^*_{\mu} \rangle} \cdot [\text{계수}]$로 표현되며, 표현 이론과 조합론을 연결한다.
• 스푸르-웨일 쌍대성에 대해 캡엘라 유형 항등식이 도출되었으며, 이는 특정 미분 연산자가 양자 이민언트와 동일한 고유값을 갖는 방식으로 $\Lambda^*$에 작용함을 보여준다.
• 함수 $s^*_{\mu}$는 그들의 영성 성질과 양자 이민언트의 일관성 성질에 의해 특징지어지며, 이는 다양한 $n$에 걸쳐 일관성을 보장한다.