[논문 리뷰] Affine Grassmannians and the geometric Satake in mixed characteristic

Xinwen Zhu|arXiv (Cornell University)|2014. 07. 31.

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

한 줄 요약

이 논문은 완전 스킴과 윌트 벡터 구성법을 사용하는 새로운 프레임워크를 도입하여 혼합 특성수에서 아핀 그라스만يان의 표현 가능성과 기하학적 사타케 동치를 증명한다. 이는 기하학적 표현 이론에서 오랫동안 남아 있던 문제를 해결하며, 혼합 특성수에서 격자의 모듈리 공간이 완전 대수적 공간들의 극한으로 표현 가능하다는 것을 보여주어, 이 설정에서 ℓ-아디크 코hom로지와 페르세브 sheaf 이론의 발전을 가능하게 한다. 이는 라포포르트-지크 공간과 아핀 덜레인-루스티그 다양체에의 응용을 수반한다.

ABSTRACT

We endow the set of lattices in Q_p^n with a reasonable algebro-geometric structure. As a result, we prove the representability of affine Grassmannians and establish the geometric Satake correspondence in mixed characteristic. We also give an application of our theory to the study of Rapoport-Zink spaces.

연구 동기 및 목표

• 혼합 특성수에서 Qp^n 내의 격자 집합에 대해 잘 정의된 대수기하학적 구조를 만들기 위해, 이전에 합리적인 모듈리 해석이 없었던 문제를 해결한다.
• 완전 링으로 제한하고 대수적 공간의 완전화를 사용하여 혼합 특성수에서 GLn에 대한 아핀 그라스만얀의 표현 가능성 문제를 해결한다.
• 혼합 특성수에서 기하학적 사타케 동치를 확립하여 사타케 카테고리와 랑글랜즈 쌍대군의 표현 간의 연관성을 맺는다.
• 새로운 프레임워크를 활용하여 아핀 덜레인-루스티그 다양체의 차원과 라포포르트-지크 공간과의 관계를 연구한다.
• 혼합 특성수에서 아핀 그라스만얀에 대한 ℓ-아디크 코호몰로지와 페르세브 sheaf 이론의 기초를 마련한다.

제안 방법

• 완전 k-대수 R 위에서 격자의 모듈리 문제를 정의한다: W(R)[1/p]^n 내의 전순서를 가진 유한 프로젝티브 W(R)-부분모듈로로 정의한다.
• 완전 스킴가 그 값이 완전 링에서 결정되며, 에탈 코호몰로지가 완전화에 대해 불변하다는 사실을 이용한다.
• Gr(N)의 부분함수를 행렬의 모듈리 공간 위에서 행렬식이 p^N으로 나누어지는 조건을 만족하는 행렬에 대한 행렬식 선다발의 몫으로 표현한다.
• 각각이 k 위의 올바른 대수적 공간의 완전화인 완전 대수적 공간들의 직접 극한으로 아핀 그라스만얀을 구성한다.
• 완전 스킴 이론과 완전 대수적 공간 위의 ℓ-아디크 코herent sheaf 이론을 사용하여 코homological 불변량을 정의한다.
• GL2에 적용하여 명시적 모델을 통해 특이점의 해소를 검증하고, Gr2가 스킴임을 보이며 Gr2와 완전화된 아핀 평면으로의 열린 덮개를 가짐을 보인다.

실험 결과

연구 질문

• RQ1 혼합 특성수에서 Qp^n 내의 격자 집합은 합리적인 대수기하학적 구조를 지닐 수 있는가?
• RQ2 혼합 특성수에서 GLn에 대한 아핀 그라스만얀은 완전 대수적 공간들의 직접 극한으로 표현 가능한가?
• RQ3 혼합 특성수에서 기하학적 사타케 동치는 성립하는가? 즉, 사타케 카테고리와 랑글랜즈 쌍대군의 표현 간에 연관성이 있는가?
• RQ4 혼합 특성수에서 아핀 덜레인-루스티그 다양체의 차원은 무엇이며, 라포포르트-지크 공간과 어떤 관계가 있는가?
• RQ5 특이점이 있는 아핀 그라스만얀은 완전 대수적 공간 모델을 통해 해소될 수 있는가?

주요 결과

• 혼합 특성수에서 아핀 그라스만얀은 완전 대수적 공간들의 직접 극한으로 표현 가능하며, 각각은 잔여체 k 위의 올바른 대수적 공간의 완전화이다.
• 혼합 특성수에서 기하학적 사타케 동치가 성립하며, 사타케 카테고리가 랑글랜즈 쌍대군의 표현 카테고리와 일치함이 입증된다.
• 혼합 특성수에서 아핀 덜레인-루스티그 다양체의 차원은 아핀 그라스만얀의 기하학적 해소를 통해 계산된다.
• GL2 및 N=2의 경우, 아핀 그라스만얀 Gr2는 스킴임을 보이며, Gr2와 완전화된 아핀 평면으로의 열린 덮개를 가지며, 해소 사상 fGr2 → Gr2가 명시적으로 구성된다.
• 해소 위에서의 행렬식 선다발이 준강력임을 보이며, 혼합 특성수에서의 추측적 기하학적 사타케 동치를 지지한다.
• 아핀 그라스만얀의 기하학과 특이점들을 통해 라포포르트-지크 공간에 대한 모델을 제공한다.