Blake Mellor
Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the pairwise linking numbers of the components.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Homotopy theories of colored links and spatial graphs
本文基于Habegger-Lin理论，完成了有色弦链的有色链环同伦分类，并进一步分别实现了有色链环的有色链环同伦分类与空间图的分支同伦分类。
A handlebody-link is a disjoint union of embeddings of handlebodies in $S^3$ and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numbers for handlebody-links. In this paper, we construct a family of invariants for HL-homotopy classes of general handlebody-links, by using Milnor's link-homotopy invariants. Moreover, we give a bijection between the set of HL-homotopy classes of almost trivial handlebody-links an…
Two string links are equivalent up to $2n$-moves and link-homotopy if and only if their all Milnor link-homotopy invariants are congruent modulo $n$. Moreover, the set of the equivalence classes forms a finite group generated by elements of order $n$. The classification induces that if two string links are equivalent up to $2n$-moves for every $n>0$, then they are link-homotopic.
We introduce the notion of quasi-triviality of quandles and define homology of quasi-trivial quandles. Quandle cocycle invariants are invariant under link-homotopy if they are associated with 2-cocycles of quasi-trivial quandles. We thus obtain a lot of numerical link-homotopy invariants.
Two links are link-homotopic if they are transformed into each other by a sequence of self-crossing changes and ambient isotopies. The link-homotopy classes of 4-component links were classified by Levine with enormous algebraic computations. We modify the results by using Habiro's clasper theory. The new classification gives more symmetrical and schematic points of view to the link-homotopy classes of 4-component links. As applications, we give several new subsets of the link-homotopy classes of 4-component links which are classified by comparable invariants and give an algorithm which determi…
It has long been known that a Milnor invariant with no repeated index is an invariant of link homotopy. We show that Milnor's invariants with repeated indices are invariants not only of isotopy, but also of self C_k-moves. A self C_k-move is a natural generalization of link homotopy based on certain degree k clasper surgeries, which provides a filtration of link homotopy classes.
An explicit polynomial in the linking numbers $l_{ij}$ and Milnor's triple linking numbers $μ(rst)$ on six component links is shown to be a well-defined finite type link-homotopy invariant. This solves a problem raised by B. Mellor and D. Thurston. An extension of our construction also produces a finite type link invariant which detects the invertibility for some links.
We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.
We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.
We prove the analogue of the Concordance Implies Isotopy in Codimension $\ge 3$ Theorem for link maps, together with some other its singular analogues. In the case of spherical link maps, a stronger result was independently obtained by P. Teichner (by different methods).
In 1993, Fenn, Rourke and Sanderson introduced rack spaces and rack homotopy invariants, and modifications to quandle spaces and quandle homotopy invariants were introduced by Nosaka in 2011. In this paper, we define the Cayley-type graph and the extended quandle space of a quandle in analogy to rack and quandle spaces. Moreover, we construct the shadow homotopy invariant of a classical link and prove that the shadow homotopy invariant is equal to the quandle homotopy invariant multiplied by the order of a quandle.
Three-component link homotopy
本文构造三分量链环同伦不变量及相应区分工具，证明同像链环映射未必链环同伦，并推广至环形与n分量情形。
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite type. Finally, we compare our approach to another approach for defining finite type invariants within linking classes.
Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples of non-splittable spatial graphs up to edge (resp. vertex)-homotopy, all of whose constituent links are link-homotopically trivial.
Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delta-equivalence of knots in the complement of a certain link. We show that Milnor invariants determine whether a knot in the complement of a trivial link is null-homotopic, and give a sufficient condition…
The structure of the Khovanov homology of $(n,m)$ torus links has been extensively studied. In particular, Marko Stosic proved that the homology groups stabilize as $m\rightarrow\infty$. We show that the Khovanov homotopy types of $(n,m)$ torus links, as constructed by Robert Lipshitz and Sucharit Sarkar, also become stably homotopy equivalent as $m\rightarrow\infty$. We provide an explicit bound on values of $m$ beyond which the stabilization begins. As an application, we give new examples of torus links with non-trivial $Sq^2$ action.
Khovanov-Lipshitz-Sarkar homotopy type for links in thickened surfaces
本文在先前高亏格曲面研究的基础上，定义了增厚环面中链环同伦Khovanov同调的Khovanov-Lipshitz-Sarkar稳定同伦型。
Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. Fleming and the author introduced some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the constituent 2-component algebraically split links. In this paper, we construct some new edge (resp. vertex)-homotopy invariants of spatial graphs without any restriction of linking numbers of the constituent 2-component links by applying the generalized Sato-Levine invariant.
Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial graphs, our new relation allows analogues of some standard link homotopy results and invariants. In particular we can define a type of Milnor group for a spatial graph under component homotopy, and this group determines whether or not the spatial graph is splittable. More surpri…
How many crossing changes or Delta-moves does it take to get to a homotopy trivial link?
本文利用Habegger-Lin链环同伦分类和极值图论，改进了同伦平凡化数的上界，证明其接近最优，并确定了所有4分量链环的同伦平凡化数，同时给出Delta同伦平凡化数的三次上界。
We consider knotted annuli in 4-space, called 2-string-links, which are knotted surfaces in codimension two that are naturally related, via closure operations, to both 2-links and 2-torus links. We classify 2-string-links up to link-homotopy by means of a 4-dimensional version of Milnor invariants. The key to our proof is that any 2-string link is link-homotopic to a ribbon one; this allows to use the homotopy classification obtained in the ribbon case by P. Bellingeri and the authors. Along the way, we give a Roseman-type result for immersed surfaces in 4-space. We also discuss the case of ri…
Given a clover link, we construct a bottom tangle by using a disk/band surface of the clover link. Since the Milnor number is already defined for a bottom tangle, we define the Milnor number for the clover link to be the Milnor number for the bottom tangle and show that for a clover link, if Milnor numbers of length k or less vanish, then Milnor numbers of length 2k+1 or less are well-defined. Moreover we prove that two clover links whose Milnor numbers of length k or less vanish are equivalent up to edge-homotopy and $C_{2k+1}$-equivalence if and only if those Milnor numbers of length 2k+1 or…
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles. Our Kh…
We affirmatively address the question of whether the proposed link homotopy invariant $ω$ of Li is well-defined. It is also shown that if one wishes to adapt the homotopy invariant $τ$ of Schneiderman-Teichner to a link homotopy invariant of link maps, the result coincides with $ω$.
By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, we show that there are an infinite number of equivalence classes of Gauss words under homotopy.
We define a Khovanov homotopy type for $sl_2(\mathbb{C})$ colored links and quantum spin networks and derive some of its basic properties. In the case of $n$-colored B-adequate links, we show a stabilization of the homotopy types as the coloring $n\rightarrow\infty$, generalizing the tail behavior of the colored Jones polynomial. Finally, we also provide an alternative, simpler stabilization in the case of the colored unknot.
In this paper we construct some invariants of spatial graphs by disk-summing the constituent knots and show the delta edge-homotopy invariance of them. As an application, we show that there exist infinitely many slice spatial embeddings of a planar graph up to delta edge-homotopy, and there exist infinitely many boundary spatial embeddings of a planar graph up to delta edge-homotopy.
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 le…
On braids and links up to link-homotopy
该研究基于Habiro的clasper同伦演算，一方面定义计算同伦辫群的忠实线性表示，另一方面给出4分量链环链同伦分类的几何证明并推进代数分裂下5分量链环的分类。
We show that if a link J in the 3-sphere is homotopy ribbon concordant to a link L then the Alexander polynomial of L divides the Alexander polynomial of J.
We investigate some algebraic structures called quasi-trivial quandles and we use them to study link-homotopy of pretzel links. Precisely, a necessary and sufficient condition for a pretzel link with at least two components being trivial under link-homotopy is given. We also generalize the quasi-trivial quandle idea to the case of biquandles and consider enhancement of the quasi-trivial biquandle cocycle counting invariant by quasi-trivial biquandle cocycles, obtaining invariants of link-homotopy type of links analogous to the quasi-trivial quandle cocycle invariants in Ayumu Inoue's article a…
We introduce the (general) homotopy groups of spheres as link invariants for Brunnian-type links through the investigations on the intersection subgroup of the normal closures of the meridians of strongly nonsplittable links. The homotopy groups measure the difference between the intersection subgroup and symmetric commutator subgroup of the normal closures of the meridians and give the invariants of the links obtained in this way. Moreover the higher homotopy-group invariants can produce some links that could not be detected by the Milnor invariants. Furthermore all homotopy groups of spheres…
Pseudodiagrams are knot or link diagrams where some of the crossing information is missing. Pseudoknots are equivalence classes of pseudodiagrams, where equivalence is generated by a natural set of Reidemeister moves. In this paper, we introduce a Gauss-diagrammatic theory for pseudoknots which gives rise to the notion of a virtual pseudoknot. We provide new, easily computable isotopy and homotopy invariants for classical and virtual pseudodiagrams. We also give tables of unknotting numbers for homotopically trivial pseudoknots and homotopy classes of homotopically nontrivial pseudoknots. Sinc…
Given an $m$-periodic link $L\subset S^3$, we show that the Khovanov spectrum $\mathcal{X}_L$ constructed by Lipshitz and Sarkar admits a homology group action. We relate the Borel cohomology of $\mathcal{X}_L$ to the equivariant Khovanov homology of $L$ constructed by the second author. The action of Steenrod algebra on the cohomology of $\mathcal{X}_L$ gives an extra structure of the periodic link. Another consequence of our construction is an alternative proof of the localization formula for Khovanov homology, obtained first by Stoffregen and Zhang. By applying Dwyer-Wilkerson theorem we ex…
Real Floer Homotopy Types and $w$-Invariants
本研究用Fukumoto-Furuta $w$-不变量刻画自旋Seifert 3-流形实Seiberg--Witten Floer同伦型的局部等价类，借助实轨形Bauer-Furuta不变量证明环面纽结对应覆叠的同伦型局部等价类最终周期，且相关协连同态线性无关。
Ribbonness of Kervaire's sphere-link in homotopy 4-sphere and its consequences to 2-complexes
本文利用光滑解开猜想与光滑 4 维 Poincaré 猜想，证明了 Kervaire 球链与带状球链是等价概念，并由此引入可缩有限 2 维复形的带状圆盘链表示，证明了其连通子复形均是无球面的，部分肯定了 Whitehead 无球面猜想。
In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This gives a connection between links and homotopy groups. Similar results hold for braid and surface groups.
Invariance and naturality of knot lattice homology and homotopy
该研究证明纽结格同调是有理同调球中广义代数纽结光滑型的不变量，可由双重滤过同伦型的胞腔同调实现，还揭示了其同伦的自然性及奇点分解拓扑的相关结论。
We define a type of Niebrzydowski tribracket we call $Δ$-tribrackets and show that their counting invariants are invariants of link-homotopy. We further identify several classes of tribrackets whose counting invariants for oriented classical knots and links are trivial, including vertical tribrackets satisfying the center-involutory condition and horizontal tribrackets satisfying the late-commutativity condition. We provide examples and end with questions for future research.
We prove a geometric refinement of Alexander duality for certain 2-complexes, the so-called gropes, embedded into 4-space. This refinement can be roughly formulated as saying that 4-dimensional Alexander duality preserves the disjoint Dwyer filtration. In addition, we give new proofs and extended versions of two lemmas of Freedman and Lin which are of central importance in the A-B-slice problem, the main open problem in the classification theory of topological 4-manifolds. Our methods are group theoretical, rather than using Massey products and Milnor μ-invariants as in the original proofs.
On homotopy groups of spaces of embeddings of an arc or a circle: the Dax invariant
本文计算了弧或圆嵌入空间的第一个非平凡同伦群，在单连通4流形情形回答Arone-Szymik问题，并在3维情形给出Vassiliev型普适纽结不变量。
Link concordance implies link homotopy
本文证明了余维数至少为二时链环合流蕴含链环同伦，通过扩展分层Morse理论与Cerf理论并引入手指移动消除障碍，证明了高维链环的同伦平凡性。
Two link diagrams are link homotopic if one can be transformed into the other by a sequence of Reidemeister moves and self crossing changes. Milnor introduced invariants under link homotopy called $\barμ$. Nanophrases, introduced by Turaev, generalize links. In this paper, we extend the notion of link homotopy to nanophrases. We also generalize $\barμ$ to the set of those nanophrases that correspond to virtual links.
Koschorke introduced a map from the space of closed $n$-component links to the ordered configuration space of $n$-tuples of points in $\mathbb{R}^3$, and conjectured that this map separates homotopy links. The purpose of this paper is to construct an analogous map for string links, and to prove (1) this map in fact separates homotopy string links, and (2) Koschorke's original map factors through the map constructed here together with an analogue of Markov's closure map defined on the level of certain function spaces.
Characterization of the reduced peripheral system of links
本文研究了链环的约化外围系统，针对其在四个及以上分量时非完整不变量的局限，提出了两种等价链环的刻画方法：基于链环图的图示刻画和基于4维空间带状实体环面的拓扑刻画。
We extend Lipshitz-Sarkar's definition of a stable homotopy type associated to a link L whose cohomology recovers the Khovanov cohomology of L. Given an assignment c (called a coloring) of positive integer to each component of a link L, we define a stable homotopy type X_col(L_c) whose cohomology recovers the c-colored Khovanov cohomology of L. This goes via Rozansky's definition of a categorified Jones-Wenzl projector P_n as an infinite torus braid on n strands. We then observe that Cooper-Krushkal's explicit definition of P_2 also gives rise to stable homotopy types of colored links (using t…
Equivalence relations can be defined on Gauss phrases using combinatorial moves. In this paper we consider two closely related equivalence relations on Gauss phrases, homotopy and open homotopy. In particular, in each case, we define a new invariant and determine the values that it can attain.
The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role in the recent developments of knot theory. However, while skein relations for Alexander and Jones invariants are known for quite a while, a similar treatment of Milnor's mu-bar-invariants was missing. We fill this gap by deducing simple skein relations for link-homotopy mu-invariants of string links.
In a previous paper, the authors proved that Milnor link-homotopy invariants modulo $n$ classify classical string links up to $2n$-move and link-homotopy. As analogues to the welded case, in terms of Milnor invariants, we give here two classifications of welded string links up to $2n$-move and self-crossing virtualization, and up to $V^{n}$-move and self-crossing virtualization, respectively.
Two welded (respectively virtual) link diagrams are homotopic if one may be transformed into the other by a sequence of extended Reidemeister moves, classical Reidemeister moves, and self crossing changes. In this paper, we extend Milnor's mu and bar mu invariants to welded and virtual links. We conclude this paper with several examples, and compute the mu invariants using the Magnus expansion and Polyak's skein relation for the mu invariants.
Given a suitable link map f into a manifold M, we constructed, in [10], link homotopy invariants kappa(f) and mu(f). In the present paper we study the case M=S^n x R^{m - n} in detail. Here mu(f) turns out to be the starting term of a whole sequence mu^(s)(f), s = 0, 1, ..., of higher mu-invariants which together capture all the information contained in kappa(f). We discuss the geometric significance of these new invariants. In several instances we obtain complete classification results. A central ingredient of our approach is the homotopy theory of wedges of spheres.
It is proved that there exists an integer $L$ such that a framed manifold of dimension $2^l-2$, $l\le L$ has the trivial Kervaire Invariant.
We provide an alternative proof that Koschorke's $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techniques based on Habegger and Lin's string links. We frame the result in the language of Fox's torus homotopy groups and the rational homotopy Lie algebra of the configuration space $\text{Conf}(n)$ of $n$ points in $\mathbb{R}^3$. It allows us to express the relevant Milnor's $μ$--…
Regular homotopy classes of links of simple singularities and immersions associated with their Dynkin diagrams
本文确定了与Arnol'd简单奇点相关的浸入的正则同伦类，通过计算完整不变量证明链到5-球面的包含映射与Kinjo构造的Dynkin图浸入正则同伦，并确定了其Smale不变量。
Generalized square knots and homotopy 4-spheres
本文通过分析nR-链环研究同伦4-球面，证明在特殊2-柄附着于广义方结时，无1-柄且仅有两个2-柄的同伦4-球面微分同胚于标准4-球面，并构造了广义性质R猜想的潜在反例族。
We give a generalization of Fukaya's Morse homotopy theoretic approach for 2-loop Chern--Simons perturbation theory to 3-valent graphs with arbitrary number of loops at least 2. We construct a sequence of invariants of integral homology 3-spheres with values in a space of 3-valent graphs (Jacobi diagrams or Feynman diagrams) by counting graphs in an integral homology 3-sphere satisfying certain condition described by a set of ordinary differential equations.
Configuration space integrals have in recent years been used for studying the cohomology of spaces of (string) knots and links in $\mathbb{R}^n$ for $n>3$ since they provide a map from a certain differential algebra of diagrams to the deRham complex of differential forms on the spaces of knots and links. We refine this construction so that it now applies to the space of homotopy string links -- the space of smooth maps of some number of copies of $\mathbb{R}$ in $\mathbb{R}^n$ with fixed behavior outside a compact set and such that the images of the copies of $\R$ are disjoint -- even for $n=3…
Exotic 4-manifolds and Khovanov-Lipshitz-Sarkar homotopy type
本文提出了一种新的4维流形不变量，用于描述带有边界1链的流形，并证明其比现有同调类型更强。
Fundamental Quandles Do Not Determine the First Postnikov Invariant of 2-Knots
针对Plotnick--Suciu构造及Suciu的替代构造，研究发现基本quandle等对象无法决定定向2-纽结外部空间的同伦类型，还明确了Tanaka--Taniguchi例子的二阶同伦模性质。
In this paper, it is explained that a topological invariant for 3-manifold $M$ with $b_1(M)=1$ can be constructed by applying Fukaya's Morse homotopy theoretic approach for Chern--Simons perturbation theory to a local system on $M$ of rational functions associated to the free abelian covering of $M$. Our invariant takes values in Garoufalidis--Rozansky's space of Jacobi diagrams whose edges are colored by rational functions. It is expected that our invariant gives a lot of nontrivial finite type invariants of 3-manifolds.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。