[논문 리뷰] Mickelsson algebras and representations of Yangians

S. Khoroshkin, Maxim Nazarov|arXiv (Cornell University)|2009. 12. 06.

Algebraic structures and combinatorial models참고 문헌 11인용 수 4

한 줄 요약

이 논문은 ℂⁿ의 대칭 및 외적 힘의 텐서곱의 몫을 통해 Y(spₙ) 및 Y(soₙ)의 기약 유한차원 표현을 구성한다. 이를 통해 마이켈슨 대수와 극단적 프로젝터를 이용한 새로운 표현을 제공하며, 기약 모듈과 모닉 다항식의 수열 사이의 대응관계를 확립한다. 이 대응관계는 무게 특이점과 제로블렌코 자동형사슬을 통한 웨일 군 작용에 의해 결정되는 분할 조건을 포함한다.

ABSTRACT

We use the theory of reductive dual pairs due to Howe to obtain explicit realizations of irreducible representations of the Yangian of the general linear Lie algebra, and of the twisted Yangians corresponding to the symplectic and orthogonal Lie algebras.

연구 동기 및 목표

• ℂⁿ의 대칭 및 외적 힘의 텐서곱 몫을 통해 Y(spₙ) 및 Y(soₙ)의 기약 유한차원 모듈을 새로운 방식으로 실현하는 것.
• 마이켈슨 대수 기법과 극단적 프로젝터를 사용하여 Y(glₙ)에 대한 기존 실현을 비틀린 양얀에로 확장하는 것.
• soₙ-작용이 SOₙ으로 통합될 조건 하에, Y(soₙ)의 기약 모듈을 다항식 불변량과 웨일 군 작용을 통해 특성화하는 것.
• 기약 모듈과 모닉 다항식의 수열 사이의 대응관계를 수립하며, 이 대응관계의 분할 행동이 무게 특이점에 의해 결정됨을 밝히는 것.
• 제로블렌코 자동형사슬과 동적 웨일 군이 비틀린 양얀의 표현 이론에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 기약 부분대수 g의 작용을 통해 A에 포함된 U(g)를 포함하는 결합대수 A에서 오른쪽 아이디얼 J = nA의 정규화의 몫으로 마이켈슨 대수 R을 구성한다.
• A의 분수환 A̅를 도입하고, R̅를 nA̅의 정규화의 몫으로 정의한다. 이때 R̅는 J̅′(역방향의 노름 아이디얼)를 포함한 몫공간 Z̅ = A̅/(J̅ + J̅′)를 통해 이중적 기술을 허용한다.
• g에 대한 극단적 프로젝터를 사용하여 R̅의 곱셈을 벡터 공간 Z̅의 표현으로 기술함으로써 명시적인 모듈 구성이 가능해진다.
• Z̅ 상의 브레인 군 작용에 의해 유도되는 제로블렌코 자동형사슬을 이용하여 Z̅의 영무게 부분대수 위에 웨일 군 작용을 정의한다.
• G가 A에 작용함으로써 U(g) 위의 고정작용을 확장하는 G-작용을 정의하고, 이를 통해 G-불변 원소를 정의한 후 Z̅로 프로젝션하여 모듈을 구성한다.
• 양얀의 작용을 통해 모듈 간의 상호연결 연산자를 구성하며, 이의 핵을 몫으로 취함으로써 기약 표현을 얻는다. 분할 조건은 레이블 δ = ±1에 의해 결정된다.

실험 결과

연구 질문

• RQ1 비틀린 양얀 Y(spₙ) 및 Y(soₙ)의 기약 유한차원 모듈은 ℂⁿ의 대칭 및 외적 힘의 텐서곱 몫으로 어떻게 실현될 수 있는가?
• RQ2 마이켈슨 대수와 극단적 프로젝터는 비틀린 양얀의 표현을 구성하고 분류하는 데 어떤 역할을 하는가?
• RQ3 제로블렌코 자동형사슬과 Z̅의 영무게 부분대수 위의 웨일 군 작용은 Y(soₙ)의 표현 이론과 어떻게 관련되어 있는가?
• RQ4 Y(soₙ)-모듈 간의 상호연결 연산자가 언제 두 개의 비동치 기약 성분으로 분할되는가?
• RQ5 어떤 다항식 불변량이 Y(soₙ)-기약 유한차원 모듈을 분류하며, 이는 무게 λ와 μ와 어떻게 관련되어 있는가?

주요 결과

• Y(spₙ)의 모든 기약 유한차원 모듈은 ℂⁿ의 대칭 및 외적 힘의 텐서곱 몫으로 실현된다.
• Y(soₙ)의 경우, soₙ-작용이 SOₙ으로 통합될 때, 모든 기약 유한차원 모듈은 이러한 텐서곱 몫으로 나타나며, 조건으로서 λ + ρ가 비특이적이어야 한다.
• 식 (4.58)의 상호연결 연산자로 인해, 핵 몫이 기약일 경우 Y(soₙ)-기약 모듈이 얻어지고, δ = ±1일 경우 두 개의 비동치 기약 모듈로 분할된다.
• 모듈과 관련된 다항식 Qₗ(x)는 νₐ = l인 인덱스 a에 대해 x² − (μₐ + ρₐ)²의 곱으로 주어지며, 분할은 μₐ + ρₐ = 0인 a가 존재할 경우에만 발생한다.
• 무게 λ와 μ는 so₂ₘ의 군 R의 이동된 웨일 군 작용에 대해 정의가 유일하지 않으며, 쌍 (λₐ + ρₐ, μₐ + ρₐ)의 순서를 바꾸거나 부호를 뒤집는 자유도가 있다.
• ν₁ = … = νₘ = 0일 경우, 식 (4.58)의 소스 및 타겟 모듈은 모두 자명하며, λ + ρ가 비특이일 경우 연산자는 ℂ → ℂ의 항등사상이 된다.