초대형 슈퍼 이마니언트와 리틀우드 대응

초록

본 논문은 초대형 행렬의 슈퍼-이마니언트를 정의하고, 슈퍼 Schur‑Weyl 이중 중심자 이론을 이용해 일반선형 리 슈퍼대수 gl(m|n)의 공변 텐서 표현에 대한 추적 공식을 도출한다. 또한 슈퍼-이마니언트와 슈퍼대칭 다항식 사이의 리틀우드 대응을 구축하여 두 알gebra가 동형임을 증명한다.

상세 분석

논문은 먼저 R을 복소수 위의 자유 슈퍼환(Grassmann 대수)로 두고, 그 위에 정의된 (m|n) 차원의 슈퍼벡터 공간 C^{m|n}의 기본표현을 이용해 슈퍼행렬 algebra Mat_{m|n}(R)와 그 전치군 GL_{m|n}(R)를 소개한다. 슈퍼트레이스 str(Y)=∑{i=1}^{m+n}(-1)^{\bar i}y{ii} 를 정의하고, r-중복 텐서 공간 (C^{m|n})^{\otimes r} 위에 대칭군 S_r의 Z₂‑graded 표현 ρ를 (2.5)식으로 구성한다. 여기서 교환 부호는 각 인덱스의 짝수·홀수 성질에 따라 결정된다. 이후 슈퍼-이마니언트 Imm_{χ_V}(X_{I,J})를 (2.7)식으로 정의하고, 이는 전통적인 이마니언트 정의를 슈퍼대수 상황에 맞게 일반화한 것이다. 핵심 정리인 Proposition 2.1은 I가 정렬된 멀티셋일 때, λ∈H(m,n;r)에 대해 Imm_{χ_λ}(X_I) 가 primitive idempotent E_{λ,T}와의 작용으로 표현됨을 보이며, λ가 H(m,n;r) 밖이면 값이 0임을 증명한다. 증명 과정에서는 Jucys‑Murphy 원소와 fusion 절차를 활용해 E_{λ,T}·e_{i_1}⊗…⊗e_{i_r}=0 임을 보이고, 이는 슈퍼대수의 짝·홀수 차원 제한과 직접 연결된다. 다음으로 2.2절에서는 Berele‑Regev와 Sergeev가 제시한 슈퍼 Schur‑Weyl 이중 중심자 정리를 재정리한다. (C^{m|n})^{\otimes r} 은 U(gl_{m|n})와 S_r의 곱표현에 대해 multiplicity‑free 분해를 갖고, 각 성분은 H(m,n;r) 의 파티션 λ에 대응하는 공변 텐서 표현 U_λ와 S_r의 불변표현 V_λ 로 분해된다. 이때 λ와 공변 최고중량 사이의 명시적 관계식 (2.23),(2.24)가 제시되어, 파티션 데이터가 슈퍼대수의 가중 구조와 일대일 대응함을 확인한다. Lemma 2.2에서는 * 연산(σ↦σ^{-1}, E_{ij}↦E_{ji})이 양쪽 대수에 대해 비대칭 이중형을 보존함을 증명해, 이후에 정의되는 내적 ⟨·|·⟩이 양쪽 작용에 대해 공변임을 보인다. 2.3절에서는 Molev이 제시한 Gelfand‑Tsetlin‑type 기저 ξ_Λ 를 슈퍼표준 테이블루(SSYT)와 연결시켜, 공변 텐서 표현의 명시적 행렬 원소를 구한다. 이러한 기저는 슈퍼-이마니언트와 슈퍼대칭 다항식 사이의 대응을 기술하는 데 핵심 도구가 된다. 이후 3절에서는 슈퍼 Littlewood‑I,II,III 대응을 전개한다. Berezinian(슈퍼 행렬식)과 초대형 특성다항식의 구조를 이용해, 일반적인 Littlewood‑Merris‑Watkins 및 Goulden‑Jackson 항등식을 슈퍼 버전으로 끌어올린다. 특히, 슈퍼 Littlewood‑III 대응은 특성근(슈퍼 고유값) 대신 Berezinian의 전개 계수를 사용해, 일반 행렬의 경우와는 다른 조합적 부호 구조를 보여준다. 최종적으로, 슈퍼-이마니언트가 생성하는 대수 A_{imm}와 슈퍼대칭 다항식 대수 Λ^{super} 사이에 동형 사상이 존재함을 증명함으로써, 두 구조가 동일한 표현론적 정보를 담고 있음을 확정한다. 전체 흐름은 슈퍼대수의 표준 표상, 대칭군의 표준 표상, 그리고 조합론적 테이블루 사이의 삼각관계를 명확히 하여, 기존의 이마니언트 이론을 초대형(슈퍼) 환경으로 자연스럽게 확장한다는 점에서 의의가 크다.