Theta correspondence as a C*-correspondence

기술 요약: $C^*$-상응(Correspondence)으로서의 세타 상응(Theta Correspondence)

문제 제로 (Problem Statement)
본 논문은 심플렉틱 군(symplectic group) 내에서 쌍대 쌍(dual pair)을 형성하는 두 환원 가환군(reductive groups) $G$와 $G'$ 사이의 근본적인 관계인 국소 세타 상응(local theta correspondence, LTC)에 대한 구조적 이해를 다룬다. 세타 상응은 호웨의 이중성(Howe's duality)을 통해 (매끄러운 또는 유니터리 쌍대 관계로서) 잘 확립되어 있으나, 본 논문은 이 세타 상응을 $C^*$-상응(Hilbert $C^*$-모듈과 대수의 작용을 갖춘 것)으로부터 발생하는 유도 함자(induction functor)의 관점에서 재해ert 해석하고자 한다. 이러한 접근 방식은 특히 유니터리성(unitarity)의 보존과, 등급이 같은 경우(equal-rank case)의 모리타 동치(Morita equivalence)와 같은 상응의 구조적 성질을 명확히 하려는 동기에서 비롯되었다.

방법론 (Methodology)
저자는 $C^*$-대수, Hilbert $C^*$-모듈, 그리고 리에펠 유도(Rieffel induction)의 프레임워크를 사용한다. 방법론은 다음 단계들을 거쳐 진행된다:

1. 기초 설정 (Foundational Setup): 논문은 $C^*$-대수, Hilbert 모듈, 그리고 군 $C^*$-대수 $C^*(G)$ 및 $C^*_r(G)$의 구체적인 사례를 포함한 필요한 배경 지식을 검토한다. 내적은 두 번째 변수에 대해 선형이라는 관례를 확립한다.
2. 모델로서의 컴팩트 케이스 (The Compact Case as a Model): 분석은 한 그룹 $G$가 컴팩트인 경우에서 시작된다. 이 설정에서 유니터리 쌍대 $\hat{G}$는 이산적이며, $C^*(G)$는 피터-바일 정리(Peter-Weyl theorem)에 의해 행렬 대수들의 직합으로 분해된다.
   • $G' \times G$의 오실레이터 표현(oscillator representation) $\omega$가 $L^2(U)$ 상에서 활용된다.
   • 저자는 오실레이터 표현으로부터 우측 Hilbert $C^*(G)$-모듈 $X$를 구성한다. 이는 이소형 성분(isotypical components)을 조립하거나, 행렬 계수(matrix coefficients)로부터 유도된 $C^*(G)$-값 내적에 대해 슈바르츠 함수 공간 $S(U)$를 완비(completion)함으로써 수행된다.
   • $G'$의 작용이 $S(U)$ 상의 작용으로 적분됨을 보여줌으로써, $X$가 $(C^*(G'), C^*(G))$-상응이 되도록 한다.
3. Li의 방법을 통한 일반화 (Generalization via Li's Method): 이 접근법은 Jian-Shu Li의 방법이 적용되는 비컴팩트 케이스(특히 "안정 범위(stable range)" 및 "템퍼드(tempered)" 케이스)로 확장된다.
   • $C^*(G)$ 대신, 축소된 군 $C^*$-대수 $C^*_r(G)$ (또는 안정 범위에서의 $C^*(G)$)를 활용한다.
   • 내적은 오실레이터 표현과 $G$의 표현 $\pi$를 포함하는 적분을 통해 정의된다. 이 적분의 수렴성과 양의 정당성(positivity)은 유니터리성 보존에 관한 Li의 결과에 의해 보장된다.
   • 이를 통해 $(C^*(G'), C^*_r(G))$-상응인 "세타 바이모듈(theta bimodule)" $\Theta$를 얻는다.
4. 유도 함자 (Induction Functor): 핵심 메커니즘은 리에펠 유도 함자 $\text{Ind}^A_B(X)$이다. 논문은 구성된 상응 $X$ (또는 $\Theta$)를 통해 $G$의 표현 $\pi$를 유도함으로써 $\theta(\pi^*)$를 회복함을 보여준다.
5. 등급이 같은 경우 (Equal Rank Case): 등급이 같은 쌍(예: $(Sp_{2n}, O_{2n+1})$)에 대해, 저자는 세타 바이모듈 $\Theta$가 임프리미티비티 모듈(imprimitivity bimodule)을 위한 호환성 조건을 만족함을 보여준다. 이는 $G$와 $G'$의 축소된 군 $C^*$-대수의 특정 아이디얼들 사이의 모리타 동치를 확립한다.

주요 기여 및 결과 (Key Contributions and Results)

• 세타 상응의 재정식화 (Reformulation of Theta Correspondence): 본 논문은 세타 상의 $C^*$-대수적 정식화를 제공한다. 저자는 컴팩트 그룹 $G$에 대해, $\pi$의 세타 리프트는 $X$를 이용한 유도된 표현 $\text{Ind}^{C^*(G')}_{C^*(G)}(X)(\pi)$와 동형임을 증명한다(정리 4).
• 유니터리 보존 케이스로의 일반화 (Generalization to Unitary Preservation Cases): 이 방법론은 안정 범위 및 템퍼드 케이스로 일반화된다(정리 5). 관련 적분의 수렴성과 양의 정당성에 관한 Li의 결과를 활용하여, 템퍼드 표현에 대한 세타 리프트를 회복하는 $C^*_r(G)$ (또는 $C^*(G)$) 상의 세타 바이모듈 $\Theta$를 구성한다.
• 등급이 같은 경우의 모리타 동치 (Morita Equivalence in Equal Rank): 등급이 같은 쌍에 대한 세타 상응을 모리타 동치로 식별하는 것이 중요한 결과이다(정리 6). 세타 바이모듈 $\Theta$가 임프리티비티 모듈임을 보임으로써, 내적에 의해 잘려진(cut out) 아이디얼 $C^*_\theta(G')$와 $C^*_\theta(G)$ 사이의 모리타 동치를 확립한다.
• 모리타 동치의 결과 (Consequences of Morita Equivalence):
  • 위상적 동형 (Topological Isomorphism): 모리타 동치는 세타 상응에 참여하는 축소된 쌍대의 부분집합들이 위상 동형임을 의미한다.
  • 이산 시리즈의 보존 (Preservation of Discrete Series): 논문은 왜 등급이 같은 경우에서 이산 시리즈 표현들이 이산 시리즈 표현으로 리프트되는지를 설명한다. 이산 시리즈는 축소된 쌍대에서 고립된 점들이며, 모리타 동치는 스펙트럼의 위상(클로픈 집합을 클로픈 집합으로 매핑함)을 보존하기 때문에, 고립된 점의 이미지는 여전히 고립된 상태로 남는다.
  • 캐릭터 전이 (Character Transfer): 모리타 동치 프레임워크는 캐릭터의 전이를 용이하게 한다. 정리 7은 슈바르츠 대수의 행렬 계수를 통해 원래 표현의 캐릭터를 이용하여 세타 리프트의 캐릭터를 표현하는 (원래 Gan의) 결과를 제시한다.

의의 및 주장 (Significance and Claims)
본 논문은 세타 상응을 $C^*$-상응으로 해석하는 것이 세타 상응의 근저에 있는 메커니즘, 특히 기술적 장애물이 최소화되는 "컴팩트 케이스"를 명확히 밝혀준다고 주장한다. 상응을 유도 이론을 통해 틀 짓음으로써:

• 오직 리프트의 명시적 구성에만 의존하지 않고 오실레이터 표현으로부터 세타 상응을 회복하는 통합된 관점을 제공한다.
• 유니터리성을 Li의 방법론이 다루는 케이스에서 충족되는 Hilbert 모듈 상의 내적의 양의 정당성과 연결함으로써 유니터리성 보존을 명확히 한다.
• 등급이 같은 경우, 모리타 동치를 통해 이산 시리즈 성질 및 표현의 형식적 차원(formal dimensions)과 같은 중요한 표현론적 성질의 보존에 대한 구조적 설명을 제공한다.

저자는 이 연구를 표현론과 비가환 기하학을 잇는 최근의 발전(참조 [23, 14])에 대한 조사로 위치시키며, $C^*$-대수의 언어를 통해 세타 상응의 구성을 더욱 투명하게 만든다.