[논문 리뷰] The Categorified Heisenberg Algebra I: A Combinatorial Representation

Jeffrey C. Morton, Jamie Vicary|arXiv (Cornell University)|2012. 07. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 8

한 줄 요약

이 논문은 군oids의 스펜을 통해 카테고리화된 키프만의 하이젠베르크 대수의 조합론적 모델을 제시하며, 유한 집합과 전단사 사상의 관점에서 구체적인 실현을 제공한다. 하이젠베르크 대수의 대수적 관계와 U(sln)의 관계는 군oids 설정에서의 조합론적 동형사상으로부터 유도되며, 선형화 과정을 통해 생성함수를 통한 표준 폭스 공간 표현이 복원된다.

ABSTRACT

We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way. These give rise to standard representations on vector spaces through a linearization process.

연구 동기 및 목표

• . 이 논문은 군oids화를 통해 키프만의 카테고리화된 하이젠베르크 대수의 조합론적 해석을 제공하고자 한다.
• . 카테고리화된 하이젠베르크 대수의 대수적 구조를 유한 집합의 조합론적 기법을 통해 설명하고자 한다.
• . 다색 유한 집합과 색을 유지하는 전단사 사상으로 구성된 다색 카테고리화된 U(sln) 대수의 모델을 구축하고자 한다.
• . 군oids적 구조에서 표준 선형 표현이 정규 선형화 과정을 통해 어떻게 유도되는지 보여주고자 한다.
• . 추상적인 카테고리화된 양자군과 다중 종류의 물건 유형(다중 종류의 스태프타입)과 같은 구체적인 조합론적 구조 사이의 연결 고리를 확립하고자 한다.

제안 방법

• . 카테고리화된 하이젠베르크 대수는 군oids의 스펜의 2-category에서 모델링되며, 상향 및 하향 방향의 스트랜드로 나타나는 생성 객체 Q+와 Q−를 사용한다.
• . 사상은 군oids의 스펜으로 표현되며, 관계는 다이어그램 상의 위상적 항등식을 통해 부여된다.
• . 핵심은 동형사상 Q−⊗Q+ ≃ (Q+⊗Q−)⊕I로, 이는 하이젠베르크의 교환관계 aa†−a†a=1을 카테고리화한다.
• . U(sln)에 대해 저자들은 n-색 유한 집합과 색을 유지하는 전단사 사상으로 구성된 군oids Sn 상에서 소멸 및 생성 스펜 Ai와 A†i를 정의한다.
• . 연산자 Ei, Fi, Ni는 이러한 스펜의 복합으로 구성되며, 카테고리화된 U(sln) 관계를 만족한다.
• . 디군oids화 함수자(degroupoidification functor)를 통한 선형화 과정을 통해 C[[z1,…,zn]]에서의 표준 폭스 공간 표현이 복원된다.

실험 결과

연구 질문

• RQ1 . 키프만의 카테고리화된 하이젠베르크 대수는 어떻게 군oids의 스펜과 같은 조합론적 구조를 통해 구체적으로 실현될 수 있는가?
• RQ2 . 카테고리화된 하이젠베르크 대수의 교환관계는 어떤 조합론적 동형사상에 의해 뒷받침되는가?
• RQ3 . U(sln)의 생성자는 다색 유한 집합 상의 군oids의 스펜으로 어떻게 유도되는가?
• RQ4 . 디군oids화 함수자는 군oids적 모델에서 표준 선형 표현을 복원하는 데 어떤 역할을 하는가?
• RQ5 . 다중 종류의 스태프타입은 어떻게 다중 종류의 물건 유형으로 일반화되어 카테고리화된 폭스 공간의 상태를 모델링하는가?

주요 결과

• . 카테고리화된 하이젠베르크 대수는 유한 집합 위의 군oids의 스펜의 2-category로 실현되며, 관계는 조합론적 동형사상으로 유도된다.
• . 군oids 모델에서 동형사상 Q−⊗Q+ ≃ (Q+⊗Q−)⊕I가 성립하며, 이는 교환관계 aa†−a†a=1을 카테고리화한다.
• . U(sln)에 대해 연산자 Ei, Fi, Ni는 n-색 유한 집합 상의 스펜의 복합으로 구성되며, 카테고리화된 관계식 (126)–(128)를 만족한다.
• . 각 색 i와 j에 대해 원소를 0개 또는 1개만 구별하는 방법의 수는 동형사상 (EiFj)⊕δijNi ≃(FjEi)⊕δijNi+1에 해당한다.
• . 스펜의 디군oids화는 C[[z1,…,zn]]에서의 표준 다항식 표현을 복원하며, 계수들이 조합론적 카운팅과 일치한다.
• . 다중 종류의 스태프타입은 Sn 위의 군oids로 정의되며, 폭스 공간 상태의 조합론적 모델을 제공하고, 디군oids화 과정을 통해 다변수 생성함수를 생성한다.