[논문 리뷰] On a uniqueness property of cuspidal unipotent representations

Yongqi Feng, Eric Opdam|arXiv (Cornell University)|2015. 04. 14.

Advanced Algebra and Geometry참고 문헌 18인용 수 9

한 줄 요약

이 논문은 비아르키메데스 현지에서의 고전적 군에 대해 초구속 단순표현의 형식적 차수는 약화된 비분비 특성에 의한 변형을 제외하고는 Lusztig-Langlands 매개변수를 유일하게 결정함을 보여준다. 형식적 차수와 스펙트럼 전이 사상들을 사용하여, 단순표현 아핀 허케 대수 간의 단순표현 스펙트럼 전이 준동형사상의 본질적 유일성을 증명한다.

ABSTRACT

The formal degree of a unipotent discrete series character of a simple linear algebraic group over a non-archimedean local field (in the sense of Lusztig), is a rational function of the cardinality q of the residue field. The irreducible factors of this rational function are $q$ and cyclotomic polynomials. We prove that the formal degree of a supercuspidal unipotent representation determines its Lusztig-Langlands parameter, up to twisting by weakly unramified characters. For split exceptional groups this result follows from the work of Mark Reeder, and for the remaining exceptional cases this is verified by the first name author in arXiv:1708.09547. In the present paper we treat the classical families. The main result of this article characterizes unramified Lusztig-Langlands parameters which support a cuspidal local system in terms of formal degrees. The result implies the uniqueness of so-called cuspidal spectral transfer morphisms (as introduced in arXiv:1310.7193) between unipotent affine Hecke algebras (up to twisting by unramified characters). In arXiv:1310.7790 the essential uniqueness of arbitrary unipotent spectral transfer morphisms was reduced to the cuspidal case.

연구 동기 및 목표

• 비아르키메데스 현지에서의 고전적 군에 대해 초구속 단순표현의 Lusztig-Langlands 매개변수의 유일성을 확립한다.
• 형식적 차수를 통한 비분비 Lusztig-Langlands 매개변수의 단순표현 국소계를 지지하는 특성화.
• 비분비 특성에 의한 변형을 제외한, 단순표현 아핀 허케 대수 간의 단순표현 스펙트럼 전이 준동형사상의 본질적 유일성을 증명한다.
• 예외적 군을 초월하여 유일성 결과를 확장하여 고전적 가닥의 분류를 완성한다.
• 고전적 설정에서 이산 비분비 랑글랜드 매개변수의 형식적 차수 기반 특성화를 제공한다.

제안 방법

• 형식적 차수를 $ q $ 에 대한 유리함수로 분석하며, 기약 인자는 $ q $ 와 원분다항식이 된다.
• Iwahori–spherical 케이스로의 축소를 위해 스펙트럼 전이 사상과 Iwahori–허케 대수의 구조를 사용한다.
• Kac 다이어그램과 잔여점들을 사용하여 고전적 군에 대한 이산 비분비 랑글랜드 매개변수를 분류한다.
• $ \tilde{h}_{\bullet} $, $ \tilde{\rho} $, $ \theta $-연산자와 관련된 다중도 함수 및 복합 항등식을 적용하여 형식적 차수를 계산한다.
• $ \textup{mult}^{(\bullet)} $ 함수와 $ \triangle $-연산자를 사용하여 형식적 차수 표현의 구조를 분석한다.
• $ \rho $-자료의 유형(유형 (a)–(e))에 대한 사례별 분석을 수행하여 비단순표현 형식적 차수를 배제하고, 모순을 통한 유일성 증명을 수행한다.

실험 결과

연구 질문

• RQ1 초구속 단순표현의 형식적 차수는 비아르키메데스 현지에서의 고전적 군에 대해, 강화된 비분비 특성에 의한 변형을 제외하고는 Lusztig-Langlands 매개변수를 유일하게 결정할 수 있는가?
• RQ2 어떤 비분비 Lusztig-Langlands 매개변수가 단순표현 국소계를 지지하며, 형식적 차수를 통해 어떻게 특성화할 수 있는가?
• RQ3 단순표현 아핀 허케 대수 간의 단순표현 스펙트럼 전이 준동형사상은 비분비 특성에 의한 변형을 제외하고는 유일하게 결정되는가?
• RQ4 원분다항식과 다중도 함수는 초구속 단순표현의 형식적 차수를 구분하는 데 어떤 역할을 하는가?
• RQ5 스펙트럼 전이 사상과 허케 대수의 구조는 고전적 군에서 가능한 형식적 차수를 어떻게 제약하는가?

주요 결과

• 고전적 군에 대해 초구속 단순표현의 형식적 차수는 약화된 비분비 특성에 의한 변형을 제외하고는 Lusztig-Langlands 매개변수를 유일하게 결정한다.
• 고전적 군에서 형식적 차수 식 (4.20)의 유일한 해는 단순표현 단순표현에 해당하며, 비단순표현 유형에 대해서는 해가 존재하지 않는다.
• 모든 $ \rho $-유형 (b)–(e)와 혼합 유형 (d,e) 조합이 배제되며, 비단순표현 구성에서 유효한 형식적 차수가 유도되지 않음을 입증한다.
• 다중도 함수 $ \textup{mult}^{(\bullet)} $ 와 $ \triangle $-연산자 및 $ T_{\bullet} $-항들의 분해는 단순표현 케이스를 유일하게 식별한다.
• 결과적으로 [Opd3]에서 제안된 바와 같이, 단순표현 아핀 허케 대수 간의 단순표현 스펙트럼 전이 준동형사상의 본질적 유일성이 확인된다.
• 비판적 점에서 값이 $ 0, -1, -2, -3 $ 인 초구속 형식적 차수를 유도하는 데 유일한 구성만이 존재함을 보여주기 위해 $ p_{\bullet} $ 와 $ \rho $-유형에 대한 철저한 사례 분석을 수행하였다.