[논문 리뷰] Diagrams for perverse sheaves on isotropic Grassmannians and the supergroup SOSP(m|2n)

Michael Ehrig, Catharina Stroppel|arXiv (Cornell University)|2013. 06. 17.

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

한 줄 요약

이 논문은 일반화된 코반로프 대수에서 접히는 구성법을 통해, 유형 $D_k$의 등방성 그라스만이에서 펄스러운 층의 분류적 실현을 제공하는 다이어그램적, 그레디에이션을 갖춘 코주울 대수 $Δ_k$를 제안한다. 주요 결과로는 유한 차원 $Δ_k$-모듈의 범주와 등방성 그라스만이에서 펄스러운 층의 범주 사이의 명시적 동치가 수립되며, 이는 수직심플렉틱 초군수 $ϳοσπ(m|2n)$의 표현 이론에 응용되어 그 유한 차원 표현의 구체적 다이어그램적 기술을 제공한다.

ABSTRACT

We describe diagrammatically a positively graded Koszul algebra \mathbb{D}_k such that the category of finite dimensional \mathbb{D}_k-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type D_k constructible with respect to the Schubert stratification. The connection is given by an explicit isomorphism to the endomorphism algebra of a projective generator described in by Braden. The algebra is obtained by a "folding" procedure from the generalized Khovanov arc algebras. We relate this algebra to the category of finite dimensional representations of the orthosymplectic supergroups. The proposed equivalence of categories gives a concrete description of the categories of finite dimensional SOSP(m|2n)-modules.

연구 동기 및 목표

• 유형 $D_k$의 등방성 그라스만이에서 펄스러운 층의 범주를 모델링할 수 있는 다이어그램적, 그레디에이션을 갖춘 코주울 대수 $Δ_k$를 구성하는 것.
• $Δ_k$와 펄스러운 층의 범주에서 프로젝티브 생성자의 종말 대수 사이의 명시적 동형을 수립하는 것.
• 다이어그램적 동치를 통해 $Δ_k$를 수직심플렉틱 초군수 $ϳοσπ(m|2n)$의 표현 이론과 연결하는 것.
• 유한 차원 $ϳοσπ(m|2n)$-모듈의 범주를 다이어그램적으로 정의된 기술로 제공하는 것.

제안 방법

• $Δ_k$는 유형 $D_k$의 일반화된 코반로프 아크 대수의 접힌 형태로 구성되며, 부호와 그레디에이션을 표현하기 위해 장식된 방향성 있는 원 다이어그램을 사용한다.
• $Δ_k$의 각 기저 원소는 컵 다이어그램 $“\underline{\lambda}”$와 그 뒤집힌 쌍 $“\overline{\mu}”$를 조합하여 형성된 장식된 원 다이어그램 $“\underline{\lambda}\overline{\mu}”$로 표현된다.
• $Δ_k$의 곱셈은 원의 합집합 간의 cobordism을 이용한 TQFT 유사 구조로 정의되며, 결합 법칙을 확보하기 위해 다이어그램의 장식을 통해 부호를 포함한다.
• 펄스러운 층의 범주의 Ext-쿼리어는 다이어그램적으로 실현되며, 정점은 컵 다이어그램으로 표시되고, 연결된 점에서의 컵 교환에 해당하는 화살표가 있다.
• 그레디에이션을 갖춘 카르탕 행렬 $C_k$는 특정 그레디에이션을 갖는 방향성 있는 원 다이어그램을 세는 방식으로 계산되며, 분해 수의 다이어그램적 공식을 제공한다.
• $(n,m)$-후크 분할과 $\mathrm{def}(\mu) + \#\times(\mu) = m$ 및 $\#\circ(\mu) - \#\times(\mu) = n - m$를 만족하는 슈퍼 무게 다이어그램 사이의 전단사 사상 $\lambda \mapsto \lambda^\circ$가 정의되며, 표현 이론적 자료와 다이어그램적 무게를 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 다이어그램적, 그레디에이션을 갖춘 대수를 구성하여 유형 $D_k$의 등방성 그라스만이에서 펄스러운 층의 범주를 모델링할 수 있는가?
• RQ2 이 범주의 Ext-쿼리어와 그레디에이션을 갖춘 카르탕 행렬의 정확한 다이어그램적 실현은 무엇인가?
• RQ3 접힌 일반화된 코반로프 대수 $Δ_k$는 수직심플렉틱 초군수 $ϳοσπ(m|2n)$의 표현 이론과 어떻게 관련이 있는가?
• RQ4 유한 차원 $ϳοσπ(m|2n)$-모듈의 범주는 다이어그램적 대수로 기술될 수 있는가? 만약 가능하다면, 그 구조는 무엇인가?
• RQ5 한계 대수 $\mathbb{H}_k^\infty$는 범주 $\mathcal{F}(\operatorname{SOSP}(m|2n))$에서 비특이성 블록 $k$를 실현하는 데 어떤 역할을 하는가?

주요 결과

• $Δ_k$는 등방성 그라스만이에서 펄스러운 층의 범주에서 최소 프로젝티브 생성자의 종말 대수와 동형이므로, 구체적인 다이어그램적 모델을 확립한다.
• $Δ_k$의 곱셈은 결합 법칙을 만족하며, 그레디에이션과 일치하며, [BGS96]에서의 기하학적 코주울 그레디에이션과 호환된다.
• 펄스러운 층의 범주의 Ext-쿼리어는 컵 다이어그램으로 표시되는 정점과 연결된 점에서의 컵 교환에 해당하는 화살표를 갖는 유한 그래프로 다이어그램적으로 실현된다.
• 그레디에이션을 갖는 카르탕 행렬 $C_k$는 그레디에이션이 지정된 방향성 있는 원 다이어그램 $“\overline{\lambda}\mu”$의 수를 세는 방식으로 다이어그램적으로 계산되며, 분해 수의 조합론적 공식을 제공한다.
• $(n,m)$-후크 분할과 $\mathrm{def}(\mu) + \#\times(\mu) = m$ 및 $\#\circ(\mu) - \#\times(\mu) = n - m$를 만족하는 슈퍼 무게 다이어그램 사이의 전단사 사상 $\lambda \mapsto \lambda^\circ$가 구성되며, 다이어그램적 자료와 초군수 표현 이론을 연결한다.
• 유한 차원 $ϳοσπ(m|2n)$-모듈의 범주는 $\mathbb{H}_k^\infty / \mathbb{I}$의 유한 차원 모듈의 범주와 동치일 것이라 추측되며, 이 동치는 프로젝티브와 단순 모듈을 그 다이어그램적 대응체로 보낸다.