Towards the Relative Langlands Duality for Orthosymplectic Pairs

기술 요약: 직교-심플렉틱 쌍(Orthosymplectic Pairs)에 대한 상대적 랭글랜즈 쌍대성에 관한 연구

문제 제기
본 논문은 "기하학적" 범주인 구형 다양체(spherical variety) 상의 D-모듈 범주와 "스펙트럼" 범주인 랭글랜즈 쌍대 군의 코탄젠트 번들 상의 완벽한 모듈(perfect modules) 범주 사이의 동등성을 상정하는 상대적 랭글랜즈 쌍대성(Relative Langlands Duality) 추측의 특정 사례를 다룬다. 구체적으로, 저자는 군 $G = SO_{2n} \times Sp_{2n}$이 심플렉틱 벡터 공간 $V = \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$에 작용하는 경우를 조사한다.

중심 문제는 이 쌍의 S-쌍대(S-dual)를 확립하는 것이다. 이전 연구들([6], [14], [8])은 $(SO_{2n+1}, Sp_{2n})$ 및 $(GL_n, GL_m)$의 경우를 해결했으나, 비편극(non-polarized) 버전의 추측 프레임워크 내에서 $SO_{2n} \times Sp_{2n}$의 직교-심플렉틱 사례는 여전히 미해결 과제로 남아 있었다. 목표는 S-쌍대 쌍이 $SO_{2n+1} \times SO_{2n}$이 $T^*SO_{2n+1}$ 상에 작용하는 것임을 입증하는 것이다.

방법론
증명은 기하학적 표현론, 불변량 이론, 그리고 범주적 대수학을 결합한 다단계 전략을 통해 진행된다:

1. 기하학적 설정 및 바일 표현(Weil Representation): 저자는 "기하학적 범주"를 루프 공간 $(\mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+)_K$의 완비된 바일 대수(Weyl algebra) $W$의 국소 유한(locally compact), 재정규화된 이산 모듈들의 범주, 즉 $W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc}$로 정의한다. 이 범주는 $SO_{2n}$ 및 $Sp_{2n}$과 관련된 헤케 범주(Hecke categories)의 작용을 가진다. "스펙트럼 범주"는 $D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$로 식별된다.

2. 헤케 작용 식별: 핵심적인 예비 단계(섹션 4)는 $Rep(SO_{2n+1})$와 $Rep(SO_{2n})$의 헤케 작용이 기하학적 범주에서 서로 호환됨을 증명하는 것이다. 구체적으로, 표준 표현 $U \in Rep(SO_{2n+1})$의 작용이 $SO_{2n}$으로의 제한 및 그에 대응하는 헤케 작용을 통해 인수(factor)됨을 보인다. 이는 기본 대상 $E_0$ (모듈 $W/(V \otimes V')_O$) 상의 작용을 명시적으로 계산하고, 결과로 나타나는 D-모듈을 $SO_{2n}$ 측에서 발생하는 것들과 일치시킴으로써 달성된다.

3. 생성과 탈equivariantization(Deequivariantization): 본 논문은 대상 $E_0$가 $Rep(SO_{2n})$의 헤케 작용 하에서 전체 기하학적 범주를 생성함을 입증한다. 이를 통해 문제는 탈equivariantized 엔도모피즘 대수(deequivariantized endomorphism algebra) $\mathcal{E}$ (대상 $E_0$의)와 스펙트럼 측의 함수 대수 $Sym(\mathfrak{so}_{2n+1}[-2])$ 사이의 동형을 구성하는 대수적 문제로 축소된다.

4. 정식성(Formality) 및 국소화(Localization): 순수성 고려 사항(혼합 트위스터 D-모듈으로의 리프팅)을 사용하여, 저자는 dg-대수 $\mathcal{E}$가 **정식(formal)**임(즉, 코호몰로지 링 $\mathcal{E}^\bullet$와 준동형임)을 증명한다. 증명은 범주적 몫(categorical quotient) $\Sigma_{2n} \times \Sigma_{2n+1}$ 상에서 $\mathcal{E}^\bullet$의 구조를 분석하기 위해 **국소화 정리(Localization Theorem)**를 활용한다.

5. 불변량 이론 및 의사 슬라이스(Pseudo-Slices): $\psi: Sym(\mathfrak{so}_{2n+1}[-2]) \to \mathcal{E}$인 동형을 증명하기 위해, 저자는 $\mathfrak{so}_{2n+1}^*$에 대한 $SO_{2n}$ 작용의 "의사 슬라이스"를 구성한다. 범주적 몫을 분석하고, 이 맵이 베이스 체인지(base change) 및 이 의사 슬라이스를 따른 국소화를 거친 후 동형이 됨을 보임으로써, 전역적 동형을 도출한다. $n=1$인 경우는 직접 계산을 통해 별도로 처리한다.

주요 기여 및 결과

• 주요 정리 (정리 1.1): 본 논문은 다음의 범주 간 동등성을 증명한다:
  $$W\text{-mod}_{SO_{2n},O \times Sp_{2n},O,lc} \cong D^{\text{perf}}_{SO_{2n} \times SO_{2n+1}}(T^*SO_{2n+1})$$
  이 동등성은 각각의 헤케 범주의 작용과 호환되며, 기본 대상 $E_0$를 $T^*SO_{2n+1}$의 구조 층(structure sheaf)으로 사상한다.

• S-쌍대성 확인 (정리 1.5): 이의 직접적인 결과로, 본 논문은 쌍 $Sp_{2n} \times SO_{2n} \curvearrowright \mathbb{C}^{2n}_- \otimes \mathbb{C}^{2n}_+$의 S-쌍대가 $SO_{2n+1} \times SO_{2n} \curvearrowright T^*SO_{2n+1}$임을 확인한다. 이는 이 특정 직교-심플렉틱 사례에 대해 비편극 버전의 상대적 랭글랜즈 쌍대성 추측을 검증한다.

• 함자성으로서의 세타 대응 (정리 1.7): 본 논문은 $Sp_{2n}$과 $SO_{2n}$ 사이의 **세타 대응(theta correspondence)**이 자연스러운 포함 $SO_{2n} \hookrightarrow SO_{2n+1}$에 대응하는 국소 기하학적 랭글랜즈 함자성(functoriality)을 실현함을 보여준다. 구체적으로, 세타 리프트 함자는 (특정 인볼류션에 의해) 스펙트럼 범주에서의 equivariant성의 제한 및 푸시포워드(pushforward)에 의해 정의된 함자적 리프트와 동형임이 밝혀진다.

• 기약 대상의 분류: 기하학적 범주 내의 기약 대상들은 $SO_{2n}$의 지배적 코웨이트(dominant coweights)에 대응하는 자기 쌍대 시그니처(self-dual signatures)에 의해 분류된다.

의의
본 논문은 비편극적(variety $T^*SO_{2n+1}$는 하이퍼스페리컬(hyperspherical)하지만 전통적인 의미에서 편극 가능하지 않음)인 환경에서 상대적 랭글랜즈 쌍대성을 구체적으로 구현했다는 점에서 의의를 갖는다. 직교-심플렉틱 쌍에 대한 동등성을 증명함으로써, 본 연구는 기존 문헌에서 확립된 사례들을 넘어 추측의 범위를 확장한다.

또한, 본 연구는 세타 대응이 단순히 함자적 리프트가 아니라, 파생 사테 이론(Derived Satake isomorphism)에 의해 결정되는 특정한 리프트임을 엄밀한 기하학적 증명을 통해 제공한다. 의사 슬라이스와 탈equivariantized 엔도모피즘 대수의 사용을 특징으로 하는 방법론은, 저자가 향후 연구 주제로 언급한 일반적인 짝수 직교-심플렉틱 사례 $osp(2m|2n)$에 적용 가능한 프레임워크로 제시된다. 본 논문은 일반적인 홀수 직교-심플렉틱 사례나 모든 하이퍼스페리컬 다양성에 대한 완전한 아노말리 캔슬레이션(anomaly cancellation)을 해결한다고 주장하는 것이 아니라, 짝수 사례를 위한 기초적인 단계를 구축하는 데 목적이 있다.