arXiv++ Combinatorics

As a topic of mathematics, "arrangements", systems of hyperplanes, circles, and general (regular) submanifolds, attract us strongly. We present a natural elementary study of arrangements of circles. It is also a kind of new studies. Our study is closely related to geometry and singularity theory of Morse(-Bott) functions. Regions surrounded by circles are regarded as images of real algebraic maps and composing them with projections gives Morse-Bott functions: this observation is natural, and surprisingly, recently presented first, by the author. We present a systematic way of constructing such arrangements by choosing small circles centered at existing circles inductively. We are interested in graphs the regions surrounded by the circles naturally collapse. We have studied local changes of the graphs in adding these circles. These graphs are essentially so-called {\it Reeb graphs} of the previous Morse-Bott functions: they are spaces of all components of preimages of single points for the functions.

The Reeb graph of a smooth function is a graph being a natural quotient space of the manifold of the domain and the space of all connected components of preimages. Such a combinatorial and topological object roughly and compactly represents the manifold. Since the proposal by Sharko in 2006, reconstructing nice smooth functions and the manifolds from finite graphs in such a way that the Reeb graphs are the graphs has been important. The author has launched new studies on this, discussing construction of real algebraic functions. We concentrate on Reeb graphs we cannot realize as (natural) planar graphs here. Previously the graphs were planar and embedded in the plane naturally.

Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical projections. Here we give new examples with the hypersurfaces each of which is the product of a connected component of a hyperbola and a copy of the $1$-dimensional affine space explicitly. As a related future work we also discuss problems to obtain the zero sets of some real polynomials explicitly from increasing sequences of real numbers. This is motivated by a problem in theory of smooth functions proposed first by Sharko: can we construct nice smooth functions whose Reeb graphs are as prescribed? The Reeb space of a smooth function is the naturally obtained graph whose underlying space is the quotient space of the manifold consisting of connected components of preimages. The author first considered variants respecting the topologies of the preimages and obtained several results before. Our work is also motivated by real algebraic geometry, pioneered by Nash. We can know existence of real algebraic structures of smooth manifolds and some general sets and we already know several approximations of smooth maps by real algebraic maps. Our interest lies in explicit construction, which is difficult.

In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining non-proper smooth real algebraic functions on smooth real algebraic manifolds satisfying explicit conditions on (non-)compactness of preimages whereas previously the manifolds are only semi-algebraic. Explicitly, this mainly contributes to two different regions of mathematics. One is singularity theory of differentiable maps and applications to differential topology. More precisely, construction of nice smooth maps with desired preimages. The other is real algebraic geometry. More precisely, explicit construction of smooth real algebraic functions and maps whereas we can know the existence and consider approximations of smooth maps by maps of such classes in considerable cases.