arXiv research

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic and Nash versions of these theorems. That is, starting with semialgebraic or Nas…

The article examines how many stabilizations are needed to transform 5D s-cobordisms into product cobordisms.

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$.

Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach…

Proves super-version of index theorem from algebraic cobordism invariants.

Computes invariant for smooth h-cobordisms families, proving duality and vanishing theorems.

The paper proves nonexistence of NNSC cobordism for Bartnik data under certain conditions.

The study explores conditions for $h$-cobordisms between smooth 4-manifolds.

We prove that an embedded cobordism between manifolds with boundary can be split into a sequence of right product and left product cobordisms, if the codimension of the embedding is at least two. This is a topological counterpart of the algebraic splitting theorem for embedded cobordisms of the first author, A. Nemethi…

Proves cobordism of CP^2 bundles generating oriented ring.

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q…

Study PL topology theorems for cubical complexes, solving Habegger and Funar's conjecture.

We correct the proof in the unoriented case of Theorem 1.2 in the paper "Cobordisms of maps with singularities of given class"

We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong additivity properties. In the case of cobordisms between manifolds with boundary, we pr…

Proves an equivariant version of Heegaard Floer link surgery formula.

We introduce a notion of cobordism of Callias-type operators over complete Riemannian manifolds and prove that the index is preserved by such a cobordism. As an application we prove a gluing formula for Callias-type index. In particular, a usual index of an elliptic operator on a compact manifold can be computed as a s…

The main result of this paper states that a symplectic s-cobordism of elliptic 3-manifolds is diffeomorphic to a product (assuming a canonical contact structure on the boundary). Based on this theorem, we conjecture that a smooth s-cobordism of elliptic 3-manifolds is smoothly a product if its universal cover is smooth…

For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category with that of the infinite loop-space of a certain spectrum related to the spectr…

We determine the condition on a given lens space having a realization as a closure of homology cobordism over a planar surface with a given number of boundary components. As a corollary, we see that every lens space is represented as a closure of homology cobordism over a planar surface with three boundary components. …

We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can d…

This paper explores how many positive integer surgeries on a knot produce a manifold rational homology cobordant to a lens space.

In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the main theorem of this article, we show that the classifying space $B\mathcal{C}_d^{…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve that goal, we study the cobordism category of manifolds with positive scalar cu…

We develop Morse theory for manifolds with boundary. Besides standard and expected facts like the handle cancellation theorem and the Morse lemma for manifolds with boundary, we prove that, under a topological assumption, a critical point in the interior of a Morse function can be moved to the boundary, where it splits…

Proves PL cobordism category's homotopy type, analogous to smooth case.

The Fourier transform of Heegaard Floer d-invariants helps classify 3-manifolds.

The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that the inclusion of the direct sum of the T_p into T has infinitely generated kernel…

Extends Poincaré-Lefschetz duality to pairs of ∞-categories.

Study of equivariant movie moves for involutive links.

We announce the following result and give several applications: A Hamiltonian $T$-space (for $T$ a torus) with isolated fixed points is cobordant to a disjoint union of weighted projective spaces which are constructed from its fixed point data. The applications concern the Duistermaat-Heckman formula, the topological J…

Recently the author has introduced cobordism-like modules induced from generic maps whose codimensions are negative. They are generalizations of cobordism modules of manifolds. They have been introduced in generalizing the following theorem shown by Hiratuka and Saeki in 2013--14; for a generic map whose codimension is…

The paper classifies self-replicating 3D shapes using algebraic models.

We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincaré pairs, which is then applied to describe the behaviour on the c…

We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the normal bundle of the singular set in the source manifold. These invariants were in…

Generalizes Roe's theorem to noncompact hypersurfaces.

We investigate rational homology cobordisms of 3-manifolds with non-zero first Betti number. This is motivated by the natural generalization of the slice-ribbon conjecture to multicomponent links. In particular we consider the problem of which rational homology $S^1\times S^2$'s bound rational homology $S^1\times D^3$'…

In this paper we study the topology of the cobordism category of open and closed strings. This is a 2-category in which the objects are compact one-manifolds whose boundary components are labeled by an indexing set (the set of "D-branes"), the 1-morphisms are cobordisms of manifolds with boundary, and the 2-morphisms a…

A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symple…

This is an appendix to arXiv:1610.04888, "Quantitative null-cobordism", which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper.

We study differential operators on complete Riemannian manifolds which act on sections of a bundle of finite type modules over a von Neumann algebra with a trace. We prove a relative index and a Callias-type index theorems for von Neumann indexes of such operators. We apply these results to obtain a version of Atiyah's…

In this article, we prove a generalization of a theorem of Lisca-Matic to Stein cobordisms and develop a method for distinguishing certain Stein cobordisms using rotation numbers. Using these results along with standard techniques from convex surface theory and classifications of tight contact structures on certain 3-m…

We give a Dehn-Nielsen type theorem for the homology cobordism group of homology cylinders by considering its action on the acyclic closure, which was defined by Levine, of a free group. Then we construct an additive invariant of those homology cylinders which act on the acyclic closure trivially. We also describe some…

The paper generalizes spectral section concepts to non-compact spaces.

This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We review the hard Lefschetz theorem for simplicial spheres, as well as the theory at its core: perturbations of maps, biased Poincaré pairings and a cobordism argument that relates the…

New map constructed from equivariant spectra for manifold study.

The paper refines Mather-Thurston theorems for flat connections in manifolds.

The Reeb space of a smooth map whose codimension is minus is the space defined as the space of all connected components of inverse images. For generic maps such as Morse functions and their higher dimensional versions, they are polyhedra whose dimensions are equal to those of the target manifolds and which have simplic…

We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an…