arXiv research

Morse theory extended to noncompact manifolds with complex geometric data.

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent diagrams and their homotopy colimits. We also comment on the simple homotopy ty…

Study shows equivariant Khovanov homotopy types are equivalent.

Study shows exotic Dehn twists on certain 3-sphere fillings.

We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformat…

Dehn twists on K3-type 4-manifolds are not homotopy coherently Nielsen realizable.

We consider a knot homotopy as a cylinder in 4-space. An ordinary triple point $p$ of the cylinder is called {\em coherent} if all three branches intersect at $p$ pairwise with the same index. A {\em triple unknotting} of a classical knot $K$ is a homotopy which connects $K$ with the trivial knot and which has as singu…

We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar diagram produces a coherently diagonal complex.

There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, the…

New description of $(1,1)$ L-space knots leads to non-left-orderable surgeries.

Study surfaces in 4-manifolds using banded unlink diagrams.

Determines regular homotopy classes for link immersions of simple singularities.

Smooth actions of infinite groups linked to homotopy theory.

A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link d…

Extends Milnor invariants to surface-links using cut-diagrams.

Formula for computing triple-cup product from Heegaard diagrams of 3-manifolds.

Paper explores relationships between triple chords and a specific homotopy relation in knot theory.

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of th…

A virtual $n$-string is a chord diagram with $n$ core circles and a collection of arrows between core circles. We consider virtual $n$-strings up to virtual homotopy, compositions of flat virtual Reidemeister moves on chord diagrams. Given a virtual 1-string $α$, Turaev associated a based matrix that encodes invariants…

Groups satisfy linear surface isoperimetric functions.

The reduced peripheral system was introduced by Milnor in the fifties for the study of links up to link-homotopy, i.e. up to isotopies and crossing changes within each link component. However, for four or more components, this invariant does not yield a complete link-homotopy invariant. This paper provides two characte…

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…

Several new combinatorial descriptions of closed 4-manifolds have recently been introduced in the study of smooth maps from 4-manifolds to surfaces. These descriptions consist of simple closed curves in a closed, orientable surface and these curves appear as so called vanishing sets of corresponding maps. In the presen…

Study of spaces of pure braids and string links using diagrams and integrals.

Study rational homotopy types of embedding spaces of manifolds.

New lattice path method for statistical inference of persistent diagrams.

We study configuration space integral formulas for Milnor's homotopy link invariants, showing that they are in correspondence with certain linear combinations of trivalent trees. Our proof is essentially a combinatorial analysis of a certain space of trivalent "homotopy link diagrams" which corresponds to all finite ty…

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

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

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

Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham…

We discuss a topological approach to words introduced by the author. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants …

Let $C$ be an algebraic curve of genus $g$. A coherent system on $C$ consists of a pair $(E,V)$, where $E$ is an algebraic vector bundle over $C$ of rank $n$ and degree $d$ and $V$ is a subspace of dimension $k$ of the space of sections of $E$. The stability of the coherent system depends on a parameter $α$. We study t…

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is al…

Refines Khovanov homology using signed Burnside categories.

Functor decomposes Khovanov spectra for non-alternating diagrams.

New insights into Khovanov homology complexity and topological structure.

New equivalence relation for links using cut-diagrams.

Study finds new knot distances and chirally cosmetic bands using grid diagrams.

Scannell and Sinha considered a spectral sequence to calculate the rational homotopy groups of spaces of long knots in n-dimensional Euclidean space, for n greater than or equal to 4. At the end of their paper they conjecture that when n is odd, the terms on the antidiagonal on the second page precisely give the space …

In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. Each surface diagram co…

New invariant distinguishes lens spaces via categorified homotopy E_3-algebra.

Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the homotopy type of X^j(L) depends only on the isotopy class of the corresponding link.

Study homotopy types of free racks and quandles, proving analogs of Milnor's theorem.

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 introduce the notion of partial presimplicial set and construct its geometric realization. We show that any semiadequate diagram yields a partial presimplicial set leading to a geometric realization of the almost-extreme Khovanov homology of the diagram. We give a concrete formula for the homotopy type of this geome…

We compare two combinatorial models for the moduli space of two-dimensional cobordisms: Bödigheimer's radial slit configurations and Godin's admissible fat graphs, producing an explicit homotopy equivalence using a "critical graph" map. We also discuss natural compactifications of these two models, the unilevel harmoni…

Classifies crossings in tangles on surfaces, finding no nontrivial indices.