arXiv research

Let $M$ be a closed connected manifold, $f$ be a Morse map from $M$ to a circle, $v$ be a gradient-like vector field satisfying the transversality condition. The Novikov construction associates to these data a chain complex $C_*=C_*(f,v)$. There is a chain homotopy equivalence between $C_*$ and completed simplicial cha…

Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras are homotopy equivalent. We apply this result to $L_\infty$-algebroids to show th…

The paper classifies knot Floer complexes of low width, simplifying knot bases.

Link Floer homology is split into snake complexes and local systems.

We prove an analogue of the de Rham theorem for the extended L^2-cohomology introduced by M. Farber. This is done by establishing that the de Rham complex over a compact closed manifold with coefficients in a flat Hilbert bundle E of A-modules over a finite von Neumann algebra A is chain-homotopy equivalent (with bound…

Inspired by bordered Floer homology, we describe a type A structure on a Khovanov homology for a tangle, which complements the type D structure in a previous paper. The type A structure is a differential module over a certain algebra. This can be paired with the type D structure to recover the Khovanov chain complex. T…

We consider the closed orbit structure of generic gradient flows of Morse closed 1-forms. The torsion of a chain homotopy equivalence between the Novikov complex and the completed simplicial chain complex of the universal cover detects the eta function of the flow. We extend this result to arbitrary Morse closed 1-form…

Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded co…

Let f be a Morse map from a closed manifold to a circle. S.P.Novikov constructed an analog of the Morse complex for f. The Novikov complex is a chain complex defined over the ring of Laurent power series with integral coefficients and finite negative part. This complex depends on the choice of a gradient-like vector fi…

Two Heegaard Floer knot complexes are called stably equivalent if an acyclic complex can be added to each complex to make them filtered chain homotopy equivalent. Hom showed that if two knots are concordant, then their knot complexes are stably equivalent. Invariants of stable equivalence include the concordance invari…

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The invariant of a family consists of a filtered chain homotopy type, which gives rise to a …

We give chain homotopy maps of Khovanov-type link homology of a universal differential. The universal differential, discussed by Mikhail Khovanov, Marco Mackaay, Paul Turner and Pedro Vaz, contains the original Khovanov's differential and Lee's differential. We also consider the conditions of any differential ensuring …

Introduces zebra structures on surfaces for directional foliation.

Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology f…

We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected su…

There is a canonical way to associate two simplicial complexes K, L to any relation $R\subset X\times Y$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $R\subset X\times Y$ when…

New examples of manifolds with similar homotopy but different simple homotopy types.

New examples of manifolds that are homotopy but not simple homotopy equivalent.

We introduce some chain maps between Khovanov complexes. Each of the chain maps commutes with a chain homotopy map and a retraction maps which obtain a Reidemeister invariance of Khovanov homology.

Complex equivalence classes found in graph homotopy.

Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.

New infinite family of 4-manifolds with same stable properties but not homotopy equivalent.

Study shows equivariant Khovanov homotopy types are equivalent.

Spaces of metrics with invertible Dirac operator are homotopy equivalent for cobordant manifolds.

We show that a well-known result on solutions of the Maurer--Cartan equation extends to arbitrary (inhomogeneous) odd forms: any such form with values in a Lie superalgebra satisfying $dø+ø^2=0$ is gauge-equivalent to a constant, $ø=gCg^{-1}-dg\,g^{-1}\,.$ This follows from a non-Abelian version of a chain homotopy f…

Groups of homotopy equivalences of graphs help realize compact subgroups.

Constructs a support-preserving homotopy for differential forms with boundary decay estimates.

We use the one parameter fixed point theory of Geoghegan and Nicas to get information about the closed orbit structure of transverse gradient flows of closed 1-forms on a closed manifold M. We define a noncommutative zeta function in an object related to the first Hochschild homology group of the Novikov ring associate…

Computes homology of an obstruction chain complex in grid homology.

Homotopy equivalences of 3-manifolds have a bounded power.

Proves loop coproduct invariance under simple homotopy equivalences.

Knot lattice homology invariant is preserved under certain 3-manifold diffeomorphisms.

Homotopy equivalence between formalities with different covariant derivatives.

The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real …

Homotopy on nanophrases is an equivalence relation defined using some data called a homotopy data triple. We define a product on homotopy data triples. We show that any homotopy data triple can be factorized into a product of prime homotopy data triples and this factorization is unique up to isomorphism and order. If a…

The paper finds manifold structures on complex spaces.

The paper defines when surfaces are homotopy equivalent to graphs and explores their mapping class groups.

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 consider the flows generated by generic gradients of Morse maps of a closed connected manifold $M$ to a circle. To each such flow we associate an invariant counting the closed orbits of the flow. Each closed orbit is counted with the weight derived from its index and homotopy class. The resulting invariant is called…

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

We define an algebraic/combinatorial object on the front projection $Σ$ of a Legendrian knot called a Morse complex sequence, abbreviated MCS. This object is motivated by the theory of generating families and provides new connections between generating families, normal rulings, and augmentations of the Chekanov-Eliashb…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to neighborhood homotopy by the elementary divisor of a linking matrix with respect to th…

New invariant detects non-homotopy equivalent 4-manifolds.

Constructs Lepage equivalents for arbitrary-order Lagrangians.

The paper studies obstructions to homotopy invariance of loop coproducts.

Survey on finite group actions on CW-complexes homotopy to spheres.

Minimal complexes for two-strand braids defined directly.

Paper defines weak (1, 3) homotopy for knot projections and classifies trivial knots.