[논문 리뷰] Geometric Complexity Theory IV: nonstandard quantum group for the Kronecker problem

Jonah Blasiak, Ketan Mulmuley외 1명|arXiv (Cornell University)|2007. 03. 22.

Algebraic structures and combinatorial models참고 문헌 13인용 수 8

한 줄 요약

이 논문은 오랫동안 남아있던 크로네커 계수에 대한 양의 조합적 공식을 찾는 문제를 해결하기 위해 비표준 양자군과 헤케 대수를 도입한다. 특정 표현에 대해 전역 크리스탈 기저 +HNSTC(ν)를 구성함으로써, 두 행 크로네커 계수에 대한 완전하고 명시적이며 양의 공식을 제공하며, 이는 이전 결과를 일반화하고 GL₂×GL₂⋊S₂ 표현의 분해 규칙을 도출한다.

ABSTRACT

The Kronecker coefficient g_{λμν} is the multiplicity of the GL(V) imes GL(W)-irreducible V_λ\otimes W_μin the restriction of the GL(X)-irreducible X_νvia the natural map GL(V) imes GL(W) o GL(V \otimes W), where V, W are \mathbb{C}-vector spaces and X = V \otimes W. A fundamental open problem in algebraic combinatorics is to find a positive combinatorial formula for these coefficients. We construct two quantum objects for this problem, which we call the nonstandard quantum group and nonstandard Hecke algebra. We show that the nonstandard quantum group has a compact real form and its representations are completely reducible, that the nonstandard Hecke algebra is semisimple, and that they satisfy an analog of quantum Schur-Weyl duality. Using these nonstandard objects as a guide, we follow the approach of Adsul, Sohoni, and Subrahmanyam to construct, in the case dim(V) = dim(W) =2, a representation \check{X}_νof the nonstandard quantum group that specializes to Res_{GL(V) imes GL(W)} X_νat q=1. We then define a global crystal basis +HNSTC(ν) of \check{X}_νthat solves the two-row Kronecker problem: the number of highest weight elements of +HNSTC(ν) of weight (λ,μ) is the Kronecker coefficient g_{λμν}. We go on to develop the beginnings of a graphical calculus for this basis, along the lines of the U_q(\sl_2) graphical calculus, and use this to organize the crystal components of +HNSTC(ν) into eight families. This yields a fairly simple, explicit and positive formula for two-row Kronecker coefficients, generalizing a formula of Brown, van Willigenburg, and Zabrocki. As a byproduct of the approach, we also obtain a rule for the decomposition of Res_{GL_2 imes GL_2 times §_2} X_νinto irreducibles.

연구 동기 및 목표

• 알제브라적 조합론에서 크로네커 계수 g_{λμν}에 대한 양의 조합적 공식을 찾는 열린 문제를 해결하기 위해.
• 양자 슈어-바일 대칭과 유사한 방식으로 크로네커 문제를 모델링할 수 있는 비표준 양자군과 헤케 대수라는 양자 대수적 구조를 구성하기 위해.
• 비표준 양자군의 표현 \check{X}_ν를 정의하여, dim(V)=dim(W)=2일 때 q=1에서 GL(V)×GL(W)에 대한 제약 Res_{GL(V)×GL(W)} X_ν로 특수화됨을 보장하기 위해.
• 최고 무게가 (λ,μ)인 최고 무게 벡터의 수가 g_{λμν}와 일치하는 전역 크리스탈 기저 +HNSTC(ν)를 정의하기 위해.
• 도식적 계산법을 사용하여 크리스탈 성분을 여덟 개의 가족으로 정리함으로써, 두 행 크로네커 계수에 대한 단순하고 명시적인 공식을 도출하기 위해.

제안 방법

• 비표준 양자군을 도입하여, 압축된 실수 형태와 완전히 기약 가능한 표현을 가지며, 양자 슈어-바일 대칭의 유사성을 만족시키는 구조를 확보한다.
• 반세미단순성(semisimple)인 비표준 헤케 대수를 정의하여, 양자군에 대한 쌍대 대수적 구조를 제공한다.
• 비표준 양자군의 표현 \check{X}_ν를 구성하여, q=1에서 GL(V)×GL(W)→GL(V⊗W)에 의한 X_ν 제약로 특수화됨을 보장한다.
• \check{X}_ν의 전역 크리스탈 기저 +HNSTC(ν)를 정의하며, 이 기저에서 최고 무게가 (λ,μ)인 최고 무게 벡터의 수가 g_{λμν}와 일치함을 보장한다.
• U_q(sl_2) 프레임워크에서 영감을 얻은 도식적 계산법을 개발하여, +HNSTC(ν)의 크리스탈 성분을 여덟 개의 가족으로 정리한다.
• 도식적 계산법을 활용하여 두 행 크로네커 계수에 대한 양의 명시적 공식을 유도하며, 브라운, 반윌리젠버그, 자브로키의 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 크로네커 문제에 대해 양자 슈어-바일 대칭의 유사성을 만족하는 비표준 양자군과 헤케 대수를 구성할 수 있는가?
• RQ2 dim(V)=dim(W)=2일 때, 비표준 양자군의 표현 \check{X}_ν가 q=1에서 X_ν의 제약 Res_{GL(V)×GL(W)} X_ν로 올바르게 특수화되는가?
• RQ3 최고 무게가 (λ,μ)인 최고 무게 벡터의 수가 g_{λμν}와 일치하는 전역 크리스탈 기저 +HNSTC(ν)를 정의할 수 있는가?
• RQ4 +HNSTC(ν)에 대해 도식적 계산법을 개발하여 그 성분을 가족으로 정리하고, 두 행 크로네커 계수에 대한 양의 공식을 도출할 수 있는가?
• RQ5 비표준 양자군의 구성에서 유도된 바, Res_{GL₂×GL₂⋊S₂} X_ν가 기약 표현들로 어떻게 분해되는가?

주요 결과

• 비표준 양자군은 압축된 실수 형태를 가지며, 그 표현들이 완전히 기약 가능하므로 구조적 안정성이 보장된다.
• 비표준 헤케 대수는 반세미단순적이며, 잘 정의된 표현 이론의 존재를 뒷받침한다.
• dim(V)=dim(W)=2일 때, 비표준 양자군의 표현 \check{X}_ν는 q=1에서 Res_{GL(V)×GL(W)} X_ν로 특수화된다.
• 전역 크리스탈 기저 +HNSTC(ν)는 양의 공식을 제공한다: 최고 무게가 (λ,μ)인 최고 무게 벡터의 수는 g_{λμν}와 같다.
• 도식적 계산법은 +HNSTC(ν)의 크리스탈 성분을 여덟 개의 별개의 가족으로 정리하여 체계적이고 명시적인 묘사를 가능하게 한다.
• 두 행 크로네커 계수에 대한 단순하고 명시적이며 양의 공식이 도출되었으며, 브라운, 반윌리젠버그, 자브로키의 공식을 일반화한다.