[논문 리뷰] Weight multiplicities and Young tableaux through affine crystals

Jang Soo Kim, Kyu‐Hwan Lee외 1명|arXiv (Cornell University)|2017. 03. 30.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 유한 및 아핀 고전적 리 대수의 최고 무게 모듈에서 무게 중복도와 등수를 가지는 pspinq 강성 연산표를 조합적 모델로 도입한다. 크리스탈 기저 이론, 삽입 알고리즘(예: Robinson–Schensted), 그리고 직교군 위의 적분을 결합하여, 무게 중복도에 대한 명시적 폐형 공식을 유도하며, 파스칼, 카탈란, 모츠킨, 리오르단, 베셀의 삼각형과의 연결 고리를 드러낸다. 특히 B, D 및 아핀 A(1), A(2) 유형에서 수준 k ≤ 6 및 k → ∞일 경우에 대해 분석한다.

ABSTRACT

The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.

연구 동기 및 목표

• 유한 및 아핀 고전적 리 대수에서 무게 중복도에 대한 명시적 폐형 공식을 유도하는 것, 특히 최고 무게 최대 무게에 대해.
• 최고 무게 모듈에서 무게 중복도와 등수를 가지는 조합적 모델인 pspinq 강성 연산표를 수립하는 것.
• 크리스탈 기저 이론과 대칭 함수 적분을 통해 무게 중복도 집합에 숨겨진 대수적 및 조합적 구조를 드러내는 것.
• 생성함수와 적분 평가를 통해 무게 중복도를 고전적 조합 수열(Pascal, 카탈란, 모츠킨, 리오르단, 베셀 삼각형)과 연결하는 것.
• 기존의 A(1)n 유형에서 수준 2를 초월한 결과를 B, C, D 및 그 아핀 형태로 확장하는 것.

제안 방법

• 아핀 카크-무디 대수에서의 가역 최고 무게 모듈의 크리스탈 기저 원소에서 유도된 새로운 조합적 객체인 pspinq 강성 연산표를 도입한다.
• Robinson–Schensted 삽입 알고리즘과 새로운 삽입 기법을 적용하여 연산표와 무게 중복도를 연결한다.
• 특히 det(X)와 Tr(X)m를 포함한 대칭 함수의 추적을 평가하기 위해 직교군 Op(k) 위의 적분을 사용한다.
• 직교 행렬의 고유값 확률 밀도와 Weyl의 적분 공식을 활용하여 하어 측도 적분을 평가한다.
• 이항 계수와 카탈란 유사 항을 포함하는 행렬의 행렬식을 사용하여 폐형 표현을 도출한다.
• 수준 k → ∞에서의 극한을 분석하여 무게 중복도와 고전적 조합 삼각형(예: 카탈란, 모츠킨) 간의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 기존의 재귀적 또는 합계 기반 방법을 초월하여, 유한 및 아핀 고전적 리 대수에서 무게 중복도에 대한 명시적 폐형 공식을 도출할 수 있는가?
• RQ2 아핀 카크-무디 모듈의 최고 무게 최대 무게에서 무게 중복도와 등수를 가지는 조합적 구조(예: 연산표, 격자 경로)는 무엇인가?
• RQ3 무게 중복도 수열은 파스칼, 카탈란, 모츠킨, 리오르단 삼각형과 어떻게 관련이 있는가?
• RQ4 수준 k → ∞일 때의 무게 중복도의 점근적 행동은 무엇이며, 이는 베셀 수와 어떻게 관련이 있는가?
• RQ5 직교군 위의 적분을 사용하여 행 수가 제한된 표준 연산표의 수를 정확한 공식으로 유도할 수 있는가?

주요 결과

• m개의 셀과 최대 k개의 행을 가진 표준 연산표의 수는 세르베르그 유형 적분으로 주어진다: |Spk)ₘ| = ∫_{Op(k+1)} (1 - det(X))(1 + Tr(X))^m dµ(X).
• 짝수 k = 2ℓ일 경우, |Sp2ℓ)ₘ| = ∑_{t₁+⋯+tℓ=m} (m! / (t₁!⋯tℓ!)) × det( [tᵢ + 2ℓ - i - j]_{i,j=1}^ℓ )²로 주어지며, 직교 행렬 고유값 적분을 통해 명시적으로 평가된다.
• 홀수 k = 2ℓ+1일 경우, |Sp2ℓ+1)ₘ| = ∑_{t₀+⋯+tℓ=m} (m! / (t₀!⋯tℓ!)) × det( C([tᵢ + 2ℓ - i - j]/2) )²로 주어지며, 여기서 C(x) = (2x choose x)/(x+1) if x ∈ ℕ, else 0이다.
• Bₙ 및 Dₙ 유형에서 수준 k = 2일 경우의 무게 중복도는 카탈란 삼각형에 해당하며, 수준 k = 3일 경우 모츠킨 및 리오르단 삼각형을 얻는다.
• k → ∞일 때, 무게 중복도 수열은 베셀 삼각형으로 수렴하며, 직교군 위에서의 추적과 행렬식을 포함하는 명시적 적분 표현이 존재한다.
• 저자들은 3×3 카탈란 유사 계수의 행렬식을 사용한 이중 합 공식을 |Sp6)ₘ|에 대해 도출하여 k ≤ 5일 경우 알려진 결과를 확장한다.