[논문 리뷰] Cuspidal representations of reductive groups

Dan Barbasch, Birgit Speh|ArXiv.org|2008. 10. 04.

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

한 줄 요약

이 논문은 재구성된 군에 대한 쿠스피달 아큐멘티브 표현이 유한 차수의 외부 자명변환에 관해 불변임을 보이며, 비틀린 아르투어 트레이스 공식과 국소 허모닉 분석을 사용한다. 주요 결과는 $ \mathbb{G}(\mathbb{R}) \rtimes \{1,\tau\} $의 유한 차원 표현 $ F $ 가 $ \operatorname{tr}F(\tau) \neq 0 $ 를 만족하고, $ \tau $ 의 중심화자와 같은 랭크를 가질 경우, 동일한 무한소 문자를 가지며 비영 코hom로를 가지는 온도화된 쿠스피달 아큐멘티브 표현 $ \pi_{\mathbb{A}} $ 가 존재함을 증명한다.

ABSTRACT

This paper proves the existence of cuspidal automorphic forms for a reductive group, invariant under an automorphism of finite order. The techniques used are a local analysis of orbital integrals and the Arthur-Selberg trace formula.

연구 동기 및 목표

• 재구성된 군에 대한 쿠스피달 아큐멘티브 표현이 유한 차수의 외부 자명변환에 관해 불변임을 증명하는 것.
• 해당 표현이 주어진 무한소 문자와 비영 코호몰로지와 함께 존재할 조건을 설정하는 것.
• 특히 $ \mathrm{GL}(n) $ 과 심플렉틱 군에 대해 코호몰로지적 쿠스피달 형식의 결과를 일반화하는 것.
• 트레이스 공식 기법을 사용하여 아큐멘티브 표현 이론을 외부 자명변환에 대해 안정된 표현을 포함하도록 확장하는 것.

제안 방법

• 스펙트럼 측과 기하 측을 연결하는 비틀린 아르투어 트레이스 공식을 사용하여 군 자명변환 하에서 아큐멘티브 형식을 연구한다.
• 아르키메데스적 및 비아르키메데스적 자리에서 표현을 분석하기 위해 궤도 적분과 레프셰츠 수의 국소 허모닉 분석을 적용한다.
• 실수 및 $ p $-진 설정에서 레프셰츠 함수를 적용하여 코호몰로지 위에서 자명변환의 추적을 계산한다.
• $ \operatorname{tr}F(\tau) \neq 0 $ 를 $ \tau $-불변 쿠스피달 표현의 존재를 위한 핵심 기준으로 사용한다.
• 기저 변경 기법을 사용하여 $ \mathbb{Q} $ 의 순환 확장에서 비자명한 코호몰로지를 가지는 쿠스피달 표현을 구성한다.
• 국소 대칭 공간의 코호몰로지와 아큐멘티브 형식에 계수를 갖는 $ F $ 의 상대 리 대칭대수 코호몰로지 사이의 동형을 이용한다.

실험 결과

연구 질문

• RQ1 재구성된 군 $ \mathbb{G} $ 의 유한 차수 외부 자명변환 $ \tau $ 가 쿠스피달 아큐멘티브 표현을 보존하는 조건은 무엇인가?
• RQ2 $ \mathbb{G}(\mathbb{R}) \rtimes \{1,\tau\} $ 의 유한 차원 표현 $ F $ 에 대해 $ \operatorname{tr}F(\tau) $ 가 $ \tau $-불변 쿠스피달 형식의 존재를 감지하는 조건은 무엇인가?
• RQ3 비틀린 아르투어 트레이스 공식을 어떻게 사용하여 자명변환 하에서 비영 코호몰로지를 가지는 쿠스피달 표현을 구성할 수 있는가?
• RQ4 $ \tau $ 의 동일 랭크 중심화자 역할이 이러한 표현의 존재를 보장하는 데 어떤 기여를 하는가?
• RQ5 기저 변경을 통해 순환 확장에서 자명변환 존재 하에 비자명한 코호몰로지를 가지는 쿠스피달 표현을 구성할 수 있는가?

주요 결과

• 만약 $ \operatorname{tr}F(\tau) \neq 0 $ 이고 $ \mathfrak{g}(\mathbb{R}) $ 에서 $ \tau $ 의 중심화자가 동일 랭크를 가질 경우, $ \mathbb{G}(\mathbb{A}) $ 의 쿠스피달 아큐멘티브 표현 $ \pi_{\mathbb{A}} $ 가 존재한다.
• $ \pi_{\mathbb{A}} $ 는 유한 차원 표현 $ F $ 와 동일한 무한소 문자를 가지며, 랭글랜즈 프로그램과의 호환성을 보장한다.
• $ \operatorname{H}^*({\mathfrak{g}}(\mathbb{R}), K_\infty, \pi_{\mathbb{A}} \otimes F) $ 는 비영이므로 비자명한 코호몰로지적 지지가 있음을 확인한다.
• $ \mathbb{G} = \mathrm{GL}(2m) $ 인 경우, 심플렉틱 자명변환 $ \tau_c $ 에 관해 불변이며 정수 비특이 무한소 문자를 가지는 온도화된 쿠스피달 표현이 존재한다.
• 기저 변경을 통해 $ \mathbb{Q} $ 의 순환 확장 $ K/\mathbb{Q} $ 에서 비자명한 코호몰로지를 가지는 $ \mathrm{GL}(n, \mathbb{A}_K) $ 의 쿠스피달 표현을 구성한다.
• $ \mathbb{G} $ 가 $ \mathbb{Q} $ 에 정의되어 있고 주어진 조건을 만족할 경우, 쿠스피달 코호몰로지 $ \mathrm{H}^*_{\mathrm{cusp}}(S(K_f), \mathbb{C}) $ 는 비영이다.