[논문 리뷰] Perverse sheaves on Grassmannians, Springer fibres and Khovanov homology

Catharina Stroppel|arXiv (Cornell University)|2006. 08. 10.

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

한 줄 요약

이 논문은 gl(n,C)의 최대 근본 부분대수의 포물형 분해형 O의 주 블록의 중심과 해당 스프링거 섬유의 코homology 링 사이의 자연스러운 동형사상을 수립한다. 이는 이 카테고리의 다이어그램적 기술을 제공하고, 카호바노프의 대수 H^n을 그라스만이안 위의 페르세 sheaf 카테고리의 특정 대상의 준동형사상 링으로 식별함으로써, 카호바노프 호모로지가 카테고리 O의 더 일반적인 함자적 불변량의 제한으로서 실현됨을 보여준다.

ABSTRACT

For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic description of O(p) for maximal parabolic p and give an explicit isomorphism to Braden's description of the category Perv_B(G(n,n)) of perverse sheaves on Grassmannians. As a consequence Khovanov's algebra H^n is realised as the endomorphism ring of some object from Perv_B(G(n,n)) which corresponds under localisation and the Riemann-Hilbert correspondence to a full projective-injective module in the corresponding category $O(p)$. From there one can deduce that Khovanov's tangle invariants are obtained from the more general functorial invariants involving category O by restriction.

연구 동기 및 목표

• 최대 근본 부분대수 p에 대한 gl(n,C)의 포물형 분해형 O의 주 블록의 중심과 해당 스프링거 섬유의 코homology 링 사이의 자연스러운 동형사상을 수립하기 위해.
• 최대 근본 부분대수 p에 대한 O(p) 카테고리의 다이어그램적 기술을 제공하기 위해.
• 카호바노프의 대수 H^n을 그라스만이안 위의 페르세 sheaf 카테고리에서 특정 대상의 준동형사상 링으로 실현하기 위해.
• 카호바노프의 막대 불변량이 카테고리 O의 더 일반적인 함자적 불변량의 제한으로서 나타남을 보여주기 위해.

제안 방법

• 고정된 포물형 부분대수 p에 대해 gl(n,C)의 표현 이론을 사용하여 주 블록 O(p)의 구조를 분석하기 위해.
• 스프링거 섬유의 기하학을 활용하여 그들의 코homology 링과 O(p)의 중심을 연결하기 위해.
• 최대 근본 부분대수와 관련된 조합 구조를 사용하여 O(p)에 대한 다이어그램 모델을 구축하기 위해.
• 브레이든의 그라스만이안 위의 페르세 sheaf 기술을 적용하여 O(p)의 대상들과 Perv_B(G(n,n))의 대상들 사이의 대응을 식별하기 위해.
• 리만-힐버트 대응을 사용하여 O(p)의 프로젝티브-인젝티브 모듈을 그라스만이안 위의 페르세 sheaf와 연결하기 위해.
• 카호바노프의 대수 H^n과 Perv_B(G(n,n))의 특정 대상의 준동형사상 링 사이의 동형사상을 수립하기 위해.

실험 결과

연구 질문

• RQ1 포물형 분해형 O의 주 블록의 중심은 스프링거 섬유의 코homology와 어떻게 관련이 있는가?
• RQ2 최대 근본 부분대수 p에 대한 O(p) 카테고리가 다이어그램적으로 기술될 수 있는가?
• RQ3 카호바노프의 대수 H^n은 그라스만이안 위의 페르세 sheaf에 대해 기하학적으로 어떻게 실현되는가?
• RQ4 카호바노프의 막대 불변량은 카테고리 O의 더 일반적인 함자적 불변량과 어떻게 관련이 있는가?
• RQ5 리만-힐버트 대응은 카테고리 O과 그라스만이안 위의 페르세 sheaf를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 주 블록 O(p)의 중심은 해당 스프링거 섬유의 코homology 링과 자연스럽게 동형이다.
• 최대 근본 부분대수 p에 대한 O(p)의 다이어그램적 기술이 구축되었으며, 이는 브레이든의 그라스만이안 위의 페르세 sheaf 기술과 일치한다.
• 카호바노프의 대수 H^n은 그라스만이안 위의 페르세 sheaf 카테고리 Perv_B(G(n,n))의 특정 대상의 준동형사상 링으로 실현된다.
• 이 대상은 국소화와 리만-힐버트 대응을 통해 O(p)의 전체 프로젝티브-인젝티브 모듈로 대응된다.
• 카호바노프의 막대 불변량은 카테고리 O를 통해 정의된 더 일반적인 함자적 불변량의 제한으로서 얻어진다.
• 기하학적 및 카테고리적 구조는 스프링거 이론과 페르세 sheaf를 통해 카호바노프 호모로지를 표현 이론과代수기하학으로 통합한다.