[논문 리뷰] Shifted Schur functions II. Binomial formula for characters of classical groups and applications

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|1996. 12. 17.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 31

한 줄 요약

이 논문은 이동한 샤우 다항식을 사용하여 고전적 리 군(직교 및 심플렉틱 군)의 특징에 대한 이항 공식을 수립하며, 보편 포락환 대수의 중심에 대한 표준 기저와 그에 해당하는 대칭 대수의 동반체를 G-등변 특수 대칭화 사상에 의해 도입한다. 주요 기여는 특징의 타일러 유형 전개를 이동한 샤우 다항식으로 표현한 것으로, 고유값은 계승 샤우 다항식으로 주어지며, 일부 이중 코셋 위의 구면 함수가 제곱 변수에 대한 샤우 다항식에 비례한다는 것을 증명한다.

ABSTRACT

Let G be any of the complex classical groups GL(n), SO(2n+1), Sp(2n), O(2n), let g denote the Lie algebra of G, and let Z(g) denote the subalgebra of G-invariants in the universal enveloping algebra U(g). We derive a Taylor-type expansion for finite-dimensional characters of G (binomial formula) and use it to specify a distinguished linear basis in Z(g). The eigenvalues of the basis elements in highest weight g-modules are certain shifted (or factorial) analogs of Schur functions. We also study an associated homogeneous basis in I(g), the subalgebra of G-invariants in the symmetric algebra S(g). Finally, we show that the both bases are related by a G-equivariant linear isomorphism σ: I(g) o Z(g), called the special symmetrization.

연구 동기 및 목표

• GL(n)의 특징에 대한 이항 공식을 SO(2n+1), Sp(2n), O(2n)와 같은 고전적 군으로 확장하기.
• 고전적 리 대수 g에 대해 보편 포락환 대수 U(g)의 중심 Z(g)에 표준 기저를 구성하기.
• I(g) ⊂ S(g)의 불변 부분대수에 동차 기저를 정의하고, 이를 G-등변 동형사상에 의해 Z(g)와 연결하기.
• Z(g)로의 특수 대칭화 사상 σ: I(g) → Z(g)를 수립하여 주어진 항을 유지하고 기저 원소 Tμ를 Tμ*로 매핑하기.
• GL(2n,C) 내 (G2, G1)-이중 코셋 위의 일부 구면 함수가 x_i^4에 대한 샤우 다항식에 비례함을 보여주기.

제안 방법

• 특징 χλ(z)를 항등원 근처에서 타일러 유형 전개로 유도하여, 이동한 샤우 다항식 t*μ(λ)와 동차 성분 tμ(x)의 합으로 표현하기.
• 최고 가중치 모듈 Vλ에서 기저 원소 Tμ* ∈ Z(g)의 고유값 t*μ(λ)를 정의하며, λ ≠ μ 이거나 |λ| ≤ |μ|일 때 0이 되는 것으로 특성화하기.
• t*μ(λ)의 최고 차수 성분 tμ(x)를 샤우 다항식 sμ(x²₁,…,x²ₙ)로 식별하기.
• 기본 기저 {Tμ*}에 대한 기하적 이미지 gr Z(g) ≅ I(g)를 통해 I(g) 내 {Tμ}의 동차 기저를 구성하기.
• S(g) → U(g)로의 특수 대칭화 σ를 G-등변 선형 동형사상으로 정의하여 Tμ → Tμ*를 매핑하고 주어진 항을 유지하기.
• O2에서의 σ의 명시적 공식을 사용하여 Tμ* = σ(Tμ)를 g의 생성자들로 표현하기.

실험 결과

연구 질문

• RQ1 SO(2n+1,C), Sp(2n,C), 또는 O(2n,C)의 유한차원 표현의 특징는 항등원 근처에서 어떻게 타일러 유형 급수로 전개될 수 있는가?
• RQ2 고전적 리 대수에 대해 보편 포락환 대수의 중심 Z(g)에 있는 표준 기저는 무엇이며, 어떻게 특성화되는가?
• RQ3 I(g) ⊂ S(g)의 불변 부분대수에 있는 동차 기저는 Z(g)의 기저와 어떻게 관련되어 있는가?
• RQ4 G-등변 동형사상 σ: I(g) → Z(g)의 성격은 무엇이며, 특수 대칭화와 어떻게 관련되어 있는가?
• RQ5 GL(2n,C) 내 (G2, G1)-이중 코셋 위의 구면 함수는 샤우 다항식과 관련이 있는가?

주요 결과

• 특징 χλ(z)는 이항 전개를 갖는다: χλ(z)/χλ(1) = ∑μ t*μ(λ) tμ(x) / c±(n,μ), 여기서 x_i = z_i^{1/2} - z_i^{-1/2}.
• Vλ에서 Tμ* ∈ Z(g)의 고유값은 이동한 샤우 다항식 t*μ(λ)로 주어지며, 지배 순서에서 λ ≥ μ가 아닐 경우 0이 된다.
• t*μ(λ)의 최고 차수 성분은 샤우 다항식 sμ(x²₁,…,x²ₙ)이다.
• 특수 대칭화 σ: I(g) → Z(g)는 주어진 항을 유지하는 G-등변 동형사상이며, 동차 기저 Tμ를 표준 기저 Tμ*로 매핑한다.
• 적절한 이중 코셋 매개변수화 하에, 구면 함수 φμ(g) = ⟨V_{2μ∪2μ|2n}(g)ξ, η*⟩는 샤우 다항식 sμ(x₁⁴,…,xₙ⁴)에 비례한다.
• 대칭 행렬(스프링크(2n,C)*)로 식별된 비이중 구면 함수 ψμ는 I(sp(2n,C)) 내 기저 원소 Tμ ∈ I(sp(2n,C))에 비례한다.