베른슈타인 차수의 조합적 해석과 최고 가중 모듈

초록

본 논문은 고전적인 이중쌍 ((U(p,q),U(k))), ((Mp(2n,\mathbb R),O(k))), ((O^*(2n),Sp(k)))에서 호위 듀얼리티를 이용해 얻어지는 단위 최고 가중 모듈 (L_{\lambda(\sigma)})의 베른슈타인 차수 (\operatorname{Deg} L_{\lambda(\sigma)})를, 모든 양의 정수 (k)에 대해 (#\bigl(\mathcal Q_k(\sigma)\times\mathcal P_k\bigr))라는 조합적 수로 정확히 표현한다. 여기서 (\mathcal Q_k(\sigma))는 반표준 테이블루, (\mathcal P_k)는 평면 분할의 집합이다. 기존의 (k\le r) 제한을 없애고, (Mp) 경우는 부분적으로 추측 형태로 제시한다. 또한, 이 구조를 에르미트형 실군 전반과 예외군 (E_6,E_7)에까지 확장한다.

상세 분석

베른슈타인 차수는 실군 (G_{\mathbb R})의 허용 표현에 대해 정의되는 두 가지 기본 불변량, 즉 Gelfand–Kirillov 차원 (\operatorname{Dim}X)와 연관된 다항식 (Q_X(t))의 값 (Q_X(1))으로 나타난다. 최고 가중 단위 모듈 (L)에 대해 (\operatorname{Deg}L=m\cdot\deg\mathcal O_k)라는 식이 성립하는데, 여기서 (\mathcal O_k)는 (K)-궤도 폐쇄이며 (m)은 연관 다양성의 곱셈다중도이다. Nishiyama–Ochiai–Taniguchi(2001)는 이중쌍 설정에서 (k\le r)일 때 (m=\dim U_\sigma)임을 보였지만, (k>r)에서는 차수가 어떻게 변하는지 알려지지 않았다.

본 논문은 이를 해결하기 위해 두 가지 새로운 조합적 모델을 도입한다. 첫째, (\mathcal Q_k(\sigma))는 (\sigma)에 대응하는 반표준 테이블루의 집합으로, 초기 열에 대한 제약이 (k)가 커질수록 완화된다. (k\le r)에서는 기존의 표준 테이블루(Stembridge, Proctor)와 일치하고, (k\ge s)에서는 제약이 사라져 일반적인 GL‑표준 테이블루가 된다. 둘째, (\mathcal P_k)는 (k)에 의해 경계된 평면 분할의 집합으로, 그 원소는 특정 도형 (D_k) 안에 들어가는 박스들의 높이 배열이다. (#\mathcal P_k)는 바로 (\deg\mathcal O_{\min{k,r}})와 동등하며, 이는 결정식 다양성의 차수와 동일한 고전적 결과와 일치한다.

핵심 증명은 Howe 듀얼리티를 이용해 (L_{\lambda(\sigma)})를 복합체 (M_\sigma)의 코변량으로 식별하고, 이전 논문