Explicit real algebraic functions which may have both compact and non-compact preimages

2023/03/27 by Naoki Kitazawa, Kitazawa, Naoki
Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #FOS: Mathematics #General Topology (math.GN) #Geometric Topology (math.GT) #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis

paper · pdf · doi:10.48550/arxiv.2303.14988

openalex publication_date 2023/03/27 · openalex created_date 2023/03/31 · openalex updated_date 2026/07/28

Abstract

As a pioneering work we construct explicit real algebraic functions which may have both compact and non-compact preimages. The author has obtained explicit real algebraic functions with preimages satisfying some nice conditions. More precisely, we have given answers to a considerably revised version of Sharko's question. Sharko originally asked whether we can have nice smooth functions whose Reeb graphs are as desired. The Reeb graph of a smooth function of a certain nice class is a natural graph whose underlying space is the space of all connected components. Such graphs can have some important topological information of the manifolds. Our answers are new in having real algebraic functions on non-compact manifolds with no boundaries. We also avoid using so-called existence theory and approximation theory whereas we also avoid in our previous studies.

Related

• Explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds
• Notes on Reeb graphs of real algebraic functions which may not be planar
• Real algebraic functions on closed manifolds whose Reeb spaces are given graphs
• Reconstruction of real algebraic maps into curves with prescribed Reeb graphs
• Smooth functions with simple structures on 3-dimensional closed manifolds with prescribed Reeb graphs and preimages