[論文レビュー] The linearity of traces in monoidal categories and bicategories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|Jun 30, 2014

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

ひとこと要約

本稿は、対称モノイダル圏および双圏におけるトレースの線形性の一般枠組みを確立し、コロイミット重みが絶対的であるならば、双対的可換対象のコロイミット上の自己準同型のトレースが、個々の対象上のトレースの線形結合に等しくなることを証明する。主たる貢献は、オイラー乗数、リーマンの数、リードマイスター・トレース、および軌道数え上げ定理の加法性公式を、高次カテゴリカル構造におけるトレース理論に基づく統一的かつ形式的な導出を可能にすることにある。

ABSTRACT

We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of this result makes it easy to generalize to traces in homotopical contexts (using derivators) and traces in bicategories. These generalizations include the familiar additivity of the Euler characteristic and Lefschetz number along cofiber sequences, as well as an analogous result for the Reidemeister trace, but also the orbit-counting theorem for sets with a group action, and a general formula for homotopy colimits over EI-categories.

研究の動機と目的

• 代数的および位相的不変量（例：オイラー乗数、リーマンの数）におけるトレースの加法性公式を、高次カテゴリカルおよびホモトピー的設定に一般化すること。
• コロイミット重みが絶対的である場合に、対称モノイダル圏における双対的可換対象のコロイミットが再び双対的可換である条件を確立すること。
• コボル型列、群作用、およびEI圏に関する異なるトレース公式を、双対性とトレースに基づく一様な形式的枠組みの下に統一すること。
• 理論を導出関手および双圏へと拡張し、トレース線形性のホモトピー的および高次カテゴリカル一般化を可能にすること。
• ベースチェンジ対象および成分補題を用いて、プロファンクター圏におけるトレース線形性公式の一意性を証明すること。

提案手法

• 著者たちは、対称モノイダル圏および双圏の形式的枠組みを用い、特に右双対的可換プロファンクターに注目して、双対性と表現可能性に基づきトレースを定義する。
• コロイミットの双対的可換性が保たれる重みとして絶対的重みを定義し、このような重みが線形トレース公式を誘導することを示す。
• 中心的な技法は、誘導された自己準同型を通じて、コロイミット上のトレースを個々の対象上のトレースに関連付けるベースチェンジ対象および成分補題の使用である。
• ホモトピー的コロイミットをモデル化するため、理論を導出関手へと拡張し、安定導出関手およびホモトピー的有限圏への一般化を可能にする。
• 重要な式として、プロファンクター上の合成自己準同型のトレースが、表現可能プロファンクター上の誘導された自己準同型のトレースによる合成に等しいことが挙げられる。
• 一意性の証明は、定数重みの係数ベクトルを、自己同型でインデックス付けられた自己準同型のトレースの和として特定し、トレース写像を成分写像と同一視することで行われる。

実験結果

リサーチクエスチョン

• RQ1 コロイミットの双対的可換対象の自己準同型のトレースが、その構成対象上のトレースの線形結合として表現可能となる条件は何か？
• RQ2 コボル型列に沿ったオイラー乗数およびリーマンの数の加法性は、どのように統一的な圏論的原理から導出可能か？
• RQ3 絶対的重みが、双対的可換対象のコロイミットが再び双対的可換であり、かつトレースが線形であることを保証する役割を果たすか？
• RQ4 トレース理論を通常の圏から導出関手および双圏へと拡張することで、ホモトピー的および高次カテゴリカル不変量を捉えるにはどうすればよいか？
• RQ5 コロイミット上の自己準同型のトレースと個々の対象上のトレースとの間の正確な関係は何か？そしてこの公式はどのように一意に決定されるか？

主な発見

• 対称モノイダル圏においてコロイミットの重みが絶対的であるならば、任意の双対的可換対象の図式のコロイミットも再び双対的可換である。
• コロイミット上の自己準同型が図式上の自己準同型から誘導される場合、そのトレースは図式に含まれる個々の対象上のトレースの線形結合に等しい。
• 理論は、コボル型列に沿ったオイラー乗数の加法性および群作用における軌道数え上げ定理（バーンサイドの補題）といった古典的結果を一般化する。
• 枠組みは導出関手へと拡張され、Lefschetz数およびリードマイスター・トレースの加法性を含むホモトピー的一般化を提供する。
• EI圏において、理論はホモトピー的コロイミット上の自己準同型のトレースを図式に含まれる対象上のトレースの一般式として提供する。
• 成分補題およびベースチェンジ対象を用いて、線形性公式の一意性が確立され、定数重みの係数ベクトルが自己同型でインデックス付けられた自己準同型のトレースの和に正確に一致することが示された。