摘要 Abstract
本文研究了四维欧氏空间$\mathbb{R}^4$中的典型共形平坦(局部)超曲面。对于这样的超曲面$f$,存在其在$\mathbb{R}^4$中的对偶超曲面$f^*$,且该超曲面同样具有典型性和共形平坦性。通过对超曲面$f$重复实施反演和对偶变换的复合操作,可以从单个超曲面$f$得到无穷多个非等价的典型共形平坦超曲面。对偶超曲面$f^*$由嵌入映射的全微分定义,并以原超曲面$f$表示,但在$\mathbb{R}^4$中精确给出$f^*$的公式并不明显,因为积分全微分存在困难。因此,研究典型共形平坦超曲面时,明确$\mathbb{R}^4$中这对对偶超曲面之间的显式对应关系至关重要。本文旨在阐明这对对偶超曲面$f$和$f^*$之间的对应关系,我们通过从超曲面$f$的三维网格到$\mathbb{R}^4$的映射构造出$f^*$的所有正整数$n$对应的近似离散超曲面来实现这一点。这些近似值由典型共形平坦超曲面$f$的对偶不变量定义,其对偶不变量是从$f$到$\mathbb{R}^4$的映射。当$n$趋于无穷大时,这些近似值诱导了$f$和$f^*$对应的曲率曲面之间的映射。
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^*$.