arXiv subjects

David Reutter

Publications and source records attributed to David Reutter.

At least 19 recordsLinked to original sources

arXiv2025

Pivotal Brauer-Picard groupoids and graded extensions

We develop pivotal and spherical versions of graded extension theory. We define the corresponding analogues of Brauer-Picard $2$-categorical groups and realize them as fixed points of natural $\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}$ $2$-categorical actions. We classify graded extensions of a pivotal tensor category by monoidal $2$-functors into the pivotal Brauer-Picard $2$-categorical group. A similar statement is proven for spherical (unimodular) tensor categories. We also develop an obstruction theory for determining when pivotal and spherical structures can be extended.

math.QA↗

arXiv2025

Higher tensor categories and their extensions: notes from the Scottish Talbot On Algebra and Topology

These lecture notes are the product of a week-long learning workshop on the work of Johnson-Freyd and Reutter on the problem of the existence of minimal nondegenerate extensions of braided fusion categories (arXiv:2105.15167). They recount the mathematical arguments of the original paper from an expository angle, with background material covering the algebra and homotopy theory required to understand the statement and follow the proof. The notes are aimed at newcomers to the field of (braided) fusion 1- and 2-categories.

math.QA↗

arXiv2025

How to build a Hopf algebra

We construct a functor that inputs a retract in an $(\infty,3)$-category satisfying some adjunctibility conditions and outputs a Hopf algebra in a braided monoidal $(\infty,1)$-category. Provided the braided monoidal category is presentable, any Hopf algebra can be obtained in this way. Our functor specializes to - and provides a higher-categorical explanation for - the Tannakian reconstruction of a Hopf algebra from a monoidal category with duals and a fiber functor. Towards this end, we review and develop the lax (aka Gray) tensor product $\otimes$ of $(\infty,\infty)$-categories, and we analyze the "lax smash product" of pointed $(\infty,\infty)$-categories. We compute the lax-$\wedge$-square of the "walking adjunction" and show that its $3$-localization corepresents retracts with some adjunctibilty conditions, whereas the $3$-localization of the lax-$\wedge$-square of the "walking monad" corepresents bialgebras. In these terms, our functor is restriction along the lax-$\wedge$-square of the inclusion $\{\text{walking monad}\} \to \{\text{walking adjunction}\}$. After $3$-localization, we show that this restriction inverts a certain shear map, proving the existence of an antipode. We discuss generalizations of this construction to Hopf monads, analyze additional adjunctibility conditions and their interplay with integrals and cointegrals, and finally explain how variants of classical Tannakian reconstruction fit into our scheme.

math.CT↗

arXiv2025

Enriched $\infty$-categories as marked module categories

We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$ we construct an equivalence between the category of $\mathcal{V}$-enriched $\infty$-categories and a certain full sub-category of the category of presentable $\mathcal{V}$-module categories equipped with a functor from an $\infty$-groupoid. This effectively allows us to reduce many aspects of enriched $\infty$-category theory to the theory of presentable $\infty$-categories. As applications, we use Lurie's tensor product of presentable $\infty$-categories to construct a tensor product of enriched $\infty$-categories with many desirable properties -- including compatibility with colimits and appropriate monoidality of presheaf functors -- and compare it to existing tensor products in the literature. We also re-examine and provide a model-independent reformulation of the notion of univalence (or Rezk-completeness) for enriched $\infty$-categories. Our comparison result relies on a monadicity theorem for presentable module categories which may be of independent interest.

math.AT↗

arXiv2024

The Classification of Fusion 2-Categories

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.

math.CT↗

arXiv2024

Dagger $n$-categories

Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language must also capture adjoints, leading to the notion of dagger categories. Higher category theory, which extends this framework to encode operations between operations, has recently become indispensable in both theoretical physics and pure mathematics. Finding a higher categorical analogue of a dagger category is therefore key to the foundations of quantum field theory. In this work, we present a coherent definition of \emph{dagger $(\infty,n)$-category} in terms of equivariance data trivialized on parts of the category. Our main example is the bordism $(\infty,n)$-category $\mathbf{Bord}_{n}^X$. This allows us to define (fully-local) \emph{reflection-positive topological quantum field theories} to be higher dagger functors out of $\mathbf{Bord}_{n}^X$.

math.CT↗

arXiv2024

A braided monoidal $(\infty,2)$-category of Soergel bimodules

The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and 4. Here we provide the first categorification of this Hecke braided monoidal category, which takes the form of an $\mathbb{E}_2$-monoidal $(\infty,2)$-category whose hom-$(\infty,1)$-categories are $k$-linear, stable, idempotent-complete, and equipped with $\mathbb{Z}$-actions. This categorification is designed to control homotopy-coherent link homology theories and to-be-constructed topological quantum field theories in dimension 4 and 5. Our construction is based on chain complexes of Soergel bimodules, with monoidal structure given by parabolic induction and braiding implemented by Rouquier complexes, all modelled homotopy-coherently. This is part of a framework which allows to transfer the toolkit of the categorification literature into the realm of $\infty$-categories and higher algebra. Along the way, we develop families of factorization systems for $(\infty,n)$-categories, enriched $\infty$-categories, and $\infty$-operads, which may be of independent interest. As a service aimed at readers less familiar with homotopy-coherent mathematics, we include a brief introduction to the necessary $\infty$-categorical technology in the form of an appendix.

math.QA↗

arXiv2022

Computads for weak $\omega$-categories as an inductive type

We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that avoids the technology of globular operads. Our framework permits direct proofs of important results via structural induction, and we use this to give new proofs that every $\omega$-category is equivalent to a free one, and that the category of computads with generator-preserving maps is a presheaf topos, giving a direct description of the index category. We prove that our resulting definition of $\omega$-category agrees with that of Batanin and Leinster and that the induced notion of cofibrant replacement for $\omega$-categories coincides with that of Garner.

math.CT↗

arXiv2022

Semisimple Field Theories Detect Stable Diffeomorphism

Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this paper is a proof that this 'upper bound' is optimal: To this end, we introduce and study a class of `finite path integral' topological field theories which are semisimple and which generalize well known theories constructed by Dijkgraaf-Witten, Freed and Quinn. We show that manifolds satisfying a certain finiteness condition -- including 4-manifolds with finite fundamental group -- are indistinguishable to these field theories if and only if they are stably diffeomorphic. Subject to these finiteness conditions, such finite path integral theories therefore provide the strongest semisimple TFT invariants possible. These results hold for a large class of ambient tangential structures. We discuss a number of applications, including the constructions of unoriented 4-dimensional semisimple field theories which can distinguish unoriented smooth structure and oriented higher-dimensional semisimple field theories which can distinguish certain exotic spheres. Along the way, we show that dimensional reductions of finite path integral theories are again finite path integral theories, we utilize ambidexterity in the rational setting, and we develop techniques related to the $\infty$-categorical M\"obius inversion principle of G\'alvez-Carrillo--Kock--Tonks.

math.AT↗

arXiv2022

Zigzag normalisation for associative $n$-categories

The theory of associative $n$-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant, this is potentially attractive, since it has the potential to allow simple formal proofs of complex high-dimensional algebraic phenomena. However, the theory relies on an implicit term normalisation procedure to recognize correct composites, with no recursive method available for computing it. Here we describe a new approach to term normalisation in associative $n$-categories, based on the categorical zigzag construction. This radically simplifies the theory, and yields a recursive algorithm for normalisation, which we prove is correct. Our use of categorical lifting properties allows us to give efficient proofs of our results. This normalisation algorithm forms a core component of the proof assistant homotopy.io, and we illustrate our scheme with worked examples.

cs.LO↗

arXiv2021

Minimal nondegenerate extensions

We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of characterizing minimal nondegenerate extensions of braided fusion categories. Our proof relies on the new subject of fusion 2-categories. We study in detail the Drinfel'd centre Z(Mod-B) of the fusion 2-category Mod-B of module categories of a braided fusion 1-category B. We show that minimal nondegenerate extensions of B correspond to certain trivializations of Z(Mod-B). In the slightly degenerate case, such trivializations are obstructed by a class in $\mathrm{H}^5(K(\mathbb{Z}_2, 2); k^\times)$ and we use a numerical invariant -- defined by evaluating a certain two-dimensional topological field theory on a Klein bottle -- to prove that this obstruction always vanishes. Along the way, we develop techniques to explicitly compute in braided fusion 2-categories which we expect will be of independent interest. In addition to the model of Z(Mod-B) in terms of braided B-module categories, we develop a computationally useful model in terms of certain algebra objects in B. We construct an S-matrix pairing for any braided fusion 2-category, and show that it is nondegenerate for Z(Mod-B). As a corollary, we identify components of Z(Mod-B) with blocks in the annular category of B and with the homomorphisms from the Grothendieck ring of the M\"uger centre of B to the ground field.

math.QA↗

arXiv2020

A 3-categorical perspective on G-crossed braided categories

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $\mathcal{C}$ equipped with a 3-functor $\mathrm{B}G \to \mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.

math.CT↗

arXiv2020

A Type Theory for Strictly Unital $\infty$-Categories

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend the theory with a non-trivial definitional equality. This forces some operations to coincide strictly in any model, yielding the strict unit behaviour. We make a detailed investigation of the meta-theoretic properties of this theory. We give a reduction relation that generates definitional equality, and prove that it is confluent and terminating, thus yielding the first decision procedure for equality in a strictly-unital setting. Moreover, we show that our definitional equality relation identifies all terms in a disc context, providing a point comparison with a previously proposed definition of strictly unital $\infty$-category. We also prove a conservativity result, showing that every operation of the strictly unital theory indeed arises from a valid operation in the fully weak theory. From this, we infer that strict unitality is a property of an $\infty$-category rather than additional structure.

cs.LO↗

arXiv2020

Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure

We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected closed oriented smooth 4-manifolds. We show that all currently known 4-dimensional field theories are semisimple, including unitary field theories, and once-extended field theories which assign algebras or linear categories to 2-manifolds. As an application, we compute the value of a semisimple field theory on a simply connected closed oriented 4-manifold in terms of its Euler characteristic and signature. Moreover, we show that a semisimple 4-dimensional field theory is invariant under $\mathbb{C}P^2$-stable diffeomorphisms if and only if the Gluck twist acts trivially. This may be interpreted as the absence of fermions amongst the `point particles' of the field theory. Such fermion-free field theories cannot distinguish homotopy equivalent 4-manifolds. Throughout, we illustrate our results with the Crane-Yetter-Kauffman field theory associated to a ribbon fusion category. As an algebraic corollary of our results applied to this field theory, we show that a ribbon fusion category contains a fermionic object if and only if its Gauss sums vanish.

math.GT↗

arXiv2019

Uniqueness of unitary structure for unitarizable fusion categories

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between such categories. We prove analogous results for unitarizable braided fusion categories and module categories.

math.QA↗

arXiv2019

High-level methods for homotopy construction in associative $n$-categories

A combinatorial theory of associative $n$-categories has recently been proposed, with strictly associative and unital composition in all dimensions, and the weak structure arising as a combinatorial notion of homotopy with a natural geometrical interpretation. Such a theory has the potential to serve as an attractive foundation for a computer proof assistant for higher category theory, since it allows composites to be uniquely described, and relieves proofs from the bureaucracy of associators, unitors and their coherence. However, this basic theory lacks a high-level way to construct homotopies, which would be intractable to build directly in complex situations; it is not therefore immediately amenable to implementation. We tackle this problem by describing a contraction operation, which algorithmically constructs complex homotopies that reduce the lengths of composite terms. This contraction procedure allows building of nontrivial proofs by repeatedly contracting subterms, and also allows the contraction of those proofs themselves, yielding in some cases single-step witnesses for complex homotopies. We prove correctness of this procedure by showing that it lifts connected colimits from a base category to a category of zigzags, a procedure which is then iterated to yield a contraction mechanism in any dimension. We also present homotopy.io, an online proof assistant that implements the theory of associative $n$-categories, and use it to construct a range of examples that illustrate this new contraction mechanism.

math.CT↗

arXiv2018

The Morita theory of quantum graph isomorphisms

We classify instances of quantum pseudo-telepathy in the graph isomorphism game, exploiting the recently discovered connection between quantum information and the theory of quantum automorphism groups. Specifically, we show that graphs quantum isomorphic to a given graph are in bijective correspondence with Morita equivalence classes of certain Frobenius algebras in the category of finite-dimensional representations of the quantum automorphism algebra of that graph. We show that such a Frobenius algebra may be constructed from a central type subgroup of the classical automorphism group, whose action on the graph has coisotropic vertex stabilisers. In particular, if the original graph has no quantum symmetries, quantum isomorphic graphs are classified by such subgroups. We show that all quantum isomorphic graph pairs corresponding to a well-known family of binary constraint systems arise from this group-theoretical construction. We use our classification to show that, of the small order vertex-transitive graphs with no quantum symmetry, none is quantum isomorphic to a non-isomorphic graph. We show that this is in fact asymptotically almost surely true of all graphs.

quant-ph↗

arXiv2017

A compositional approach to quantum functions

We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum graphs, which captures the quantum graphs and quantum graph homomorphisms recently discovered in the study of nonlocal games and zero-error communication, and relates them to quantum automorphism groups of graphs considered in the setting of compact quantum groups. We show that the 2-categories of quantum sets and quantum graphs are semisimple and characterise existing notions of quantum permutations and quantum graph isomorphisms as dagger-dualisable 1-morphisms in these 2-categories.

quant-ph↗