[논문 리뷰] Modular Springer correspondence, decomposition matrices and basic sets

Daniel Juteau|arXiv (Cornell University)|2014. 10. 06.

Advanced Algebra and Geometry참고 문헌 29인용 수 7

한 줄 요약

이 논문은 Weyl 군의 분해 수가 비정상적 원소의 원뿔 위의 등변 페르세브 sheaf의 분해 수로 나타남을 보여줌으로써 모듈라 Springer 대응을 모듈러 표현 이론을 통해 정의한다. 이는 비정상적 특이점의 부드러운 동치를 통해 대칭군에 대한 James의 행과 열 제거 법칙을 유도하며, 모든 예외적 리 종류에 대해 명시적인 모듈라 Springer 대응을 제공한다. 이는 작은 군에 대한 완전한 분해 행렬과 기본 집합을 포함한다.

ABSTRACT

The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James' row and column removal rule for the symmetric group can be derived from a smooth equivalence between nilpotent singularities proved by Kraft and Procesi. We give the complete structure of the Springer and Grothendieck sheaves in the case of $SL_2$. Finally, we determine explicitly the modular Springer correspondence for exceptional types.

연구 동기 및 목표

• 모듈라 표현 이론을 통해 양의 특성수에서 Springer 대응을 확장하는 것.
• Weyl 군의 분해 수가 비정상적 원뿔 위의 등변 페르세브 sheaf의 분해 수의 특수한 경우임을 보여주는 것.
• 대칭군에 대한 James의 행과 열 제거 법칙을 비정상적 특이점의 기하학적 부드러운 동치로부터 도출하는 것.
• 모든 예외적 리 종류에 대해 전체적인 모듈라 Springer 대응, 즉 분해 행렬과 기본 집합을 계산하는 것.

제안 방법

• 비정상적 원뿔 위의 페르세브 sheaf와 Weyl 군의 표현을 연결하기 위해 Fourier-Deligne 변환을 사용한다.
• Springer 해소에 대한 상수 sheaf의 직접 이미지를 단순한 등변 페르세브 sheaf로 분해하기 위해 분해 정리를 적용한다.
• 비정상적 궤도 위의 국소체와 관련된 교차 호몰로지 복합체를 사용하여 모듈라 Springer 대응을 구성한다.
• 유리수 및 ℓ-부드러움을 활용하여 특이점을 분석하고 기하학적으로 분해 수를 계산한다.
• Kraft와 Procesi의 비정상적 궤도 폐쇄에 대한 부드러운 동치 결과를 활용하여 대칭군의 분해 수에 대한 조합적 법칙을 도출한다.
• 사례별 분석과 알려진 궤도 자료를 통해 모든 양호한 특성수에서 예외적 군에 대해 명시적인 분해 행렬과 기본 집합을 계산한다.

실험 결과

연구 질문

• RQ1 등변 페르세브 sheaf의 비정상적 원뿔 위에서 기하학적으로 모듈라 Springer 대응을 어떻게 정의할 수 있는가?
• RQ2 Weyl 군의 분해 수가 등변 페르세브 sheaf의 분해 수로 얼마나 일반적으로 나타나는가?
• RQ3 대칭군에 대한 James의 행과 열 제거 법칙은 비정상적 특이점의 기하학적 부드러운 동치로부터 도출될 수 있는가?
• RQ4 예외적 리 종류에서 모듈라 Springer 대응의 완전한 분해 행렬과 기본 집합은 무엇인가?
• RQ5 예외적 군의 모듈라 Springer 대응은 그 특성수 0의 대응과 어떻게 다를까?

주요 결과

• 대칭군의 분해 수는 비정상적 원뿔 위의 등변 페르세브 sheaf의 분해 수로 기하학적으로 실현된다.
• James의 대칭군에 대한 행과 열 제거 법칙은 Kraft와 Procesi가 확립한 비정상적 특이점의 부드러운 동치로부터 도출된다.
• $SL_2$에 대해 전체적인 스프링거 및 그로텐디크 sheaf의 구조가 명시적으로 계산되었으며, 이는 단순한 페르세브 sheaf로의 분해를 포함한다.
• 모든 예외적 종류 $G_2$, $F_4$, $E_6$, $E_7$, $E_8$에 대해 완전한 모듈라 Springer 대응이 결정되었으며, 모든 양호한 소수에 대해 분해 행렬과 기본 집합이 표로 정리되었다.
• Weyl 군 $E_8$의 모듈라 표현 이론에서 결함 수가 0인 블록 84개를 식별하였으며, missing pair $(E_8(a_7), 11111)$가 특성수 0의 쿠스피달 쌍의 모듈라 환원임을 보였다.
• $E_8$의 모듈라 Springer 대응은 모든 양호한 특성수 $\ell = 2,3,5,7$에서 궤도 유형, 국소체, 분해 수에 대한 상세한 자료를 포함한다.