Related papers: On the Categorified Wrapping Number Conjecture

We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based…

In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized…

We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical…

By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…

We develop the theory of stratification for a rigidly-compactly generated tensor-triangulated category using the smashing spectrum and the small smashing support. Within the stratified context, we investigate connections between big prime…

We give a graphical calculus for a categorification of a Clifford algebra and its Fock space representation via differential graded categories. The categorical action is motivated by the gluing action between the contact categories of…

We give sharp two-sided linear bounds of the crosscap number (non-orientable genus) of alternating links in terms of their Jones polynomial. Our estimates are often exact and we use them to calculate the crosscap numbers for several…

A graded tensor category over a group $G$ will be called a crossed product tensor category if every homogeneous component has at least one multiplicatively invertible object. Our main result is a description of the crossed product tensor…

In this paper, we take advantage of a reinterpretation of differential modules admitting a flag structure as a special class of perturbations of complexes. We are thus able to leverage the machinery of homological perturbation theory to…

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We…

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

Real-world networks often exhibit strong transitivity with nontrivial local clustering spectra and degree correlations. Such features are not easily modeled in tractable network models, creating an obstacle to the theoretical understanding…

Classification of entanglement is an important problem in Quantum Resource Theory. In this paper we discuss an embedding of this problem in the context of Topological Quantum Field Theories (TQFT). This approach allows classifying…

An important step towards the classification of finite-dimensional pointed Hopf algebras is the classification of finite-dimensional Nichols algebras arising from braided vector spaces of group type. This question is fundamentally linked…

We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…

Sommese has conjectured a classification of smooth projective varieties X containing, as an ample divisor, a P^d-bundle Y over a smooth variety Z. This conjecture is known if d>1, if dim(X)<5, or if Z admits a finite morphism to an Abelian…

We show that the class of groups satisfying the K- and L-theoretic Farrell-Jones conjecture is closed under taking graph products of groups.

We study the cluster categories arising from marked surfaces (with punctures and non-empty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include…