비정형 대칭 파괴 연산자의 완전 분류: de Sitter·Lorentz 주군의 주시리즈 표현

초록

본 논문은 연결된 de Sitter 군 SO₀(4,1)와 그 하위군 SO₀(3,1) 사이의 주시리즈 표현에 대해 모든 미분 대칭 파괴 연산자(DSBO)를 완전히 구성하고 분류한다. |m| > N인 경우에 한해, 모든 대칭 파괴 연산자는 미분 연산자이며, 이러한 연산자는 ‘스포라딕’이라 불리는 특수한 형태로, 어떠한 멱함수적 잔여식에서도 유도되지 않는다. 주요 결과는 존재조건(λ∈ℤ≤1−|m|, ν∈

상세 분석

논문은 먼저 T. 코바야시가 제시한 ABC 프로그램 중 Stage C에 해당하는 구체적인 대칭 파괴 연산자(SBO)의 구성 문제를 제시한다. 여기서 다루는 쌍 (G,G′)=(SO₀(4,1),SO₀(3,1))는 각각 4차원 de Sitter 공간과 3차원 로렌츠 공간의 연결군이며, 두 군 모두 실리트(실제) 리 군이다. 주시리즈 표현 C^∞(S³,V_{2N+1}^λ)와 C^∞(S²,L_{m,ν}^)는 각각 최소 파라볼릭 부분군으로부터 유도된 무한 차원 유도 표현이며, 전자는 차원 2N+1의 고유표현 V_{2N+1}에 λ라는 복소 파라미터를, 후자는 정수 m과 복소 ν를 매개변수로 가진다.

핵심 문제는 Hom_{SO₀(3,1)}(C^∞(S³,V_{2N+1}^λ), C^∞(S²,L_{m,ν}))의 차원을 구하고, 비자명한 연산자를 명시적으로 구성하는 것이다. 저자는 이를 위해 ‘F‑방법(F‑method)’을 활용한다. F‑방법은 대칭 파괴 연산자를 Fourier 변환 후 일반화된 베르마 모듈로 전환하고, 결국 상미분 방정식 시스템 Ξ(λ,a,N,m)을 푸는 문제로 환원한다. 이 시스템은 Gegenbauer 다항식과 하이퍼지오메트릭 함수의 계수를 포함하는 일련의 재귀 관계로 구성된다.

특히 |m|>N인 경우, 시스템의 해는 두 단계로 나뉜다. 첫 단계에서는 λ가 정수이고 λ≤1−|m|라는 필요조건을 도출한다(정리 1.3 (iii)). 두 번째 단계에서는 ν가 정수 구간