[논문 리뷰] On the local Langlands correspondence for quasi-split even orthogonal groups

Hiraku Atobe, Wee Teck Gan|arXiv (Cornell University)|2016. 02. 03.

Advanced Algebra and Geometry참고 문헌 39인용 수 6

한 줄 요약

이 논문은 아르투어의 표현 분류를 바탕으로, 준단일 짝수 정규직교군 $\mathrm{O}_{2n}$에 대한 정확한 국소 리만-랑랜스 대응을 수립한다. 이는 전체 프라사드 추측을 증명하고, $\mathrm{O}_{2n}$에 대한 리만-랑랜스 대응을 활용하여 그로스–프라사드 추측을 직교군으로 확장하며, 아르투어의 다중도 수식과 $L$-패킷의 구조를 통해 핵심 결과를 도출한다.

ABSTRACT

In this paper, we highlight and state precisely the local Langlands correspondence for quasi-split O_{2n} established by Arthur. We give two applications: Prasad's conjecture and Gross--Prasad conjecture for O_{n}. Also, we discuss the Arthur conjecture for O_{2n}, and establish the Arthur multiplicity formula for O_{2n}.

연구 동기 및 목표

• 준단일 $\mathrm{O}_{2n}(F)$에 대한 정확한 국소 리만-랑랜스 대응을 서술하고 강조하는 것. 이는 아르투어의 작업에 암묵적으로 포함되어 있었지만, 충분히 강조되지 않았다.
• 준단일 $\mathrm{O}_{2n}(F)$에 대한 전체 리만-랑랜스 대응을 활용하여, 쌍 $\mathrm{O}_{2n} \times \mathrm{Sp}_{2n}$ 및 $\mathrm{O}_{2n} \times \mathrm{Sp}_{2n-2}$에 대한 국소 토타 대응에 관한 프라사드의 추측을 완성하는 것.
• 국소 GP 추측의 푸리에–야코비 사례를 $\mathrm{O}_n$에 대해 증명함으로써, 그로스–프라사드 추측을 직교군으로 확장하는 것. 이는 토타 대응과 정밀화된 리만-랑랜스 대응을 활용한다.
• 아르투어의 다중도 수식을 $\mathrm{O}_{2n}(F)$에 대해 제안하고 증명함으로써, 이러한 군들의 자동형 스펙트럼 기술을 완성하는 것.
• 순수 내부형의 $\mathrm{O}_{2n}$에 대한 보반 $L$-패킷을 정의하고 활용함으로써, 준단일 사례를 초월해 리만-랑랜스 대응을 확장하는 것.

제안 방법

• 아르투어의 분류를 바탕으로, $\mathrm{GL}_N$으로의 비틀린 내부형 전이를 통해 $\mathrm{O}_{2n}(F)$의 기약 표현을 분류하고, 비틀린 추적 공식의 안정화를 활용한다.
• Weil–델리뉴 군 $\mathrm{WD}_F$의 직교 표현으로서 $\mathrm{O}_{2n}(F)$의 $L$-매개변수를 정의하며, $L$-군으로서 $\mathrm{O}_{2n}(\mathbb{C})$를 사용한다.
• 표현의 상향 전이와 $L$-패킷의 구조를 검증하는 데 핵심적인 기술적 도구로 국소 상호작용 관계(가설 3.10)를 수립한다.
• 아르투어의 다중도 수식을 $\mathrm{SO}_{2n}$에 적용하고, 표현의 제약과 그들의 $\epsilon$-변형 모듈을 분석함으로써 이를 $\mathrm{O}_{2n}$로 확장한다.
• $\mathcal{H}(G)$-모듈과 $\epsilon$-타입 이론을 활용하여 자동형离산 스펙트럼 $\mathcal{A}_2(\mathrm{O}_{2n})$ 내의 다중도를 분석한다.
• $\iota_c(\sigma) \circ \Delta = \varepsilon_\Sigma$를 만족하는 기약 $\mathcal{H}(\mathrm{O}_{2n})$-모듈 $\sigma$에 대해 $m(\sigma) = 1$임을 증명한다. 이는 제약 사상의 단사성과 Hom 공간의 차원 상한을 이용한다.

실험 결과

연구 질문

• RQ1 아르투어의 분류를 바탕으로, 준단일 짝수 정규직교군 $\mathrm{O}_{2n}(F)$에 대한 국소 리만-랑랜스 대응의 정확한 서술은 무엇인가요?
• RQ2 정밀화된 $\mathrm{O}_{2n}$에 대한 리만-랑랜스 대응을 활용하여, 전체 프라사드 추측에 대한 국소 토타 대응의 증명은 어떻게 이루어지나요?
• RQ3 국소 GP 추측의 푸리에–야코비 사례를 활용하여, 그로스–프라사드 추측을 직교군 $\mathrm{O}_n$로 확장할 수 있을까요?
• RQ4 자기형 이산 스펙트럼 $\mathcal{A}_2(\mathrm{O}_{2n})$의 구조는 무엇이며, 아르투어의 다중도 수식은 어떻게 적용되나요?
• RQ5 보반 $L$-패킷과 국소 상호작용 관계는 순수 내부형의 $\mathrm{O}_{2n}$의 표현 이론을 어떻게 지배합니까?

주요 결과

• 논문은 $\mathrm{O}_{2n}(F)$에 대해 완전한 국소 리만-랑랜스 대응을 수립한다. 이는 $\mathrm{WD}_F$의 직교 표현으로서 $\mathrm{O}_{2n}(\mathbb{C})$에 값을 갖는 $L$-매개변수로 정의된다.
• 전체 프라사드 추측이 증명된다: $\mathrm{O}_{2n} \times \mathrm{Sp}_{2n}$ 및 $\mathrm{O}_{2n} \times \mathrm{Sp}_{2n-2}$에 대한 국소 토타 대응은 $\mathrm{O}_{2n}$에 대한 리만-랑랜스 대응를 통해 완전히 기술된다.
• 그로스–프라사드 추측의 푸리에–야코비 사례는 $\mathrm{O}_n$로 확장되며, 직교군에 대한 GP 추측의 한 형태가 확립된다.
• 아르투어의 다중도 수식이 $\mathrm{O}_{2n}$에 대해 수립되며, 자동형 이산 스펙트럼 $\mathcal{A}_2(\mathrm{O}_{2n})$에 포함된 기약 표현 $\sigma$의 다중도 $m(\sigma)$가 $\mathrm{Hom}_{\mathcal{H}(\mathrm{O}_{2n})}(\sigma, \mathcal{A}_2(\mathrm{O}_{2n}))$의 차원과 같음을 보여준다.
• $\iota_c(\sigma) \circ \Delta = \varepsilon_\Sigma$를 만족하는 기약 $\mathcal{H}(\mathrm{O}_{2n})$-모듈 $\sigma$에 대해 $m(\sigma) = 1$임을 증명한다. 이는 제약 사상의 단사성과 Hom 공간의 차원 상한을 통해 이루어진다.
• 국소 상호작용 관계(가설 3.10)가 핵심 메커니즘으로 확인되며, 이는 $L$-패킷의 구성과 자동형 스펙트럼 내 다중도 1의 검증을 가능하게 한다.