[論文レビュー] Higher representations and cornered Heegaard Floer homology

Andrew Manion, Raphaël Rouquier|arXiv (Cornell University)|Sep 21, 2020

Geometric and Algebraic Topology参考文献 12被引用数 9

ひとこと要約

本稿は、超リーリー代数 𝔤𝔪(1|1)⁺ の正部分に対して2表現理論を構築し、表面接合をモデル化する2表現のテンソル積構造を構成する。表面接合操作と2表現のテンソル積との間の対応関係を確立し、ヘーガード＝フローリング理論を次元1に拡張し、4次元TQFTのためのホモトピー的でない枠組みを提供する。

ABSTRACT

We develop the 2-representation theory of the odd one-dimensional super Lie algebra $gl(1|1)^+$ and show it controls the Heegaard-Floer theory of surfaces of Lipshitz, Ozsváth and Thurston. Our main tool is the construction of a tensor product for 2-representations. We show it corresponds to a gluing operation for surfaces, or the chord diagrams of arc decompositions. This provides an extension of Heegaard-Floer theory to dimension one, expanding the work of Douglas, Lipshitz and Manolescu.

研究の動機と目的

• ホモトピー的複雑性に依存しない、超リーリー代数 𝔤𝔪(1|1)⁺ の正部分に対する2表現理論の構築。
• ヘーガード＝フローリング理論における表面接合操作に対応する2表現のテンソル積構造の構築。
• 曲線に2表現を実現する微分カテゴリに関連づけた枠組みを通じて、ボーダードヘーガード＝フローリング理論を次元2から次元1に拡張すること。
• 弧分解からの弦図と2表現のテンソル積との間の対応関係の確立。
• クライン＝フレンケルの提言にインspiredされた、𝔤𝔪(1|1)⁺に基づく4次元TQFTのための代数的枠組みの提供。

提案手法

• 特徴的2のネル・ヘッケ代数に微分を備えたモノイダル微分カテゴリ 𝒰 から構成される、微分カテゴリに作用する2表現の2カテゴリの定義。
• ラックス準同型と微分カテゴリ上の可換な2表現構造を用いた、2表現のテンソル積の構成。
• 2表現における対角作用と双対対角作用を用いて表面接合をモデル化し、開いたパンツの接合に対応させる。
• 特異曲線に付随するストランド代数を用いて2表現を実現し、曲線の端が境界データを符号化する。
• ストランドカテゴリへの作用を通じて、曲線の接合と2表現のテンソル積との間の対応関係を確立する。
• グローテンディーク群が 𝔤𝔪(1|1)⁺ の普遍包あくり代数と同型である、クラスコフのモノイダルカテゴリ 𝒰 を用いて2表現枠組みを定義する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的構造に依存せずに、𝔤𝔪(1|1)⁺ の正部分に対する2表現理論をどのように構築できるか。
• RQ2 2表現のテンソル積の代数的構造は何か。また、それが位相的接合操作をどのようにモデル化するか。
• RQ3 表面の弧分解から得られる弦図は、2表現のテンソル積とどのように対応するか。
• RQ4 微分カテゴリ上の2表現枠組みは、ボーダードヘーガード＝フローリング理論における表面接合を実現できるか。
• RQ5 ストランド代数は、2表現およびそのテンソル積構造を符号化するために果たす役割は何か。

主な発見

• 一般のカク＝ムーディ代数とは異なり、ホモトピー的複雑性を伴わずに 𝔤𝔪(1|1)⁺ の2表現理論が構築され、明確な代数的枠組みが得られた。
• ラックス準同型と可換作用を用いた2表現のテンソル積構造が定義され、表面接合操作に対応する。
• 境界区間を共有する2つの表面の接合は、それらに対応する2表現のテンソル積に対応し、ストランド代数を介してモデル化される。
• モノイダルカテゴリ 𝒰 が微分カテゴリに作用することで、曲線レベルでのボーダードヘーガード＝フローリング不変量を符号化する2表現が実現される。
• 本構成により、ホモトピー的でない2圏的拡張がヘーガード＝フローリング理論を次元1に拡張し、4次元TQFTの枠組みを支持する。
• ストランド代数の構造とその微分モジュールを通じて、弦図と2表現のテンソル積との対応関係が確立された。