[논문 리뷰] Categorification of the braid groups

Raphaël Rouquier|arXiv (Cornell University)|2004. 09. 30.

Geometric and Algebraic Topology참고 문헌 8인용 수 48

한 줄 요약

이 논문은 소르겔 이중체의 복합체의 엄격한 모나이드 범주를 통해 브레인 군의 분류화를 제안하며, 삼각 범주에 작용하는 브레인 군의 작용을 끌어올리는 고차 범주적 구조를 제공한다. 이는 브레인 군의 작용을 단순한 함수자와의 모나이드 함자에 의해 강력하게 기술하며, 표현 이론과代수기하학에서의 고전적 작용을 일반화한다.

ABSTRACT

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal category. We construct representations of this monoidal category on category O of a complex semi-simple Lie algebra and on constructible sheaves over flag varieties. We also consider general constructions of self-equivalences as reflections around another category.

연구 동기 및 목표

• 코xe터 군 $W$의 브레인 군 $B_W$를 분류화하는 엄격한 모나이드 범주 ${\mathcal{B}}_W$를 구성하는 것.
• 삼각 범주에 작용하는 브레인 군의 고전적 작용을 더 강력한, 모나이드 범주적 수준으로 일반화하는 것.
• 표현 이론, 대수기하학, 범주론에서 브레인 군의 작용을 위한 통합된 프레임워크를 제공하는 것.
• 기존의 등급 수준의 작용을 끌어올리는 함자들을 통해 삼각 범주의 유도 범주에 대한 브레인 군의 진정한 작용을 확립하는 것.
• 이러한 작용이 ${\mathcal{B}}_W$에서 삼각 범주의 자기함수 범주로의 모나이드 함자로 끌어올려진다는 것을 증명하는 것.

제안 방법

• 다항식 대수 위의 소르겔 이중체의 복합체의 호모토피 범주에 대한 전부 포함된 부분범주로서 엄격한 모나이드 범주 ${\mathcal{B}}_W$를 구성하는 것.
• 기약 복합체의 프로젝티브 복합체에서의 프로베니우스 범주 이론과 함수자적 콘의 정의를 이용해 자연 변환과 함자 사이의 콘을 정의하는 것.
• ${\mathbf{P}}^1$-섬유화와 커널 변환의 기하학을 활용해 반사 작용을 분류화하는 자기동치를 구성하는 것.
• 쇠르겔의 $\mathcal{O}$ 범주 이론과 델리뉴의 층 이론 결과를 적용하여 $K_0$에서의 브레인 군 작용을 유도 범주로 끌어올리는 것.
• 층의 유도 범주에서의 수반성과 기저 변경 동치를 이용해 함자 간의 호환성과 변환의 자연성을 검증하는 것.
• 끌임, 밀림, 텐서곱을 포함한 다이어그램 항등식의 교환성을 검증하여 모나이드 구조를 확립하는 것.

실험 결과

연구 질문

• RQ1 브레인 군 $B_W$는 삼각 범주에 작용하는 엄격한 모나이드 범주로서 분류화될 수 있는가?
• RQ2 삼각 범주의 $K_0$에 대한 브레인 군의 고전적 작용은 실제로 함자와 자연 변환으로 끌어올려질 수 있는가?
• RQ3 소르겔 이중체는 분류화된 브레인 군 작용을 실현하는 데 어떤 역할을 하는가?
• RQ4 구성 가능 층의 유도 범주 또는 $\mathcal{O}$ 범주에서의 브레인 군 작용은 분류화된 브레인 군에서의 모나이드 함자로 끌어올려질 수 있는가?
• RQ5 분류화된 브레인 군 작용과 델리뉴-루스티그 다양체의 코homology 사이의 관계는 무엇인가?

주요 결과

• 소르겔 이중체의 복합체를 통해 브레인 군 $B_W$를 분류화하는 엄격한 모나이드 범주 ${\mathcal{B}}_W$가 구성되었으며, 이는 추측적으로 참이다.
• 이 구성은 반사를 분류화하는 삼각 범주의 자기동치를 제공하며, 구면 대상에 의한 데인 트라이브의 일반화를 포함한다.
• $\mathcal{O}$ 범주에서, 브레인 군의 고전적 작용은 $K_0$에서 진정한 작용으로 함자들을 통해 끌어올라지며, 추가로 ${\mathcal{B}}_W$에서 ${\mathcal{C}}$에서 ${\mathcal{C}}$로의 함자 범주로의 모나이드 함자로 확장된다.
• 플래그 다양체의 경우, 구성 가능 층의 유도 범주에서의 브레인 군 작용은 커널 변환을 통해 등급 수준의 작용에서 엄격한 모나이드 작용으로 끌어올려진다.
• 플래그 다양체의 코homology 링과의 연결은 브레인 군 작용의 다른 증명을 제공하며, 더 강력한 모나이드 수준으로 확장된다.
• 논문은 향후 작업을 위한 프레임워크를 확립하며, 생성자와 관계에 의한 표현, 호모로지의 소멸, 델리뉴-루스티그 다양체와의 연결을 포함한다.