arXiv research

By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that they satisify a stratified version of Whitehead's theorem. As an example, we introd…

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…

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 li…

Innovates a three-component link homotopy invariant.

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…

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 su…

New tribrackets defined to count link homotopy invariants.

New invariant for 4-manifolds with framed links, stronger than existing invariants.

The Hopf invariant is linked to null-homotopy properties of maps.

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 p…

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 $ω$.

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 com…

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 numb…

New homotopy types and invariants defined for knots.

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.

V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…

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 t…

Defines new link-homotopy invariants using Milnor's higher order link invariants.

The thesis defines and proves invariants for manifolds of bounded geometry.

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 bounda…

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…

Proves loop coproduct invariance under simple homotopy equivalences.

We show that Chen-Ruan cohomology is a homotopy invariant in certain cases. We introduce the notion of a T-representation homotopy, which is a stringent form of homotopy under which Chen-Ruan cohomology is invariant. We show that while hyperkahler quotients of the cotangent bundle to a complex vector space by a circle …

New invariant connects symplectic fillings and contact structures.

We prove that the higher signature for any close oriented manifold is a simple-homotopy invariant.

We prove that any smooth foliation that admits a Riemannian foliation structure has a well-defined basic signature, and this geometrically defined invariant is actually a foliated homotopy invariant. We also show that foliated homotopic maps between Riemannian foliations induce isomorphic maps on basic Lichnerowicz coh…

Researchers compute Floer homotopy types and eta invariants for Seifert 3-manifolds.

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 techni…

The paper studies obstructions to homotopy invariance of loop coproducts.

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 Al…

New tools prove smooth actions on exotic spheres.

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…

Determines regular homotopy classes for link immersions of simple singularities.

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.

We give a variant of Naef's formula for the failure of invariance of the string topology coproduct under homotopy equivalences, using an obstruction class build from the higher homotopy data one can associate to a homotopy equivalence as well as the ``fake diagonal''. The vanishing of our obstruction class can be seen …

The paper finds manifold structures on complex spaces.

We prove the homotopy invariance of L^2 torsion for covering spaces, whenever the covering transformation group is either residually finite or amenable. In the case when the covering transformation group is residually finite and when the L^2 cohomology of the covering space vanishes, the homotopy invariance was establi…

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 introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams o…

New invariant detects non-homotopy equivalent 4-manifolds.

Invariant detects triple points in sphere immersions.

In this paper we prove a tertiary index theorem which relates a spectral geometric and a homotopy theoretic invariant of an almost complex manifold with framed boundary. It is derived from the index theoretic and homotopy theoretic versions of a complex elliptic genus and interestingly related with the structure of the…

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…

Paper introduces new link homotopy invariants and applies them to 3-bouquet graphs.

Homotopy invariance proven for twisted Lie algebroid cohomologies.

If M is a compact oriented manifold-with-boundary whose fundamental group is virtually nilpotent or Gromov-hyperbolic, we show that the higher signatures of M are oriented-homotopy invariants.

Study on metrics with positive scalar curvature on manifolds with singularities.

In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group o…