Related papers: Finite groups, spherical 2-categories, and 4-manif…

In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

We study the state-sum models of quantum gravity based on a representation 2-category of the Poincare 2-group. We call them spin-cube models, since they are categorical generalizations of spin-foam models. A spin-cube state sum can be…

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…

The notion of a Bing cell is introduced, and it is used to define invariants, link groups, of 4-manifolds. Bing cells combine some features of both surfaces and 4-dimensional handlebodies, and the link group \lambda(M) measures certain…

In a recent paper, Dave Benson and Peter Symonds defined a new invariant $\gamma_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we…

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

In this paper we refine our recently constructed invariants of $4$-dimensional $2$-handlebodies up to $2$-deformations. More precisely, we define invariants of pairs of the form $(W,\omega)$, where $W$ is a $4$-dimensional $2$-handlebody,…

We review the dimensional reduction procedure in the group cohomology classification of bosonic SPT phases with finite abelian unitary symmetry group. We then extend this to include general reductions of arbitrary dimensions and also extend…

We introduce the notion of weight system for finite type invariants of integral homology 3-spheres, and we show that invariants of type m are determined, modulo invariants of type m-1, by their associated weight system.

We give a new definition of a universal finite type invariant of three-dimensional oriented rational homology spheres which counts configurations of trivalent graphs in such manifolds. Kontsevich introduced this invariant following Witten's…

An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…

The Lusternik-Schnirelmann category and topological complexity are important invariants of manifolds (and more generally, topological spaces). We study the behavior of these invariants under the operation of taking the connected sum of…

Often topological classes of one-dimensional dynamical systems are finite codimension smooth manifolds. We describe a method to prove this sort of statement that we believe can be applied in many settings. In this work we will implement it…

We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy…

The fundamental representations of the special linear group ${\rm SL}_n$ over the complex numbers are the exterior powers of $\mathbb{C}^n$. We consider the invariant rings of sums of arbitrary many copies of these ${\rm SL}_n$-modules. The…

We discuss some bulk-surfaces gapped Hamiltonians on a lattice with corners and propose a periodic table for topological invariants related to corner states aimed at studies of higher-order topological insulators. Our table is based on four…

Invariants for framed links in $S^3$ obtained from Chern-Simons gauge field theory based on an arbitrary gauge group (semi-simple) have been used to construct a three-manifold invariant. This is a generalization of a similar construction…