arXiv++ Combinatorics

We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases. Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century. These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.

Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional". We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.

In this paper, we study Morse functions with regular level sets consisting of spheres, tori, or Klein Bottles on $3$-dimensional closed manifolds. We characterize $3$-dimensional manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$ of the circle $S^1$ and the sphere $S^2$, lens spaces, or non-orientable closed and connected manifolds of genus $1$ by a certain subclass of such Morse functions. This is a kind of extensions of the orientable case, by Saeki, in 2006. This is a variant of its extension by the author for $3$-dimensional orientable manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$, lens spaces, or torus bundles over $S^1$ by a certain class of Morse-Bott functions. We also classify Morse functions with given regular level sets consisting of $S^2$, $S^1 \times S^1$, or Klein Bottles in a certain sense, generalizing some previous work by the author.

This is a note on the graphs of two smooth real-valued functions in the plane with no intersection and the natural map onto the region surrounded by them with the canonical projection to the line composed, yielding its Reeb space. The Reeb space of a real-valued function on a topological space is the set of all connected components of all level sets and topologized naturally. Such spaces have been fundamental and strong tools in theory of Morse functions and its generalization and variants, since the former half of the 20th century. They are graphs for tame functions such as Morse(-Bott) functions. The author has launched and has been studying this problem since 2020s, interested in Reeb spaces of smooth or non-analytic non-proper functions. For smooth closed manifolds and nice compact spaces, topological properties and combinatorial ones on Reeb spaces have been investigated by Gelbukh, Saeki, and so on.

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead. Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.

The canonical projections of the unit spheres are generalized to special generic maps and round fold maps, for example. They are generalizations from the viewpoint of singularity theory of differentiable maps and these maps restrict the topologies and the differentiable structures of the manifolds. We are concerned with round fold maps, defined as smooth maps locally represented as the product map of a Morse function and the identity map on a smooth manifold, and maps with singular value sets being concentric spheres. A bit different from differential topology, we are concerned with real algebraic geometric aspects of these maps. We discuss real algebraic realization of round fold maps of codimension $-1$ as our new work. Real algebraic realization of these maps is of fundamental and important studies in real algebraic geometry and a new study recently developing mainly due to the author.

The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics being also elementary and connected to various fields. The shapes are understood via graphs the regions collapsing to respecting the canonical projection onto the 1st component. Our main result is the following: each tree is realized by regions surrounded by parabolas of two types, here. Related studies are elementary and interesting and surprisingly, this explicit field is started very recently, by Bodin, Popescu-Pampu and Sorea in the 2020s. After that, this is developing, due to the author. The author also investigates this motivated by studies on explicit construction of real algebraic maps onto the regions locally so-called moment maps: this comes from singularity theory of differentiable maps and real algebraic geometry.

The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real algebraic hypersurfaces. Especially, intersections of these cylinders of real algebraic hypersurfaces, which give important information on regions, are investigated via singularity theory. This is a kind of natural problems on real geometry. This also comes from construction of explicit real algebraic maps onto explicit regions in real affine spaces on real algebraic manifolds. More generally, we are interested in difficulty in explicit construction of real algebraic objects, where existence and approximation has been well-known, since pioneering studies by Nash and Tognoli, in the latter half of 20th century. This also comes from interest in singularity theory of differentiable, smooth or real algebraic functions and maps, especially, explicit construction.

We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific trees obtained in simple ways from so-called balanced trees are shown to be realized as such graphs. Related studies on regions in the Euclidean plane surrounded by real algebraic curves are presented by several researchers. One of pioneering studies is presented by Bodin, Popescu-Pampu and Sorea in 2022--3 as an elementary and surprisingly new study. The author has been interested in related studies and also in constructing natural and explicit real algebraic maps onto such regions, generalizing the canonical projections of the unit spheres. Such studies in real algebraic geometry, different from theory of existence in the last century, mainly studied by Nash and Tognoli, are remarked.

Regions in the Euclidean plane surrounded by circles are fundamental geometric and combinatorial objects. Related studies have been done and we cannot explain them precisely, or roughly, well. We study such regions whose Poincaré-Reeb graphs are trees and investigate the trees obtained by a certain inductive rule from a disk in the plane. The Poincaré-Reeb graph of such a region is a graph whose underlying set is the set of all components of level sets of the restriction of the canonical projection to the closure and whose vertices are points corresponding to the components containing {\it singular} points. Related studies were started by the author, motivated by importance and difficulty of explicit construction of a real algebraic map onto a prescribed closed region in the plane.

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 single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty. We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.

This paper is concerned with long-time interest of us, especially, the author, in realizing graphs as Reeb graphs of real algebraic functions of certain nice classes. The Reeb graph of a differentiable function is the set consisting of all components of preimages of all single points and endowed with the quotient topology canonically. In tame cases, such objects are graphs. The Reeb graph of the natural height of the unit sphere of dimension at least $2$ is a graph with exactly one edge and homeomorphic to a closed interval. These graphs have been fundamental and strong tools in geometry since theory of Morse functions has been established in the former half of the last century. We present a new answer to the problem, saying that generically embedded planar graphs are homeomorphic to the Reeb graphs of real algebraic functions obtained by elementary polynomials and elementary procedures.

We have been interested in graphs and realizing them as Reeb graphs of explicit real algebraic functions. The Reeb graph of a differentiable function is the quotient space of the manifold of the domain, regarded as the space consisting of all components of preimages of all single points. Reeb graphs have been fundamental and strong tools in geometry of manifolds since the birth of theory of Morse functions, in the former half of the 20th century. We can easily see that the Reeb graph of the natural height of the unit sphere whose dimension is at least $2$ is a graph with exactly one edge and two edges. We are concerned with realizations of graphs decomposed into trees nicely, each vertex of which corresponds to a graph with exactly one edge and two edges or a graph with exactly two edges homeomorphic to a circle.

We discuss reconstructing smooth real algebraic maps onto curves whose Reeb graph is as prescribed. This can be contributed to real algebraic geometry, especially in explicit examples in real algebraic geometry in a new way. The Reeb graph of a smooth function is the space of all connected components of preimages of all single points and a natural quotient space of the manifold with the vertex set being all connected components containing some singular points of it. This gives a strong tool in geometry of manifolds and appeared already in 1950 with Morse functions. The Reeb graph of the natural height of the unit sphere of dimension at least 2 is a graph with exactly two vertices and one edge. We reconstruct functions, from general finite graphs, conversely. In the differentiable situations, Sharko pioneered this in 2006, followed by Masumoto-Saeki and Michalak, mainly. Related real algebraic situations have been launched and studied by the author. The curve-valued case is first considered here.

We discuss a problem on singularity theory of differentiable (smooth) or real algebraic maps which is different from knowing existence and has been difficult: constructing explcit real algebraic functions. We discuss construction of real algebraic functions with exactly one singular value, the singular points being of definite type, and prescribed preimages of single points. We discuss generalizations of the canonical projection of the unit sphere around the pole and the Morse-Bott functions around the boundaries of the images with preimages diffeomorphic to the torus. This has been discussed in the differentiable (smooth) category since the pioneering study of Sharko in 2006, followed by Masumoto-Saeki, Michalak and so on: the author has first considered the cases respecting the topologies of the preimages of the points where these studies had not done this essentially. Related real algebraic studies have been started by the author essentially in 2020's and the studies are developing, mainly due to the author.

We are interested in shapes of real algebraic curves in the plane and regions surrounded by them: they are named refined algebraic domains by the author. As characteristic finite sets, we consider points contained in two curves and the sets of singular points of the restrictions of the projections to the lines to the curves. As a new case, we respect differential geometry and consider inflection points and points of some double tangent lines of a single connected curve. We prove fundamental properties and investigate some examples. We have also previously considered the cases where the curves are straight lines, circles, or boundaries of ellipsoids for example. Such simple cases are trivial in our new consideration.

Refined algebraic domains are regions in the plane surrounded by finitely many non-singular real algebraic curves which may intersect with normal crossing. We are interested in shapes of such regions with surrounding real algebraic curves. Poincar'e-Reeb Graphs of them are graphs the regions naturally collapse to respecting the projection to a straight line. Such graphs were first formulated by Sorea, for example, around 2020, and regions surrounded by mutually disjoint non-singular real algebraic curves were mainly considered. The author has generalized the studies to several general situations. We find classes of such objects defined inductively by adding curves. We respect characteristic finite sets in the curves. We consider regions surrounded by the curves and of a new type. We investigate geometric properties and combinatorial ones of them and discuss important examples. We also previously studied explicit classes defined inductively in this way and review them.

We are interested in arrangements of circles and the regions surrounded by them. {\it Poincaré-Reeb graphs} have been fundamental and strong tools in studying shapes of regions surrounded by real algebraic curves, since around 2020. They are natural graphs the regions naturally collapse to and were first formulated by Sorea with several researchers. Studying shapes of such regions is one of fundamental studies in real algebraic geometry and combinatorics for example. This is surprisingly new and recently developing. Our study introduces labels on vertices and edges of such graphs encoding information of the circles where we concentrate on regions surrounded by circles. The author studied local changes of Poincaré-Reeb graphs by addition of circles under certain rules before and we discuss changes of new types. The author has started related studies motivated by singularity theory of real algebraic maps and found first that our regions are the images of natural real algebraic maps, generalizing natural projections of spheres.

Algebraic domains are regions in the plane surrounded by mutually disjoint non-singular real algebraic curves. Poincar'e-Reeb Graphs of them are graphs they naturally collapse: such graphs are formally formulated by Sorea, for example, around 2020. Their studies found that nicely embedded planar graphs are Poincar'e-Reeb graphs of some algebraic domains. These graphs are generic with respect to the projection to the horizontal axis. Problems, methods and results are elementary and natural and they apply natural approximations nicely for example. We present our new approach to extension of the result to a non-generic case and an answer. We first formulate generalized algebraic domains, surrounded by non-singular real algebraic curves which may intersect with normal crossings. Such domains and certain classes of them appear in related studies of graphs and regions surrounded by algebraic curves explicitly.

We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements, families of smooth regular submanifolds in smooth manifolds, this study is fundamental, explicit, and new, surprisingly. We have obtained a complete list of local changes of the graphs the regions naturally collapse to in adding a (generic) small circle to an existing arrangement of the proposed class. Here, we propose a similar and essentially different class of arrangements of circles. The present study also yields real algebraic maps and nice real algebraic functions similarly and we present a similar study. We are interested in topological properties and combinatorics among such arrangements and regions and applications to constructing such real algebraic maps and manifolds explicitly and understanding their global structures.