arXiv research

Homological algebra used to study local equivalence of complex rings.

Contact gluing maps are shown to be equivalent in sutured Floer homology.

Homological stability fails for Cremona groups, rational varieties, and function fields.

This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.

Proves Khovanov homology has no torsion for bipartite circle graphs.

For S a compact connected oriented surface, we consider homology cylinders over S: these are homology cobordisms with an extra homological triviality condition. When considered up to Y_2-equivalence, which is a surgery equivalence relation arising from the Goussarov-Habiro theory, homology cylinders form an Abelian gro…

New local equivalence groups refine Rasmussen's s-invariant.

Real Seiberg-Witten and monopole Floer homologies are equivalent for certain 3-manifolds.

Two Pin(2)-equivariant Floer homologies are shown to be equivalent.

New conditions prevent non-trivial relations in local equivalence group.

Homology 3-spheres are shown to be equivalent through specific twists.

Study $Θ$-invariants for spherical 3-manifolds via $\mathbb{Z}π$-homology equivalences.

Study shows how knot Floer homology and bordered Floer theory are linked.

We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories for stable equivalence classes.

In 2004, Carter, Elhamdadi and Saito defined a homology theory for set-theoretic Yang-Baxter operators(we will call it the "algebraic" version in this article). In 2012, Przytycki defined another homology theory for pre-Yang-Baxter operators which has a nice graphic visualization(we will call it the "graphic" version i…

The paper studies Goeritz equivalence in lens spaces, describing actions and obstructions.

Researchers debunk a generalized Property R conjecture for 2-component links.

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 give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.

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…

New findings on 3-manifolds using Heegaard Floer theory.

Grid homology confirms the Upsilon invariant in knot theory.

We show that monopole Floer homology (as defined by Kronheimer and Mrowka) is isomorphic to the S^1-equivariant homology of the Seiberg-Witten Floer spectrum constructed by the second author.

We define Lie algebroids over infinite jet spaces and establish their equivalent representation through homological evolutionary vector fields.

We present three equivalent definitions of $S^1$-equivariant symplectic homology. We show that, using rational coefficients, the positive part of $S^1$-equivariant symplectic homology is isomorphic to linearized contact homology, when the latter is defined. We present several computations and applications, and introduc…

Survey on proof of homology isomorphism between two complex theories.

We give a proof that the geometric K-homology theory for finite CW-complexes defined by Baum and Douglas is isomorphic to Kasparov's K-homology. The proof is a simplification of more elaborate arguments which deal with the geometric formulation of equivariant K-homology theory.

We compute bordered Floer homology CFDD of (2,2n)-torus link complement, and discuss assorted examples and type-DD structure homotopy equivalence.

This paper gives a new obstruction for ribbon-move equivalence of 2-knots. Let $K$ and $K'$ be 2-knots. Let $K$ and $K'$ are ribbon-move equivalent. One corollary to our main theorem is as follows. A 2-dimensional fibered knot whose fiber is the punctured 3-dimensional torus is not ribbon-move equivalent to any 2-dimen…

Study shows knots in homology spheres can be topologically equivalent to those in $S^3$.

An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriatel…

For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results generalize known results for the analytic coarse assembly map for K-homology to general …

Let M be a closed, oriented, n -manifold, and LM its free loop space. Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively. In this paper w…

We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. T…

Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the configuration space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(M,K) of this B…

The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homolog…

Proves lattice homology equals Heegaard Floer homology for certain 3-manifolds.

Geometric representations of cycles in quandle homology theory are given in terms of colored knot diagrams. Abstract knot diagrams are generalized to diagrams with exceptional points which, when colored, correspond to degenerate cycles. Bounding chains are realized, and used to obtain equivalence moves for homologous c…

We show that for a tangle $T$ with $-\partial^0T \cong \partial^1 T$ the Hochschild homology of the tangle Floer homology $\widetilde{\mathit{CT}}(T)$ is equivalent to the link Floer homology of the closure $T' = T/(-\partial^0T \sim \partial^1 T)$ of the tangle, linked with the tangle axis. In addition, we show that t…

Unified theories for colored sl(2) knot homology.

Detects free group automorphisms using homology of covers.

Large PL surfaces in homology balls can have arbitrarily high genus.

We calculate the singular homology and Čech cohomology groups of the Harmonic archipelago. As a corollary, we prove that this space is not homotopy equivalent to the Griffiths space. This is interesting in view of Eda's proof that the first singular homology groups of these spaces are isomorphic.

This paper is a short introduction to the combinatorial version of tangle Floer homology defined in "Combinatorial tangle Floer homology". There are two equivalent definitions---one in terms of strand diagrams, and one in terms of bordered grid diagrams. We present both, discuss the correspondence, and carry out some e…

We define and prove properties of link lattice complexes for plumbed links.

We lift the characteristic-2 totally twisted Khovanov homology of Roberts and Jaeger to a theory with integer coefficients. The result is a complex computing reduced odd Khovanov homology for knots. This complex is equivalent to a spanning-tree complex whose differential is explicit modulo a sign ambiguity coming from …

In a previous article, we constructed an invariant Z for null-homologous knots in rational homology spheres, from equivariant intersections in configuration spaces. Here we present an equivalent definition of Z in terms of configuration space integrals, we prove that Z is multiplicative under connected sum, and we prov…

New homomorphism from Khovanov homology for knot concordance.