Related papers: 2-Categories, 4d state-sum models and gerbes

Representing molecular structures effectively in chemistry remains a challenging task. Language models and graph-based models are extensively utilized within this domain, consistently achieving state-of-the-art results across an array of…

We introduce the notions of semi-uniform input-to-state stability and its subclass, polynomial input-to-state stability, for infinite-dimensional systems. We establish a characterization of semi-uniform input-to-state stability based on…

This paper generalizes Bismut's equivariant Chern character to the setting of abelian gerbes. In particular, associated to an abelian gerbe with connection, an equivariantly closed differential form is constructed on the space of maps of a…

This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem…

We construct and analyze an explicit basis for the homology of the boolean complex of a Coxeter system. This gives combinatorial meaning to the spheres in the wedge sum describing the homotopy type of the complex. We assign a set of…

Transition systems are often used to describe the behaviour of software systems. If viewed as a graph then, at their most basic level, vertices correspond to the states of a program and each edge represents a transition between states via…

The deformability condition for submanifolds of fixed degree immersed in a graded manifold can be expressed as a system of first order PDEs. In the particular but important case of ruled submanifolds, we introduce a natural choice of…

We review a collection of models of random simplicial complexes together with some of the most exciting phenomena related to them. We do not attempt to cover all existing models, but try to focus on those for which many important results…

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…

A dual holonomy version of operator spin foam models is presented, which is particularly adapted to the notion of coarse graining. We discuss how this leads to a natural way of comparing models on different discretization scales, and a…

We study subsystems of open induction which are strongly connected to methods of automated inductive theorem proving. Specifically, we consider systems obtained from restricting induction to atoms, literals, clauses, and dual clauses. We…

Our main goal is to find a criterion to classify if a given group have a structure similar to a U(1) Lie group.

The aim of this paper is two-fold: (1) introduce four systems of equations called M-systems and dual M-systems of types $A_{n}$ and $B_{n}$ respectively; (2) make a connection between M-systems (dual M-systems) and cluster algebras and…

We define a family of diffeomorphism-invariant models of random connections on principal $G$-bundles over the plane, whose curvatures are concentrated on singular points. In a limit when the number of point grows whilst the singular…

We compare three different ways of defining group cohomology with coefficients in a crossed-module: 1) explicit approach via cocycles; 2) geometric approach via gerbes; 3) group theoretic approach via butterflies. We discuss the case where…

The notion of a gerbe with connection is conveniently reformulated in terms of the simplicial deRham complex. In particular the usual Chern-Weil and Chern-Simons theory is well adapted to this framework and rather easily gives rise to…

We prove a generalised version of finiteness of skein modules for 3-manifolds by including boundary. We show that internal skein modules are holonomic modules over the internal skein algebra of the boundary - a property including finite…

We show that M-theory on spaces with irreducible holonomy represent Type IIA backgrounds in which a collection of D6-branes wrap a supersymmetric cycle in a manifold with a holonomy group different from the one appearing in the M-theory…

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…

State surfaces are spanning surfaces of links that are obtained from link diagrams guided by the combinatorics underlying Kauffman's construction of the Jones polynomial via state models. Geometric properties of such surfaces are often…