Abstract: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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to simplify the study of general conformally flat hypersurfaces in four - dimensional space forms into the surface theory on the standard three - dimensional sphere. Specifically, the author aims to verify that the general conformally flat hypersurfaces in four - dimensional space forms can be achieved by studying certain specific surfaces on the three - dimensional sphere. There is a certain correspondence between these surfaces and the hypersurfaces, and through this correspondence, the general conformally flat hypersurfaces in four - dimensional space can be constructed.
### Main problems
1. **Characteristics of general conformally flat hypersurfaces**:
- The paper first defines the characteristics of general conformally flat hypersurfaces, that is, these hypersurfaces have three different principal curvatures at each point.
- The first fundamental form \(I\) of these hypersurfaces can be expressed as \(I = l_1^2(dx)^2 + l_2^2(dy)^2 + l_3^2(dz)^2\), and satisfies the Guichard condition \(l_i^2 + l_j^2 = l_k^2\).
2. **Constructing hypersurfaces from Guichard nets**:
- Given a Guichard net \((x, y, z), [g]\), where \(g\) is a conformally flat metric satisfying the Guichard condition, the paper proves that there exists a unique general conformally flat hypersurface whose standard principal Guichard net is the given Guichard net.
- Specifically, if the function \(\phi(x, y, z)\) satisfies \(\phi_{zx}\phi_{zy}\neq0\), then \(\phi\) can generate an orthogonal analytic 2 - metric family \(\hat{g}(z)\) with constant Gaussian curvature - 1 on \(V\).
3. **Evolution of surfaces**:
- For each \(\hat{g}\in\text{Met}_0\), the paper defines a one - parameter family \(g_t\) of conformally flat metrics, which are evolutions starting from \(\hat{g}\).
- Each \(\hat{g}\) determines a five - dimensional set of non - isometric analytic surfaces, which evolve on the three - dimensional sphere and finally generate the general conformally flat hypersurfaces in four - dimensional space.
### Main results
- **Main theorem 1**: For any \(\hat{g}\in\text{Met}_0\), there exists a five - dimensional set of analytic surfaces \(\varphi(x, y)\) on the three - dimensional sphere, and these surfaces satisfy specific conditions. The evolution \(\varphi_z(x, y)\) of these surfaces generates the general conformally flat hypersurface \(f(x, y, z)\) in four - dimensional space.
- **Main theorem 2**: The paper also provides conditions for judging whether a surface can generate a general conformally flat hypersurface. Specifically, if the surface \(\varphi\) satisfies certain differential equations, then a general conformally flat hypersurface \(f\) can be constructed from \(\varphi\).
### Mathematical tools
- **Guichard nets**: The concept of Guichard nets is widely used in the paper. It is a special coordinate system, which makes the first fundamental form and principal curvatures of the hypersurface satisfy specific relationships.
- **Evolution equations**: The evolution equations involved in the paper describe the changes of the function \(\phi\) and the metric \(g\) in the \(z\) direction.
- **Curvature tensors**: Through the calculation of the curvature tensors, the paper verifies that the hypersurfaces constructed from Guichard nets do indeed satisfy the conformally flat condition.
### Conclusion
The paper successfully simplifies the study of general conformally flat hypersurfaces in four - dimensional space into the surface theory on the three - dimensional sphere, providing a new method to understand and construct these hypersurfaces. This not only enriches the theory of conformal geometry but also provides a basis for further research.