Pith. sign in

REVIEW 4 major objections 4 minor 74 references

Is Crane--Yetter fully extended?

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

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

Pith's one-line read For fixed modular data and partition function, a Crane–Yetter TQFT extends to points in exactly six equivalence classes

desk verdict The six-fold refinement of Crane–Yetter is real and the argument holds up given the cited vanishing results; a minor overstatement in the intro should be fixed, but this deserves referee time. read the letter →

arxiv 2506.04864 v1 pith:QHVIL2D6 submitted 2025-06-05 math-ph math.ATmath.CTmath.MPmath.QA

Luuk Stehouwer This is my paper
classification math-phmath.ATmath.CTmath.MPmath.QA MSC 57R5655P4218M20
keywords Crane–YetterTQFTfullyextendedinvertiblebraidedfusioncategoriesmodulartensorcategoryPicardspectrumWittgroupstablehomotopytheory
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

The paper asks whether the Crane–Yetter topological quantum field theory built from a modular tensor category can be extended all the way down to points, and answers that it can, in exactly six inequivalent ways. Working with oriented bordisms, the author classifies fully extended invertible 4D TQFTs valued in any top-complex symmetric monoidal 4-category $T$ whose Picard spectrum has trivial homotopy in degrees 1, 2, and 3. The classification is the exact sequence $0 \to \mathbb{Z}/6 \to \pi_0 \mathrm{ITQFT}_4(T) \to \mathbb{C}^{\times} \times \mathbb{C}^{\times} \times \pi_0(\mathrm{Pic}\,T) \to 0$, so the only data invisible to the partition function is a group of order six. For the 4-category $\mathbf{BrFus}$ of braided fusion categories, this gives Theorem 1.1: a fixed modular fusion category $C$ and fixed nonzero complex numbers $a,b$ admit exactly six equivalence classes of fully extended TQFTs with partition function $a^{\chi(X)}b^{\sigma(X)}$. The paper presents this as clarifying why claims in the literature that Crane–Yetter is fully extended need an explicit choice of point-level data.

What carries the argument

The load-bearing mechanism is the spectral description of invertible TQFTs: replace the oriented 4-dimensional bordism category by its Madsen–Tillmann spectrum $\Sigma^4 MT\mathrm{SO}(4)$, and replace the target by its Picard spectrum $\mathrm{Pic}\,T$. Lemma 3.2 classifies maps between spectra with nonzero homotopy only in degrees 0 and 4: such a map is a homomorphism $f_0$ on $\pi_0$, a homomorphism $f_4$ on $\pi_4$, and a homotopy filling the square forced by the two $k$-invariants, with the possible fillings forming a torsor over $H^4_{\mathrm{st}}(\pi_0;\pi_4)$. For $\Sigma^4 MT\mathrm{SO}(4)$, $\pi_0 \cong \mathbb{Z}$ and $\pi_4 \cong \mathbb{Z} \times \mathbb{Z}$ via Euler characteristic and signature, and the obstruction group $H^5_{\mathrm{st}}(\mathbb{Z};\mathbb{C}^{\times})$ vanishes while $H^4_{\mathrm{st}}(\mathbb{Z};\mathbb{C}^{\times}) \cong \mathbb{Z}/6$. The top-complex condition, $\mathrm{Aut}(\mathrm{id}_{\mathrm{id}_{\mathrm{id}_1}}) = \mathbb{C}^{\times}$, ensures that the nonextended theories have complex-valued partition functions of the expected form.

What would settle it

Compute $\pi_1(\mathrm{Pic}\,\mathbf{BrFus})$ by direct categorical methods and find a nonzero class; that single computation would falsify the hypothesis of Theorem 3.7 and force a larger ambiguity than $\mathbb{Z}/6$.

Watch

Extended reading notes

Core claim

The central claim is that fully extended invertible 4D TQFTs into a symmetric monoidal 4-category $T$ are governed, when $T$ is top-complex and $\mathrm{Pic}\,T$ has no $\pi_1,\pi_2,\pi_3$, by the exact sequence $0 \to \mathbb{Z}/6 \to \pi_0 \mathrm{ITQFT}_4(T) \to \mathbb{C}^{\times} \times \mathbb{C}^{\times} \times \pi_0(\mathrm{Pic}\,T) \to 0$. The $\mathbb{Z}/6$ factor records symmetric monoidal refinement data and appears because $H^4_{\mathrm{st}}(\mathbb{Z};\mathbb{C}^{\times}) \cong \mathbb{Z}/6$, while the obstruction to extending at all, $H^5_{\mathrm{st}}(\mathbb{Z};\mathbb{C}^{\times})$, vanishes. When $T = \mathbf{BrFus}$, the 4-category of braided fusion categories over $\mathbb{C}$, the group $\pi_0(\mathrm{Pic}\,\mathbf{BrFus})$ is the Witt group $W$ of nondegenerate braided fusion categories, and the relevant higher homotopy groups are known to vanish. The paper concludes that for every modular fusion category $C$ and every $a,b \in \mathbb{C}^{\times}$ there are exactly six equivalence classes of fully extended oriented TQFTs that assign $C$ to the point and reproduce the partition function $a^{\chi(X)}b^{\sigma(X)}$. In the author's reading, this corrects the common assumption that a modular category selects a canonical fully extended Crane–Yetter theory: the three-dimensional and point-level data are determined only up to a $\mathbb{Z}/6$ of choices.

Load-bearing premise

The load-bearing premise is the cited result that the Picard spectrum of $\mathbf{BrFus}$ has trivial homotopy in degrees 1, 2, and 3; if any of those groups were nonzero, Lemma 3.2 would not apply and the six would become a different group, and for the larger target category $\mathbf{BrTens}$ the vanishing of $\pi_1$ is still only conjectural.

Editorial extensions

If this is right

  • Every nonextended invertible 4D TQFT with partition function $a^{\chi(X)}b^{\sigma(X)}$ extends down to points with target $\mathbf{BrFus}$, for any choice of braided fusion category assigned to the point.
  • For fixed $C$ and fixed $a,b \in \mathbb{C}^{\times}$, the equivalence classes of fully extended refinements form a group with exactly six elements.
  • Partially extended theories (down to 1-, 2-, or 3-dimensional manifolds) are unique; the $\mathbb{Z}/6$ ambiguity appears only in the final extension to points.
  • For the universal target $U_4$ of super-duper vector spaces, the sixfold ambiguity collapses and Crane–Yetter has a unique fully extended refinement.
  • Once-categorified invertible theories $\mathrm{Bord}_3 \to \mathbf{BrFus}$ form a $\mathbb{Z}/6$-extension of $\mathbb{C}^{\times} \times W$, and lifting them to full $\mathrm{Bord}_4$ theories is classified by an additional $\mathbb{C}^{\times}$.

Reading between the lines

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

  • The six classes are invisible to closed 4-manifold invariants, so distinguishing them requires access to sub-4-dimensional data; the paper does not identify such an observable, but the exact sequence implies one must exist.
  • Whether the $\mathbb{Z}/6$-extension splits is left open; computing the $k$-invariant in $H^5_{\mathrm{st}}(W;\mathbb{C}^{\times})$ would decide it, and a nonsplit extension would make the six a genuinely global feature rather than a product of independent choices.
  • The same spectral strategy should apply to spin or Pin bordism once the relevant Madsen–Tillmann spectra are understood at the same level of truncation, possibly producing different extension groups; the paper does not pursue this.
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

4 major / 4 minor

Summary. The paper studies the question of whether the Crane-Yetter TQFT admits a fully extended refinement. Working in the framework of invertible TQFTs and stable homotopy theory, the author proves that for any 'top-complex' symmetric monoidal 4-category T with Pic(T) having trivial π1, π2, and π3, the group of fully extended invertible 4D TQFTs fits into an exact sequence 0 → Z/6 → π0 ITQFT4(T) → C^× × C^× × π0(Pic T) → 0 (Theorem 3.7). Applying this to the 4-category BrFus of braided fusion categories, and using the identification π0(Pic BrFus) = W (the Witt group), yields Corollary 3.8, from which Theorem 1.1 follows: for a modular fusion category C and nonzero a, b ∈ C^× there are exactly six equivalence classes of fully extended TQFTs with target BrFus that assign C to the point and have partition function a^χ b^σ. The paper also contains a detailed discussion of the Crane-Yetter partition function, partial SO(k)-structures, and poses Question 1.2 about a canonical choice of SO(4)-fixed point data.

Significance. If correct, the result gives a precise and somewhat surprising classification: the ambiguity in extending an invertible 4D TQFT down to points is not only a choice of point-value (Witt class) but also a Z/6-graded choice. This clarifies folklore claims in the tensor categories community and provides a concrete target (BrFus) where the extension problem is fully computed. The use of stable homotopy theory and the cobordism hypothesis is standard, and the 2D analogy in Section 3.6 is illuminating. The paper is honest about what is not known (e.g., the conjectural vanishing of π1(Pic BrTens)) and explicitly raises the key question of selecting SO(4)-fixed point data. However, the proof rests on several load-bearing external inputs that are either only cited or only sketched.

major comments (4)
  1. [Section 3.3] The assertion 'From [8] we know that π1(Pic BrFus) = π2(Pic BrFus) = π3(Pic BrFus) = 0' is the key hypothesis for applying Lemma 3.2 and hence for all subsequent results (Theorem 3.7, Corollary 3.8, Theorem 4.1). The paper gives no argument or exact location in [8]. Please provide a precise reference to a theorem in [8] that states this vanishing (or a proof), and explain how it translates to the Picard spectrum. This is load-bearing: if π1(Pic BrFus) were nonzero, maps E4 → Pic BrFus would acquire additional homotopy classes and the 'six' in Theorem 1.1 could change.
  2. [Theorem 3.7 proof] The computation H_st^4(Z; C^×) ≅ Z/6 is stated without derivation. The proof says 'It is known' for H_st^5 and 'By the universal coefficient theorem' to jump from H_st^4(Z; Z) to H_st^4(Z; C^×), but no reference or argument is given for H_st^4(Z; Z) ≅ Z/6. This is the source of the numerical factor Z/6, so it is load-bearing. Please include a derivation or a precise citation to [23] that establishes H_st^4(Z; Z) ≅ Z/6, and justify the universal-coefficient step.
  3. [Lemma 3.2] The proof of Lemma 3.2 is sketched: it shows that the ambiguity in the homotopy is a torsor over H_st^n, but it does not verify exactness at the middle term of the displayed sequence nor surjectivity onto the final set, and the final set is not explicitly given a group structure. Since this lemma underlies all classification results in the paper, a complete proof or a precise citation is needed.
  4. [Section 1, after Theorem 1.1] The sentence 'we can assign any braided fusion category to the point' overstates the result. The TQFTs classified in Theorem 1.1 are invertible, so their point-value must be an invertible object of BrFus, i.e., a nondegenerate (modular) braided fusion category. The statement should be corrected to reflect that only invertible objects occur.
minor comments (4)
  1. [Section 1/Abstract] There are typos such as 'BrF usof' in the abstract and inconsistent spacing in 'ITQFT(T )' and 'TQFT(T )' throughout.
  2. [Section 3.3, Definition 3.6] The definition of 'top-complex' as 'Aut ididid1 = C^×' is unclear; please define precisely, for example as the automorphism group of the unit object, and use consistent notation.
  3. [Theorem 4.1 and Corollary 3.8] It would be helpful to spell out explicitly that the exact sequence of Corollary 3.8 implies the fiber over each triple (a,b,[C]) is a torsor over Z/6 and hence has exactly six elements; this is the logical step from the exact sequence to Theorem 4.1.
  4. [Section 5.1, Theorem 5.1] The claim 'Extensions upwards to a functor Bord4 → BrFus are classified by C^×' would benefit from a few more words explaining how it follows from the previously established exact sequences.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main classification is derived from independent stable-homotopy computations and external classifications, with no fitted parameter renamed as a prediction.

full rationale

The derivation chain is self-contained in the relevant sense. Theorem 3.7 computes pi0 ITQFT4(T) via Lemma 3.2, a standard two-term-spectrum classification; the Z/6 factor is H^4_st(Z; C^*) = Hom(H_4^st(Z; Z), C^*) = Z/6, a standard Eilenberg-MacLane computation, and the C^times x C^times factors come from pi4(Sigma^4 MTSO(4)) = SKK4 congruent to Z x Z. No parameter is fitted: the partition-function values a,b and the point value C are inputs chosen after the classification, and the six-fold ambiguity is the kernel in the exact sequence, not a fit. The application to BrFus in Corollary 3.8 uses the cited result [8] that pi1(Pic BrFus) = pi2(Pic BrFus) = pi3(Pic BrFus) = 0 and pi0(Pic BrFus) = W; this is external published support by different authors, not a self-citation, and it is not the statement being proved. The self-citations that appear ([43], [54], [26]) are illustrative or speculative and are not load-bearing for the main exact sequence. If the [8] vanishing were false, Corollary 3.8 would change, but that is a correctness or fragility concern, not circularity; the paper itself explicitly flags the analogous conjecture for BrTens in Section 5.3, which is honest about the assumption rather than hiding it.

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

The central claim rests on the cobordism-hypothesis framework, the known Picard spectrum of BrFus, and standard stable cohomology computations. No free parameters are fitted; the inputs are arbitrary nonzero complex numbers and a modular fusion category.

assumptions (5)
  • domain assumption The cobordism hypothesis (or its invertible-TQFT variant) identifies the space of fully extended oriented TQFTs with homotopy fixed points of SO(d) on the core of fully dualizable objects, and for invertible theories with maps from Σ^d MTSO(d) to Pic T.
    Used throughout; the paper cites the framed cobordism hypothesis as a theorem and the invertible classification [64] as a black box. If these fail, the mapping-spectrum computation would not count TQFTs.
  • domain assumption The Picard spectrum of BrFus has π0 = W, and π1 = π2 = π3 = 0, π4 = C^×.
    Cited to [8]; the entire classification (Theorem 3.7, Corollary 3.8) depends on this structure. The paper explicitly notes π1(Pic BrTens) is only conjectured to vanish, highlighting the fragility.
  • standard math H^st_4(Z; Z) ≅ Z/6 and H^5_st(Z; C^×) = 0.
    Used in the proof of Theorem 3.7 to obtain the Z/6 kernel and the vanishing of the obstruction. These stable cohomology computations are stated without proof in the paper.
  • standard math The homotopy groups of Σ^4 MTSO(4) satisfy π0 = Z, π4 = SKK_4 ≅ Z×Z, with intermediate groups zero.
    From [47,64]; used to identify the domain spectrum in Lemma 3.2 and to obtain the two C^× factors from π4.
  • domain assumption The Witt group W of nondegenerate braided fusion categories is infinite and has the structure described in Lemma 3.3.
    Used to state the infiniteness and structure of the parameterizing group; the exact sequence with W does not require the full isomorphism type, only the group structure.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Is Crane--Yetter fully extended?." pith.science (2026). https://pith.science/paper/QHVIL2D6

@misc{pith2026250604864,
  author       = {Pith},
  title        = {Pith review of: Is Crane--Yetter fully extended?},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QHVIL2D6}},
  note         = {Machine review of arXiv:2506.04864}
}
abstract

We revisit the question of whether the Crane-Yetter topological quantum field theory (TQFT) associated to a modular tensor category admits a fully extended refinement. More specifically, we use tools from stable homotopy theory to classify extensions of invertible four-dimensional TQFTs to theories valued in symmetric monoidal 4-categories whose Picard spectrum has nontrivial homotopy only in degrees 0 and 4. We show that such extensions are classified by two pieces of data: an equivalence class of an invertible object in the target and a sixth root of unity. Applying this result to the 4-category $\mathbf{BrFus}$ of braided fusion categories, we find that there are infinitely many equivalence classes of fully extended invertible TQFTs reproducing the Crane-Yetter partition function on top-dimensional manifolds, parametrized by a $\mathbb{Z}/6$-extension of the Witt group of nondegenerate braided fusion categories. This analysis clarifies common claims in the literature and raises the question of how to naturally pick out the $SO(4)$-fixed point data on the framed TQFT which assigns the input braided fusion category to the point so that it selects the Crane-Yetter state-sum.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

74 extracted references · 61 canonical work pages

  1. [8]

    Invertible braided tensor categories

    Adrien Brochier, David Jordan, Pavel Safronov, and Noah Snyder. Invertible braided tensor categories. Algebraic & Geometric Topology, 21(4):2107–2140, 2021

    work page 2021

  2. [64]

    Invertible topological field theories

    Christopher Schommer-Pries. Invertible topological field theories. Journal of Topology , 17(2):e12335, 2024

    work page 2024

  3. [23]

    On the Groups H(π, n), II: Methods of computation

    Samuel Eilenberg and Saunders Mac Lane. On the Groups H(π, n), II: Methods of computation. Annals of Mathematics , 58(1):55–106, 1953

    work page 1953

  4. [1]

    Topological quantum field theory

    Michael Atiyah. Topological quantum field theory. Publications Math´ ematiques de l’IH´ES, 68:175–186, 1988

    work page 1988

  5. [2]

    Four-dimensional BF theory as a topological quantum field theory

    John Baez. Four-dimensional BF theory as a topological quantum field theory. Letters in Mathematical Physics, 38:129–143, 1996

    work page 1996

  6. [3]

    Higher-dimensional algebra and topological quantum field theory

    John Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. Journal of mathematical physics , 36(11):6073–6105, 1995

    work page 1995

  7. [4]

    Observables in the Turaev-Viro and Crane-Yetter models

    John Barrett, Jo˜ ao Faria Martins, and Manuel Garc ´ ıa-Islas. Observables in the Turaev-Viro and Crane-Yetter models. Journal of Mathematical Physics , 48(9), 2007

    work page 2007

  8. [5]

    Mod- ular categories as representations of the 3-dimensional bordism 2-category

    Bruce Bartlett, Christopher Douglas, Christopher Schommer-Pries, and Jamie Vicary. Mod- ular categories as representations of the 3-dimensional bordism 2-category. arXiv preprint arXiv:1509.06811, 2015

    arXiv 2015

Show all 74 references
  1. [6]

    A guide for computing stable homotopy groups

    Agn` es Beaudry and Jonathan Campbell. A guide for computing stable homotopy groups. Topology and quantum theory in interaction , 718:89–136, 2018

    2018

  2. [7]

    A geometric interpretation of the homotopy groups of the cobordism category

    Marcel B¨ okstedt and Anne Marie Svane. A geometric interpretation of the homotopy groups of the cobordism category. Algebr. Geom. Topol., 14(3):1649–1676, 2014

    2014

  3. [9]

    On dualizability of braided tensor categories

    Adrien Brochier, David Jordan, and Noah Snyder. On dualizability of braided tensor categories. Compositio Mathematica, 157(3):435–483, 2021. 15

    2021

  4. [10]

    Skein categories in non-semisimple settings

    Jennifer Brown and Benjamin Ha ¨ ıoun. Skein categories in non-semisimple settings. arXiv preprint arXiv:2406.08956, 2024

    2024

  5. [11]

    A note on the ( ∞, n)-category of cobordisms

    Damien Calaque and Claudia Scheimbauer. A note on the ( ∞, n)-category of cobordisms. Algebraic & Geometric Topology, 19(2):533–655, 2019

    2019

  6. [12]

    Extending landau-ginzburg models to the point

    Nils Carqueville and Flavio Montiel Montoya. Extending landau-ginzburg models to the point. Communications in Mathematical Physics , 379(3):955–977, 2020

    2020

  7. [13]

    Factorisation homology and skein categories of surfaces

    Juliet Cooke. Factorisation homology and skein categories of surfaces . PhD thesis, University of Edinburgh, 2019

    2019

  8. [14]

    Simons lectures on cate- gorical symmetries

    Davi Costa, Clay C´ ordova, Michele Del Zotto, Dan Freed, Jonte G¨ odicke, Aaron Hofer, David Jordan, Davide Morgante, Robert Moscrop, Kantaro Ohmori, et al. Simons lectures on cate- gorical symmetries. arXiv preprint arXiv:2411.09082 , 2024

    2024 arXiv

  9. [15]

    Skein (3+ 1)-TQFTs from non-semisimple ribbon categories

    Francesco Costantino, Nathan Geer, Benjamin Ha ¨ ıoun, and Bertrand Patureau-Mirand. Skein (3+ 1)-TQFTs from non-semisimple ribbon categories. arXiv preprint arXiv:2306.03225 , 2023

    2023 arXiv

  10. [16]

    Evaluating the Crane-Yetter invariant

    Louis Crane, Louis Kauffman, and David Yetter. Evaluating the Crane-Yetter invariant. In Quantum Topology, pages 131–138. World Scientific, 1993

    1993

  11. [17]

    State-sum invariants of 4-manifolds

    Louis Crane, Louis Kauffman, and David Yetter. State-sum invariants of 4-manifolds. Journal of Knot Theory and Its Ramifications , 6(02):177–234, 1997

    1997

  12. [18]

    A categorical construction of 4D topological quantum field theories

    Louis Crane and David Yetter. A categorical construction of 4D topological quantum field theories. Quantum topology, 3:120, 1993

    1993

  13. [19]

    The Witt group of non-degenerate braided fusion categories

    Alexei Davydov, Michael M¨ uger, Dmitri Nikshych, and Victor Ostrik. The Witt group of non-degenerate braided fusion categories. Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal) , 2013(677):135–177, 2013

    2013

  14. [20]

    On the structure of the Witt group of braided fusion categories

    Alexei Davydov, Dmitri Nikshych, and Victor Ostrik. On the structure of the Witt group of braided fusion categories. Selecta Mathematica, 19(1):237–269, 2013

    2013

  15. [21]

    Dualizable tensor cate- gories

    Christopher Douglas, Christopher Schommer-Pries, and Noah Snyder. Dualizable tensor cate- gories. Mem. Amer. Math. Soc. , 268(1308):vii+88, 2020

    2020

  16. [22]

    On braided fusion categories I

    Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. On braided fusion categories I. Selecta Mathematica, 16:1–119, 2010

    2010

  17. [24]

    Tensor categories, volume

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories, volume

  18. [25]

    On fusion categories

    Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik. On fusion categories. Annals of mathemat- ics, pages 581–642, 2005

    2005

  19. [26]

    Dagger n-categories

    Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd, Cameron Krulewski, Lukas M¨ uller, David Penneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, Chetan Vuppulury, et al. Dagger n-categories. arXiv preprint arXiv:2403.01651 , 2024

    2024

  20. [27]

    3-dimensional TQFTs through the lens of the cobor- dism hypothesis, July 2012

    Daniel Freed. 3-dimensional TQFTs through the lens of the cobor- dism hypothesis, July 2012. Slides of the talk can be found at https://people.math.harvard.edu/ dafr/StanfordLecture.pdf. 16

    2012

  21. [28]

    4-3-2-8-7-6, December 2012

    Daniel Freed. 4-3-2-8-7-6, December 2012. Slides of the talk can be found at https://people.math.harvard.edu/ dafr/Aspects.pdf

    2012

  22. [29]

    Lectures on twisted K-theory and orientifolds

    Daniel Freed. Lectures on twisted K-theory and orientifolds. In K-Theory and Quantum Fields workshop, 2012

    2012

  23. [30]

    Anomalies and invertible field theories

    Daniel Freed. Anomalies and invertible field theories. In Proc. Symp. Pure Math , volume 88, pages 25–46, 2014

    2014

  24. [31]

    Reflection positivity and invertible topological phases

    Daniel Freed and Michael Hopkins. Reflection positivity and invertible topological phases. Geometry & Topology, 25(3):1165–1330, 2021

    2021

  25. [32]

    Relative quantum field theory

    Daniel Freed and Constantin Teleman. Relative quantum field theory. Communications in Mathematical Physics, 326(2):459–476, 2014

    2014

  26. [33]

    Condensations in higher categories

    Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories. arXiv preprint arXiv:1905.09566, 2019

    1905 arXiv

  27. [34]

    The homotopy type of the cobordism category

    Søren Galatius, Ib Madsen, Ulrike Tillmann, and Michael Weiss. The homotopy type of the cobordism category. Acta Math, 202:195–239, 2009

    2009

  28. [35]

    Cobordism categories of manifolds with corners

    Josh Genauer. Cobordism categories of manifolds with corners. Transactions of the American Mathematical Society, 364(1):519–550, 2012

    2012

  29. [36]

    The geometric cobordism hypothesis

    Daniel Grady and Dmitri Pavlov. The geometric cobordism hypothesis. arXiv preprint arXiv:2111.01095, 2021

    2021 arXiv

  30. [37]

    Topological Quantum Field Theories in Dimension Four

    Jin-Cheng Guu. Topological Quantum Field Theories in Dimension Four . PhD thesis, State University of New York at Stony Brook, 2023

    2023

  31. [38]

    Duals and adjoints in higher Morita categories

    Owen Gwilliam and Claudia Scheimbauer. Duals and adjoints in higher Morita categories. arXiv preprint arXiv:1804.10924 , 2018

    2018 arXiv

  32. [39]

    Non-semisimple WRT at the boundary of Crane-Yetter

    Benjamin Ha ¨ ıoun. Non-semisimple WRT at the boundary of Crane-Yetter. arXiv preprint arXiv:2503.20905, 2025

    2025 arXiv

  33. [40]

    What Chern-Simons theory assigns to a point

    Andr´ e Henriques. What Chern-Simons theory assigns to a point. Proceedings of the National Academy of Sciences, 114(51):13418–13423, 2017

    2017

  34. [41]

    Categorified trace for module tensor categories over braided tensor categories

    Andr´ e Henriques, David Penneys, and James Tener. Categorified trace for module tensor categories over braided tensor categories. Documenta Mathematica, 21(2016), 2016

    2016

  35. [42]

    The Serre automorphism via homotopy actions and the cobordism hypothesis for oriented manifolds

    Jan Hesse and Alessandro Valentino. The Serre automorphism via homotopy actions and the cobordism hypothesis for oriented manifolds. Cah. Topol. G´ eom. Diff´ er. Cat´ eg., 60(2):194–236, 2019

    2019

  36. [43]

    SKK groups of manifolds and non- unitary invertible TQFTs

    Renee Hoekzema, Luuk Stehouwer, and Simona Vesel´ a. SKK groups of manifolds and non- unitary invertible TQFTs. arXiv preprint arXiv:2504.07917 , 2025

    2025 arXiv

  37. [44]

    Modeling stable one-types

    Niles Johnson and Ang´ elica Osorno. Modeling stable one-types. Theory and Applications of Categories, 26(20):520–537, 2012

    2012

  38. [45]

    Super Duper Vector Spaces I and II: The Higher Categorical Galois Group of R, Aug 2023

    Theo Johnson-Freyd and David Reutter. Super Duper Vector Spaces I and II: The Higher Categorical Galois Group of R, Aug 2023. Slides of the talks can be found at https://homepages.uni-regensburg.de/~lum63364 and http://categorified.net/ SuperDuperVec2.pdf respectively. 17

    2023

  39. [46]

    Minimal nondegenerate extensions

    Theo Johnson-Freyd and David Reutter. Minimal nondegenerate extensions. Journal of the American Mathematical Society, 37(1):81–150, 2024

    2024

  40. [47]

    Cutting and pasting of manifolds; SK-groups

    Ulrich Karras, Matthias Kreck, Walter Neumann, and Erich Ossa. Cutting and pasting of manifolds; SK-groups. Number 1 in Mathematics lecture series. Publish or Perish, Incorporated, 1973

    1973

  41. [48]

    Non-semisimple Crane-Yetter theory varying over the character stack

    Patrick Kinnear. Non-semisimple Crane-Yetter theory varying over the character stack. arXiv preprint arXiv:2404.19667, 2024

    2024

  42. [49]

    Factorization homology and 4D TQFT

    Alexander Kirillov Jr and Ying Hong Tham. Factorization homology and 4D TQFT. Quantum Topology, 13(1):1–54, 2022

    2022

  43. [50]

    Invertible field theories are SKK-manifold invariants

    Matthias Kreck, Stephan Stolz, and Peter Teichner. Invertible field theories are SKK-manifold invariants. unpublished

  44. [51]

    On the classification of topological field theories

    Jacob Lurie. On the classification of topological field theories. Current developments in math- ematics, 2008(1):129–280, 2008

    2008

  45. [52]

    The geometry of iterated loop spaces , volume 271

    Peter May. The geometry of iterated loop spaces , volume 271. Springer, 2006

    2006

  46. [53]

    Stable homotopy hypothesis in the Tamsamani model

    Lyne Moser, Viktoriya Ozornova, Simona Paoli, Maru Sarazola, and Paula Verdugo. Stable homotopy hypothesis in the Tamsamani model. Topology and its Applications , 316:108106, 2022

    2022

  47. [54]

    Reflection structures and spin statistics in low dimensions

    Lukas M¨ uller and Luuk Stehouwer. Reflection structures and spin statistics in low dimensions. Reviews in Mathematical Physics , 2024

    2024

  48. [55]

    Remarks on global dimensions of fusion categories

    Victor Ostrik. Remarks on global dimensions of fusion categories. arXiv preprint arXiv:1804.08761, 2018

    2018 arXiv

  49. [56]

    Cobordism and the Euler number

    Bruce Reinhart. Cobordism and the Euler number. Topology, 2(1-2):173–177, 1963

    1963

  50. [57]

    Invariants of 3-manifolds via link polynomials and quantum groups

    Nicolai Reshetikhin and Vladimir Turaev. Invariants of 3-manifolds via link polynomials and quantum groups. Inventiones mathematicae, 103(1):547–597, 1991

    1991

  51. [58]

    Skein theory and Turaev-Viro invariants

    Justin Roberts. Skein theory and Turaev-Viro invariants. Topology, 34(4):771–787, 1995

    1995

  52. [59]

    Framed discs operads and batalin–vilkovisky algebras

    Paolo Salvatore and Nathalie Wahl. Framed discs operads and batalin–vilkovisky algebras. Quarterly Journal of Mathematics , 54(2):213–231, 2003

    2003

  53. [60]

    Invertible fusion categories

    Sean Sanford and Noah Snyder. Invertible fusion categories. arXiv preprint arXiv:2407.02597 , 2024

    2024 arXiv

  54. [61]

    Factorization homology as a fully extended topological field theory

    Claudia Scheimbauer. Factorization homology as a fully extended topological field theory . PhD thesis, ETH Zurich, 2014

    2014

  55. [62]

    Dualizability in low-dimensional higher category theory

    Christopher Schommer-Pries. Dualizability in low-dimensional higher category theory. In Notre Dame Summer school in Topology and Field Theories , pages 111–176. AMS, 2014

    2014

  56. [63]

    Tori detect invertibility of topological field theories

    Christopher Schommer-Pries. Tori detect invertibility of topological field theories. Geometry & Topology, 22(5):2713–2756, 2018

    2018

  57. [65]

    The classification of two-dimensional extended topological field theories

    Christopher John Schommer-Pries. The classification of two-dimensional extended topological field theories. University of California, Berkeley, 2009. 18

    2009

  58. [66]

    PhD thesis, University of Toulouse, 1982

    Ho` ang Xuˆ an S ´ ınh.Cat´ egories de Picard restreintes. PhD thesis, University of Toulouse, 1982

    1982

  59. [67]

    Classification of fully dualizable linear categories

    Germ´ an Stefanich. Classification of fully dualizable linear categories. arXiv preprint arXiv:2307.16337, 2023

    2023 arXiv

  60. [68]

    Towards a universal target for TQFTs, November 2022

    Constantin Teleman. Towards a universal target for TQFTs, November 2022. A video of the talk can be found at https://www.simonsfoundation.org

    2022

  61. [69]

    On the category of boundary values in the extended Crane-Yetter TQFT

    Ying Hong Tham. On the category of boundary values in the extended Crane-Yetter TQFT . PhD thesis, State University of New York at Stony Brook, 2021

    2021

  62. [70]

    Projective symmetries of three-dimensional TQFTs

    Jackson Van Dyke. Projective symmetries of three-dimensional TQFTs. arXiv preprint arXiv:2311.01637, 2023

    2023 arXiv

  63. [71]

    Kevin Walker. TQFTs. Unpublished notes can be found at https://canyon23.net/math/tc.pdf

  64. [72]

    Premodular TQFTs, February 2014

    Kevin Walker. Premodular TQFTs, February 2014. Slides of the talk can be found at https://canyon23.net/math/talks/ESI20201402.pdf

    2014

  65. [73]

    (3+ 1)-TQFTs and topological insulators

    Kevin Walker and Zhenghan Wang. (3+ 1)-TQFTs and topological insulators. Frontiers of Physics, 7:150–159, 2012. 19

    2012

  66. [205]

    American Mathematical Soc., 2015

    2015

Pith tools

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