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

Let X be a smooth, complex Fano variety, and delta(X) its Lefschetz defect. It is known that if delta(X) is at least 4, then X is isomorphic to a product SxT, where dim T=dim X-2. In this paper we prove a structure theorem for the case…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on…

Many quantum invariants of knots and 3-manifolds (e.g. Jones polynomials) are special cases of the Witten-Reshetikhin-Turaev 3D TQFT. The latter is in turn a part of a larger theory - the Crane-Yetter 4D TQFT. In this work, we compute the…

Let $\pi$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(\pi)$, the equivariant geometric dimension ${\sf gd}_G(\pi)$, and the equivariant…

We analyze the particle spectrum of a second-order (in derivatives) theory based on a rank-2 tensor field with both symmetric and antisymmetric components. By demanding the existence of a propagating massless spin-2 particle and invariance…

A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…

We propose a way to define and compute invariants of general smooth 4-manifolds based on topological twists of non-Lagrangian 4d N=2 and N=3 theories in which the problem is reduced to a fairly standard computation in topological A-model,…

Module structures of an algebra on a fixed finite dimensional vector space form an algebraic variety. Isomorphism classes correspond to orbits of the action of an algebraic group on this variety and a module is a degeneration of another if…

A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to…

One way to understand the deformation theory of a tensor category $M$ is through its Davydov-Yetter cohomology $H_{DY}^{\ast}(M)$ which in degree 3 and 4 is known to control respectively first order deformations of the associativity…

Following the general theory of categorified quantum groups developed by the author previously (arxiv:2304.07398), we construct the 2-Drinfel'd double associated to a finite group $N=G_0$. For $N=\mathbb{Z}_2$, we explicitly compute the…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

We review and elaborate on some aspects of the classically scale-invariant renormalizable 4-derivative scalar theory $L= \phi\, \partial^4 \phi + g (\partial \phi)^4$. Similar models appear, e.g., in the context of conformal supergravity or…

The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as…

This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain…

In this paper we continue the work of Kalnins et al in classifying all second-order conformally-superintegrable (Laplace-type) systems over conformally flat spaces, using tools from algebraic geometry and classical invariant theory. The…

We classify a "dense open" subset of categories with an action of a reductive group, which we call nondegenerate categories, entirely in terms of the root datum of the group. As an application of our methods, we also: (1) Upgrade an…

Given a finite group $G$, we define a new invariant of odd-dimensional oriented closed manifolds and call it the KDW invariant. This invariant is a Dijkgraaf--Witten invariant in terms of $K$-theory. In this paper, we compute the invariant…