Related papers: Spherical 2-categories and 4-manifold invariants

We study de Rham cohomology for various differential calculi on finite groups G up to order 8. These include the permutation group S_3, the dihedral group D_4 and the quaternion group Q. Poincare' duality holds in every case, and under some…

In this paper we propose a new treatment about infinite dimensional manifolds, using the language of category and functor. Our definition of infinite dimensional manifolds is a natural generalization of finite dimensional manifolds in the…

We define genus zero open Gromov-Witten invariants with boundary and interior constraints for a Lagrangian submanifold of arbitrary even dimension. The definition relies on constructing a canonical family of bounding cochains that satisfy…

We establish an infinitesimal version of fragility for squared Dehn twists around even dimensional Lagrangian spheres. The precise formulation involves twisting the Fukaya category by a closed two-form or bulk deforming it by a…

In this paper, we use skein-theoretic techniques to classify all virtual knot polynomials and trivalent graph invariants with certain smallness conditions. The first half of the paper classifies all virtual knot polynomials giving…

By 2-twist-spinning the knotted graph that represents the knotted handlebody $5_2$, we obtain a knotted foam in 4-dimensional space with a non-trivial quandle cocycle invariant.

We present a state sum construction that assigns a scalar to a skeleton in a closed oriented three-dimensional manifold. The input datum is the pivotal bicategory $\mathbf{Mod}^{\mathrm{sph}}(\mathcal{A})$ of spherical module categories…

We construct an invariant for non-spin 4-manifolds by using 2-torsion cohomology classes of moduli spaces of instantons on SO(3)-bundles. The invariant is an SO(3)-version of Fintushel-Stern's 2-torsion instanton invariant. We show that…

The $sp(2M)$ invariant unfolded system is considered in the periodic twistor-like spinor space. Complete set of non-trivial charges corresponding to the global symmetry compatible with the periodicity conditions is constructed. Residual…

We study consequences and applications of the folklore statement that every double complex over a field decomposes into so-called squares and zigzags. This result makes questions about the associated cohomology groups and spectral sequences…

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…

We introduce defects, with internal gauge symmetries, on a knot and Seifert surface to a knot into the combinatorial construction of finite gauge-group Dijkgraaf-Witten theory. The appropriate initial data for the construction are certain…

This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,\sigma)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $\sigma$ on $Q_0\sqcup Q_1$. The involution allows…

For the nontrivial action by the cyclic group $C_3$ of order $3$ on the graded polynomial ring $\mathbb{F}_2[a,b]$, we classify the $C_3$-invariant parameter ideals that are closed under Steenrod operations. The classification has…

A triangulated category is said to be indecomposable if it admits no nontrivial semiorthogonal decompositions. We introduce a definition of a noncommutatively stably semiorthogonally indecomposable (NSSI) variety. This propery implies,…

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

We provide a model of the String group as a central extension of finite-dimensional 2-groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose…

We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors…