[논문 리뷰] Parity sheaves on the affine Grassmannian and the Mirković-Vilonen conjecture

Pramod N. Achar, Laura Rider|arXiv (Cornell University)|2013. 05. 08.

Algebraic structures and combinatorial models참고 문헌 17인용 수 6

한 줄 요약

이 논문은 JMW 소수—특히 작은, 명시적으로 정의된 집합 외의 소수—에 대해, 애फ니 그라스만이의 구면 슈부르트 다양체 위의 정수 계수 국소 교차 코hom로지에 $p$- torsion 이 존재하지 않음을 보여줌으로써 Mirković–Vilonen 추측을 증명한다. Juteau–Mautner–Williamson의 평형 복합체 이론을 사용하여, 이는 위상수학적 문제를 이중 노름원자 콘 위의 대수적 질문으로 변환하며, 이러한 경우에 틸팅 복합체가 평형 복합체임을 증명한다.

ABSTRACT

We prove the Mirković-Vilonen conjecture: the integral local intersection cohomology groups of spherical Schubert varieties on the affine Grassmannian have no p-torsion, as long as p is outside a certain small and explicitly given set of prime numbers. (Juteau has exhibited counterexamples when p is a bad prime.) The main idea is to convert this topological question into an algebraic question about perverse-coherent sheaves on the dual nilpotent cone using the Juteau-Mautner-Williamson theory of parity sheaves.

연구 동기 및 목표

• 애फ니 그라스만이의 구면 슈부르트 다양체의 정수 계수 국소 교차 코호몰로지 군의 토피컬 토르션 자유성에 관한 Mirković–Vilonen 추측을 해결하기 위해.
• 악성 소수의 역할을 명확히 하여, 토르션 현상에서 발생하지 않는 정확한 소수 집합—JMW 소수—를 규명하기 위해.
• Juteau–Mautner–Williamson의 평형 복합체 이론을 통해, 애फ니 그라스만이의 펄스러운 복합체와 노름원자 콘 위의 코herent 복합체 사이의 기하학적-구조적 연결 고리를 설정하기 위해.
• 모듈라 표현 이론의 기초 결과를 제공하기 위해, $p$ 가 JMW 소수일 때 표준 펄스러운 복합체의 $mod p$ 스타크가 필드의 선택에 관계없이 독립적임을 보여주기 위해.

제안 방법

• Juteau–Mautner–Williamson의 평형 복합체 이론을 사용하여, 정수 계수 교차 코호몰로지의 토르션 문제를 위상수학적 질문에서 대수적 문제로 변환하기 위해.
• 기하학적 사타케 동치를 사용하여, Langlands 쌍대군 $G^\vee$ 의 표현과 애फ니 그라스만이 $\mathcal{G}r$ 위의 구면 펄스러운 복합체를 연결하기 위해.
• Ginzburg의 이중사상은 $G^\vee$-여기서의 복합체의 유도된 범주와 노름원자 콘 $\mathcal{N}$ 위의 코herent 복합체의 유도된 범주 사이의 동치를 제공한다.
• 체 $\Bbbk$ 의 특성이 $p$ 이고 $p$ 가 JMW 소수일 때, $\mathcal{G}r$ 위의 틸팅 복합체 $\mathcal{T}(\lambda,\Bbbk)$ 가 평형 복합체임을 보여주기 위해.
• 기저 전환과 유도된 함자와의 호환성을 사용하여, $\mathcal{G}r$ 위의 복합체의 코호몰로지와 $\mathcal{N}$ 위의 코herent 복합체의 코호몰로지 사이의 관계를 설정하기 위해.
• 함수 $h^{!}$ 가 $h_!$ 의 우측 수반이며 기저 전환 동치를 만족하므로, 유도된 범주 기법을 통해 토르션 자유성의 바람직한 성질을 확립하기 위해.

실험 결과

연구 질문

• RQ1 애फ니 그라스만이의 구면 슈부르트 다양체 위의 정수 계수 국소 교차 코호몰로지에, 특정한 작은 집합 외의 소수 $p$ 에 대해 $p$- 토르션이 존재하는가?
• RQ2 체 $\Bbbk$ 의 특성이 $p$ 일 때, 애फ니 그라스만이 위의 틸팅 복합체 $\mathcal{T}(\lambda,\Bbbk)$ 는 평형 복합체인가?
• RQ3 기하학적 사타케의 맥락에서, Mirković–Vilonen 추측의 토르션 자유성은 위상수학 문제를 노름원자 콘 위의 코herent 복합체 이론 문제로 환원하여 증명될 수 있는가?
• RQ4 정확한 소수 집합—JMW 소수—는 무엇이며, 이에 대해 $\mathcal{I}_!(\lambda,\mathbb{Z})$ 의 스타크가 토르션 자유인가?
• RQ5 Juteau–Mautner–Williamson의 평형 복합체 이론은 기하학적 사타케 맥락에서 토르션 자유성의 증명을 어떻게 지원하는가?

주요 결과

• 체 $\Bbbk$ 의 특성이 JMW 소수일 때, $\mathcal{I}_!(\lambda,\mathbb{Z})$ 의 스타크는 $p$- 토르션이 없으며, 이는 이 경우 Mirković–Vilonen 추측을 확인한다.
• 소수 $p$ 가 JMW 소수일 때, 애फ니 그라스만이 위의 틸팅 복합체 $\mathcal{T}(\lambda,\Bbbk)$ 는 체의 특성이 $p$ 일 때 평형 복합체이며, 이는 그 스타크의 평형 퇴치 성질을 암시한다.
• JMW 소수의 범위는 명시적으로 기술되어 있다: $B_n, D_n$ 에서는 $p > 2$; $C_n$ 에서는 $p > n$; $E_6, F_4, G_2$ 에서는 $p > 3$; $E_7$ 에서는 $p > 19$; $E_8$ 에서는 $p > 31$; $A_n$ 에서는 임의의 $p$ 가 가능하다.
• 이 증명은 노름원자 콘 위의 $G^\vee \times \mathbb{G}_m$-여기서의 코herent 복합체의 유도된 범주와 애फ니 그라스만이 위의 $G_O$-여기서의 펄스러운 복합체의 유도된 범주 사이의 유도 동치를 확립한다.
• 저자들은 Juteau–Mautner–Williamson 추측이 모든 양호한 소수에서 성립함을 확인하였으며, $p$ 가 양호한 소수일 때 $\mathcal{T}(\lambda,\Bbbk)$ 가 평형 복합체임을 보였지만, 전체 추측은 여전히 열려 있다.
• 이 결과는 [ABG, 정리 9.4.3]의 유도 동치의 모듈라 버전을 제공하며, 양의 특성에서의 적용 범위를 확장한다.