Related papers: On webs in quantum type $C$
Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology…
Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The relative Serre functor of $\mathcal{M}$ is an endofunctor $\mathbb{S}$ on $\mathcal{M}$ together with a natural…
A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by…
A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…
We give various results and applications using the connection $(E,\nabla)$ associated with a $d$-web. Precisely, we exhibit fundamental invariants of the web related to the differential equation of first order which presents the web. They…
For any truncated path algebra $\Lambda$ of a quiver, we classify, by way of representation-theoretic invariants, the irreducible components of the parametrizing varieties $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ of the $\Lambda$-modules with…
E. Bunch, P. Lofgren, A. Rapp and D. N. Yetter [J. Knot theory Ramifications (2010)] pointed out that by considering inner automorphism groups of quandles, one have a functor from the category of quandles with surjective homomorphisms to…
Let $Top_c$ be the category of compact spaces and continuous maps and $Top_f\subset Top_c$ be the full subcategory of finite spaces. Consider the covariant functor $Mor:Top_f^{op}\times Top_c\to Top_c$ that associates any pair $(X,Y)$ with…
We interpret ontological models for finite-dimensional quantum theory as functors from the category of finite-dimensional Hilbert spaces and bounded linear maps to the category of measurable spaces and Markov kernels. This uniformises…
We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a…
Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$…
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
We study quartic double fivefolds from the perspective of Fano manifolds of Calabi-Yau type and that of exceptional quaternionic representations. We first prove that the generic quartic double fivefold can be represented, in a finite number…
In this short note we construct an embedding of the planar algebra for $\overline{\operatorname{Rep}(U_q(sl_3))}$ at $q = e^{2\pi i \frac{1}{24}}$ into the graph planar algebra of di Francesco and Zuber's candidate graph…
We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…
The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and…
We examine the cokernel of the canonical homomorphism from the trivial source ring of a finite group to the ring of $p$-rational complex characters. We use Boltje and Co\c{s}kun's theory of fibered biset functors to determine the structure…
We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other…
Exploiting the symmetry topological field theory/topological order correspondence (SymTFT/TO), together with the higher-categorical structure of 6D N =(2,0) SCFTs, we prove that the total quantum dimension of the relative gaugeable algebra…