Related papers: Explicit round fold maps on some fundamental manif…

In this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to $M \times [0, \infty)$ where $M$ is a closed Euclidean manifold. These are classified in [2]. The marked moduli space is…

We prove the existence of nonconstant harmonic maps of optimal regularity from an arbitrary closed manifold $(M^n,g)$ of dimension $n>2$ to any closed, non-aspherical manifold $N$ containing no stable minimal two-spheres. In particular,…

Manifolds without boundary, and manifolds with boundary, are universally known in Differential Geometry, but manifolds with corners (locally modelled on [0,\infty)^k x R^{n-k}) have received comparatively little attention. The basic…

In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

On a smooth manifold, we associate to any closed differential form a mapping cone complex. The cohomology of this mapping cone complex can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical…

A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$,…

In this paper, we first give a new simple proof to the elimination theorem of definite fold by homotopy for generic smooth maps of manifolds of dimension strictly greater than $2$ into the $2$--sphere or into the real projective plane. Our…

We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…

We prove an analogue of the Madsen-Weiss theorem for high dimensional manifolds. For example, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of g copies of S^n x S^n, in the…

We construct an explicit family of stable proper weak biharmonic maps from the unit ball $B^m$, $m\geq 5$, to Euclidean spheres. To the best of the authors knowledge this is the first example of a stable proper weak biharmonic map from at…

Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They…

In the context of discrete Morse theory, we introduce Morse frames, which are maps that associate a set of critical simplexes to all simplexes. The main example of Morse frames are the Morse references. In particular, these Morse references…

A smooth map of a closed $n$-dimensional manifold into $\mathbf{R}^p$ with $1 \leq p \leq n$ is a special generic map if it has only definite folds as its singularities. We show that for $1 \leq p < n$ and $n \geq 6$, a homotopy $n$-sphere…

In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order…

Families of stable curves of genus $\gamma$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_\gamma$. It is natural to compactify the corresponding moduli problem using stable maps…

A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with…

We establish a homotopy-theoretic description of the homology of stable moduli spaces of $(2n+1)$-dimensional manifold triads $(N, \partial^h N, \partial^v N)$ with fixed $\partial^v N$, whenever $n \geq 3$ and $(N, \partial^h N)$ is…

In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical…

We present a general construction of embedded minimal and constant mean curvature surfaces in $\mathbb{S}^n$ and one-phase free boundaries joined by a smooth interpolation by capillary hypersurfaces. This framework recovers all known…