[論文レビュー] Duality and traces for indexed monoidal categories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|Nov 7, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 40

ひとこと要約

この論文は、インデックス付きモノイダル圏を用いて対称モノイダル圏におけるトレースの精錬を統一的フレームワークで行うものであり、双圏的一般化を可能にし、ホモトピー理論におけるライドマイスター・トレースを捉える。著者らは、インデックス付き対称モノイダル圏から双圏を構成し、基本群作用を組み込むことでファイバーごとのトレースを精錬する。その応用として、ストリング図とベーク＝シェヴァリー整合性を用いたパrametrizedスペクトルおよび総双対性に関する応用が得られる。

ABSTRACT

By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the Lefschetz number called the Reidemeister trace. Abstractly, the Lefschetz number is a trace in a symmetric monoidal category, while the Reidemeister trace is a trace in a bicategory; in this paper we relate these contexts using indexed symmetric monoidal categories. In particular, we will show that for any symmetric monoidal category with an associated indexed symmetric monoidal category, there is an associated bicategory which produces refinements of trace analogous to the Reidemeister trace. This bicategory also produces a new notion of trace for parametrized spaces with dualizable fibers, which refines the obvious "fiberwise" traces by incorporating the action of the fundamental group of the base space. We also advance the basic theory of indexed monoidal categories, including introducing a string diagram calculus which makes calculations much more tractable. This abstract framework lays the foundation for generalizations of these ideas to other contexts.

研究の動機と目的

• カテゴリ的道具を用いて、Lefschetzの不動点定理を、Lefschetz数をライドマイスター・トレースへ精錬することによって一般化すること。
• ベース空間の対称性（例えば、基本群作用など）を組み込むことで、対称モノイダル圏におけるファイバーごとのトレースを精錬する双圏的枠組みを確立すること。
• インデックス付きモノイダル圏におけるストリング図計算を構築し、複雑なトレース構成を簡略化・視覚化すること。
• ファイバーごとのトレース、等変トレース、相対トレースといった、さまざまなトレースの精錬を、一つの抽象的枠組みで統一すること。
• 特にトポロジカル空間上のスペクトルに対して、パラメトリズド空間におけるトレースのカテゴリカルな基盤を提供し、安定ホモトピー理論への応用を示すこと。

提案手法

• カルテジアンモノイダルベース圏 S 上のインデックス付き対称モノイダル圏から、押し出し関手とベース変換関手を用いて双圏を構成する。
• 因子分解：IA → (πA)*⟨⟨A⟩⟩ → IA を通じた精錬されたトレースを定義する。ここで、最初の写像はベース空間に依存し、2番目の写像は対象と自己準同型に依存する。
• 色分けされた構造を有するストリング図を用いて、射および合成を表現し、トレース因子分解の視覚的計算を可能にする。
• ベース変換と押し出し関手を含む合成を簡略化するために、ベーク＝シェヴァリー同型と擬関手的整合性を用いる。
• Sにおける自己準同型 f: A → A の総トレースが、ファイバー圏におけるトレースへと持ち上がることを証明し、合成 ξ ◦ f が Σ(φ)、つまり f のスuspensionスペクトルとして同定される。
• スライディングおよびスプリット同型（ベーク＝シェヴァリー）を用いて、φ! および φ* 関手を含む複雑な合成を、主定理の証明で簡略化する。

実験結果

リサーチクエスチョン

• RQ1 安定ホモトピー理論におけるライドマイスター・トレースは、どのように対称モノイダルトレースの精錬として導出可能か？
• RQ2 ファイバーごとのトレースを、ベース空間の基本群からのようなグローバルな対称性を含むように精錬するためのカテゴリ的構造は何か？
• RQ3 ストリング図は、インデックス付きモノイダル圏にどのように適応され、トレース計算を簡略化できるか？
• RQ4 インデックス付き対称モノイダル圏における単位対象の押し出しは、Lefschetz数のような古典的トレース不変量をどのように回復するか？
• RQ5 自己準同型の総トレースが、ベース圏上で well-defined なトレースへと持ち上がることを保証する条件は何か？

主な発見

• 対称モノイダル圏 C_A における自己準同型 f: M → M のファイバーごとのトレースは、IA → (πA)*⟨⟨A⟩⟩ → IA と因子分解され、最初の写像がベース空間構造を符号化し、2番目の写像が精錬されたトレース情報を持つ。
• 精錬されたトレース tr( bf) は、ベース空間 A のループが M のファイバー上に与える作用を組み込み、パラメトリズド安定ホモトピー理論における古典的ライドマイスター・トレースを一般化する。
• ベース圏 S における自己準同型 f: A → A の総トレースは、ファイバー圏におけるトレースへ持ち上がり、合成 ξ ◦ f は Σ(φ)、すなわち f のスuspensionスペクトルとして同定される。
• 合成 ζ ◦ f が Σ(∆A ◦ φ) として同定されることにより、総トレース構成が、ベース圏における対角写像のトレースを正しく捉えていることが示される。
• 色分けされた構造を有するストリング図は、特にベーク＝シェヴァリー同型と擬関手的整合性の文脈において、トレース因子分解の計算に実用的な計算体系を提供する。
• 主定理の証明は、擬関手の整合性と壊れた zigzag 恒等式に依拠しており、ベース変換と押し出しを含む複雑な合成を簡略化する。