sl(m|n) 초단위 가산가능 초모듈 전부 분류

본 논문은 특수선형 리 초대수 sl(m|n) 에 대한 유니터리제이블(가산가능) 초모듈을 완전하게 분류한다. 서론에서는 sl(m|n) 의 정의와 Z₂‑그레이딩을 소개하고, ω‑유니터리제이블 초모듈의 개념을 설정한다. ω는 복소수 선형 반대각 연산자로, 실형을 결정한다. Neeb‑Salmasian의 결과에 따라, 실제로 유니터리제이블이 될 수 있는 실형은 su(p,q|0,n) 혹은 su(p,q|n,0) 뿐이며, 이 경우 초모듈은 최고 가중치 또는 최저 가중치 모듈에 한정된다. 핵심 도구는 Huang‑Pandžić이 제안한 대수적 2차 Dirac 연산자 D이다. D는 gl(m|n) 또는 sl(m|n) 위에 정의된 Weyl 대수 W(ḡ₁) 와의 텐서곱에서 작용하며, ḡ₀‑부분과 교환한다. D²는 Casimir 연산자와 상수항의 합으로 표현되며, D²의 부호는 모듈이 유한 차원인지 무한 차원인지를 구분한다. 이를 이용해 “Dirac 부등식” (μ+2ρ,μ) < (Λ+2ρ,Λ) (유한 차원) 혹은 > (무한 차원) 를 도출한다. 다음으로 저자는 ḡ₀‑구성요소 L₀(μ) 에 대해 Dirac 부등식을 적용한다. 만약 최고 가중치 Λ가 ḡ₀‑유니터리제이블 모듈의 가중치라면, 모든 ḡ₀‑구성요소에 대해 부등식이 엄격히 만족해야 L(Λ)도 유니터리제이블이 된다. 반대로, 부등식이 위배되는 경우는 반드시 비유니터리제이블임을 보인다. 유한 차원 경우(p=0 또는 q=0)에서는 표준 Borel 서브알제브라를 고정하고, 최고 가중치를 Λ = (λ₁,…,λ_m | μ₁,…,μ_n) 형태로 표기한다. 여기서 λ_i, μ_j는 실수이며, 슈퍼트레이스 조건에 따라 합이 0이다. Λ는 Λ₀ + x·(1,…,1 | 1,…,1) 로 나타낼 수 있는데, Λ₀는 ḡ₀‑유니터리제이블 모듈의 가중치, x∈ℝ는 한 실수 파라미터이다. Dirac 부등식은 x에 대한 선형 부등식으로 환원되며, 두 임계값 x_min, x_max을 정의한다. x > x_max이면 모든 부등식이 자동으로 만족해 유니터리제이블이 되고, x < x_min이면 부등식이 위배돼 비유니터리제이블이다. 구간