Related papers: On the Categorified Wrapping Number Conjecture

Let G denote a group and let W be an algebra over a commutative ring R. We will say that W is a G-graded twisted algebra (not necessarily commutative, neither associative) if there exists a G-grading W=\bigoplus_{g \in G}W_{g} where each…

We consider several classes of knotted objects, namely usual, virtual and welded pure braids and string links, and two equivalence relations on those objects, induced by either self-crossing changes or self-virtualizations. We provide a…

We prove that a prime knot K is not determined by its p-fold cyclic branched cover for at most two odd primes p. Moreover, we show that for a given odd prime p, the p-fold cyclic branched cover of a prime knot K is the p-fold cyclic…

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…

Using the light ladder basis for Kuperberg's $C_2$ webs, we derive triple clasp formulas for idempotents projecting to the top summand in each tensor product of fundamental representations. We then find explicit formulas for the…

We classify the conjugacy classes of p-cycles of type D in alternating groups. This finishes the open cases in arXiv:0812.4628. We also determine all the subracks of those conjugacy classes which are not of type D.

This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational category $\mathbf{Comp}$, embedding…

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This…

The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…

A categorification of the Heisenberg algebra is constructed in by Khovanov using graphical calculus, and left with a conjecture on the isomorphism between the Heisenberg algebra and Grothendieck ring of the constructed category. We give a…

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

We present a conjecture for the power-law exponent in the asymptotic number of types of plane curves as the number of self-intersections goes to infinity. In view of the description of prime alternating links as flype equivalence classes of…

We prove the $p$-curvature conjecture for rank two vector bundles with connection on generic curves, by combining deformation techniques for families of varieties and topological arguments.

A near-group category is an additively semisimple category with a product such that all but one of the simple objects is invertible. We classify braided structures on near-group categories, and give explicit numerical formulas for their…

We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…

Motivated by physics, we propose two conjectures regarding the cohomology ring of the crepant resolutions of orbifolds and cohomological invariants of K-equivalent manifolds.

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

We give a short proof for a well-known formula for the rank of a $G$-crossed braided extension of a modular tensor category.

The characteristic forms in the bundle of connections of a principal bundle P over M determine the characteristic classes of P for degree less or equal to the dimension of M, and differential forms on the space of connections for higher…

A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely, the class of separable simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have…