arXiv research

We introduce the notion of directed diagrammatic reducibility which is a relative version of diagrammatic reducibility. Directed diagrammatic reducibility has strong group theoretic and topological consequences. A multi-relator version of the Freiheitssatz in the presence of directed diagrammatic reducibility is given.…

The paper shows how reducible complexes affect local indicability.

Fixed point sets of certain group actions are contractible.

We present a new test for studying asphericity and diagrammatic reducibility of group presentations. Our test can be applied to prove diagrammatic reducibility in cases where the classical weight test fails. We use this criterion to generalize results of J. Howie and S.M. Gersten on asphericity of LOTs and of Adian pre…

Characterizes Milnor invariants with limited repetitions.

Diagrammatic method calculates knot invariant related to Chern-Simons theory.

A diagrammatic language for 3D manifolds with boundary.

Rewriting theory applied to diagrammatic algebras for categorification.

The reduced peripheral system was introduced by Milnor in the fifties for the study of links up to link-homotopy, i.e. up to isotopies and crossing changes within each link component. However, for four or more components, this invariant does not yield a complete link-homotopy invariant. This paper provides two characte…

This is an expository article on diagrammatic representations of knots and links in various settings via braids.

Revives Vogel's diagrammatic technique for universal Lie algebra computations.

Diagrammatic method calculates knot invariant from tangle decompositions.

We give a diagrammatic definition of $U_q(sl_2)$ when $q$ is not a root of unity, including its Hopf algebra structure and its relationship with the Temperley-Lieb category.

We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.

The article improves the display of acceptable exchange ratios for merging companies.

We define and compare several natural ways to compute the bridge number of a knot diagram. We study bridge numbers of crossing number minimizing diagrams, as well as the behavior of diagrammatic bridge numbers under the connected sum operation. For each notion of diagrammatic bridge number considered, we find crossing …

Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2-complex. Here we present tests for a relative version of VA that apply to pairs of 2-complexes $(L,K)$, where $K$ is a subcomplex of $L$. We show that a relative weight test holds…

In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot complements, in c.c.o. 3--manifolds and in handlebodies, as well as for virtual knots, …

We provide a diagrammatic computation for the bilinear form, which is defined as the pairing between the (relative) cup products with every local coefficients and every integral homology 2-class of every links in the 3-sphere. As a corollary, we construct bilinear forms on the twisted Alexander modules of links.

The paper refines the three-page index for links, proving a new bound and characterizing specific links.

Develops a diagrammatic method for symplectic filling classifications.

New method for simplifying complex 4D shapes with boundaries.

This paper characterizes Milnor invariants using diagrammatic methods.

In this paper we present a systematic method to generate prime knot and prime link minimal triple-point projections, and then classify all classical prime knots and prime links with triple-crossing number at most four. We also extend the table of known knots and links with triple-crossing number equal to five. By intro…

Recently, Bigelow defined a diagrammatic method for calculating the Alexander polynomial of a knot or link by resolving crossings in a planar algebra. I will present my multivariate version of Bigelow's calculation. The advantage to my algorithm is that it generalizes to a multivariate tangle invariant up to Reidemeist…

We use super $q$-Howe duality to provide diagrammatic presentations of an idempotented form of the Hecke algebra and of categories of $\mathfrak{gl}_N$-modules (and, more generally, $\mathfrak{gl}_{N|M}$-modules) whose objects are tensor generated by exterior and symmetric powers of the vector representations. As an ap…

Study reveals striking uniformity in triply graded link homology for specific braids.

We develop a diagrammatic calculus for representations of unrolled quantum $\mathfrak{sl}_2$ at a fourth root of unity. This allows us to prove Seifert-Torres type formulas for certain splice links using quantum algebraic methods, rather than topological methods. Other applications of this diagrammatic calculus given h…

New method connects neural networks to diagrammatic algebra.

The study proves knots and certain links support taut foliations.

For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type ${\rm D}_k$ or ${\rm B}_{k-1}$, constructible with respect…

We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and might lead to new insights about link and $3$-manifold invariants deduced from $…

In previous work, we have constructed diagrammatic idempotents in an affine extension of the Temperley-Lieb category, which describe extremal weight projectors for sl(2), and which categorify Chebyshev polynomials of the first kind. In this paper, we generalize the construction of extremal weight projectors to the case…

Study on Fox's trapezoidal conjecture for specific alternating links.

New proof confirms 4-manifolds with weakly reducible genus-three trisections are standard.

MXGNet tackles visual reasoning tasks using graph neural networks.

Study on quantum $\mathfrak{sl}_3$ invariant for positive links.

Crane and Frenkel proposed a state sum invariant for triangulated 4-manifolds.They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double of a finite group. I…

New criteria for Heegaard splittings ensure strong irreducibility and finite Goeritz groups.

We give a new construction of the one-variable Alexander polynomial of an oriented knot or link, and show that it generalizes to a vector valued invariant of oriented tangles.

Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.

New equivalence relation for links using cut-diagrams.

Paper describes a state sum formula for a graph coloring polynomial.

Summarizes connections between Euler characteristic theorems and conjectures.

Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HOMFLY-PT and sl(n)-link homology.

A theorem of Katanaga, Saeki, Teragaito, and Yamada relates Gluck and Price twists of 4-manifolds. Using trisection diagrams, we give a purely diagrammatic proof of this theorem, and answer a question of Kim and Miller.

Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move generators.

We study a certain class of embedded two-foams that arise from gluing discs into ribbon torus knots along nonintersecting torus meridians. We exhibit several equivalent diagrammatic formalisms for these objects and identify several of their invariants, including a unique prime decomposition.