arXiv subjects

Jean-Baptiste Meilhan

Publications and source records attributed to Jean-Baptiste Meilhan.

At least 37 records · Page 2Linked to original sources

arXiv2016

The universal sl_2 invariant and Milnor invariants

The universal sl_2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the h-adic completed tensor powers of the quantized enveloping algebra of sl_2. In this paper, we exhibit explicit relationships between the universal sl_2 invariant and Milnor invariants, which are classical invariants generalizing the linking number, providing some new topological insight into quantum invariants. More precisely, we define a reduction of the universal sl_2 invariant, and show how it is captured by Milnor concordance invariants. We also show how a stronger reduction corresponds to Milnor link-homotopy invariants. As a byproduct, we give explicit criterions for invariance under concordance and link-homotopy of the universal sl_2 invariant, and in particular for sliceness. Our results also provide partial constructions for the still-unknown weight system of the universal sl_2 invariant.

math.GT↗

arXiv2016

Homotopy classification of ribbon tubes and welded string links

Ribbon 2-knotted objects are locally flat embeddings of surfaces in 4-space which bound immersed 3-manifolds with only ribbon singularities. They appear as topological realizations of welded knotted objects, which is a natural quotient of virtual knot theory. In this paper we consider ribbon tubes and ribbon torus-links, which are natural analogues of string links and links, respectively. We show how ribbon tubes naturally act on the reduced free group, and how this action classifies ribbon tubes up to link-homotopy, that is when allowing each component to cross itself. At the combinatorial level, this provides a classification of welded string links up to self-virtualization. This generalizes a result of Habegger and Lin on usual string links, and the above-mentioned action on the reduced free group can be refined to a general "virtual extension" of Milnor invariants. As an application, we obtain a classification of ribbon torus-links up to link-homotopy.

math.GT↗

arXiv2015

Riordan trees and the homotopy $sl_2$ weight system

The purpose of this paper is twofold. On one hand, we introduce a modification of the dual canonical basis for invariant tensors of the 3-dimensional irreducible representation of $U_q(sl_2)$, given in terms of Jacobi diagrams, a central tool in quantum topology. On the other hand, we use this modified basis to study the so-called homotopy $sl_2$ weight system, which is its restriction to the space of Jacobi diagrams labeled by distinct integers. Noting that the $sl_2$ weight system is completely determined by its values on trees, we compute the image of the homotopy part on connected trees in all degrees; the kernel of this map is also discussed.

math.QA↗

arXiv2013

Abelian quotients of the string link monoid

The set SL(n) of n-string links has a monoid structure, given by the stacking product. When considered up to concordance, SL(n) becomes a group, which is known to be abelian only if n=1. In this paper, we consider two families of equivalence relations which endow SL(n) with a group structure, namely the C_k-equivalence introduced by Habiro in connection with finite type invariants theory, and the C_k-concordance, which is generated by C_k-equivalence and concordance. We investigate under which condition these groups are abelian, and give applications to finite type invariants.

math.GT↗

arXiv2012

Whitehead double and Milnor invariants

We consider the operation of Whitehead double on a component of a link and study the behavior of Milnor invariants under this operation. We show that this operation turns a link whose Milnor invariants of length < k are all zero into a link with vanishing Milnor invariants of length < 2k, and we provide formulas for the first non-vanishing ones. As a consequence, we obtain statements relating the notions of link-homotopy and self Delta-equivalence via the Whitehead double operation. By using our result, we show that a Brunnian link L is link-homotopic to the unlink if and only if a link L with a single component Whitehed doubled is self Delta-equivalent to the unlink.

math.GT↗

arXiv2012

Equivalence relations for homology cylinders and the core of the Casson invariant

Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the mapping cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central series of the Torelli group of S. The J_k-equivalence relation on IC is defined in a similar way using the k-th term of the Johnson filtration. In this paper, we characterize the Y_3-equivalence with three classical invariants: (1) the action on the third nilpotent quotient of the fundamental group of R, (2) the quadratic part of the relative Alexander polynomial, and (3) a by-product of the Casson invariant. Similarly, we show that the J_3-equivalence is classified by (1) and (2). We also prove that the core of the Casson invariant (originally defined by Morita on the second term of the Johnson filtration of I) has a unique extension (to the corresponding submonoid of IC) that is preserved by Y_3-equivalence and the mapping class group action.

math.GT↗

arXiv2012

Local moves for links with common sublinks

A C_k-move is a local move that involves (k+1) strands of a link. A C_k-move is called a C_k^d-move if these (k+1) strands belong to mutually distinct components of a link. Since a C_k^d-move preserves all k-component sublinks of a link, we consider the converse implication: are two links with common k-component sublinks related by a sequence of C_k^d-moves? We show that the answer is yes under certain assumptions, and provide explicit counter-examples for more general situations. In particular, we consider (n,k)-Brunnian links, i.e. n-component links whose k-component sublinks are all trivial. We show that such links can be deformed into a trivial link by C_k^d-moves, thus generalizing a result of Habiro and Miyazawa-Yasuhara, and deduce some results on finite type invariants of (n,k)-Brunnian links.

math.GT↗

arXiv2011

Milnor invariants and the HOMFLYPT polynomial

We give formulas expressing Milnor invariants of an n-component link L in the 3-sphere in terms of the HOMFLYPT polynomial as follows. If the Milnor invariant \barμ_J(L) vanishes for any sequence J with length at most k, then any Milnor \barμ-invariant \barμ_I(L) with length between 3 and 2k+1 can be represented as a combination of HOMFLYPT polynomial of knots obtained from the link by certain band sum operations. In particular, the `first non vanishing' Milnor invariants can be always represented as such a linear combination.

math.GT↗

arXiv2009

On surgery along Brunnian links in 3-manifolds

We consider surgery moves along (n+1)-component Brunnian links in compact connected oriented 3-manifolds, where the framing of the each component is 1/k for k in Z. We show that no finite type invariant of degree < 2n-2 can detect such a surgery move. The case of two link-homotopic Brunnian links is also considered. We relate finite type invariants of integral homology spheres obtained by such operations to Goussarov-Vassiliev invariants of Brunnian links.

math.GT↗

arXiv2009

Finite type invariants and fatgraphs

We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $ι_n$ maps of Le-Murakami-Ohtsuki of the link invariant of Andersen-Mattes-Reshetikhin computed relative to choices determined by the fatgraph G; this provides a basic connection between 2d geometry and 3d quantum topology. For each fixed G, this invariant is shown to be universal for homology cylinders, i.e., $\nabla_G$ establishes an isomorphism from an appropriate vector space $\bar{H}$ of homology cylinders to a certain algebra of Jacobi diagrams. Via composition $\nabla_{G'}\circ\nabla_G^{-1}$ for any pair of fatgraph spines G,G' of S, we derive a representation of the Ptolemy groupoid, i.e., the combinatorial model for the fundamental path groupoid of Teichmuller space, as a group of automorphisms of this algebra. The space $\bar{H}$ comes equipped with a geometrically natural product induced by stacking cylinders on top of one another and furthermore supports related operations which arise by gluing a homology handlebody to one end of a cylinder or to another homology handlebody. We compute how $\nabla_G$ interacts with all three operations explicitly in terms of natural products on Jacobi diagrams and certain diagrammatic constants. Our main result gives an explicit extension of the LMO invariant of 3-manifolds to the Ptolemy groupoid in terms of these operations, and this groupoid extension nearly fits the paradigm of a TQFT. We finally re-derive the Morita-Penner cocycle representing the first Johnson homomorphism using a variant/generalization of $\nabla_G$.

math.GT↗

arXiv2009

On the Kontsevich integral of Brunnian links

The purpose of the paper is twofold. First, we give a short proof using the Kontsevich integral for the fact that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor mu-bar link-homotopy invariants of length n+1. Second, we describe the structure of the Brunnian part of the degree 2n-graded quotient of the Goussarov--Vassiliev filtration for (n+1)-component links.

math.GT↗

arXiv2009

Characterization of Finite Type String Link Invariants of Degree < 5

In this paper, we give a complete set of finite type string link invariants of degree <5. In addition to Milnor invariants, these include several string link invariants constructed by evaluating knot invariants on certain closure of (cabled) string links. We show that finite type invariants classify string links up to C_k-moves for k<6, which proves, at low degree, a conjecture due to Goussarov and Habiro. We also give a similar characterization of finite type concordance invariants of degree <6.

math.GT↗

arXiv2008

On the classification of links up to finite type

We use an action, of 2l-component string links on l-component string links, defined by the first author and Xiao-Song Lin, to lift the indeterminacy of finite type link invariants. The set of links up to this new indeterminacy is in bijection with the orbit space of the restriction of this action to the stabilizer of the identity. Structure theorems for the sets of links up to C_n-equivalence and Self-C_n-equivalence are also given.

math.GT↗

arXiv2008

Borromean surgery formula for the Casson invariant

It is known that every oriented integral homology 3-sphere can be obtained from S^3 by a finite sequence of Borromean surgeries. We give an explicit formula for the variation of the Casson invariant under such a surgery move. The formula involves simple classical invariants, namely the framing, linking number and Milnor's triple linking number. A more general statement, for n independent Borromean surgeries, is also provided, which involves an additional cubic expression in some linking numbers of the surgery link.

math.GT↗

arXiv2007

Finite type invariants and Milnor invariants for Brunnian links

A link L in the 3-sphere is called Brunnian if every proper sublink of L is trivial. In a previous paper, the first author proved that the restriction to Brunnian links of any Goussarov-Vassiliev finite type invariant of (n+1)-component links of degree<2n is trivial. The purpose of this paper is to study the first nontrivial case. We will show that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor link-homotopy invariants of length n+1.

math.GT↗

arXiv2006

On C_n-moves for links

A C_n-move is a local move on links defined by Habiro and Goussarov, which can be regarded as a `higher order crossing change'. We use Milnor invariants with repeating indices to provide several classification results for links up to C_n-moves, under certain restrictions. Namely, we give a classification up to C_4-moves of 2-component links, 3-component Brunnian links and n-component C_3-trivial links, and we classify n-component link-homotopically trivial Brunnian links up to C_{n+1}-moves.

math.GT↗

arXiv2005

Goussarov-Habiro theory for string links and the Milnor-Johnson correspondence

We study the Goussarov-Habiro finite type invariants theory for framed string links in homology balls. Their degree 1 invariants are computed: they are given by Milnor's triple linking numbers, the mod 2 reduction of the Sato-Levine invariant, Arf and Rochlin's $μ$ invariant. These invariants are seen to be naturally related to invariants of homology cylinders through the so-called Milnor-Johnson correspondence: in particular, an analogue of the Birman-Craggs homomorphism for string links is computed. The relation with Vassiliev theory is studied.

math.GT↗

arXiv2004

On Vassiliev invariants of order two for string links

We show that the Casson knot invariant, linking number and Milnor's triple linking number, together with a certain 2-string link invariant $V_2$, are necessary and sufficient to express any string link Vassiliev invariant of order two. Explicit combinatorial formulas are given for these invariants. This result is applied to the theory of claspers for string links.

math.GT↗