[논문 리뷰] Categorical diagonalization of full twists

Ben Elias, Matthew Hogancamp|arXiv (Cornell University)|2017. 12. 30.

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

한 줄 요약

이 논문은 유한 코xe터 군에 대한 Soergel 이중체에서 전체 휠 브레이드의 범주적 대각화를 제안하고 증명하며, 범주적 대각화 이론을 통해 A형에서의 영 양형의 범주화를 확립한다. 주요 결과는 Soergel 이중체의 호모토피 범주 내에서 고유물체를 사용한 고전적 영 양형자에 대한 완전한 범주화이다.

ABSTRACT

We conjecture that the complex of Soergel bimodules associated with the full twist braid is categorically diagonalizable, for any finite Coxeter group. This utilizes the theory of categorical diagonalization introduced earlier by the authors. We prove our conjecture in type $A$, and as a result we obtain a categorification of the Young idempotents.

연구 동기 및 목표

• 유한 코xe터 군에 대해 Soergel 이중체의 호모토피 범주에서 전체 휠 브레이드를 범주적으로 대각화하는 것.
• 대칭군 $ S_n $ 의 군 대수에서 고전적 영 양형의 범주화를 제공하는 것.
• 범주적 대각화 이론을 전체 휠과 A형에서의 고유물체에 대한 맥락으로 확장하는 것.
• 대칭군의 표현 이론과 Soergel 이중체 내의 Rouquier 복합체의 구조 사이의 연결 고리를 확립하는 것.
• 전체 휠 복합체가 동시에 대각화 가능한 연산자로 작용하며, 표준 영 양형 표기와 대응하는 고유물체를 갖는다는 것을 보여주는 것.

제안 방법

• 논문 [EH17]에서 개발된 범주적 대각화 이론을 활용하여 Soergel 이중체의 호모토피 범주 내에서 전체 휠 Rouquier 복합체를 분석한다.
• 상대적 세포 이론과 고유맵 구성 기법을 적용하여 A형에서 표준 영 양형 표기와 관련된 고유물체를 식별한다.
• 점근적 헤케 대수와 전체 휠의 고유값을 사용하여 대각화에 필요한 스펙트럴 데이터를 결정한다.
• 전체 휠 복합체에서 고유물체로의 고유맵을 구성하며, 범주적 대각화에 필요한 조건을 만족함을 보인다.
• 지수 규칙과 YJM 원소를 활용하여 고유값을 표준 영 양형 표기의 내용 수와 연결한다.
• 고유물체가 Young 양형의 완전한 범주화에 필요한 수직성 및 멱등성 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 모든 유한 코xe터 군에 대해 Soergel 이중체에서 전체 휠 브레이드가 범주적으로 대각화될 수 있는가?
• RQ2 A형에서 전체 휠 복합체는 표준 영 양형 표기로 색인된 고유물체로 분해될 수 있는가?
• RQ3 체 $ \mathbb{Q}[S_n] $ 에서의 고전적 영 양형의 범주화가 전체 휠 복합체의 고유물체로의 사영으로서 실현될 수 있는가?
• RQ4 Soergel 이중체의 호모토피 범주에서 전체 휠의 스펙트럴 데이터(고유값 및 고유맵)는 무엇인가?
• RQ5 전체 휠의 고유물체는 대칭군의 표현 이론과 지수 규칙과 어떻게 관련이 있는가?

주요 결과

• A형에서 전체 휠 복합체는 표준 영 양형 표기로 색인된 고유물체를 갖는다.
• 고유물체에서 전체 휠의 고유값은 관련된 표준 영 양형 표기의 상자들에 대한 내용 수와 일치한다.
• 상대적 세포 이론과 Rouquier 복합체의 구조를 활용하여 전체 휠 복합체에서 고유물체로의 고유맵을 명시적으로 구성한다.
• Young 양형의 범주화는 고유물체로의 사영으로 실현되며, 이는 호모토피 범주 내에서 직접 합성분으로서 실현된다.
• 전체 휠 복합체는 고유물체에서 서로 다른 고유값을 가지며 동시에 대각화 가능한 연산자로 작용하여 완전한 분해를 보장한다.
• 구성은 $ \mathbf{K}_T \otimes B_{P,Q} \simeq 0 $ for $ P \ntrianglerighteq T $, 그리고 $ B_{P,Q} \otimes \mathbf{K}_T \simeq 0 $ for $ Q \ntrianglerighteq T $ 를 확인하여 고유물체의 수직성을 검증한다.