[논문 리뷰] A note on Integral Satake isomorphisms

Xinwen Zhu|arXiv (Cornell University)|2020. 05. 26.

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

한 줄 요약

이 논문은 p-진군 G의 구면 헤이크 대수에 대한 표준적 정수 계수 Satake 동형사상의 정의를 제시하며, 이를 Langlands 쌍대군과 코특성 ρad로부터 유도된 아핀 모노이드에 관련된 Z-대수로 식별한다. 이 구성은 Vinberg 모노이드를 통해 임의의 무게에 대한 헤이크 대수로 일반화되며, 고전적 및 mod p Satake 동형사상으로 특수화되는 통일된 정수 계수 기술을 제공하고, Fp 위에서 기하학적 Satake 동치와도 호환된다.

ABSTRACT

We formulate a Satake isomorphism for the integral spherical Hecke algebra of an unramified $p$-adic group $G$ and generalize the formulation to give a description of the Hecke algebra $H_G(V)$ of weight $V$, where $V$ is a lattice in an irreducible algebraic representation of $G$.

연구 동기 및 목표

• q^{1/2}에 의존하지 않는 Z 위에서 unramified p-진군 G의 구면 헤이크 대수 HG에 대한 표준적 정수 계수 Satake 동형사상의 정의.
• G의 기약 대수적 표현에서의 격자 V에 대해 최고 무게 λ로 매개화된 헤이크 대수 HG(V)에 대한 Satake 동형사상의 일반화.
• 기하학적 Satake 동치와의 호환성을 확립하기 위해, 아핀 모노이드 V_{Ĝ,ρad}의 표현론을 통해 헤이크 대수를 표현의 표현론과 연결함으로써, 특히 mod p 설정에서의 호환성 확보.
• Vinberg 모노이드 구성법을 통해 고전적 Satake 동형사상(정수환 Z[q±1/2] 위에서)과 mod p Satake 동형사상의 통합된 정수 계수 기반 제공.

제안 방법

• 코특성 ρad와 갈루아 작용을 포함한 Langlands 쌍대군의 수정판인 C-군 CG = Ĝ ⋊ (Gm × Γ̃F/F) 정의.
• homomorphism dρad : V_{Ĝ,ρad} → A1을 통해 Ĝ의 Vinberg 모노이드의 pullback으로서 아핀 모노이드 V_{Ĝ,ρad} 구성하며, 이는 쌍대군 ĜT의 일반화이다.
• V_{Ĝ,ρad}의 표현 이론을 이용해 표현의 그로텐디크 군을 기술하고, 이와 정수 헤이크 대수 HG와 트레이스 사상으로 식별.
• 기하학적 Satake와의 호환성과 프로베니우스의 트레이스를 이용해, C-군의 정수 표현의 그로텐디크 군과 정수 헤이크 대수 HG 사이의 표준적 동형사상 수립.
• V_{Ĝ,ρad} 위의 불변 함수의 링이 G의 기약 표현에서의 격자 V에 대해 모든 HG(V)로 특수화됨을 증명.
• 기하학적 Satake 동치와의 호환성을 검증하기 위해, C-군의 정수 표현의 범주가 아핀 그라스만리안 위의 펄서브 셰이브의 범주로 완전 충실하게 사상되며, 트레이스 사상이 Satake 동형사상 유도됨을 보임.

실험 결과

연구 질문

• RQ1 고전적 Satake 동형사상은 q^{1/2}에 의존하지 않는 Z 위에서 정수 계수로 정의될 수 있는가?
• RQ2 Satake 동형사상은 구면 사례 외의 임의의 무게에 대해 어떻게 일반화될 수 있는가?
• RQ3 Vinberg 모노이드 V_{Ĝ,ρad}는 정수 계수 Satake 동형사상의 실현에서 어떤 역할을 하는가?
• RQ4 정수 계수 Satake 동형사상은 Cass가 연구한 Fp 위에서의 기하학적 Satake 동치와 어떻게 관련이 있는가?
• RQ5 고전적 및 mod p Satake 동형사상으로 모두 특수화되는 표준적 Z-대수 기술로 HG(V)를 기술할 수 있는가?

주요 결과

• 논문은 표준적 정수 계수 Satake 동형사상 HG ≃ Z[V_{Ĝ,ρad}|dρad=q]^{cσ(Ĝ)}를 구성하며, 여기서 V_{Ĝ,ρad}는 Langlands 쌍대군과 코특성 ρad에 관련된 아핀 모노이드이다.
• 이 동형사상은 q^{1/2}에 의존하지 않으며, q^{1/2}를 역으로 취한 후 고전적 Satake 동형사상으로 특수화되고, p로 모듈로 환원한 후 mod p Satake 동형사상으로 특수화된다.
• 이 구성은 G의 기약 표현에서의 격자 V에 대해 헤이크 대수 HG(V)로 일반화되며, 동형사상은 HG(V) ≃ Z[V_{Ĝ,λad+ρad}|dρad=q]^{cσ(Ĝ)} 형태를 취한다.
• V_{Ĝ,ρad} 위의 불변 함수의 링은 모든 HG(V)로 암시되며, 이는 단일한 모노이드가 모든 무게에 대한 정수 헤이크 대수를 캐릭터라이즈함을 보여준다.
• 기하학적 Satake 동치는 C-군의 정수 표현의 범주와 아핀 그라스만리안 위의 펄서브 셰이브의 범주 사이의 동치를 유도하며, 이는 트레이스 사상과 호환된다.
• C-군의 정수 표현의 그로텐디크 군에서 HG로의 트레이스 사상은 전사이며, 기하학적 Satake와 고전적 Satake을 포함하는 다이어그램은 가환성을 유지함으로써 정수성과 호환성의 확인이 이루어진다.