Related papers: Geometric Invariants for Fusion Categories
We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…
Among various approaches in proving gauge independence, models containing an explicit gauge dependence are convenient. The well-known example is the gauge parameter in the covariant gauge fixing which is of course most suitable for the…
We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a…
This article shows that the units of a skew monoidal category are unique up to a unique isomorphism, and internalises this fact to skew monoidales. Some benefits of certain extra structure on the unit maps are also discussed before the…
It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that…
A systematic approach to the description of gauge invariant charges is presented and applied to the construction of both the static colour charge configuration in QCD and the monopole solution in pure SU(2). The gauge invariant non-abelian…
Mapping-class groups of 3-manifolds feature as symmetry groups in canonical quantum gravity. They are an obvious source through which topological information could be transmitted into the quantum theory. If treated as gauge symmetries,…
Categorical Enumerative Invariants (CEI) are invariants associated with a unital, cyclic, smooth $A_\infty$-category and a splitting of its non-commutative Hodge filtration. In this paper, we extend the definition of CEI to Calabi-Yau…
This paper proposes a definition of gravitational observables and of their path integral formula within the framework of ADM foliation and the choice of unimodular gauge classes. The method enforces a BRST invariant gauge fixing of the…
The framework of geometric extremes is based on the convergence of scaled sample clouds onto a limit set, characterized by a gauge function, with the shape of the limit set determining extremal dependence structures. While it is known that…
We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…
A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification…
We consider the harmonic gauge condition in linearized gravity, seen as a gauge theory for a symmetric tensor field. Once the harmonic gauge condition is implemented, as customary, according to the Faddeev-Popov procedure, the gauge fixed…
The geometric construction of the functional integral over coset spaces ${\cal M}/{\cal G}$ is reviewed. The inner product on the cotangent space of infinitesimal deformations of $\cal M$ defines an invariant distance and volume form, or…
Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of…
There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every "elementary" field in the Standard Model of particle physics…
In this paper \emph{analytic equivalence} of geometric transition is defined in such a way that equivalence classes of geometric transitions turn out to be the \emph{arrows} of the \cy web. Then it seems natural and useful, both from the…
The deformation cohomology of a tensor category controls deformations of its monoidal structure. Here we describe the deformation cohomology of tensor categories generated by one object (the so-called Schur-Weyl categories). Using this…