[論文レビュー] Towards a categorical boson-fermion correspondence

Tian Yin|arXiv (Cornell University)|Oct 31, 2017

Algebraic structures and combinatorial models参考文献 8被引用数 3

ひとこと要約

この論文は、ケイブンのヘイゼンベルク代数のカテゴライゼーションに対応する修正されたヘイゼンベルク圏を導入することで、ボソン-フェルミオン双対性を圏論的に構成する。クリフォード代数からの頂点作用素をフォック空間のカテゴライゼーション上の自己函手へと上げる。ヘイゼンベルク圏とクリフォード圏の間で、モラータ同値の鎖を通じて、導来同値性を確立し、圏と函手のレベルで、古典的なボソン-フェルミオン双対性をカテゴライズ化する。

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 $ の導来モラータ同値性を確立すること。

提案手法

• $ \mathbf{k} $-代数 $ B $ を構成し、 $ \bigoplus_{n=0}^\infty \mathbf{k}[S(n)] $ を部分代数として含み、そのホモトピー圏 $ \mathcal{B} = \operatorname{Kom}(B) $ がボソン的フォック空間をカテゴライズ化すること。
• $ B $, $ P $, $ Q $ を生成元とする、 $ D(B^e) $ の完全な三角的モノイダル部分圏としてヘイゼンベルク圏 $ \mathcal{DH} $ を定義する。ここで $ P $ と $ Q $ は、誘導関手と制限関手に対応する双加群である。
• $ \mathbb{F}_2 $ から特徴0の $ \mathbf{k} $ へのDG代数 $ R $ の一般化を行い、 $ R_0 $ が形式的で、そのコホロロジーと quasi-isomorphic であるようにする。そして、 $ R $ と $ T(i) $ 双加群を生成元とする、 $ D(R^e) $ の完全な三角的モノイダル部分圏としてクリフォード圏 $ \mathcal{CL} $ を定義する。
• モラータ同値の鎖を確立する： $ R_0 \leftrightarrow H(R_0) \leftrightarrow \widetilde{H}(R_0) \cong F \leftrightarrow B $ により、 $ B $ と $ F $ がモラータ同値であることを示す。
• $ D(R_0^e) $ 内に、クリフォード生成子 $ t_i $ を用いた $ g(q) $ と $ g(p) $ の表現を上げる2つの対象 $ \overline{Q}, \overline{P} $ を構成し、導来同値性 $ \mathcal{G}: D(B^e) \to D(R_0^e) $ を用いて $ \mathcal{G}(Q) \cong \overline{Q} $ および $ \mathcal{G}(P) \cong \overline{P} $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的なボソン-フェルミオン双対性は、カテゴライズ化されたヘイゼンベルク代数とクリフォード代数を通じて、どのように圏論的レベルに引き上げられるか？
• RQ2 クリフォードカテゴライゼーションに対応する対称的双対を確立するため、ケイブンのヘイゼンベルクカテゴライゼーションに必要な修正は何か？
• RQ3 クリフォード代数からの頂点作用素は、どのようにしてフォック空間カテゴライゼーション上の導来圏における自己函手へと引き上げられるか？
• RQ4 導来同値性 $ \mathcal{G} $ は、ヘイゼンベルク圏とクリフォード圏をどのように関連づけ、生成子の構造をどのように保存するか？

主な発見

• ヘイゼンベルク圏 $ \mathcal{DH} $ は、 $ B $, $ P $, $ Q $ を生成元とする $ D(B^e) $ の完全な三角的モノイダル部分圏として構成され、ケイブンの元々の構成を超えて、無限個の随伴対を持つ。
• クリフォード圏 $ \mathcal{CL} $ は、 $ R $ と $ T(i) $ を生成元とする $ D(R^e) $ の完全な三角的モノイダル部分圏として定義され、グロテンディーク群におけるクラス $ 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)) $ と一致する。これにより、カテゴライズ化された作用が古典的なボソン-フェルミオン双対性と整合することが確認される。