Related papers: On webs in quantum type $C$

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an…

The topology of $SU(3)$-representation varieties of the fundamental groups of planar webs so that the meridians are sent to matrices with trace equal to $-1$ are explored, and compared to data coming from spider evaluation of the webs.…

This paper demonstrates a topological meaning of quandle cocycle invariants of links with respect to finite connected quandles $X$, from a perspective of homotopy theory: Specifically, for any prime $\ell$ which does not divide the type of…

Let $\mathbb{k}$ be a characteristic zero domain. For a locally unital $\mathbb{k}$-superalgebra $A$ with distinguished idempotents $I$and even subalgebra $a \subseteq A_{\bar 0}$, we define and study an associated diagrammatic monoidal…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

We develop a space-level refinement of the $2$-factor homology by constructing a stable homotopy type associated to a certain family $\mathscr{G}$ of planar trivalent graphs equipped with perfect matchings. Specifically, we define a cover…

We study the category of $\mathbf{P}$-equivariant modules over the infinite variable polynomial ring, where $\mathbf{P}$ denotes the subgroup of the infinite general linear group $\mathbf{GL}(\mathbf{C}^\infty)$ consisting of elements…

We study a generalization of the Svarc genus of a fiber map. For an arbitrary collection E of spaces and a map f:X-->Y, we define a numerical invariant, the E-sectional category of f, in terms of open covers of Y. We obtain several basic…

Given an oriented $2$-manifold $M$, a locally constant sheaf of lattices $\Lambda$ over $M$, and a pointed morphism $q : \textsf B^2\Lambda \rightarrow \textsf B^4\mathbf C^{\times}$, we define an $\mathbb E_M$-category…

We define $2n$-multiwebs on planar graphs and discuss their relation with $\mathrm{Sp}(2n)$-webs. On a planar graph with a symplectic local system we define a matrix whose Pfaffian is the sum of traces of $2n$-multiwebs. As application we…

We discuss the curvilinear web $\boldsymbol{\mathcal W}_{0,n+3}$ on the moduli space $\mathcal M_{0,n+3}$ of projective configurations of $n+3$ points on $\mathbf P^1$ defined by the $n+3$ forgetful maps $\mathcal M_{0,n+3}\rightarrow…

We construct a covariant functor from a category of Abelian principal bundles over globally hyperbolic spacetimes to a category of *-algebras that describes quantized principal connections. We work within an appropriate differential…

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we…

This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set…

We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is…

The fundamental group $\pi_1(L)$ of a knot or link $L$ may be used to generate magic states appropriate for performing universal quantum computation and simultaneously for retrieving complete information about the processed quantum states.…

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…