[論文レビュー] Fixed point theory and trace for bicategories

Kate Ponto|arXiv (Cornell University)|Jul 9, 2008

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

ひとこと要約

この論文は、対称モノイダル圏におけるトレースをシャドウを備えた2圏へ一般化し、リーマン・トレース、ニールセン数、およびLefschetz数といった不動点不変量の統一的枠組みを提供する。これらの不動点不変量がこの設定におけるトレースとして生じることを確立し、トレースの関手的性質により、単体的技法に依存せずにLefschetz不動点定理の逆を示すために必要な主要な同定が可能になる。

ABSTRACT

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are refinements of the Lefschetz number and the fixed point index that give a converse to the Lefschetz fixed point theorem. An important part of this theorem is the identification of these different invariants. We define a generalization of the trace in symmetric monoidal categories to a trace in bicategories with shadows. We show the invariants used in the converse of the Lefschetz fixed point theorem are examples of this trace and that the functoriality of the trace provides some of the necessary identifications. The methods used here do not use simplicial techniques and so generalize readily to other contexts.

研究の動機と目的

• 対称モノイダル圏における古典的トレースを、シャドウを備えた2圏におけるトレースへ拡張し、不動点理論のより広範な圏的枠組みを可能にする。
• 不動点理論における主要な不変量—リーマン・トレースやニールセン数など—が、この一般化されたトレースの具体例として現れることを示す。
• トレースの関手的性質を用いて、単体的技法を用いずにLefschetz不動点定理の逆を証明する、新しい非単体的証明を提供する。
• 2圏の双モジュラーとシャドウを用いた、パrametrizedおよびファイバーワイズ不動点不変量の圏的基盤を確立する。

提案手法

• シャドウを備えた2圏におけるトレースを導入し、対称モノイダル圏における古典的トレースを一般化する。
• 特に、パラメータ化されたモノイド上のモジュラーおよび双モジュラーのカテゴリに対して、シャドウと双対性を定義する。
• 豊密化されたモノイド上の双モジュラーの2圏を構成し、この文脈においてシャドウが余等化子を用いて定義可能であることを示す。
• 2圏間の緩い関手を用いてトレース構造を持ち上げ、シャドウの整合性を保つ。
• トポロジカルおよびパラメータ化された設定にトレースを適用し、特に群やパスモノイド作用を伴う写像や空間へのファイバーワイズ写像を含む。
• リーマン・トレースや関連不変量が、この枠組みにおいて自然にトレースとして生じることを示し、関手的同定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 対称モノイダル圏における古典的トレースを、シャドウを備えた2圏へどのように一般化できるか。その一般化により、不動点不変量が統一的に扱えるか。
• RQ2 リーマン・トレースやニールセン数が、この一般化された枠組みにおいてどのようにトレースとして現れるか。
• RQ3 単体的技法を用いずに、トレースの関手的性質を用いてLefschetz不動点定理の逆を証明できるか。
• RQ4 パラメータ化されたモノイド上の双モジュラーの2圏におけるシャドウと双対性構造は、パラメータ化およびファイバーワイズ設定における不動点不変量の構成をどのように支援するか。
• RQ5 幾何的、ホモトピー的、代数的リーマン・トレースの間の圏的関係は、一般化されたトレースの観点からどのように特定できるか。

主な発見

• シャドウを備えた2圏における一般化されたトレースは、Lefschetz数、不動点指数、リーマン・トレースを、単一の圏的構成の具体例として統一する。
• トレースの関手的性質により、Lefschetz不動点定理の逆を証明するために必要な主要な同定が得られ、リーマン・トレースがゼロであることは、写像が固定点を持たない写像にホモトープであることと同値であることが示される。
• 単体的技法を回避することで、パラメータ化およびファイバーワイズ不動点理論への一般化が容易に可能になる。
• パラメータ化されたモノイド上の双モジュラーの2圏におけるシャドウは、余等化子を用いて定義可能であり、豊密化および位相的設定におけるトレース構成を可能にする。
• 幾何的およびホモトピー的リーマン・トレースは、パラメータ化された双モジュラーの2圏におけるトレースとして同定され、ランイキ・双対性と整合性を持つ。
• クライン＝ウィリアムズ不変量が、非ベースドの双モジュラー設定においてトレースとして表現可能であることが示され、この枠組みは単連結でない空間へも拡張可能になる。