arXiv 0910.13062009-10math.CT

Shadows and traces in bicategories

Kate Ponto, Michael Shulman

备注：: 46 pages; v2: reorganized and shortened, added proof for cylindrical string diagrams; v3: final version, to appear in JHRS
DOI：: 10.1007/s40062-012-0017-0

英文摘要：

Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Coherence for bicategories, lax functors, and shadows

Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This perspective makes the approach of Mac Lane's proof very amenable to generalization. We use the technique to give efficient proofs of many standard coherence theorems and new coherence results for bicategories with shadow and for their functors.

2021-09-02math.CT

The linearity of traces in monoidal categories and bicategories

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 an…

2014-06-30math.ATmath.CT

Fixed point theory and trace for bicategories

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 con…

2008-07-09math.ATmath.CT

双范畴中的标量丰富与余迹

Scalar enrichment and cotraces in bicategories

本文证明封闭幺半双范畴可在标量丰富范畴上丰富化，用余迹替换2-胞腔，统一范畴迹与余迹概念，并揭示其与线性代数迹的联系。

2024-03-21math.CT

Traces in symmetric monoidal categories

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.

2013-10-24math.CT

扭曲双范畴影子与迹

Twisted Bicategorical Shadows and Traces

Michigan State University（密歇根州立大学）

本文引入带$G$-扭曲数据的双范畴，构造$g$-扭曲双范畴影子与迹，证明其$G$-Morita不变性，可恢复$g$-扭曲Hattori–Stallings迹与零次扭曲Dennis迹，适用于$C_n$-Green函子等对象。

2026-09-07math.ATmath.CTmath.KT

更多相关论文收起更多论文

阴影是双范畴迹

Shadows are Bicategorical Traces

本文澄清了shadow与Hochschild同调的关系，证明任意双范畴上存在取值于其Hochschild同调的泛shadow，并由此建立泛Morita不变性定理，进而提出$\infty$-范畴shadow的推广并构造相关例子。

2025-06-25math.ATmath.CT

Traced Monoidal Categories as Algebraic Structures in Prof

We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory of profunctors. This enables reasoning about the trace using the graphical calculus for monoidal bicategories, which we illustrate in detail. We apply our techniques to study traced ∗-autonomous categories, proving a new equivalence result between the left ⊗-trace and the right ⅋-trace, and describing a new condition under which traced &#872…

2021-12-28math.CT

作为$\u003cmath\u003e\mathbf{Prof}\u003c/math\u003e$中代数结构的迹幺半范畴

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$

本研究提出迹伪幺半群的定义，给出柯西完备迹幺半范畴在$\u003cmath\u003e\mathbf{Prof}\u003c/math\u003e$中的新代数刻画，可借助图形演算推理迹，并将其用于研究迹$*$-自守范畴，得到迹的等价结果与范畴自守的新条件。

2021-09-01math.CT

Relative fixed point theory

The Lefschetz fixed point theorem and its converse have many generalizations. One of these generalizations is to endomorphisms of a space relative to a fixed subspace. In this paper we define relative Lefschetz numbers and Reidemeister traces using traces in bicategories with shadows. We use the functoriality of this trace to identify different forms of these invariants and to prove a relative Lefschetz fixed point theorem and its converse.

2009-06-03math.ATmath.CT

Topological Hochschild Homology and Higher Characteristics

We show that an important classical fixed point invariant, the Reidemeister trace, arises as a topological Hochschild homology transfer. This generalizes a corresponding classical result for the Euler characteristic and is a first step in showing the Reidemeister trace is in the image of the cyclotomic trace. The main result follows from developing the relationship between shadows, topological Hochschild homology, and Morita invariance in bicategorical generality.

2018-08-12math.ATmath.CT

Quantum Link Homology via Trace Functor I

Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory $\mathbf{C}$ and endobifunctor $Σ\colon \mathbf C \to\mathbf C$. For a graded linear bicategory and a fixed invertible parameter $q$, we quantize this theory by using the endofunctor $Σ_q$ such that $Σ_q α:=q^{-°α}Σα$ for any 2-morphism $α$ and coincides with $Σ$ otherwise. Applying the quantized trace to the~bicategory of Chen-Khovanov bimodules we get a new triply graded link homology theory called quantum annular link homology. If $q=1$ we reproduce Asaeda-Przytycki-Si…

2018-09-27math.CTmath.GTmath.QA