arXiv subjects

Yoshihiko Suyama

Publications and source records attributed to Yoshihiko Suyama.

4 recordsLinked to original sources

arXiv2025

Dual pairs of generic conformally flat hypersurfaces

We study generic conformally flat (local-)hypersurfaces in the Euclidean 4-space $\mathbb{R}^4$. Such a hypersurface $f$ has the dual (hypersurface) $f^*$ in $\mathbb{R}^4$, which is also generic and conformally flat. By repeating the composite action of inversion and the dual transformation on a hypersurface $f$, infinitely many non-equivalent generic conformally flat hypersurfaces are obtained from a single $f$. The dual $f^*$ is defined by the total differential of the embedding expressed in terms of the original $f$. However, the exact formula in $\mathbb{R}^4$ of $f^*$ is not obvious, because of difficulty of integrating the total differential. Therefore, for the study of generic conformally flat hypersurfaces it is important to clarify in some way an explicit correspondence between the dual pair in $\mathbb{R}^4$. The aim of this paper is to clarify that correspondence between the dual pair $f$ and $f^*$, which we do by making approximate discrete hypersurfaces of $f^*$ for all positive integers $n$ as maps from $3$-dimensional nets in $f$ to $\mathbb{R}^4$. The approximations are constructed from the dual invariants of a generic conformally flat hypersurface $f$, of which dual invariants are defined as the maps from $f$ to $\mathbb{R}^4$, and as $n$ tends to $\infty$, the approximations induce maps between the corresponding curvature surfaces of $f$ and $f^*$.

math.DG↗

arXiv2024

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

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)$.

math.DG↗

arXiv2020

Generic conformally flat hypersurfaces and surfaces in 3-sphere

The aim of this paper is to verify that the study of generic conformally flat hypersurfaces in 4-dimensional space forms is reduced to a surface theory in the standard 3-sphere. The conformal structure of generic conformally flat (local-)hypersurfaces is characterized as conformally flat (local-)3-metrics with the Guichard condition. Then, there is a certain class of orthogonal analytic (local-)Riemannian 2-metrics with constant Gauss curvature -1 such that any 2-metric of the class gives rise to a one-parameter family of conformally flat 3-metrics with the Guichard condition. In this paper, we firstly relate 2-metrics of the class to surfaces in the 3-sphere: for a 2-metric of the class, a 5-dimensional set of (non-isometric) analytic surfaces in the 3-sphere is determined such that any surface of the set gives rise to an evolution of surfaces in the 3-sphere issuing from the surface and the evolution is the Gauss map of a generic conformally flat hypersurface in the Euclidean 4-space. Secondly, we characterize analytic surfaces in the 3-sphere which give rise to generic conformally flat hypersurfaces.

math.DG↗

arXiv2016

Curvilinear coordinates on generic conformally flat hypersurfaces and constant curvature 2-metrics

There is a one-to-one correspondence between associated families of generic conformally flat (local-)hypersurfaces in 4-dimensional space forms and conformally flat 3-metrics with the Guichard condition. In this paper, we study the space of conformally flat 3-metrics with the Guichard condition: for a conformally flat 3-metric with the Guichard condition in the interior of the space, an evolution of orthogonal (local-) Riemannian $2$-metrics with constant Gauss curvature $-1$ is determined; for a $2$-metric belonging to a certain class of orthogonal analytic $2$-metrics with constant Gauss curvature $-1$, a one-parameter family of conformally flat 3-metrics with the Guichard condition is determined as evolutions issuing from the $2$-metric.

math.DG↗