Search arXivSearch

arXiv · 1310.8407

Explicit round fold maps on some fundamental manifolds

Abstract

Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold maps with singular value sets, defined as the set consisting of all the singular values, of concentric spheres by the author in 2013; for example, some special generic maps on spheres are regarded as round fold maps whose singular value sets are connected. Algebraic invariants such as homology and homotopy groups of manifolds admitting round fold maps and more precisely, the homeomorphism and diffeomorphism types of manifolds admitting such maps having appropriate differential topological structures were studied. Moreover, explicit round fold maps into the Eucidean space of dimension larger than $1$ are constructed on some fundamental manifolds such as manifolds having the structures of bundles over the standard sphere of dimension equal to the Euclidean space whose fibers are closed smooth manifolds and manifolds of dimension not smaller than twice the dimension of the Euclidean space represented as the connected sum of manifolds having the structures of bundles over the standard sphere of dimension equal to the Euclidean space whose fibers are diffeomorphic to standard spheres. In this paper, we construct new explicit fold maps on some fundamental manifolds including the manifolds before by using extended methods of ones used in the constructions before.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Naoki Kitazawa. 2014-12-13. Explicit round fold maps on some fundamental manifolds. https://arxiv.org/abs/1310.8407

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The circle as a topological fractal

We prove that no family of two continuous self-maps witnesses that the circle is a topological fractal, answering a question of Karasová and the present author. Since three maps are known to suffice, this bound is optimal. In contrast, for every $\varepsilon>0$ there are two continuous self-maps of the circle, depending on $\varepsilon$, whose images cover the circle and an integer $N$ such that every composition of $N$ of them has image of diameter less than $\varepsilon$. Thus two maps suffice at any prescribed scale, but no fixed pair works at all scales.

math.GN

Finite-Point Metrizable Coarsenings: Compatible Gauges, Simplicial Metrics, and Hausdorff Lower Bounds

Let $(X,τ)$ be metrizable and let $F=\{a_1,\ldots,a_k\}\subseteq X$, where $2\le k<\infty$. We represent all metrizable topologies $σ\subseteqτ$ agreeing with $τ$ on $X\setminus F$ by compatible systems of continuous gauges $s_i:X\to[0,1]$ with $s_i^{-1}(0)=\{a_i\}$. The condition $\inf_X\max\{s_i,s_j\}>0$ for $i\ne j$ is equivalent to both Hausdorffness and metrizability of the prescribed gauge topology. A normalized product map into the standard simplex gives an explicit metric; its triangle inequality follows from a simplex slack inequality. This metric is complete whenever the auxiliary bounded compatible metric is complete. For two compatible systems, their coordinatewise minimum describes the intersection topology. It is compatible exactly when the two coarsenings have a common Hausdorff lower bound; in that case the intersection is metrizable and is their meet. Otherwise every common lower topology is non-Hausdorff. A closed-discrete construction produces such an obstructed pair for every noncompact metrizable space and every finite exceptional set with at least two points. Consequently, for these exceptional sets, the family is downward directed, or is a lattice, if and only if $(X,τ)$ is compact, in which case it consists only of $τ$.

math.GN

Journey into special $T_1$-spaces

In this survey, we review certain types of special \(T_{1}\) spaces and their associated fixed-point theorems. Kupka introduced the notion of a feeble topological contraction, which naturally generalizes Lipschitz contractions defined on metric spaces. Specifically, Kupka established a fixed-point theorem for feeble topological contractions possessing a closed graph within the product of arbitrary \(T_{0}\) spaces. Furthermore, the \(T_{1}\) separation axiom is shown to guaranty the uniqueness of such fixed points. Finally, we discuss peripheral Hausdorff and locally Hausdorff spaces within the context of these fixed-point results.

math.GN