Исследование глобальных свойств замкнутой нерегулярной гиперповерхности с биективным гауссовым отображением с помощью функции уровня

Abstract

Строение замкнутых и незамкнутых регулярных гиперповерхностей с инъективным гауссовым отображением достаточно хорошо изучено. При решении ряда задач дифференциальной геометрии может оказаться, что искомая гиперповерхность с биективным гауссовым отображением будет нерегулярной. В настоящей статье изучаются глобальные свойства нерегулярных замкнутых гиперповерхностей в четырехмерном евклидовом пространстве, особое множество которых является объединением замкнутых ориентируемых двумерных многообразий. В работе используются: теория Морса, свойства полярного преобразования относительно гиперсферы, теорема Гаусса–Бонне, методы классической дифференциальной геометрии гиперповерхностей и поверхностей, коразмерность которых больше 1. Доказано, что при некоторых условиях компонентами особого множества рас- сматриваемых гиперповерхностей могут быть только торы и сферы, причем вдоль сферы касаются друг друга выпуклая и седловая компоненты регулярности. Выяснено, что замкнутая нерегулярная гиперповерхность с «отсекаемыми» краями и биективным гауссовым отображением состоит из двух локально выпуклых компонент, гомеоморфных трехмерному шару, и одной седловой компоненты, гомеоморфной топологическому произведению двумерной сферы на отрезок. Построены примеры замкнутых невыпуклых гиперповерхностей с биективным гауссовым отображением. The structure of closed and non-closed regular hypersurfaces with an injective Gaussian mapping is thoroughly studied. When solving some problems of differential geometry, the desired hypersurface with a bijective Gaussian mapping may prove to be non-regular. In this paper, we study global properties of non-regular closed hypersurfaces in four-dimensional Euclidean space. A singular set of these surfaces is the sum total of closed oriented two-dimensional manifolds. The paper uses the Morse theory, the properties of the polar transformation with respect to the hypersphere, the Gauss–Bonnet theorem, the methods of the classical differential geometry of hypersurfaces and surfaces, the codimension of which is greater than 1. It is proved that under certain conditions the components of the singular set of the hypersurfaces under consideration can be only tors and spheres. In this case, the convex and saddle components of the regularity are tangent relative of each other along the sphere. It is found that a closed non-regular hypersurface with "cut off" borders and with bijective Gaussian mapping consists of two locally convex components homeomorphic to a three-dimensional ball, and one saddle component homeomorphic to the topological product of a two-dimensional sphere on the closed interval. The article provides examples of closed non-convex hypersurfaces with a bijective Gaussian mapping.