Pith. sign in

REVIEW 2 major objections 4 minor 39 references

Iterated traces in 2-categories and Lefschetz theorems

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Iterated traces commute in 2-categories, and Lefschetz formulas fall out

desk verdict A valuable unifying theorem with a real gap in the proof of the key umbra axiom. read the letter →

arxiv 1908.07497 v2 pith:5PZFBGUC submitted 2019-08-20 math.AT math.CT

Jonathan A. Campbell , Kate Ponto This is my paper · ORCID
classification math.ATmath.CT MSC 18D0518D2019K1437C25
keywords iteratedtracesbicategoriesLefschetztheoremsHochschildhomologytopological2-charactersshadowsumbra
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper's goal is a single formal theorem: in any symmetric monoidal bicategory whose 0-cells are 2-dualizable, the two ways of taking iterated traces of a 2-morphism agree. If the theorem is right, many Lefschetz fixed-point formulas that were proved separately become corollaries of one mechanism, and the same mechanism immediately produces a spectral version with topological Hochschild homology. The paper also shows that categorical 2-characters are invariant under the action of SL2(Z) as a consequence, without relying on the cobordism hypothesis.

What carries the argument

The load-bearing construction is the umbra, a structure on a bicategory that extends a shadow: four trace-like functors on endomorphism 1-cells, together with comparison maps $\lambda$ and $\kappa$ that relate composition and tensor, satisfying a symmetry coherence condition, Equation (5.4). The proof of the main theorem reduces the trace-commutation equality to a diagram chase in the umbra, stated as Theorem 5.5. The bridge to examples is Theorem 6.18, which shows that a symmetric monoidal bicategory with all 0-cells 2-dualizable has an umbra; the technical verifications are carried out in a graphical calculus of 'circuit diagrams'. Section 8 then supplies the dg and spectral bicategories via enriched homotopical category theory, with the shadow computed as Hochschild or topological Hochschild homology.

What would settle it

Take a smooth proper spectral or dg category $A$ with a nontrivial $(A,A)$-bimodule $M$ and a specified 2-cell $\varphi$, and compute both iterated traces at the level of homotopy groups: the theorem predicts exact equality in $\pi_0(\mathrm{THH})$. A single explicit computation where the two sides differ, or a pair of very good categories whose pointwise tensor is not very good, would disprove the claim.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for endomorphism 1-cells $X$ and $Y$ in a symmetric monoidal bicategory $\mathcal{B}$ in which every 0-cell is 2-dualizable, any 2-cell $\varphi: X \odot Y \to Y \odot X$ with defined traces satisfies $\mathrm{tr}_X(\mathrm{tr}_Y(\varphi)) = \mathrm{tr}_Y(\mathrm{tr}_X(\varphi))$. In other words, the order of taking the two categorical traces does not matter. The proof packages the required symmetries as an 'umbra', a strengthening of the shadow formalism, and shows that every symmetric monoidal bicategory with 2-dualizable 0-cells carries an umbra. From this equality, the paper derives Lefschetz-type comparisons: for smooth proper dg-categories the usual Hochschild homology formula follows, and for smooth proper spectral categories the new identity $\chi(\mathrm{THH}(A;M)) = \mathrm{tr}(\mathrm{THH}(- \wedge M))$ holds.

Load-bearing premise

The argument leans on Shulman's strictification and on Assumption 8.27, that the pointwise tensor product of two very good enriched categories is again very good; the assumption is verified for spectra and chain complexes but not established in general, and the new spectral Lefschetz theorem would fail if it were false.

Editorial extensions

If this is right

  • For smooth proper dg-algebras and dg-categories, the theorem recovers the Lefschetz formulas comparing the Euler characteristic of Hochschild homology with the trace of the map induced by tensoring with a bimodule.
  • For spectral categories, it yields the new identity $\chi(\mathrm{THH}(A; M))$ equals the trace of $\mathrm{THH}(- \wedge M)$ for smooth proper $A$ and an $(A,A)$-module $M$.
  • Polishchuk's Lefschetz reciprocity for dg-functors follows from the same equality together with the mate correspondence for traces.
  • Categorical 2-characters, defined as iterated traces in the bicategory of categories, are invariant under the natural $\mathrm{SL}_2(\mathbb{Z})$ action; the proof here does not use the cobordism hypothesis.
  • Any future symmetric monoidal bicategory with all 0-cells 2-dualizable automatically produces a new Lefschetz-type theorem by the same argument.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same formal equality suggests that iterated traces are insensitive to more than just order; one may expect higher-dimensional analogues in which several twisting maps are traced in any prescribed sequence.
  • Because the paper's spectral example relies on the pointwise tensor of 'very good' categories being very good, a natural next step is to test the formalism in equivariant or motivic enrichments, where that hypothesis has not been verified.
  • The paper's remark that parameterized spectra in the $K(n)$-local category satisfy the dualizability conditions points toward chromatic Lefschetz formulas as a plausible target, though this is not proved here.
  • Connecting the umbra formalism to matrix factorizations or quantum link invariants, as the paper floats as future work, would turn the trace-commutation identity into an identity of categorical characters in those settings.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves a general theorem about iterated traces in 2-categories: in a symmetric monoidal bicategory where all 0-cells are 2-dualizable, the two possible orders of taking bicategorical traces of a 2-morphism φ : X ⊙ Y → Y ⊙ X agree (Theorem 1.1). The proof formalizes an auxiliary structure called an umbra (Definition 5.3), proves the trace theorem for umbras (Theorem 5.5), and then shows that every symmetric monoidal bicategory with 2-dualizable 0-cells carries an umbra (Theorem 6.18). The paper derives from Theorem 1.1 several Lefschetz-type formulas for dg-categories and spectral categories, recovering results of Lunts, Cisinski–Tabuada, and Polishchuk and adding a new spectral THH version (Corollary 4.13). It also proves SL2(Z)-invariance of categorical 2-characters (Theorem 7.22) using a double-categorical shadow formalism.

Significance. If the central proof is completed as claimed, this is a valuable unifying framework: it isolates a small axiomatic structure (umbras) from which iterated trace commutativity follows formally, and it recovers several known Lefschetz theorems as corollaries while supplying a genuinely new spectral generalization. The independent recoveries of Lunts, Cisinski–Tabuada, and Polishchuk are strong evidence that the main theorem is true, and the paper is self-contained in its categorical formalism, with the comparison to previous work resting on published results rather than on circular reasoning. However, the proof of the main theorem is a large diagram chase with several identifications left to the reader, and the verification of the key umbra axiom (5.4) is incomplete; these gaps affect the central claim and need to be addressed before the paper can be accepted.

major comments (2)
  1. [§6, proof of Theorem 6.18 (Eq. (5.4), Figures 7.1 and 7.2)] The verification of the umbra axiom (5.4) is incomplete. After displaying one comparison of a composite with the 3-fold twisting map, the proof states that 'the comparison of the 3-fold twisting map and the other composite in Eq. (5.4) is similar'; no diagram or list of 2-cell composites is provided for the second comparison. The two composites in (5.4) are not the same diagram up to relabeling: the four shadow functors appear in different orders and the placement of the symmetry isomorphism differs. Since Theorem 5.5 explicitly identifies the large central square of Figure 5.6 with Eq. (5.4), the proof of Theorem 1.1 is exactly as strong as this axiom; without a written verification of the omitted comparison the main theorem is not fully established. I therefore request a complete diagram chase for the second comparison, or a proof that it follows formally from the coherence axioms for symmetric monoidal bicategories stated in Section 6.
  2. [§8, Assumption 8.27 and Theorem 8.39] The symmetric monoidal structure on Ho(B(Cat_V)), and hence the applicability of Theorem 1.1 to the dg- and spectral categories used in Section 4, depends on Assumption 8.27, which asserts that the pointwise tensor product of very good V-categories is very good. This assumption is not proved; Remark 8.28 says it is 'difficult to imagine' a counterexample, and it is verified only for spectra and chain complexes (Examples 8.23 and 8.29). Because the new spectral Lefschetz theorem (Corollary 4.13) relies on this assumption, the authors should either prove Assumption 8.27 for the specific enriched categories used in Section 4, or state Corollary 4.13 and the related spectral results as conditional on an explicit, verifiable hypothesis.
minor comments (4)
  1. [§1, Theorem 1.1 and Remark 4.12] The hypotheses are not uniform: Theorem 1.1 assumes all 0-cells are 2-dualizable, while Remark 4.12 says it suffices to assume the single relevant 0-cell A is 2-dualizable; please make the hypothesis in the abstract, the introduction, and the applications consistent.
  2. [§5, Definition 5.1] The four functors denoted ⟨⟨−⟩⟩, ⟩⟩−⟨⟨, ⟨⟨−⟨⟨, and ⟩⟩−⟩⟩ are notationally very close and difficult to distinguish in print; a small table giving each functor a name and source/target would substantially improve readability.
  3. [§8, Remark 8.42] The paper explicitly ignores the S1-equivariant structure of THH and HH; this limitation should be stated at the first occurrence of 'THH' in Section 4, since a reader may otherwise assume the circle action is part of the invariant.
  4. [§4.1, Proposition 4.5] The proposition is cited to [CP19, 5.21] rather than proved; since this result is the bridge to the classical Lefschetz theorems, one sentence explaining why the citation applies to the specific bicategories of dg- and spectral categories would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.1 is an independent formal derivation from the umbra axioms, with the only self-citation [CP19] used as a published, external input for the applications.

full rationale

The central derivation is self-contained. Theorem 1.1 is reduced in Section 5 to Theorem 5.5, a diagram chase assuming the umbra axioms; the nontrivial umbra axiom Eq. (5.4) is then established in Theorem 6.18 directly from the symmetric monoidal bicategory structure and 2-dualizability data via the 3-fold twisting map (Figures 7.1 and 7.2). No fitted parameter is renamed as a prediction, no known result is merely relabeled, and no uniqueness theorem is imported from the authors' own prior work. The only self-citation, [CP19, 5.21] in Proposition 4.5, is a published, independent Morita-equivalence/trace comparison used to translate the applications; it is not used in the proof of Theorem 1.1, and the recovered Lefschetz theorems (Lunts, CT14, Pol14) provide external checks. Two issues are correctness risks, not circularity: (1) in the proof of Theorem 6.18 the verification of Eq. (5.4) states 'The comparison of the 3-fold twisting map and the other composite in Eq. (5.4) is similar' (p. 26), omitting one of the two required comparisons; if that comparison failed, the main theorem would not be established. (2) Assumption 8.27, that pointwise tensor products of very good categories are very good, is verified only in examples (8.23, 8.29), making the spectral applications conditional. Neither issue makes the paper's derivation equivalent to its inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof introduces a new structure, umbras, but these are definitions verified to exist, not free-floating entities. The main external assumptions are Shulman's symmetric monoidal double category theorem and the technical 'very good' conditions for enriched categories.

assumptions (5)
  • standard math ZFC set theory and standard categorical foundations
    The paper is a formal mathematical proof in the standard foundation.
  • domain assumption Duality and trace formalism for bicategories and shadows as developed in [Pon10] and [PS13]
    The paper reviews this material and uses it as background.
  • domain assumption Shulman's theorem (Theorem 8.39, [Shu10 Thm 1.1]) that the underlying bicategory of a fibrant symmetric monoidal double category is symmetric monoidal, applied to D(Cat_V)
    This is the key external result that makes the examples into symmetric monoidal bicategories; not proved in the paper.
  • domain assumption Assumption 8.18: V is a closed symmetric monoidal homotopical category with a strong symmetric monoidal adjunction from simplicial sets
    Used for bar/cobar constructions; holds for chain complexes and spectra.
  • domain assumption Assumption 8.27: if A and B are very good V-categories then A⊗B is very good
    Needed for the symmetric monoidal structure on the bicategory; only verified in specific examples.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Iterated traces in 2-categories and Lefschetz theorems." pith.science (2026). https://pith.science/paper/5PZFBGUC

@misc{pith2026190807497,
  author       = {Pith},
  title        = {Pith review of: Iterated traces in 2-categories and Lefschetz theorems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5PZFBGUC}},
  note         = {Machine review of arXiv:1908.07497}
}
read the original abstract

While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many Lefschetz-type theorems in the literature are consequences of this result and the new perspective we provide allows for immediate spectral generalizations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 24 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION output.nonempty.doi duplicate missing pop "" 'skip if duplicate empty 'pop " doi:" swap * "" * write if FUNCTION output.nonempty.arxiv duplicate missing pop "" 'skip if duplicate empty '...

  2. [2]

    Atiyah, Topological quantum field theories, Inst

    M. Atiyah, Topological quantum field theories, Inst. Hautes \' E tudes Sci. Publ. Math. (1988), no. 68, 175--186 (1989)

    work page 1988

  3. [3]

    Quantum Link Homology via Trace Functor I

    A. Beliakova, K. K. Putyra, and S. M. Wehrli, Quantum link homology via trace functor I , Invent. Math. 215 (2019), no. 2, 383--492. doi:10.1007/s00222-018-0830-0 arXiv:1605.03523

    work page Pith review arXiv 2019

  4. [4]

    Nonlinear Traces

    D. Ben-Zvi and D. Nadler, Nonlinear traces. arXiv:1305.7175

    work page Pith review arXiv

  5. [5]

    Secondary Traces

    , Secondary traces. arXiv:1305.7177

    work page Pith review arXiv

  6. [6]

    J. A. Campbell and K. Ponto, Topological hochschild homology and higher characteristics, Algebraic & Geometric Topology 19 (2019), 965--1017. doi:10.2140/agt.2019.19.965 arXiv:1803.01284

    arXiv 2019

  7. [7]

    Symmetric monoidal structure on Non-commutative motives

    D.-C. Cisinski and G. Tabuada, Symmetric monoidal structure on non-commutative motives, J. K-Theory 9 (2012), no. 2, 201--268. doi:10.1017/is011011005jkt169 arXiv:1001.0228

    work page Pith review arXiv 2012

  8. [8]

    Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

    , Lefschetz and H irzebruch- R iemann- R och formulas via noncommutative motives , J. Noncommut. Geom. 8 (2014), no. 4, 1171--1190. doi:10.4171/JNCG/183 arXiv:1111.0257

    work page Pith review arXiv 2014

Show all 39 references
  1. [9]

    C a ld a raru and S

    A. C a ld a raru and S. Willerton, The M ukai pairing. I . A categorical approach , New York J. Math. 16 (2010), 61--98. arXiv:0707.2052

    2010 arXiv

  2. [10]

    Dold and D

    A. Dold and D. Puppe, Duality, trace, and transfer, Proceedings of the I nternational C onference on G eometric T opology ( W arsaw, 1978) (Warsaw), PWN, 1980, pp. 81--102

    1978

  3. [11]

    C. L. Douglas, C. Schommer-Pries, and N. Snyder, Dualizable tensor categories. arXiv:1312.7188

    arXiv

  4. [12]

    W. G. Dwyer, P. S. Hirschhorn, D. M. Kan, and J. H. Smith, Homotopy limit functors on model categories and homotopical categories, Mathematical Surveys and Monographs, vol. 113, American Mathematical Society, 2005

    2005

  5. [13]

    Ehresmann, Cat\' e gories structur\' e es , Ann

    C. Ehresmann, Cat\' e gories structur\' e es , Ann. Sci. \' E cole Norm. Sup. (3) 80 (1963), 349--426

    1963

  6. [14]

    A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, vol. 47, American Mathematical Society, Providence, RI, 1997, With an appendix by M. Cole

    1997

  7. [15]

    Ganter and M

    N. Ganter and M. Kapranov, Representation and character theory in 2-categories, Adv. Math. 217 (2008), no. 5, 2268--2300. doi:10.1016/j.aim.2007.10.004 arXiv:math/0602510

    2008 arXiv

  8. [16]

    Haugseng, Bimodules and natural transformations for enriched -categories, Homology, Homotopy and Applications 18 (2016), no

    R. Haugseng, Bimodules and natural transformations for enriched -categories, Homology, Homotopy and Applications 18 (2016), no. 1, 71--98. doi:10.4310/HHA.2016.v18.n1.a5 arXiv:1506.07341

    2016 arXiv

  9. [17]

    M. J. Hopkins, N. J. Kuhn, and D. C. Ravenel, Generalized group characters and complex oriented cohomology theories, J. Amer. Math. Soc. 13 (2000), 553--594. doi:10.1090/S0894-0347-00-00332-5

    2000 doi

  10. [18]

    Hoyois, A quadratic refinement of the G rothendieck- L efschetz- V erdier trace formula , Algebr

    M. Hoyois, A quadratic refinement of the G rothendieck- L efschetz- V erdier trace formula , Algebr. Geom. Topol. 14 (2014), no. 6, 3603--3658. doi:10.2140/agt.2014.14.3603 arXiv:1309.6147

    2014 arXiv

  11. [19]

    Leinster, Basic bicategories

    T. Leinster, Basic bicategories. arXiv:math/9810017

    arXiv

  12. [20]

    L. G. Lewis Jr. , J. P. May, and M. Steinberger, Equivariant stable homotopy theory, Lecture Notes in Mathematics, vol. 1213, Springer Berlin Heidelberg, 1986

    1986

  13. [21]

    V. A. Lunts, Lefschetz fixed point theorems for F ourier- M ukai functors and DG algebras , J. Algebra 356 (2012), 230--256. doi:10.1016/j.jalgebra.2012.01.018 arXiv:1102.2884

    2012 arXiv

  14. [22]

    Lurie, On the classification of topological field theories, Current developments in mathematics, 2008, Int

    J. Lurie, On the classification of topological field theories, Current developments in mathematics, 2008, Int. Press, Somerville, MA, 2009, pp. 129--280. arXiv:0905.0465

    2008 arXiv

  15. [23]

    M. A. Mandell, J. P. May, S. Schwede, and B. Shipley, Model categories of diagram spectra, Proc. London Math. Soc. (3) 82 (2001), no. 2, 441--512. doi:10.1112/S0024611501012692

    2001 doi

  16. [24]

    J. P. May and J. Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs, vol. 132, American Mathematical Society, Providence, RI, 2006. arXiv:math/0411656

    2006 arXiv

  17. [25]

    Polishchuk, Lefschetz type formulas for dg-categories, Selecta Math

    A. Polishchuk, Lefschetz type formulas for dg-categories, Selecta Math. (N.S.) 20 (2014), no. 3, 885--928. doi:10.1007/s00029-013-0143-5 arXiv:1111.0728

    2014 arXiv

  18. [26]

    Polishchuk and A

    A. Polishchuk and A. Vaintrob, Chern characters and H irzebruch- R iemann- R och formula for matrix factorizations , Duke Math. J. 161 (2012), no. 10, 1863--1926. doi:10.1215/00127094-1645540 arXiv:1002.2116

    2012 arXiv

  19. [27]

    Ponto, Fixed point theory and trace for bicategories, Ast\'erisque (2010), no

    K. Ponto, Fixed point theory and trace for bicategories, Ast\'erisque (2010), no. 333, xii+102. arXiv:0807.1471

    2010 arXiv

  20. [28]

    Ponto and M

    K. Ponto and M. Shulman, Duality and traces for indexed monoidal categories, Theory Appl. Categ. 26 (2012), No. 23, 582--659. arXiv:1211.1555

    2012 arXiv

  21. [29]

    Homotopy Relat

    , Shadows and traces in bicategories, J. Homotopy Relat. Struct. 8 (2013), no. 2, 151--200. doi:10.1007/s40062-012-0017-0 arXiv:0910.1306

    2013 arXiv

  22. [30]

    , The multiplicativity of fixed point invariants, Algebr. Geom. Topol. 14 (2014), no. 3, 1275--1306. doi:10.2140/agt.2014.14.1275 arXiv:1203.0950

    2014 arXiv

  23. [31]

    , Traces in symmetric monoidal categories, Expo. Math. 32 (2014), no. 3, 248--273. doi:10.1016/j.exmath.2013.12.003 arXiv:1107.6032

    2014 arXiv

  24. [32]

    , The linearity of traces in monoidal categories and bicategories, Theory Appl. Categ. 31 (2016), Paper No. 23, 594--689. arXiv:1406.7854

    2016 arXiv

  25. [33]

    Riehl, Categorical homotopy theory, New Mathematical Monographs, vol

    E. Riehl, Categorical homotopy theory, New Mathematical Monographs, vol. 24, Cambridge University Press, 2014

    2014

  26. [34]

    C. J. Schommer-Pries, The classification of two-dimensional extended topological field theories, ProQuest LLC, Ann Arbor, MI, 2009, Thesis (Ph.D.)--University of California, Berkeley. arXiv:1112.1000

    2009 arXiv

  27. [35]

    Shklyarov, Hirzebruch- R iemann- R och-type formula for DG algebras , Proc

    D. Shklyarov, Hirzebruch- R iemann- R och-type formula for DG algebras , Proc. Lond. Math. Soc. (3) 106 (2013), no. 1, 1--32. doi:10.1112/plms/pds034 arXiv:0710.1937

    2013 arXiv

  28. [36]

    Shulman, Homotopy limits and colimits and enriched homotopy theory, 2006

    M. Shulman, Homotopy limits and colimits and enriched homotopy theory, 2006. arXiv:math/0610194

    2006 arXiv

  29. [37]

    arXiv:1004.0993

    , Constructing symmetric monoidal bicategories, 2010. arXiv:1004.0993

    2010 arXiv

  30. [38]

    Stay, Compact closed bicategories, Theory Appl

    M. Stay, Compact closed bicategories, Theory Appl. Categ. 31 (2016), Paper No. 26, 755--798. arXiv:1301.1053

    2016 arXiv

  31. [39]

    To \" e n, Finitude homotopique des dg-alg\` e bres propres et lisses , Proceedings of the London Mathematical Society 98 (2009), no

    B. To \" e n, Finitude homotopique des dg-alg\` e bres propres et lisses , Proceedings of the London Mathematical Society 98 (2009), no. 1, 217--240. doi:10.1112/plms/pdn027 arXiv:math/0609762

    2009 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.