Related papers: Finite groups, spherical 2-categories, and 4-manif…
A version of Kirby calculus for spin and framed three-manifolds is given and is used to construct invariants of spin and framed three-manifolds in two situations. The first is ribbon *-categories which possess odd degenerate objects. This…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…
We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism…
In this article we describe relations of the topology of closed 1-forms to the group theoretic invariants of Bieri-Neumann-Strebel-Renz. Starting with a survey, we extend these Sigma invariants to finite CW- complexes and show that many…
An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…
Suppose $\Gamma$ is a finite group acting freely on $S^{n}$ ($n\geqslant 3$ being odd) and $M$ is any closed oriented $n$-manifold. We show that, given an integer $k$, the set $\deg^{-1}(k)$ of based homotopy classes of mappings with degree…
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…
We study a generalization of a 4-dimensional BF-theory in the context of higher gauge theory. We construct a triangulation independent topological state sum Z, based on the classical 3BF action for a general 3-group and a 4-dimensional…
On a smooth closed oriented $4$-manifold $M$ with a smooth action of a finite group $G$ on a Spin$^c$ structure, $G$-monopole invariant is defined by "counting" $G$-invariant solutions of Seiberg-Witten equations for any $G$-invariant…
The goal of the present paper is to find higher genus surgery formulae for the set of finite-type invariants of homology spheres, and to develop a companion theory of finite-type invariants to be applied, in a subsequent publication, to the…
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…
Generalized Donaldson invariants of 4-manifolds are defined, using moduli spaces of anti-self-dual connections with structure group SU(N) or PSU(N). Some values of the invariants are calculated for the case that the 4-manifold arises by the…
In a series of papers the authors associated to an $L^2$-acyclic group $\Gamma$ an invariant $\mathcal{P}(\Gamma)$ that is a formal difference of polytopes in the vector space $H_1(\Gamma;\Bbb{R})$. This invariant is in particular defined…
Consider a symmetric quantum state on an n-fold product space, that is, the state is invariant under permutations of the n subsystems. We show that, conditioned on the outcomes of an informationally complete measurement applied to a number…
We define an isotopy invariant of embeddings N -> R^m of manifolds into Euclidean space. This invariant together with the \alpha-invariant of Haefliger-Wu is complete in the dimension range where the \alpha-invariant could be incomplete. We…
In this paper we study invariant rings arising in the study of finite dimensional algebraic structures. The rings we encounter are graded rings of the form $K[U]^{\Gamma}$ where $\Gamma$ is a product of general linear groups over a field…
In low dimensional topology, we have some invariants defined by using solutions of some nonlinear elliptic operators. The invariants could be understood as Euler class or degree in the ordinary cohomology, in infinite dimensional setting.…
An invariant is introduced for negative definite plumbed $3$-manifolds equipped with a spin$^c$-structure. It unifies and extends two theories with rather different origins and structures. One theory is lattice cohomology, motivated by the…
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…