[論文レビュー] Traces in symmetric monoidal categories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|Jul 29, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 9

ひとこと要約

この論文は、圏論における対称モノイダルトレースを包括的に解説し、古典的な行列トレースを対称モノイダル圏における双対的可換対象への一般化している。トレースは、位相、代数、論理における固定点を検出する強力な不変量として確立され、その自然性、関手性、およびLefschetz固定点定理や高次オイラー特性への応用を含む主要な結果を示している。

ABSTRACT

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things, this note is intended as background for the generalizations to the context of bicategories and indexed monoidal categories.

研究の動機と目的

• 対称モノイダル圏における双対的可換対象の自己準同型写像へと、行列のトレースの概念を形式化し一般化すること。
• トレースと固定点の深い関係を明確にすること、特にグローバルに定義できない固定点作用素が存在する文脈において特に重要である。
• 代数、位相、論理、ドメイン理論など、多様な例を、一つの圏論的枠組みで統一すること。
• トレース構成の基礎的性質、たとえば循環性、自然性、関手性を確立すること。
• 次に続く研究で言及される2-圏や索引付きモノイダル圏における高度な一般化の土台を固めること。

提案手法

• 対称モノイダル圏における準同型写像とトレースの可視化および推論に、ストリング図式計算を用いる。
• 双対性を用いてトレースを定義する：双対的可換対象 $X$ に対して、$f: X \to X$ のトレースは、coevaluation および evaluation 射影を用いて構成される。
• 捩じれトレースを、同型写像 $\tau: X \to X$ を用いて導入し、パラメータ付きまたはファイバー付きの状況への標準トレースの一般化を達成する。
• さまざまな圏へのトレースの応用：$\mathbf{Set}$, $\mathbf{Ab}$, $\mathbf{Sup}$, $\mathbf{Top}$, $\mathbf{Rel}$, および $\mathbf{Sp}$（安定ホットピー理論）において、変形に対して不変であることを示す。
• 自由アーベル群および自由suplattice関手を用いて、トレースを加法的または順序論的設定へと持ち上げ、固定点の数え上げや合計を可能にする。
• トレース構成がモノイダル関手と可換であることを示し、圏間での構造を保存することによって、関手性を実証する。

実験結果

リサーチクエスチョン

• RQ1 行列の古典的トレースを、対称モノイダル圏における双対的可換対象の自己準同型写像へとどのように圏論的に一般化できるか？
• RQ2 グローバルに定義できない固定点作用素が存在する文脈において、対称モノイダルトレースが固定点に関するどのような情報を符号化しているか？
• RQ3 トレースの整合性および自然性の性質は何か？ それらはLefschetz固定点定理のような応用をどのように支援するか？
• RQ4 捩じれトレースは標準トレースをどのように一般化するか？ どのような文脈で自然に現れるか？
• RQ5 トレースと、オイラー特性や位相的安定ホットピー類のような高次不変量との関係は何か？

主な発見

• 双対的可換対象 $X$ を持つ対称モノイダル圏における自己準同型写像 $f: X \to X$ のトレースは、$I \to I$ への明確に定義された準同型写像であり、行列トレースを一般化する。
• $\mathbf{Set}$ において、自由suplattice関手 $\mathcal{P}$ による $\mathcal{P}(f)$ のトレースは、$f$ の固定点の集合であり、$\mathcal{P}(M)$ の元として表現される。
• $\mathbf{Ab}$ において、$\mathbb{Z}[f]: \mathbb{Z}[Q] \otimes \mathbb{Z}[M] \to \mathbb{Z}[M]$ のトレースは、各 $q \in Q$ に対して $f(q, -)$ の固定点の数に写す。
• $\mathbf{Rel}$ において、$\Gamma_f$ のトレースは、関係 $\{q \in Q \mid f(q, -) \text{ が固定点をもつ}\}$ であり、固定点の存在を捉えている。
• 安定ホットピー理論において、$\Sigma_+^\infty M$ が双対的可換である連続写像 $f: Q \times M \to M$ のトレースは、$Q \to S^0$ への安定写像を生じ、固定点が存在しない場合には自明である。
• アレクサンドロフ空間において、$\mathbf{Sup}$ 内の $f^{-1} \circ \cap$ のトレースは、集合 $\{a \in A \mid a \leq f(a)\}$ の閉包に対応し、順序論的および位相的固定点を結びつける。