[논문 리뷰] The Geometric Satake Correspondence for Ramified Groups

Xinwen Zhu|arXiv (Cornell University)|2011. 07. 28.

Advanced Algebra and Geometry참고 문헌 13인용 수 12

한 줄 요약

이 논문은 F = k((t)) 위의 재구성 가능한 군들에 대해 기하학적 사타케 대응을 수립한다. 이 군들은 약한 분해가능한 확장에서 분해 가능하며, 암시적 군의 표현의 텐서 범주와 아핀 플래그 다양체 위의 Kv-동차 펄스브 시브의 범주 사이의 동치를 증명한다. 주요 결과는 비균형 설정에서 사타케 동치를 분류화하는 것으로, 기하학적 사타케 대응을 비균형 케이스로 확장하고, 지역 모델을 통한 슈미라 다양체 위의 인접 사이클 계산에의 적용을 가능하게 한다.

ABSTRACT

We prove the geometrical Satake isomorphism for a reductive group defined over F=k((t)), and split over a tamely ramified extension. As an application, we give a description of the nearby cycles on certain Shimura varieties via the Rapoport-Zink-Pappas local models.

연구 동기 및 목표

• F = k((t)) 위의 재구성 가능한 군들에 대해 기하학적 사타케 대응을 비균형 케이스로 확장하는 것, 이는 약한 분해가능한 확장에서 분해 가능하다.
• (H∨)I의 표현에서 아핀 플래그 다양체 Fℓv 위의 Kv-동차 펄스브 시브의 범주로 가는 텐서 함자를 구성하는 것.
• 비균형 케이스에서 사타케 동치의 분류화를 확립하여, 비균형 케이스를 파라호리 수준의 구조로 일반화하는 것.
• 이 대응을 슈미라 다양체 위의 인접 사이클을 계산하는 데 적용하여, 라포포르트-진-파파스 지역 모델과 연결하는 것.

제안 방법

• Kv = L+Gv가 파라호리 군 스킴 Gv의 제트 공간인 바탕에서, Fℓv = LG/Kv를 k 위의 인드 스킴으로 정의한다.
• (H∨)I의 표현에서 Fℓv 위의 Kv-동차 펄스브 시브의 범주 Pv로 가는 함수 Z를 구성한다.
• 함수 Z가 텐서 함수임을 증명하고, RS: Rep((H∨)I) ≃ Pv로 주어진 텐서 범주 간의 동치를 유도한다.
• 초코homology 함수 H∗를 사용하여 RS의 상을 忘却 함수와 식별함으로써, 기하학적 사타케 동치를 확립한다.
• Galois 군 I = Gal(Fs/F)의 H∨ 위의 작용을 이용하여 (H∨)I를 Galois 작용에 대한 불변 원소의 군으로 정의한다.
• 지역 모델의 기하학과 슈부르트 다양체 위의 교차 코호몰로지 시브의 관계를 통해, 슈미라 다양체 위의 인접 사이클에 대응을 적용한다.

실험 결과

연구 질문

• RQ1 F = k((t)) 위에서 비균형이지만 약한 분해가능한 확장에서 분해 가능한 재구성 가능한 군들에 대해 기하학적 사타케 대응을 어떻게 확장할 수 있는가?
• RQ2 비균형 케이스에서 사타케 동치를 포착하기 위해 적절한 기하학적 대상(예: 아핀 플래그 다양체)과 동차 구조(예: 파라호리 부분군)는 무엇인가?
• RQ3 Langlands 이중 군 H∨ 위의 Galois 작용이 아핀 플래그 다양체 위의 펄스브 시브의 범주에 어떻게 나타나는가?
• RQ4 기하학적 사타케 대응을 지역 모델을 통해 슈미라 다양체 위의 인접 사이클을 묘사하는 데 사용할 수 있는가?
• RQ5 재구성 가능한 몫이 다른 다양한 플래그 다양체(예: Fℓv0와 Fℓv1)에서 슈부르트 다양체의 교차 코호몰로지 사이의 관계는 무엇인가?

주요 결과

• 아핀 플래그 다양체 Fℓv 위의 Kv-동차 펄스브 시브의 범주 Pv는 자연스러운 텐서 구조를 갖는다.
• (H∨)I는 Langlands 이중 군 H∨의 Galois 불변 부분군이므로, RS: Rep((H∨)I) ≃ Pv로 주어진 텐서 동치가 존재한다.
• 초코호몰로지 함수 H∗ ∘ RS는 忘却 함수와 동형이므로, 비균형 설정에서 기하학적 사타케 동치가 확인된다.
• 이 대응은 비균형 군에 대해 (0.1)의 사타케 동치를 분류화하며, 비균형 케이스로 비균형 케이스를 일반화한다.
• 다른 플래그 다양체(예: Fℓv0와 Fℓv1)에서 슈부르트 다양체의 교차 코호몰로지는 재구성 가능한 몫이 다르더라도 동일한 표현을 유도한다(예: 하나는 고렌스타인이고, 다른 하나는 스무스하다).
• 이 결과는 라포포르트-진-파파스 지역 모델을 통해 특정 슈미라 다양체 위의 인접 사이클을 묘사할 수 있게 하여, 산술 기하학과 표현 이론을 연결한다.