Related papers: On webs in quantum type $C$

For smooth finite dimensional manifolds, we characterise gerbes with connection as functors on a certain surface cobordism category. This allows us to relate gerbes with connection to Turaev's 1+1-dimensional homotopy quantum field…

Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

Using Kuperberg's $B_2/C_2$ webs, and following Elias and Libedinsky, we describe a "light leaves" algorithm to construct a basis of morphisms between arbitrary tensor products of fundamental representations for $\mathfrak{so}_5\cong…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…

A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the…

We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…

In this paper we use colored sl(N)-matrix factorizations, due to Wu and Y.Y., in order to categorify part of the quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison. In particular, we define web categories and…

We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into…

The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of…

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

We introduce the notion of a $(\Pi,\lambda)$-structure on a C-system and show that C-systems with $(\Pi,\lambda)$-structures are constructively equivalent to contextual categories with products of families of types. We then show how to…

We classify, up to projective automorphism, all homogeneous pre-foliations of co-degree one and degree four on the complex projective plane $\Ptwo$ whose Legendre transform defines a flat $4$-web. The classification is organized according…

We define a unified categorical framework for studying six subproblems arising from the classical Four Subspace Problem. For each subproblem, we construct a functor from its associated category to the category of representations of the…

Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…

We generalize Bonahon-Wong's $\mathrm{SL}_2(\mathbb{C})$-quantum trace map to the setting of $\mathrm{SL}_3(\mathbb{C})$. More precisely, given a non-zero complex parameter $q=e^{2 \pi i \hbar}$, we associate to each isotopy class of framed…

Let $P \subset \mathbb{R}^{d}$ be a closed convex cone. Assume that $P$ is pointed, i.e. the intersection $P \cap -P=\{0\}$ and $P$ is spanning, i.e. $P-P=\mathbb{R}^{d}$. Denote the interior of $P$ by $\Omega$. Let $E$ be a product system…

Let $R$ be a commutative local ring. We study the subcategory of the homotopy category of $R$-complexes consisting of the totally acyclic $R$-complexes. In particular, in the context where $Q\to R$ is a surjective local ring homomorphism…