[논문 리뷰] Perverse Sheaves on Real Loop Grassmannians

David Nadler|ArXiv.org|2002. 02. 18.

Advanced Algebra and Geometry참고 문헌 15인용 수 4

한 줄 요약

이 논문은 복소 재구성 단일체군 $G$ 의 실수 형태 $G_{\mathbb{R}}$ 의 실수 루프 그라스만يان $\operatorname{Gr}_{\mathbb{R}}$ 상의 펄스비 sheaf 의 범주와 연결된 재구성 복소 단일체군의 유한 차원 표현의 범주 사이의 텐서 등치를 수립한다. 이는 $\check{H} \subset \check{G}$ 에서 유도된 제약 루트 체계를 가진 $\check{H}$ 를 통해 이루어지며, $\check{H}$ 는 $G_{\mathbb{R}}$ 의 제약 루트 체계에서 유래된다. 이 결과는 특정 실수 대수적 사상이 분해 정리를 만족함을 시사하며, 복소 기하 표현 이론을 실수 설정으로 확장한다.

ABSTRACT

The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional representations of a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The root system of $\check H$ is closely related to the restricted root system of the real form $G_{\mathbb R}$. The fact that $\check H$ is reductive implies that an interesting family of real algebraic maps satisfies the conclusion of the Decomposition Theorem of Beilinson-Bernstein-Deligne.

연구 동기 및 목표

• 실수 루프 그라스만يان $\operatorname{Gr}_{\mathbb{R}}$ 에서의 기하 Satake 등치를 $\check{G}$ 의 부분군 $\check{H} \subset \check{G}$ 의 표현과 연결된 텐서 범주로 확장함으로써 실수 루프 그라스만얀으로의 일반화를 이루는 것.
• 관련된 부분군 $\check{H}$ 가 $\check{G}$ 의 리만 부분군의 치환에 대한 고정점의 항등성분으로서 유도되며, 이의 루트 체계가 $G_{\mathbb{R}}$ 의 제약 루트 체계와 연결됨을 보이는 것.
• 실수 대수적 사상에 대해 분해 정리가 $\check{H}$ 의 구조를 통해 성립함을 보여, 복소 기하 결과를 실수 설정으로 확장하는 것.
• 실수 형태의 맥락에서 $G$ 와 $\check{G}$ 간의 이중성에 대한 구체적 실현을, $\operatorname{Gr}_{\mathbb{R}}$ 상의 펄스비 sheaf 를 통해 제공하는 것.

제안 방법

• 실수 루프 그라스만얀 $\operatorname{Gr}_{\mathbb{R}}$ 상의 유한 차원, 짝수 codimension 분할을 활용하여 펄스비 sheaf 의 텐서 범주를 구성한다.
• 벡터 공간으로 분할된 코웨이트 라티스 $\Lambda_T$ 를 기반으로, $G({\mathcal{O}})$-등변 펄스비 sheaf 의 범주에서의 특성 함수 $\operatorname{Ch}$ 를 정의한다.
• 기본 함수 $\operatorname{F}$ 를 사용하여 $F^\lambda(\operatorname{IC}^\lambda)$ 의 무게 공간을 추출하며, 이는 표현에서 최고 무게 선과 일치한다.
• $\mathbb{H} = \operatorname{F} \circ \operatorname{Ch}$ 의 피보터 함수의 자동형사상 군 $\operatorname{Aut}^\otimes(\mathbb{H})$ 가 최대 토러스 $\check{T}$ 와 보렐 부분군 $\check{B}$ 를 갖는 재구성 군임을 보인다.
• $\operatorname{Aut}^\otimes(\mathbb{H})$ 와 $\check{G}$ 사이의 기반 루트 자료의 동형을 확립하며, $\operatorname{Aut}^\otimes(\mathbb{H})$ 의 단순 코루트가 $G$ 의 단순 루트와 일치하고, 주된 무게가 $G$ 의 주요 코웨이트와 일치함을 보인다.
• $\check{H}$ 를 $\check{G}$ 의 연결 재구성 부분군으로 식별하며, 이는 $G_{\mathbb{R}}$ 의 제약 루트 체계와 대응되는 루트 체계를 가지며, $\check{G}$ 의 리만 부분군에서의 치환에 대한 고정점의 항등성분을 통해 유도된다.

실험 결과

연구 질문

• RQ1 기하 Satake 등치는 어떻게 복소 루프 그라스만얀에서 실수 루프 그라스만얀으로 확장될 수 있는가?
• RQ2 실수 루프 그라스만얀 상의 펄스비 sheaf 를 매개하는 재구성 군 $\check{H} \subset \check{G}$ 의 정확한 구조는 무엇인가?
• RQ3 이 맥락에서 실수 대수적 사상에 대해 분해 정리와 같은 위상 정리가 어느 정도 성립하는가?
• RQ4 $\check{H}$ 의 루트 체계는 실수 형태 $G_{\mathbb{R}}$ 의 제약 루트 체계와 어떻게 관련이 있는가?
• RQ5 실수 형태의 맥락에서 $G$ 와 $\check{G}$ 간의 이중성은 $\operatorname{Gr}_{\mathbb{R}}$ 상의 펄스비 sheaf 를 통해 구체적으로 실현될 수 있는가?

주요 결과

• $G({\mathcal{O}})$-등변 펄스비 sheaf 의 실수 루프 그라스만얀 $\operatorname{Gr}_{\mathbb{R}}$ 상의 범주는 연결 재구성 복소 대수적 부분군 $\check{H} \subset \check{G}$ 의 유한 차원 표현의 범주와 등치이다.
• $\check{H}$ 의 루트 체계는 실수 형태 $G_{\mathbb{R}}$ 의 제약 루트 체계와 동형이며, $\check{\frak{h}}$ 의 계수는 ${\frak{g}}_{\mathbb{R}}$ 의 실수 계수와 같다.
• $\check{H}$ 의 웨일 군은 $G_{\mathbb{R}}$ 의 작은 웨일 군과 동형이다.
• $G_{\mathbb{R}}$ 가 컴acts일 경우, $\check{H}$ 는 자명하며, $\operatorname{Gr}_{\mathbb{R}}$ 는 단일 점이다.
• 분할 또는 준분할 실수 형태의 경우, $\check{H}$ 는 $\check{G}$ 의 리만 부분군에서의 치환에 대한 고정점의 항등성분으로서 유도되며, 기본 루트 자료에 기반한 표준적 구성이 존재한다.
• 재구성성 덕분에 특정 실수 대수적 사상에 대해 분해 정리가 성립하며, 이는 복소 결과를 실수 설정으로 확장한다.