[論文レビュー] Contact categories of disks

Ko Honda, Tian Yin|arXiv (Cornell University)|Aug 30, 2016

Geometric and Algebraic Topology参考文献 16被引用数 3

ひとこと要約

本稿は、閉じた向き付け可能な曲面 $\Sigma$ に対して、$\Sigma \times [0,1]$ 上の接触構造から構成される接触カテゴリー $χ(\Sigma)$ を導入し、$2n+2$ 個のマークドポイントを持つ円板のためのその普遍被覆 $\widetilde{\mathcal{C}}_{n,e}$ を定義する。このカテゴリーがその三角的包 $\widetilde{\mathcal{D}}_{n,e}$ に完全忠実に埋め込まれることを証明し、$\widetilde{\mathcal{D}}_{n,e}$ は有限生成射影 $R_{n,e}$-加群の有界複体のホモトピー圏である。さらに、埋め込みがバイパス正確三角形を保存することを示す。

ABSTRACT

In the first part of the paper we associate a pre-additive category $\mathcal{C}(Σ)$ to a closed oriented surface $Σ$, called the {\em contact category} and constructed from contact structures on $Σ imes[0,1]$. There are also $\mathcal{C}(Σ,F)$, where $Σ$ is a compact oriented surface with boundary and $F\subset \partialΣ$ is a finite oriented set of points which bounds a submanifold of $\partialΣ$, and universal covers $\widetilde{\mathcal{C}}(Σ)$ and $\widetilde{\mathcal{C}}(Σ,F)$ of $\mathcal{C}(Σ)$ and $\mathcal{C}(Σ,F)$. In the second part of the paper we prove that the universal cover of the contact category of a disk admits an embedding into its "triangulated envelope."

研究の動機と目的

• 接触構造 $\Sigma \times [0,1]$ からの前加法的カテゴリー $\mathcal{C}(\Sigma)$ の定義、境界およびマークドポイントを含む曲面への一般化。
• 接触カテゴリーの普遍被覆 $\widetilde{\mathcal{C}}(\Sigma,F)$ の構成とその代数的構造の研究。
• $\widetilde{\mathcal{C}}_{n,e}$ が三角的カテゴリー $\widetilde{\mathcal{D}}_{n,e}$ に完全忠実に埋め込まれることの確立、これにより三角的包としての実現。
• $\widetilde{\mathcal{F}}_{n,e}$ の関手がバイパス正確三角形を保存することの証明、接触位相とホモロジー代数の接続。
• $R_{n,e}$-加群とクイバーを用いた、$2n+2$ 個のマークドポイントとオイラー類 $n-2e$ を持つ円板上の接触カテゴリーの代数的モデルの提供、ヘーゲン・フローリングホモロジーへの応用。

提案手法

• 接触カテゴリー $\mathcal{C}(\Sigma)$ を $\Sigma \times [0,1]$ 上の分離集合の同値類を用いて定義し、同値類の間のバイパス付加によって生成される射を導入。
• 分離集合の空間内の基点を固定し、デック変換を用いてカテゴリーを上に引き上げることで、普遍被覆 $\widetilde{\mathcal{C}}_{n,e}$ を構成。
• $2n+2$ 個のマークドポイントを持つ円板に対して、基本的分離集合に対応する頂点とバイパス移動に対応する矢印を持つクイバー $Q_{n,e}$ を構成し、$\mathbb{F}_2$ 上の代数 $R_{n,e}$ を定義。
• $\widetilde{\mathcal{C}}_{n,e}$ から $\widetilde{\mathcal{D}}_{n,e}$ への関手 $\widetilde{\mathcal{F}}_{n,e}$ を、各分離集合 $\Gamma$ に射影的 $R_{n,e}$-加群 $P(\Gamma)$ を割り当て、各バイパス $\beta$ にチェーン写像 $\mathcal{F}(\beta)$ を割り当てることで定義。
• $\mathcal{F}(\beta)$ が $R_{n,e}$ 上のパス乗法による微分と整合することを確認することで、チェーン写像としての整合性を検証。
• $\widetilde{\mathcal{F}}_{n,e}$ が完全忠実かつ正確であり、その像が繰り返しコーンをとることで $\widetilde{\mathcal{D}}_{n,e}$ を生成することを証明し、三角的包としての同定を確立。

実験結果

リサーチクエスチョン

• RQ1 円板上の接触カテゴリーの普遍被覆は、三角的カテゴリーに完全忠実に埋め込まれるか？
• RQ2 $2n+2$ 個のマークドポイントとオイラー類 $n-2e$ を持つ円板上の接触カテゴリーの代数的構造は何か？
• RQ3 $\widetilde{\mathcal{C}}_{n,e}$ のバイパス正確三角形は、三角的包 $\widetilde{\mathcal{D}}_{n,e}$ の区別三角形とどのように関係するか？
• RQ4 $\widetilde{\mathcal{D}}_{n,e}$ は、有限生成射影 $R_{n,e}$-加群の有界複体のホモトピー圏と同値か？
• RQ5 $R_{n,e}$ は、円板上の接触構造のカテゴリー化において果たす役割は何か？

主な発見

• $2n+2$ 個のマークドポイントとオイラー類 $n-2e$ を持つ円板上の接触カテゴリーの普遍被覆 $\widetilde{\mathcal{C}}_{n,e}$ は、三角的カテゴリー $\widetilde{\mathcal{D}}_{n,e}$ に完全忠実な関手 $\widetilde{\mathcal{F}}_{n,e}$ を持つ。
• $\widetilde{\mathcal{D}}_{n,e}$ は、有限生成射影 $R_{n,e}$-加群の有界複体のホモトピー圏と同値であり、$R_{n,e}$ は円板上のストランド代数のホモロジーと同型である。
• $\widetilde{\mathcal{F}}_{n,e}$ は正確である。つまり、$\widetilde{\mathcal{C}}_{n,e}$ のバイパス正確三角形を $\widetilde{\mathcal{D}}_{n,e}$ の区別三角形に送る。
• $\widetilde{\mathcal{F}}_{n,e}$ の像は繰り返しコーンをとることで $\widetilde{\mathcal{D}}_{n,e}$ を生成する。これにより、$\widetilde{\mathcal{D}}_{n,e}$ が $\widetilde{\mathcal{C}}_{n,e}$ の三角的包であることが確認された。
• $\widetilde{\mathcal{D}}_{n,e}$ 上のセレーファンクターは、シフトと双対性によって誘導され、$\widetilde{\mathcal{D}}_{n,e}$ は次元3のカラビ・ヤウ的である。これは円板の幾何的双対性を反映している。
• 構成は $\mathbb{F}_2$ 上で定義されており、著者らは結果が任意の体へ拡張可能であると予想しているが、符号追跡は技術的に困難である。