[논문 리뷰] The Hecke Bicategory

Alexander E. Hoffnung|arXiv (Cornell University)|2010. 07. 12.

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

한 줄 요약

이 논문은 스파인의 군oids와 군oids화를 사용하여 유한군의 순열 표현의 카테고리화된 형태인 Hecke 대수oid의 카테고리화로 Hecke 이중범주를 제안한다. Hecke 이중범주의 탈군oids화와 고전적 Hecke 대수 사이의 동치관계를 확립함으로써 양–바터 관계가 사영 평면 공리계에서 유래되며, 고차 카테고리에서 Zamolodchikov의 사면체 방정식의 해로 카테고리화된다는 것을 드러낸다.

ABSTRACT

We present an application of the program of groupoidification leading up to a sketch of a categorification of the Hecke algebroid --- the category of permutation representations of a finite group. As an immediate consequence, we obtain a categorification of the Hecke algebra. We suggest an explicit connection to new higher isomorphisms arising from incidence geometries, which are solutions of the Zamolodchikov tetrahedron equation. This paper is expository in style and is meant as a companion to Higher Dimensional Algebra VII: Groupoidification and an exploration of structures arising in the work in progress, Higher Dimensional Algebra VIII: The Hecke Bicategory, which introduces the Hecke bicategory in detail.

연구 동기 및 목표

• 스파인의 군oids와 군oids화를 사용하여 Hecke 연산자의 카테고리화된 프레임워크를 개발한다.
• 유한군의 순열 표현의 카테고리화를 위해 2-카테고리적 구조인 Hecke 이중범주를 수립한다.
• Hecke 이중범주의 탈군oids화가 고전적 Hecke 대수를 복원함으로써 이를 카테고리화함을 보여준다.
• 유래된 구조를 사고 기하학과 Zamolodchikov의 사면체 방정식과 같은 고차 대수적 방정식과 연결한다.
• Hecke 이중범주와 그 응용에 관한 Higher Dimensional Algebra VIII의 향후 연구를 위한 기초를 제공한다.

제안 방법

• 벡터 공간을 군oids로, 선형 연산자를 군oids의 스파인으로 대체하는 군oids화를 사용한다.
• 스파인의 군oids에서 행렬과 군oids에서 벡터 공간으로의 탈카테고리화를 위한 탈군oids화 함자를 사용한다.
• 유한 G-집합을 객체로, G-집합의 스파인을 1-준동형으로 하는 Hecke 이중범주를 구성하며, 군oids의 스파인의 모ون로이드 이중범주로 강화한다.
• 토포스 이론적 기법을 적용하여 G-집합의 스파인을 좋은 토포스로 해석하고, 코연속 함자 간의 층의 카테고리와 연결한다.
• 사영 평면 기하학의 공리계에서 Yang–Baxter 동형사상이 도출되며, 이는 기하학적 인cidense 관계에서 자연스럽게 유도됨을 보여준다.
• 브레인 다이어그램과 고차 카테고리적 합성 방식을 통해 카테고리화된 Hecke 대수가 차원 n ≥ 3에서 Zamolodchikov의 사면체 방정식을 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 유한군의 순열 표현의 카테고리가 스파인의 군oids를 통해 어떻게 카테고리화될 수 있는가?
• RQ2 군oids화를 통해 Hecke 대수oid을 카테고리화할 때 어떤 2-카테고리적 구조가 도출되는가?
• RQ3 사영 평면의 기하학적 인cidense 관계는 어떻게 고차 대수적 구조, 예를 들어 Yang–Baxter 동형사상으로 이어지는가?
• RQ4 카테고리화된 Hecke 대수의 생성자는 어떤 방식으로 Zamolodchikov의 사면체 방정식을 만족하는가?
• RQ5 탈군oids화 함자는 Hecke 이중범주로부터 어떻게 고전적 Hecke 대수를 복원하는가?

주요 결과

• Hecke 이중범주는 객체가 유한 G-집합이고 1-준동형이 G-집합의 스파인인 Hecke 대수oid의 카테고리화를 제공한다.
• G의 순열 표현의 카테고리와 Hecke 이중범주의 탈군oids화 사이에 대수oid의 동치관계가 존재한다.
• B가 Borel 부분군일 때 X = G/B인 경우 군oids Hecke(X,X)는 G의 다이언그램에 대응하는 Iwahori-Hecke 대수를 카테고리화한다.
• Yang–Baxter 동형사상 PLP ≅ LPL은 사영 평면 기하학의 공리계에서 자연스럽게 도출되며, 관계가 아니라 스파인의 기하학적 동형사상으로서 나타난다.
• 카테고리화된 Hecke 대수는 브레인 다이어그램이 곱셈과 합성을 나타내는 방식으로 차원 n ≥ 3에서 Zamolodchikov의 사면체 방정식을 만족한다.
• 이 구성은 인cidense 기하학, 고차 동형사상, 고차 카테고리 이론에서 Zamolodchikov 방정식의 해 사이에 깊은 연결고리를 드러낸다.