비가환 슈어 다항식과 결정론적 Uq sl2 정점 모델의 결정 한계

초록

본 논문은 Uq(sl2) 베르마 모듈에서 시작해 아핀 Uq(sl2) 평가 모듈을 구성하고, 그 결정 한계(q→0)를 분석한다. 이 한계에서 정의되는 정점 모델의 전이 행렬은 비가환 완전 대칭 다항식의 생성함수이며, 이는 아핀 플라스틱 대수의 생성원과 연결된다. 또한 비가환 기본 대칭 다항식이 위상 모델의 전이 행렬에 의해 생성된다는 기존 결과와 연계해, 두 전이 행렬이 모두 Baxter의 TQ 방정식을 만족함을 보인다. TQ 방정식은 Jacobi‑Trudy 공식과 동등하며, 이를 통해 비가환 슈어 다항식이 정의되고, 이 다항식이 형성하는 대수가 sl(n)k‑WZNW 융합 대수와 동형임을 증명한다. 결과적으로 구조 상수는 세 개의 구멍을 가진 구면 위 일반화된 세타 함수 공간의 차원과 일치한다.

상세 분석

논문은 먼저 Uq(sl2)의 베르마 모듈 V(λ) 위에 정의된 평가 모듈을 이용해 아핀 양자군 Uq(ĥsl2)의 표준 모듈을 구성한다. q→0 한계, 즉 결정론적(crystal) 한계에서는 양자군 연산자가 전통적인 정수값으로 축소되고, 모듈의 기저는 Kashiwara 결정 결정체(crystal basis)로 변한다. 이때 정점 모델은 사각 격자 위에 배치된 6‑vertex 유형의 로컬 상태를 갖으며, 각 정점은 두 개의 입출력 라인에 대해 0·1 이진 값을 할당한다. 전이 행렬 T(u)는 한 행을 따라 모든 정점의 가중치를 곱한 결과이며, u는 스펙트럼 파라미터이다. 저자는 T(u)를 비가환 완전 대칭 다항식 hk(𝔞) (k는 행 길이, 𝔞는 아핀 플라스틱 대수의 생성원)들의 생성함수 형태로 전개한다. 여기서 플라스틱 대수는 Lascoux‑Schützenberger가 정의한 유한 플라스틱 대수의 아핀 확장판으로, 원소들의 곱셈이 ‘플라스틱 삽입 규칙’에 의해 비가환적으로 정의된다.

다음 단계에서는 기존에 Bogoliubov‑Izergin‑Kitanine이 제시한 위상 모델의 전이 행렬 Q(u)가 비가환 기본 대칭 다항식 ek(𝔞)의 생성함수임을 인용한다. 저자는 두 전이 행렬 T(u)와 Q(u) 사이에 Baxter의 TQ 방정식
\