[논문 리뷰] Perverse sheaves, nilpotent Hessenberg varieties, and the modular law

Martha Precup, Eric Sommers|arXiv (Cornell University)|2022. 01. 31.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 보일러 부분대수의 니라디칼 내부의 B-안정 부분공간(자기-멱등 이상수)에 대응하는 벡터(bundle)를 코탄젠트 번들의 대체로 하여 스프링거 분해를 일반화한다. 이 일반화된 분해에서 상수층의 유도형 상향보존이 스프링거 대응에서 나타나는 교차 코homology층들로만 분해됨을 증명하고, 노름형 헤세버그 다양체의 코homology에 대해 기하학적 모듈러 법칙을 수립하여, 이는 A형에서의 조합론적 모듈러 법칙과 연결된다.

ABSTRACT

We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan. As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.

연구 동기 및 목표

• 보일러 부분대수의 니라디칼 내부의 B-안정 부분공간(자기-멱등 이상수)에 대응하는 벡터(bundle)를 코탄젠트 번들의 대체로 하여 스프링거 분해를 일반화하는 것.
• 이 일반화된 분해에서 상수층의 유도형 상향보존을 연구하고, 분해에 나타나는 교차 코homology층들을 규명하는 것.
• 노름형 헤세버그 다양체의 코homology에 대해 기하학적 모듈러 법칙을 수립하는 것. 이 다양체는 이러한 사상의 섬세한 영역이다.
• A형에서의 기하학적 모듈러 법칙을 구아이-파켓이 정의한 대칭함수에 대해 만족하는 조합론적 모듈러 법칙과 연결하는 것.
• 이 일반화된 사상의 코homological 성질을 이용하여 브로스난의 고르트렌트-스프링거 분해에 대한 추측을 증명하는 것.

제안 방법

• I가 보일러 부분대수의 니라디칼 내부의 B-안정 부분공간일 때, G ×^B I → O̅_I 형식의 일반화된 스프링거 유형 사상 μ^I를 구성한다. 여기서 O_I는 노름형 궤도의 폐쇄이다.
• G ×^B I 위의 이동된 상수층 ℤ[N_I]_C의 유도형 상향보존 Rμ^I_*(ℤ[N_I]_C)에 분해 정리를 적용한다.
• 데 콘치니, 루스지그, 프로세치의 기법을 사용하여, μ^I의 섬세한 영역인 노름형 헤세버그 다양체의 기하학을 분석한다.
• 이 헤세버그 다양체의 코homology가 홀수 차수에서 0이 됨을 증명하여, 유도형 상향보존이 짝수 차수에만 집중되어 있음을 시사한다.
• 헤세버그 이상수의 포함관계와 파라보릭 부분군에서의 귀납법을 이용하여 코homology의 행동을 분석함으로써 기하학적 모듈러 법칙을 수립한다.
• 정규 정규형 반단순 헤세버그 다양체의 코homology와 도트 작용 및 LLT 표현 간의 연결을 활용하여, A형에서 기하학적 및 조합론적 모듈러 법칙을 연결한다.

실험 결과

연구 질문

• RQ1 B-안정 부분공간에 대응하는 일반화된 스프링거 분해에서 상수층의 유도형 상향보존 분해에 나타나는 교차 코homology층들은 어떤 것인가?
• RQ2 노름형 헤세버그 다양체의 코homology 군은 어떻게 행동하는가? 특히 홀수 차수에서의 0 여부는 어떻게 되는가?
• RQ3 이 헤세버그 다양체의 코homology가 만족하는 모듈러 법칙의 성격은 무엇이며, 기존의 조합론적 모듈러 법칙과의 관계는 어떠한가?
• RQ4 기하학적 모듈러 법칙을 이용하여 고르트렌트-스프링거 분해에 대한 추측(예: 브로스난의 추측)을 증명할 수 있는가?
• RQ5 정규 반단순 헤세버그 다양체의 코homology는 도트 작용과 LLT 표현과 어떻게 관련되어 있으며, 이는 A형에서의 모듈러 법칙에 어떤 함의를 갖는가?

주요 결과

• 유도형 상향보존 Rμ^I_*(ℤ[N_I]_C)는 스프링거 대응에서 나타나는 교차 코homology층들 IC(𝒪̅, ℒ)로만 분해되며, 이는 Θ_sp에 속하는 쌍 (𝒪, ℒ)에 대해서만 성립한다.
• 일반화된 스프링거 사상의 섬세한 영역인 노름형 헤세버그 다양체는 홀수 차수 코homology가 0이 되며, 이는 유도형 상향보존이 짝수 차수에만 집중되어 있음을 의미한다.
• 노름형 헤세버그 다양체의 코homology는 기하학적 모듈러 법칙을 만족하며, 이는 데 콘치니, 루스지그, 프로세치의 작업에서의 모듈러 법칙을 일반화한 관계이다.
• A형에서는 기하학적 모듈러 법칙이 구아이-파켓이 정의한 특정 대칭함수들이 만족하는 조합론적 모듈러 법칙과 대응된다.
• 기하학적 모듈러 법칙은 정규 반단순 헤세버그 다양체의 코homology가 연결되어 있지 않을 경우, 파라보릭 부분군에서 유도된 표현과 동형임을 시사한다.
• 이 결과들은 일반화된 사상의 코homological 성질과 모듈러 법칙과의 관계를 통해, 브로스난의 고르트렌트-스프링거 분해에 대한 추측을 증명하는 데로 이어진다.