arXiv research

A new method for virtual homotopy classes of virtual strings.

The paper finds the minimum number of intersections for curves under virtual homotopy.

Defines a new Steenrod square for virtual links, linking to Khovanov-Lipshitz-Sarkar stable homotopy type.

A virtual string is a scheme of self-intersections of a closed curve on a surface. We study algebraic invariants of strings as well as two equivalence relations on the set of strings: homotopy and cobordism. We show that the homotopy invariants of strings form an infinite dimensional Lie group. We also discuss connecti…

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…

Research extends Cahn's results on virtual strings to connected non-parallel strings.

A virtual string is a scheme of self-intersections of a closed curve on a surface. We introduce virtual strings and study their geometric properties and homotopy invariants. We also discuss connections between virtual strings, Gauss words, and virtual knots.

Study homotopy motions of surfaces in 3-manifolds.

Forbidden moves categorify fused links into quivers.

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low de…

New invariant for virtual n-links defined and studied.

We define virtual braid groups of type B and construct a morphism from such a group to the group of isomorphism classes of some invertible complexes of bimodules up to homotopy.

We define a generalization of virtual links to arbitrary dimensions by extending the geometric definition due to Carter et al. We show that many homotopy type invariants for classical links extend to invariants of virtual links. We also define generalizations of virtual link diagrams and Gauss codes to represent virtua…

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…

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This r…

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.

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

Classifies welded string links up to specific moves.

We consider several classes of knotted objects, namely usual, virtual and welded pure braids and string links, and two equivalence relations on those objects, induced by either self-crossing changes or self-virtualizations. We provide a number of results which point out the differences between these various notions. Th…

We define the virtual bridge number $vb(K)$ and the virtual unknotting number $vu(K)$ invariants for virtual knots. For ordinary knots $K$ they are closely related to the bridge number $b(K)$ and the unknotting number $u(K)$ and we have $vu(K)\leq u(K), vb(K)\leq b(K).$ There are no ordinary knots $K$ with $b(K)=1.$ We…

This paper establishes a correspondence between biquandle and quandle colorings for classical and surface links.

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

Study on real algebraic curves' moduli spaces using a new complex.

We define a generalization of virtual links to arbitrary dimensions by extending the geometric definition due to Carter et al. We show that many homotopy type invariants for classical links extend to invariants of virtual links. We also define generalizations of virtual link diagrams and Gauss codes to represent virtua…

Paper characterizes links with same reduced peripheral system.

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

We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$.

In a previous paper, we defined an operation $μ$ that generalizes Turaev's cobracket for loops on a surface. We showed that, in contrast to the cobracket, this operation gives a formula for the minimum number of self-intersections of a loop in a given free homotopy class. In this paper we consider the corresponding que…

Detects free group automorphisms using homology of covers.

New unitary representations for Thompson's group V and virtual links.

Develop criteria to distinguish Gromov-Thurston manifolds using algebraic Dehn fillings.

Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module generated by these homotopy classes of curves, a virtual endomorphism on the pur…

This paper studies rotational virtual knot theory and its relationship with quantum link invariants. Every quantum link invariant for classical knots and links extends to an invariant of rotational virtual knots and links. The paper sets up the background virtual knot theory, defines rotational virtual knot theory, stu…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent pa…

We extend Milnor's mu-invariants of link homotopy to ordered (classical or virtual) tangles. Simple combinatorial formulas for mu-invariants are given in terms of counting trees in Gauss diagrams. Invariance under Reidemeister moves corresponds to axioms of Loday's diassociative algebra. The relation of tangles to dias…

The present paper is a review of the current state of Graph-Link Theory (graph-links are also closely related to homotopy classes of looped interlacement graphs), dealing with a generalisation of knots obtained by translating the Reidemeister moves for links into the language of intersection graphs of chord diagrams. I…

We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphis…

Solves a problem related to classifying spaces for proper actions and Nielsen Realization.

Paper discusses gliding algorithm to transform tangle diagrams into a specific form.

New bounds on virtual link genus using quantum supergroups.

Let $Γ$ be a Coxeter graph, let $(W,S)$ be its associated Coxeter system, and let $(A,Σ$) be its associated Artin-Tits system. We regard $W$ as a reflection group acting on a real vector space $V$. Let $I$ be the Tits cone, and let $E_Γ$ be the complement in $I +iV$ of the reflecting hyperplanes. Recall that Charney, D…

This paper extends link invariants using functors on nanophrases.

We prove that each nonpositively curved square VH-complex can be turned functorially into a locally 6-large simplicial complex of the same homotopy type. It follows that any group acting geometrically on a CAT(0) square VH-complex is systolic. In particular the product of two finitely generated free groups is systolic,…

We survey recent developments which led to the proof of the Benson-Gordon conjecture on Kähler quotients of solvable Lie groups. In addition we prove that the Albanese morphism of a Kähler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical …

We define the representation ring of a saturated fusion system $\mathcal F$ as the Grothendieck ring of the semiring of $\mathcal F$-stable representations, and study the dimension functions of $\mathcal F$-stable representations using the transfer map induced by the characteristic idempotent of $\mathcal F$. We find a…

Suppose $X$ and $Y$ are compact connected topological 4-manifolds with fundamental group $π$. For any $r \geqslant 0$, $Y$ is $r$-stably homeomorphic to $X$ if $Y \# r(S^2 \times S^2)$ is homeomorphic to $X \# r(S^2\times S^2)$. How close is stable homeomorphism to homeomorphism? When the common fundamental group $π$ i…

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explici…

We show that if $X$ is an indecomposable $PD_3$-complex and $π_1(X) is the fundamental group of a reduced finite graph of finite groups but is not virtually cyclic then$X$is orientable, the underlying graph is a tree, all the edge groups are$Z/2Z$and all but at most one of the vertex groups is dihedral of order$2m…