Source author record

Dror Bar-Natan

Dror Bar-Natan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2021arXiv

Over then Under Tangles

Over-then-Under (OU) tangles are oriented tangles whose strands travel through all of their over crossings before any under crossings. In this paper we discuss the idea of gliding: an algorithm by which any tangle diagram could be brought to OU form. Unfortunately, the algorithm is flawed. However, by analyzing cases in which it does succeed we obtain a braid classification result, which we also extend to virtual braids, and provide a Mathematica implementation. We discuss other instances of successful "gliding ideas" which appear in the literature - sometimes in disguise - such as the Drinfel'd double construction, Enriquez's work on quantization of Lie bialgebras, and Audoux and Meilhan's classification of welded homotopy links,

preprint2018arXiv

Ribbon 2-Knots, $1+1=2$, and Duflo's Theorem for Arbitrary Lie Algebras

We explain a direct topological proof for the multiplicativity of Duflo isomorphism for arbitrary finite dimensional Lie algebras, and derive the explicit formula for the Duflo map. The proof follows a series of implications, starting with "the calculation 1+1=2 on a 4D abacus", using the study of homomorphic expansions (aka universal finite type invariants) for ribbon 2-knots, and the relationship between the corresponding associated graded space of arrow diagrams and universal enveloping algebras. This complements the results of the first author, Le and Thurston, where similar arguments using a "3D abacus" and the Kontsevich Integral were used to derive Duflo's theorem for metrized Lie algebras; and results of the first two authors on finite type invariants of w-knotted objects, which also imply a relation of 2-knots with Duflo's theorem in full generality, though via a lengthier path.

preprint2015arXiv

Finite Type Invariants of w-Knotted Objects I: w-Knots and the Alexander Polynomial

This is the first in a series of papers studying w-knotted objects (w-knots, w-braids, w-tangles, etc.), which make a class of knotted objects which is {w}ider but {w}eaker than their usual counterparts. The group of w-braids was studied (as "{w}elded braids") by Fenn-Rimanyi-Rourke and was shown to be isomorphic to the McCool group of "basis-conjugating" automorphisms of a free group Fn. Brendle-Hatcher, tracing back to Goldsmith, have shown this group to be a group of movies of flying rings in R3. Satoh studied several classes of w-knotted objects (as "{w}eakly-virtual") and has shown them to be closely related to certain classes of knotted surfaces in R4. So w-knotted objects are algebraically and topologically interesting. Here we study finite type invariants of w-knotted objects. Following Berceanu-Papadima, we construct homomorphic universal finite type invariants ("expansions") of w-braids and of w-tangles. We find that the universal finite type invariant of w-knots is essentially the Alexander polynomial. We find that the spaces Aw of "arrow diagrams" for w-knotted objects are related to not-necessarily-metrized Lie algebras. Many questions concerning w-knotted objects turn out to be equivalent to questions about Lie algebras. Most notably we find that a homomorphic expansion of w-knotted foams is essentially the same as a solution of the Kashiwara-Vergne conjecture (KV), thus giving a topological explanation to the work of Alekseev-Torossian work on KV and Drinfel'd associators. The true value of w-knots, though, is likely to emerge later, for we expect them to serve as a {w}armup example for the study of virtual knots. We expect v-knotted objects to provide the global context whose associated graded structure will be the Etingof-Kazhdan theory of quantization of Lie bialgebras.

preprint2015arXiv

Finite Type Invariants of w-Knotted Objects IV: Some Computations

In the previous three papers in this series, [WKO1]-[WKO3] (arXiv:1405.1956, arXiv:1405.1955, and to appear), Z. Dancso and I studied a certain theory of "homomorphic expansions" of "w-knotted objects", a certain class of knotted objects in 4-dimensional space. When all layers of interpretation are stripped off, what remains is a study of a certain number of equations written in a family of spaces $A^w$, closely related to degree-completed free Lie algebras and to degree-completed spaces of cyclic words. The purpose of this paper is to introduce mathematical and computational tools that enable explicit computations (up to a certain degree) in these $A^w$ spaces and to use these tools to solve the said equations and verify some properties of their solutions, and as a consequence, to carry out the computation (up to a certain degree) of certain knot-theoretic invariants discussed in [WKO1]-[WKO3] and in my related paper [KBH] (arXiv:1308.1721).

preprint2014arXiv

Khovanov homology for alternating tangles

We describe a "concentration on the diagonal" condition on the Khovanov complex of tangles, show that this condition is satisfied by the Khovanov complex of the single crossing tangles, and prove that it is preserved by alternating planar algebra compositions. Hence, this condition is satisfied by the Khovanov complex of all alternating tangles. Finally, in the case of links, our condition is equivalent to a well known result which states that the Khovanov homology of a non-split alternating link is supported on two diagonals. Thus our condition is a generalization of Lee's Theorem to the case of tangles

preprint2013arXiv

Balloons and Hoops and their Universal Finite Type Invariant, BF Theory, and an Ultimate Alexander Invariant

Balloons are two-dimensional spheres. Hoops are one dimensional loops. Knotted Balloons and Hoops (KBH) in 4-space behave much like the first and second homotopy groups of a topological space - hoops can be composed as in π_1, balloons as in π_2, and hoops "act" on balloons as π_1 acts on π_2. We observe that ordinary knots and tangles in 3-space map into KBH in 4-space and become amalgams of both balloons and hoops. We give an ansatz for a tree and wheel (that is, free-Lie and cyclic word) -valued invariant ζof (ribbon) KBHs in terms of the said compositions and action and we explain its relationship with finite type invariants. We speculate that ζis a complete evaluation of the BF topological quantum field theory in 4D. We show that a certain "reduction and repackaging" of ζis an "ultimate Alexander invariant" that contains the Alexander polynomial (multivariable, if you wish), has extremely good composition properties, is evaluated in a topologically meaningful way, and is least-wasteful in a computational sense. If you believe in categorification, that should be a wonderful playground.

preprint2013arXiv

Meta-Monoids, Meta-Bicrossed Products, and the Alexander Polynomial

We introduce a new invariant of tangles along with an algebraic framework in which to understand it. We claim that the invariant contains the classical Alexander polynomial of knots and its multivariable extension to links. We argue that of the computationally efficient members of the family of Alexander invariants, it is the most meaningful. These are lecture notes for talks given by the first author, written and completed by the second. The talks, with handouts and videos, are available at http://www.math.toronto.edu/drorbn/Talks/Regina-1206/. See also further comments at http://www.math.toronto.edu/drorbn/Talks/Caen-1206/#June8.

preprint2012arXiv

Homomorphic expansions for knotted trivalent graphs

It had been known since old times [MO, Da] that there exists a universal finite type invariant ("an expansion") Z^{old} for Knotted Trivalent Graphs (KTGs), and that it can be chosen to intertwine between some of the standard operations on KTGs and their chord-diagrammatic counterparts (so that relative to those operations, it is "homomorphic"). Yet perhaps the most important operation on KTGs is the "edge unzip" operation, and while the behavior of Z^{old} under edge unzip is well understood, it is not plainly homomorphic as some "correction factors" appear. In this paper we present two (equivalent) ways of modifying Z^{old} into a new expansion Z, defined on "dotted Knotted Trivalent Graphs" (dKTGs), which is homomorphic with respect to a large set of operations. The first is to replace "edge unzips" by "tree connect sums", and the second involves somewhat restricting the circumstances under which edge unzips are allowed. As we shall explain, the newly defined class dKTG of knotted trivalent graphs retains all the good qualities that KTGs have - it remains firmly connected with the Drinfel'd theory of associators and it is sufficiently rich to serve as a foundation for an "Algebraic Knot Theory". As a further application, we present a simple proof of the good behavior of the LMO invariant under the Kirby II (band-slide) move [LMMO].

preprint2010arXiv

Pentagon and hexagon equations following Furusho

In [F] H. Furusho proves the beautiful result that of the three defining equations for associators, the pentagon implies the two hexagons (see also [W]). In this note we present a simpler proof for this theorem (although our paper is less dense, and hence only slightly shorter). In particular, we package the use of algebraic geometry and Groethendieck-Teichmuller groups into a useful and previously known principle, and, less significantly, we eliminate the use of spherical braids.

preprint2005arXiv

Khovanov's homology for tangles and cobordisms

We give a fresh introduction to the Khovanov Homology theory for knots and links, with special emphasis on its extension to tangles, cobordisms and 2-knots. By staying within a world of topological pictures a little longer than in other articles on the subject, the required extension becomes essentially tautological. And then a simple application of an appropriate functor (a `TQFT') to our pictures takes them to the familiar realm of complexes of (graded) vector spaces and ordinary homological invariants.

preprint2003arXiv

Two applications of elementary knot theory to Lie algebras and Vassiliev invariants

Using elementary equalities between various cables of the unknot and the Hopf link, we prove the Wheels and Wheeling conjectures of [Bar-Natan, Garoufalidis, Rozansky and Thurston, arXiv:q-alg/9703025] and [Deligne, letter to Bar-Natan, January 1996, http://www.ma.huji.ac.il/~drorbn/Deligne/], which give, respectively, the exact Kontsevich integral of the unknot and a map intertwining two natural products on a space of diagrams. It turns out that the Wheeling map is given by the Kontsevich integral of a cut Hopf link (a bead on a wire), and its intertwining property is analogous to the computation of 1+1=2 on an abacus. The Wheels conjecture is proved from the fact that the k-fold connected cover of the unknot is the unknot for all k. Along the way, we find a formula for the invariant of the general (k,l) cable of a knot. Our results can also be interpreted as a new proof of the multiplicativity of the Duflo-Kirillov map S(g)-->U(g) for metrized Lie (super-)algebras g.

preprint2002arXiv

On Khovanov's categorification of the Jones polynomial

The working mathematician fears complicated words but loves pictures and diagrams. We thus give a no-fancy-anything picture rich glimpse into Khovanov's novel construction of `the categorification of the Jones polynomial'. For the same low cost we also provide some computations, including one that shows that Khovanov's invariant is strictly stronger than the Jones polynomial and including a table of the values of Khovanov's invariant for all prime knots with up to 11 crossings.