Related papers: The cobordism hypothesis

We introduce a relation of cobordism for knots in thickened surfaces and study cobordism invariants of such knots.

We extend the Bass-Quillen Fundamental Theorem of Algebraic K-theory to the Waldhausen K-theory of connective ${\bf S}$-algebras. The same technique used in this extension also yields two localization theorems for the relative K-theory of a…

In this paper, we prove the K- and L-theoretical Isomorphism Conjecture for Baumslag-Solitar groups with coefficients in an additive category.

The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special…

We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data,…

We show that the link cobordism maps defined by the author are graded and satisfy a grading change formula. Using the grading change formula, we prove a new bound for $\Upsilon_K(t)$ for knot cobordisms in negative definite 4-manifolds. As…

In [Duke Math. J. 101 (1999) 359-426], Mikhail Khovanov constructed a homology theory for oriented links, whose graded Euler characteristic is the Jones polynomial. He also explained how every link cobordism between two links induces a…

We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…

We show that ribbon rational homology cobordism is a partial order within the class of irreducible 3-manifolds. This makes essential use of the methods recently employed by Ian Agol to show that ribbon knot concordance is a partial order.

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as powerful as resolution, also seen from a complexity point of view.

Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction with double glueing. In this work we detail such construction…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

We show how Latour's theorem can be understood as a natural generalization of the $ s $-cobordism theorem for cohomology classes $ u\in H^1(M;\mathbb{R}) $. The $ s $-cobordism theorem becomes a special degenerate case when $ u=0 $.

We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston's conjecture predicts that every $M$-bundle over a manifold $B$ where $\text{dim}(B)\leq…

In this paper we present our results on the homology cobordism group $\Th$ of the oriented integral homology 3-spheres. We specially emphasize the role played in the subject by the gauge theory including Floer homology and invariants by…

In a previous paper, Sarkar and the third author gave a combinatorial description of the hat version of Heegaard Floer homology for three-manifolds. Given a cobordism between two connected three-manifolds, there is an induced map between…

Using Morse theory and a new relative homological linking of pairs, we prove a ``homological linking principle'', thereby generalizing many well known results in critical point theory.

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…

The purpose of this paper is to study an extended version of bivariant derived algebraic cobordism where the cycles carry a vector bundle on the source as additional data. We show that, over a field of characteristic 0, this extends the…