Abstract:We study generic conformally flat (analytic-)hypersurfaces in the Euclidean $4$-space $\mathbb{R}^4$. Such a local-hypersurface is obtained as an evolution of surfaces issuing from a certain surface in $\mathbb{R}^4$, and then, in consequence, the original surface is a (principal-)curvature surface of the hypersurface. The Poincaré metric ${\check g}_H$ of the upper half plane leads to a $6$-dimensional set of rational Riemannian metrics $g_0$ of $\mathbb{R}^2$: on a simply connected open set in the regular domain of $g_0$, a curvature surface $f^0$ with the metric $g_0$ is determined, which we denote by $(f^0,g_0)$. In this paper, we choose a suitable metric $g_0$ of $\mathbb{R}^2$ determined by ${\check g}_H$ to get nice curvature surfaces (but it also has degenerate and divergent points in $\mathbb{R}^2$), and clarify the structure of the curvature surfaces $(f^0,g_0)$: the curvature surfaces $(f^0,g_0)$ extend analytically to what kind of set in $\mathbb{R}^2$ beyond the regular set of $g_0$, and then the extended surface $(f^0,g_0)$ is defined on a certain open set of $\mathbb{R}^2$ and bounded in $\mathbb{R}^4$; for the extended surface $(f^0,g_0)$, we explicitly catch the set of degenerate points and the limits in $\mathbb{R}^4$ of both ends of every principal curvature line, and then the two limits of every line for one principal curvature are parallel small circles in a standard $2$-sphere $\mathbb{S}^2$. Then, every principal curvature line in the extended surface $(f^0,g_0)$ is expressed by a frame field of $\mathbb{R}^4$ induced on the surface from a hypersurface and it lies on a standard $2$-sphere $\mathbb{S}^2$ with line-dependent radius. We also provide a general method of constructing an approximation of such frame fields, and obtain the entire pictures of those lines including degenerate points of $(f^0,g_0)$.

A new characterization of canal surfaces with parallel transport frame in Euclidean space $\mathbb{E}^{4}$

Canal Hypersurfaces Generated by Non-Null Curves with Parallel Frame in Minkowski Space-Time

A Family of Spacial PH Curves Represented by Algebraic-Trigonometric Functions and Their Applications

Convex Hypersurfaces of Prescribed Weingarten Curvatures

Analytic and Algebraic Properties of Canal Surfaces

Geometric characterizations of canal hypersurfaces in Euclidean spaces

Curvatures of Moduli Space of Curves and Applications

The relation between parameter curves and lines of curvature on canal surfaces

Lines of Principal Curvature on Canal Surfaces in R^3

Some Characterizations of Focal Surfaces of A Tubular Surface in E^3

Geometry of tubular surfaces and their focal surfaces in Euclidean 3-space

On Knotted Spheres in Euclidean $4$-space $ \mathbb{E}^{4}$

Tubular surface generated by a curve lying on a regular surface and its characterizations

Bour's Theorem of Spacelike Surfaces in Minkowski 4--Space

Curvature surfaces in generic conformally flat hypersurfaces arising from Poincaré metric -- Extension and Approximation

A Characterization of Constant-Ratio Curves in Euclidean 3-Space E^3

A new glimpse into the directional curves associated with a pseudo-null curve via Bishop frame

On the proper meaning of the curvature tensor and its general framework

Characterization of hypersurfaces in four dimensional product spaces via two different Spin$^c$ structures

Complete Spacelike Stationary Surfaces in $\Mathbb{r}^4_1$

Some characterizations of rectifying curves on a smooth surface in Euclidean 3-space