[논문 리뷰] Two-block Springer fibers of types C and D: a diagrammatic approach to Springer theory

Catharina Stroppel, Arik Wilbert|arXiv (Cornell University)|2016. 11. 29.

Algebraic structures and combinatorial models참고 문헌 56인용 수 10

한 줄 요약

이 논문은 유형 C와 D의 두 블록 불량점 궤도에 대한 스프링거 표현을 다이어그램적이고 위상수학적인 방법으로 구성한다. 아크 대수의 컵 다이어그램을 사용하여 와일 군과 성분군의 작용을 명시적으로 기술하며, 위상적 스프링거 섬유와 고전적 스프링거 섬유 사이의 호메오멀피즘을 수립하고, 호모로지에 대한 셀 기반을 제공하며, 코homology 링의 명시적 표현과 카즈한-루스트라스 셀 모듈 및 스피치 모듈 간의 동형사상을 유도한다.

ABSTRACT

We explain an elementary topological construction of the Springer representation on the homology of (topological) Springer fibers of types C and D in the case of nilpotent endomorphisms with two Jordan blocks. The Weyl group and component group actions admit a diagrammatic description in terms of cup diagrams which appear in the definition of arc algebras of types B and D. We determine the decomposition of the representations into irreducibles and relate our construction to classical Springer theory. As an application we obtain presentations of the cohomology rings of all two-block Springer fibers of types C and D. Moreover, we deduce explicit isomorphisms between the Kazhdan-Lusztig cell modules attached to the induced trivial module and the irreducible Specht modules in types C and D.

연구 동기 및 목표

• 고전적 리 군 유형 C와 D에서 두 블록 불량점 궤도에 대한 스프링거 표현의 다이어그램적이고 위상수학적인 구성 제공
• 복잡한 기하학적 기법을 피하기 위해 컵 다이어그램을 통해 와일 군과 성분군 작용을 조합론적으로 기술
• 스프링거 표현의 기약 분해를 규명하고 고전적 스프링거 이론과 연관시키기
• 유형 C와 D의 모든 두 블록 스프링거 섬유에 대해 명시적인 코homology 링의 구조 제시
• 유형 C와 D에서 카즈한-루스트라스 셀 모듈(유도된 자명 모듈에 대해)과 기약 스피치 모듈 간의 명시적 동형사상 구축

제안 방법

• 컵 다이어그램에 의해 $ \lfloor k/2 \rfloor $개의 컵을 가진 인덱스가 매겨진 부분집합 $ S_a \subset (S^2)^m $의 합집합으로서 위상적 스프링거 섬유 $ S^{2m-k,k}_{KL} $ 정의
• 컵 다이어그램의 조합론적 성질에서 유도된 각 $ S_a $의 셀 분해를 사용하여 특별한 호모로지 기저 구성
• 포함 유도 사상 $ \gamma_{2m-k,k}: H^*(S^{2m-k,k}_{KL}) \to H^*((S^2)^m) $의 단사성 증명을 통해 호모로지를 안정 부분공간으로 식별 가능하게 함
• 와일 군 $ W_G $와 성분군 $ A_x^G $의 교환 작용을 $ H^*((S^2)^m) $에 정의하고, 이를 스프링거 섬유로 제한
• 마지막으로 $ m-k $개의 레이를 가진 다이어그램과 $ 2m-k $개의 정점으로 확장된 다이어그램을 연결하는 확장 사상 $ \eta_{2m-k,k} $를 정의하여 차수의 귀납적 계산 가능하게 함
• 레이의 수인 $ m-k $에 대한 귀납적 추론을 적용하여, 컵 다이어그램에서 특별하지 않은 바깥쪽 컵의 수를 세는 방식으로 베티 수 계산

실험 결과

연구 질문

• RQ1 유형 C와 D의 두 블록 불량점 궤도에 대한 스프링거 표현은 기본적인代수적 위상수학을 통해 어떻게 구성할 수 있는가?
• RQ2 스프링거 섬유 호모로지에 대한 와일 군과 성분군 작용의 다이어그램적 기술은 무엇인가?
• RQ3 유형 C와 D의 두 블록 스프링거 섬유의 코homology 링은 어떻게 분해되며, 어떤 표현을 가질 수 있는가?
• RQ4 유형 C와 D에서 카즈한-루스트라스 셀 모듈(유도된 자명 모듈에 대해)과 기약 스피치 모듈 간의 명시적 동형사이는 무엇인가?
• RQ5 위상적 스프링거 섬유 모델은 고전적 스프링거 이론과 동치이며, 등속성 그라스만이안의 기하학과 어떻게 관련되는가?

주요 결과

• 위상적 스프링거 섬유 $ S^{2m-k,k}_{KL} $는 고전적 스프링거 섬유 $ B^{2m-k,k}_{SO_{2m}} $와 호메오멀피크하며, 이는 유형 C와 D 모두의 모델로 기능한다.
• 호모로지 $ H^*(S^{2m-k,k}_{KL}) $는 컵 다이어그램에 의해 인덱싱된 특별한 기저를 가지며, 컵 다이어그램의 조합론적 성질에 기반한 셀 분해를 가진다.
• 코homology 차원은 $ \sum_{i=0}^{\lfloor (k-1)/2 \rfloor} \binom{m}{i} $로 주어지며, 이는 고전적 스프링거 섬유의 베티 수와 일치한다.
• 와일 군과 성분군의 호모로지에 대한 작용은 컵 다이어그램 이동을 통해 다이어그램적으로 기술되며, 명시적이고 계산 가능한 작용을 제공한다.
• 유형 C와 D의 모든 두 블록 스프링거 섬유의 코homology 링은 컵 다이어그램 기저에서 유도된 명시적 표현을 가진다.
• 카즈한-루스트라스 셀 모듈(유도된 자명 모듈에 대해)과 기약 스피치 모듈 간의 명시적 동형사상이 구축된다.