Related papers: Spherical 2-categories and 4-manifold invariants
In this paper we define a class of state-sum invariants of compact closed oriented piece-wise linear 4-manifolds using finite groups. The definition of these state-sums follows from the general abstract construction of 4-manifold invariants…
We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.
It has long been argued that higher categories provide the proper algebraic structure underlying state sum invariants of 4-manifolds. This idea has been refined recently, by proposing to use 2-groups and their representations as specific…
A family of invariants of smooth, oriented four-dimensional manifolds is defined via handle decompositions and the Kirby calculus of framed link diagrams. The invariants are parameterised by a pivotal functor from a spherical fusion…
We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional…
Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…
A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…
We provide, with proofs, a complete description of the authors' construction of state-sum invariants announced in [CY], and its generalization to an arbitrary (artinian) semisimple tortile category. We also discuss the relationship of these…
The Crane-Yetter state sum is an invariant of closed 4-manifolds, defined in terms of a triangulation, based on 15-j symbols associated to the category A of representations over quantum sl2 (at a root of unity). In this thesis, we define…
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order…
We exhibit large classes of examples of noncommutative finite-dimensional manifolds which are (non-formal) deformations of classical manifolds. The main result of this paper is a complete description of noncommutative three-dimensional…
We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have…
Using the theory of measurable categories developped by Yetter in work in preparation, we provide a notion of representations of 2-groups more well-suited to physically and geometrically interesting examples than that proposed in…
A localisation of the category of n-manifolds is introduced by formally inverting the connected sum construction with a chosen n-manifold Y. On the level of automorphism groups, this leads to the stable diffeomorphism groups of n-manifolds.…
We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…
We define a family of quantum invariants of closed oriented $3$-manifolds using spherical multi-fusion categories. The state sum nature of this invariant leads directly to $(2+1)$-dimensional topological quantum field theories…
In part I of [1] we have developed the tensor and spin representation of SO(4) in order to apply it to the simplicial decomposition of the Barrett-Crane model. We attach to each face of a triangle the spherical function constructed from the…
A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set,…