Refined algebraic domains with finite sets in the boundaries

Abstract: 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.