相关论文: Spherical 2-categories and 4-manifold invariants

In this paper we present classes of state sum models based on the recoupling theory of angular momenta of SU(2) (and of its q-counterpart $U_q(sl(2))$, q a root of unity). Such classes are arranged in hierarchies depending on the dimension…

We provide an explicit formula for the invariant of 4-manifolds introduced by Crane and Yetter (in hep-th 9301062). A consequence of our result is the existence of a combinatorial formula for the signature of a 4-manifold in terms of local…

We generalise the Kreck-Stolz invariants s_2 and s_3 by defining a new invariant, the t-invariant, for quaternionic line bundles E over closed spin-manifolds M of dimension 4k-1 with H^3(M; \Q) = 0 such that c_2(E)\in H^4(M) is torsion. The…

We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper…

We give a construction of a state sum invariant of a closed spin 3-manifold based on a super 3-cocycle $(\widetilde{\alpha}, \omega)$ and a combinatorial representation of a spin 3-manifold, where $\omega$ is a $\mathbb{Z}_2$-valued cocycle…

We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also…

The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for…

Just as 3d state sum models, including 3d quantum gravity, can be built using categories of group representations, "2-categories of 2-group representations" may provide interesting state sum models for 4d quantum topology, if not quantum…

Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…

We define a knot invariant and a 2-knot invariant from any finite categorical group. We calculate an explicit example for the Spun Trefoil.

We study the Witten--Reshetikhin--Turaev SU(2) invariant for the Seifert manifold $S^3/\Gamma$ where $\Gamma$ is a finite subgroup of SU(2). We show that the WRT invariants can be written in terms of the Eichler integral of the modular…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

By a 2-group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2-group and a one-object 2-group. By a permutation 2-group we mean the 2-group…

We classify all spherical 2-designs that arise as orbits of finite group actions on real inner product spaces. Although it is well known that such designs can occur in representations without trivial components, we give a complete…

We report on some recent work on deformation of spaces, notably deformation of spheres, describing two classes of examples. The first class of examples consists of noncommutative manifolds associated with the so called $\theta$-deformations…

We show that every smooth closed oriented four-manifold admits a decomposition into two co- dimension zero submanifolds with common boundary. Each of these submanifolds carries a structure of a symplectic manifold with pseudo-convex…

We consider the role of the Kervaire--Milnor invariant in the classification of closed, connected, spin 4-manifolds, typically denoted by $M$, up to stabilisation by connected sums with copies of $S^2 \times S^2$. This stable classification…

A bi-invariant differential 2-form on a Lie group G is a highly constrained object, being determined by purely linear data: an Ad-invariant alternating bilinear form on the Lie algebra of G. On a compact connected Lie group these have an…

This is intended as a self-contained introduction to the representation theory developed in order to create a Poincare 2-category state sum model for Quantum Gravity in 4 dimensions. We review the structure of a new representation…

We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our…