Related papers: Perfect Morse functions and exotic S^2 x S^2's

We study/construct (proper and non-proper) Morse functions on complete Riemannian manifolds, the level hypersurfaces of which have positive mean curvatures at all non-critical points. We show, for instance, that if a complete Rieannin…

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.

In this paper, we establish strong holomorphic Morse inequalities on non-compact manifolds under the condition of optimal fundamental estimates. We show that optimal fundamental estimates are satisfied and then strong holomorphic Morse…

There are many theorems in the differential geometry literature of the following sort. Let M be a complete Riemannian manifold with some conditions on various curvatures, diameters, volumes, etc. Then M is homotopy equivalent to a finite CW…

We give formulae for the Ozsvath-Szabo invariants of 4-manifolds X obtained by fiber sum of two manifolds M_1, M_2 along surfaces S_1, S_2 having trivial normal bundle and genus g>0. The formulae follow from a general theorem on the…

In this paper, we study the computation of optimal discrete Morse functions on stratifolds. In particular, we present an algorithm that efficiently computes such functions for a broad class of them. Moreover, we characterize the conditions…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

We prove that, if M is a compact oriented manifold of dimension 4k+3, where k>0, such that pi_1(M) is not torsion-free, then there are infinitely many manifolds that are homotopic equivalent to M but not homeomorphic to it. To show the…

We show that no exotic $\mathbb{R}^4$ admits a complete Riemannian metric with uniformly positive isotropic curvature and with bounded geometry. This is essentially a corollary of the main result in [Hu1], and was stated in [Hu2] without…

We prove the non-existence of special generic maps on complex projective space as our extended new result. Simplest special generic maps are Morse functions with exactly two singular points on spheres, or Morse functions in Reeb's theorem,…

In this article, we first consider the $L^{2}$ \textit{Morse-Novikov cohomology} on a complete Riemannian manifold $M$ equipped with a parallel $1$-form which includes Vaisman manifold. Based on a vanishing theorem of $L^{2}$…

We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of…

This paper aims to shed light on what becomes of discrete torsion within heterotic orbifolds when they are resolved to smooth geometries. Gauged Linear Sigma Models (GLSMs) possessing (0,2) worldsheet supersymmetry are employed as…

In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show…

In a previous paper, under the assumption that the Riemannian metric is special, the author proved some results about the moduli spaces and CW structures arising from Morse theory. By virtue of topological equivalence, this paper extends…

The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…

We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of…

A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set,…

We present a pair of open smooth $4$-manifolds that are mutually homeomorphic. One of them admits a Riemannian metric that possesses quasi-cylindricity, and positivity of scalar curvature and of dimension of certain $L^2$ harmonic forms. By…

In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show…