[논문 리뷰] Simple supercuspidal L-packets of quasi-split classical groups

Masao Oi|arXiv (Cornell University)|2018. 05. 03.

Advanced Algebra and Geometry참고 문헌 37인용 수 5

한 줄 요약

이 논문은 p ≠ 2일 때 p-진 필드 위의 준단순적 고전군에서 단순 초임계표현의 L-패킷과 해당 L-매개변수를 결정한다. 명시적 특징 계산과 엔도스코픽 특징 관계를 이용하여, 이러한 L-패킷이 이차 특징에 의한 변형을 통해 얻어진 L-매개변수로 매개변수화됨을 입증함으로써, 이 설정에서 국소 L-언젠드 대응의 자연성을 확인한다.

ABSTRACT

In this paper, for quasi-split classical groups over p-adic fields, we determine the L-packets consisting of simple supercuspidal representations and their corresponding L-parameters, under the assumption that p is not equal to 2. The key is an explicit computation of characters of simple supercuspidal representations and the endoscopic character relation, which is a characterization of the local Langlands correspondence for quasi-split classical groups.

연구 동기 및 목표

• 준단순적 고전군에서 p-진 필드 위의 단순 초임계표현으로 구성된 L-패킷의 구조를 명시적으로 규명하는 것.
• 국소 L-언젠드 대응 하에서 이러한 표현에 대응하는 L-매개변수를 규명하는 것.
• 엔도스코픽 특징 관계를 통해 국소 L-언젠드 대응의 자연성을 검증하는 것.
• 최소 깊이 초임계표현인 단순 초임계표현에 대한 대응을 명시적으로 특징화하는 것.
• 단순 초임계표현의 L-패킷이 이차 특징에 의한 변형을 거친 L-매개변수로 매개변수화됨을 확립하는 것.

제안 방법

• Iwahori 부분군의 프로-유니포텐트 라디칼 위에서의 컴acts한 일반 특징에 대한 약한 유도를 이용한 단순 초임계표현의 특징을 명시적으로 계산하는 것.
• 엔도스코픽 상승을 통해 G의 표현과 GLN의 표현을 연결하기 위해 엔도스코픽 특징 관계를 적용하는 것.
• L-매개변수 간의 비교를 위해 플랑커렐 측도와 γ-요소를 사용하는 것.
• 엔도스코픽 특징 관계가 특징의 선형 독립성에 의해 국소 L-언젠드 대응을 유일하게 특징짓는 사실을 활용하는 것.
• GS12의 보조정리 C.4를 활용하여, γ-요소의 동일성이 WF × SL2(C)의 표현으로서 L-매개변수의 동형성을 암시함을 보이는 것.
• 표현을 이차 특징으로 변형하고, 플랑커렐 측도가 이러한 변형에 대해 불변임을 증명함으로써 L-매개변수 간 비교를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 준단순적 고전군에서 p-진 필드 위의 단순 초임계표현의 L-패킷은 어떻게 구성되어 있는가?
• RQ2 이러한 단순 초임계 L-패킷에 대응하는 정확한 L-매개변수의 형태는 무엇인가?
• RQ3 엔도스코픽 특징 관계는 이러한 표현에 대한 국소 L-언젠드 대응을 어떻게 특징짓는가?
• RQ4 이러한 맥락에서 표현의 이차 변형은 L-매개변수의 변형과 어느 정도 대응하는가?
• RQ5 특징 관계를 이용하여 단순 초임계표현에 대해 국소 L-언젠드 대응의 자연성을 명시적으로 검증할 수 있는가?

주요 결과

• 준단순적 고전군에서 p-진 필드 위의 단순 초임계표현의 L-패킷은 원래 L-매개변수를 이차 특징에 의해 변형한 L-매개변수로 매개변수화된다.
• 엔도스코픽 특징 관계는 L-패킷에 속한 표현과 그에 대응하는 L-매개변수 사이의 대응을 유일하게 결정한다.
• 명시적 특징 계산을 통해 플랑커렐 측도가 이차 특징에 의한 변형에 대해 불변임을 확인하였으며, 이는 L-매개변수가 해당 방식으로 변형됨을 암시한다.
• 단순 초임계표현의 L-매개변수는 자기쌍대이며 WF × SL2(C)의 이산계열 표현과 대응됨을 보였다.
• 핵심 결과는 eΠH_φ⊗χ = eΠH_φ ⊗ (χ ◦ spin)이며, 이에 대응하는 L-매개변수는 φ ⊗ χ임을 확인함으로써, 변형에 따른 예상되는 행동이 성립함을 입증하였다.
• 증명은 변형된 L-매개변수의 γ-요소가 동일함에 기반하며, 이는 보조정리 C.4에 의해 기저 표현의 동형성을 암시함으로써 올바른 L-매개변수를 식별한다.