Related papers: Braided n-categories and $\Sigma$-structures
The n-strand braid group can be defined as the fundamental group of the configuration space of n unlabeled points in a closed disk based at a configuration where all n points lie in the boundary of the disk. Using this definition, the…
Much of algebra and representation theory can be formulated in the general framework of tensor categories. The aim of this paper is to further develop this theory for braided tensor categories. Several results are established that do not…
Gauged linear sigma models with (0,2) supersymmetry allow a larger choice of couplings than models with (2,2) supersymmetry. We use this freedom to find a fully linear construction of torsional heterotic compactifications, including models…
We introduce torsoids, a canonical structure in matching covered graphs, corresponding to the bricks and braces of the graph. This allows a more fine-grained understanding of the structure of finite and infinite directed graphs with respect…
In a companion work on the combinatorial quantization of 4d 2-Chern-Simons theory, the author has constructed the Hopf category of quantum 2-gauge transformations $\tilde{C}=\mathbb{U}_q\mathfrak{G}$ acting on the discrete surface-holonomy…
Topological order in two-dimensional systems is studied by combining the braid group formalism with a gauge invariance analysis. We show that flux insertions (or large gauge transformations) pertinent to the toroidal topology induce…
A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…
Braided algebras are associative algebras endowed with a Yang-Baxter operator that satisfies certain compatibility conditions involving the multiplication. Along with Hochschild cohomology of algebras, there is also a notion of Yang-Baxter…
In this paper we describe the structure of a group of conjugating automorphisms $C_n$ of free group and prove that this structure is similar to the structure of a braid group $B_n$ with $n>1$ strings. We find the linear representation of…
We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to…
For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the…
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…
Bialgebras and Hopf (bi)modules are typical algebraic structures with several interacting operations. Their structural and homological study is therefore quite involved. We develop the machinery of braided systems, tailored for handling…
We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant…
A planar pure braid consists of $n$ descending smooth arcs, each connecting a point on one horizontal line $\ell_{1}$ to a point on a horizontal line $\ell_{2}$, which is required to be directly below the first point. Two arcs are allowed…
In this paper, we introduce the category of brace triples in a braided monoidal setting and prove that it is isomorphic to the category of s-Hopf braces, which are a generalization of cocommutative Hopf braces. After that, we obtain a…
We study the braided tensor structure of line operators in the topological A and B twists of abelian 3d $\mathcal{N}=4$ gauge theories, as accessed via boundary vertex operator algebras (VOA's). We focus exclusively on abelian theories. We…
If Gamma is any finite graph, then the unlabelled configuration space of n points on Gamma, denoted UC^n(Gamma), is the space of n-element subsets of Gamma. The braid group of Gamma on n strands is the fundamental group of UC^n(Gamma). We…
We introduce a new construction of a surface link in the 4-space. We construct a surface link as a branched covering over the standard torus, which we call a torus-covering link. We show that a certain torus-covering $T^2$-link is…
We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.