[논문 리뷰] Notes on a conjecture of Braverman-Kazhdan

Gérard Laumon, Emmanuel Letellier|arXiv (Cornell University)|2019. 06. 18.

Advanced Algebra and Geometry참고 문헌 8인용 수 2

한 줄 요약

이 논문은 유한체 위의 재수성 군에 대한 Braverman-Kazhdan 추측을, 표현 ρ♭: G♭ → GLN에 대한 어떤 가정도 요구하지 않고 단순하고 일반적인 증명을 제공한다. 저자들은 Deligne-Lusztig 이론, Lusztig 유도, 그리고 몫 스택 위의 기하학적 푸리에 변환을 사용하여, 유도된 문자와 감마 함수를 통해 ϕG_ρ의 핵심을 명시적인 공식으로 유도함으로써, 모든 연결 재수성 군 G에 대해 추측을 균일하게 증명한다.

ABSTRACT

Given a connected reductive algebraic group G over a finite field together with a representation of the dual group of G in GL(n), Braverman and Kazhdan defined an exotic Fourier operator on the space of complex valued functions on the finite group of rational points of G. In these notes we give an explicit formula for the Fourier kernel and a geometrical interpretation of this formula (as conjectured by Braverman and Kazhdan under some assumption).

연구 동기 및 목표

• 유한체 위의 재수성 군에 대한 Braverman-Kazhdan 추측을, 비표준 푸리에 핵심의 명시적 형태를 해결하기 위해.
• 원래 추측에서 제시된 ρ♭에 대한 제한 조건을 제거하고, 전반적으로 일반화된 형태로 증명하기 위해.
• 몫 스택과 Lusztig 시리즈를 통해, 푸리에 핵심을 기하학적이고 표현 이론적으로 통합된 프레임워크로 이해하기 위해.
• 최대 아벨 군 위에서 유도된 문자와 감마 함수를 통해 ϕG_ρ의 완전한 기술을 제공하기 위해.

제안 방법

• G의 F-안정적인 최대 아벨 군을 H¹(F, N)를 통해 파arameter화하는 몰입 스택 [T/N]을 사용하여, 코어비던스 클래스에 대한 전역적 제어를 가능하게 한다.
• Lusztig 유도와 쌍대성을 적용하여, ρ♭: G♭ → G′♭를 통한 G와 G′의 문자 간의 관계를 설정한다.
• 각 토리 H에 대해, ρH: T′ → H를 통한 추적 문자의 스케일링된 푸시포워드의 합으로서 비표준 푸리에 핵심 ϕG_ρ를 구성한다.
• 스택 [G/G]와 [T/N] 위의 기하학적 푸리에 변환을 적용하며, M([t/N])과 M([t/W]) 사이의 동형을 통해 코homological 대응을 연결한다.
• 편중층 이론과 Springer 대응을 적용하여, 스프링거 해소의 최상위 코homology 군이 W 작용 하에서 부호 표현을 지닌다는 것을 보여준다.
• 푸리에 변환의 치환성과 푸시포워드와의 호환성을 이용하여, [S/W]와 [S′/W] 위의 IC 층에 대한 핵심 동형을 도출한다.

실험 결과

연구 질문

• RQ1 ρ♭: G♭ → G′♭에 대한 어떤 가정도 없이, 비표준 푸리에 핵심 ϕG_ρ의 명시적 공식은 무엇인가?
• RQ2 Lusztig 시리즈의 매개화가 ρ♭에 의한 감마 함수의 전이와 어떻게 상호작용하는가?
• RQ3 Braverman-Kazhdan 추측은 GLn 이외의 모든 재수성 군에 대해 균일하게 증명될 수 있는가?
• RQ4 Deligne-Lusztig 다양체와 몰입 스택의 관점에서 푸리에 핵심의 기하학적 의미는 무엇인가?
• RQ5 스프링거 대응의 맥락에서, 코homology 위의 웨일 군 작용과 부호 표현 간의 관계는 무엇인가?

주요 결과

• 비표준 푸리에 핵심 ϕG_ρ는 ϕG_ρ = ∑_{χ∈dGF} χ(1)γG_ρ(χ)χ∨로 명시적으로 주어지며, 여기서 γG_ρ는 tρ를 통해 γG′의 역상이다.
• ϕG_ρ는 기하학적으로 F-안정적인 최대 아벨 군 H에 대한 합으로서 cH,T′ ⋅ ρH!(ψ ◦ Tr|T′)로 구성되며, 여기서 ρH는 H♭ → T′와 쌍대성 관계를 가진다.
• ρ♭를 통해 정의되는 tρ: LS(G) → LS(G′)는 잘 정의되어 있으며, 이는 이중 사상 ρ: G′ → G가 존재하지 않더라도, 적합한 함수의 전이를 유도한다.
• C(GF) 위의 푸리에 변환 FG_ρ는 스택 [G/G]F 위의 푸리에 변환의 제한으로서 실현되며, Deligne-Lusztig 유도와 호환된다.
• 스프링거 해소의 최상위 코homology 군은 웨일 군의 부호 표현을 지닌다. 이는 기하적 추론에서 핵심 동형을 증명하는 데 필수적이다.
• 스택 위에서 F[t/W] × 1 ≃ 1 × F[g/G]의 주요 동형은 코homological 대응과 푸리에 변환의 치환성에 의해 확립되며, 이는 추측을 확인한다.