[논문 리뷰] Towards a categorical boson-fermion correspondence

Tian Yin|arXiv (Cornell University)|2017. 10. 31.

Algebraic structures and combinatorial models참고 문헌 8인용 수 3

한 줄 요약

이 논문은 카테고리화된 히젠베르크 대수의 대응체로 작용하는 수정된 히젠베르크 카테고리(Heisenberg category)를 도입함으로써, 카테고리화된 보존-페르미온 대응을 수립한다. 이는 클리포드 대수의 보존 대수에 대한 카테고리화와 대응되는 것으로, 클리포드 대수의 정점 연산자를 보존 공간의 카테고리화에 대한 내부함수(endofunctors)로 올리며, 모티브 동치의 사슬을 통해 히젠베르크 카테고리와 클리포드 카테고리 사이의 유도 동치를 수립함으로써, 카테고리와 함숫행의 수준에서 고전적 보존-페르미온 대응을 카테고리화한다.

ABSTRACT

We construct the Heisenberg counterpart of a Clifford categorification. It is a modification of Khovanov's Heisenberg categorification. We express generators of the Heisenberg category as a complex of generators of the Clifford category. Certain vertex operators associated to the Clifford algebra are lifted to endofunctors of the Fock space categorification.

연구 동기 및 목표

• 논문 [16]에서의 클리포드 카테고리화에 대응하는 히젠베르크 대수의 대응체를 정의함으로써, 카테고리화된 보존-페르미온 대응을 수립하는 것.
• 특성 2에서 특성 0으로의 DG 대수 구조를 일반화하여, 클리포드 카테고리화의 기하학적 구조를 표현 이론적으로 해석할 수 있도록 하는 것.
• 유도 동치를 통해 클리포드 대수의 정점 연산자를 보존 공간 카테고리화에 대한 내부함수로 올리는 것.
• 사슬을 통해 유도 모티브 동치를 통해 히젠베르크 대수 B와 클리포드 대수 F 사이의 유도 모티브 동치를 수립하는 것.

제안 방법

• 보존 공간의 카테고리화를 분류하는 데 쓰이는 호모토피 카테고리 $\mathcal{B} = \operatorname{Kom}(B)$를 갖는 $\mathbf{k}$-대수 $B$를 구성하며, 이는 $\bigoplus_{n=0}^\infty \mathbf{k}[S(n)]$를 부분대수로 포함한다.
• 히젠베르크 카테고리 $\mathcal{DH}$를 $D(B^e)$의 전형적인 삼각형 모나드 부분카테고리로 정의하며, $B$, $P$, $Q$에 의해 생성되며, 여기서 $P$와 $Q$는 유도 및 제거 함숫행에 대응하는 이중모듈러이다.
• 특성 0인 $\mathbf{k}$로 특성 2에서의 DG 대수 $R$를 일반화하며, $R_0$는 형식적이고 그 코homology와 유사호모토피 동치이며, 클리포드 카테고리 $\mathcal{CL}$를 $D(R^e)$의 전형적인 삼각형 모나드 부분카테고리로 정의하며, $R$과 $T(i)$ 이중모듈러에 의해 생성된다.
• 모티브 동치의 사슬을 수립: $R_0 \leftrightarrow H(R_0) \leftrightarrow \widetilde{H}(R_0) \cong F \leftrightarrow B$로서, $B$와 $F$가 모티브 동치임을 보여준다.
• 유도 동치 $\mathcal{G}: D(B^e) \to D(R_0^e)$를 통해, 클리포드 생성자 $t_i$에 대한 표현 $g(q)$와 $g(p)$를 올리는 두 개체 $\overline{Q}, \overline{P}$를 $D(R_0^e)$에 구성하고, $\mathcal{G}(Q) \cong \overline{Q}$ 및 $\mathcal{G}(P) \cong \overline{P}$임을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 보존-페르미온 대응은 어떻게 카테고리화된 히젠베르크 대수와 클리포드 대수를 통해 카테고리 수준으로 올릴 수 있는가?
• RQ2 클리포드 카테고리화의 대칭적 대응체를 확립하기 위해, 코반노프의 히젠베르크 카테고리화에 어떤 수정이 필요한가?
• RQ3 클리포드 대수의 정점 연산자는 어떻게 보존 공간 카테고리화에 대한 내부함수로 올릴 수 있는가?
• RQ4 유도 동치 $\mathcal{G}$는 히젠베르크 카테고리와 클리포드 카테고리 간의 관계를 어떻게 설명하며, 생성자들의 구조를 어떻게 유지하는가?

주요 결과

• 히젠베르크 카테고리 $\mathcal{DH}$는 $D(B^e)$의 전형적인 삼각형 모나드 부분카테고리로, $B$, $P$, $Q$에 의해 생성되며, 코반노프의 원래 구성보다 초월하는 무한한 연속된 수반 쌍을 포함한다.
• 클리포드 카테고리 $\mathcal{CL}$는 $D(R^e)$의 전형적인 삼각형 모나드 부분카테고리로, $R$과 $T(i)$에 의해 생성되며, 그 코herent 군에서의 클래스 $t_i = [T(i)]$는 클리포드 대수 관계 $t_i t_j + t_j t_i = \delta_{|i-j|,1} 1$를 만족한다.
• 유도 동치 $\mathcal{G}: D(B^e) \to D(R_0^e)$는 $\mathcal{G}(Q) \cong \overline{Q}$ 및 $\mathcal{G}(P) \cong \overline{P}$를 만족하며, 여기서 $\overline{Q}, \overline{P}$는 클리포드 생성자 $t_i$에 대한 표현 $g(q), g(p)$를 올린 것이다. 이는 정리 5.3를 증명한다.
• 대수 $B$와 $F = \widetilde{H}(R_0)$는 모티브 동치이며, $F$는 유향 대수와 동형이므로, 히젠베르크와 클리포드 카테고리화 사이의 유도 모티브 동치를 수립한다.
• 생성 함수 $\overline{t}(z) = \sum_{i \in \mathbb{Z}} t_{2i+1} z^i$와 $t(z) = \sum_{i \in \mathbb{Z}} t_{2i} z^{-i}$는 클리포드 대수와 관련이 있으며, $\mathcal{G}$가 $P$와 $Q$에 작용하는 방식은 보존 공간에서 이들 함수의 작용과 대응된다.
• 사상 $\mathbf{x}: K_0(F_n) \to V_F^{(0)}$는 $\mathbf{x}([\mathcal{S}_n(P(\lambda))]) = \tau \circ \sum_{t=0}^n (-1)^{s_t} t_{2s_t}(\mathbf{x}(\lambda))$를 만족하며, 이는 대칭 함수 작용 $S_n(\mathbf{x}(\lambda))$와 일치하여, 카테고리화된 작용이 고전적 보존-페르미온 대응과 호환됨을 확인한다.