Related papers: On webs in quantum type $C$
We define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{sp}_{2n})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{sp}_{2n})$ tensor-generated by the…
Webs are combinatorial diagrams used to encode homomorphisms between representations of Lie (super)algebras and related objects. This paper extends the theory of webs to the quantum group of type Q. We define a monoidal supercategory of…
We define and study the category of symmetric $\mathfrak{sl}_2$-webs. This category is a combinatorial description of the category of all finite dimensional quantum $\mathfrak{sl}_2$-modules. Explicitly, we show that (the additive closure…
We extend the $sl(3)$-polynomial invariant for links to tangles. Motivated by Kuperberg's construction of this invariant via planar trivalent graphs, we first define a category of $sl(3)$ webs and its sister linear category, and describe…
Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing…
Let $\mathbb{k}$ be a characteristic zero domain. We define and study a diagrammatic monoidal $\mathbb{k}$-linear supercategory $\mathbf{Web}^{aff}_{A}$ associated to any locally unital Frobenius $\mathbb{k}$-superalgebra $A$. This category…
Given a semisimple Lie algebra $\mathfrak{g}$, we can represent invariants of tensor products of fundamental representations of the quantum enveloping algebra $U_q(\mathfrak{g})$ using particular directed graphs called webs. In particular…
We introduce a new diagrammatic $\Bbbk$-linear monoidal supercategory $QWeb^\bullet$, the affine web supercategory of type $Q$, where $\Bbbk$ is a commutative ring of characteristic not two. This category is the affinization of the web…
We give a diagrammatic presentation in terms of generators mod relations of the representation category of $U_q(\mathfrak{sl}_n)$. More precisely, we produce all the relations among $\rm{SL}_n$-webs, thus describing the full subcategory…
This paper introduces type P web supercategories. They are defined as diagrammatic monoidal $k$-linear supercategories via generators and relations. We study the structure of these categories and provide diagrammatic bases for their…
We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…
We define web categories describing intertwiners for the orthogonal and symplectic Lie algebras, and, in the quantized setup, for certain orthogonal and symplectic coideal subalgebras. They generalize the Brauer category, and allow us to…
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…
We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
Codimension one webs are configurations of finitely many codimension one foliations in general position. Much of the classical theory evolved around the concept of abelian relation: a functional relation among the first integrals of the…
We describe the global structure of holomorphic webs in codimension one, and in particular their singularity (caustic). Various concepts are introduced, which have no interest locally near a regular point, such as the type, the…
Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link…
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…
For any Levi subalgebra of the form $\mathfrak{l}=\mathfrak{gl}_{l_{1}}\oplus\dots\oplus\mathfrak{gl}_{l_{d}}\subseteq\mathfrak{gl}_{n}$ we construct a quotient of the category of annular quantum $\mathfrak{gl}_{n}$ webs that is equivalent…