CC BY
6
УДК 514.752
DOI: 10.14529/mmph200105
ИССЛЕДОВАНИЕ ГЛОБАЛЬНЫХ СВОЙСТВ ЗАМКНУТОЙ НЕРЕГУЛЯРНОЙ ГИПЕРПОВЕРХНОСТИ С БИЕКТИВНЫМ ГАУССОВЫМ ОТОБРАЖЕНИЕМ С ПОМОЩЬЮ ФУНКЦИИ УРОВНЯ
В.Г. Шармин, Д.В. Шармин
Тюменский государственный университет, г. Тюмень, Российская Федерация E-mail: [email protected]
Строение замкнутых и незамкнутых регулярных гиперповерхностей с инъективным гауссовым отображением достаточно хорошо изучено. При решении ряда задач дифференциальной геометрии может оказаться, что искомая гиперповерхность с биективным гауссовым отображением будет нерегулярной. В настоящей статье изучаются глобальные свойства нерегулярных замкнутых гиперповерхностей в четырехмерном евклидовом пространстве, особое множество которых является объединением замкнутых ориентируемых двумерных многообразий. В работе используются: теория Морса, свойства полярного преобразования относительно гиперсферы, теорема Гаусса-Бонне, методы классической дифференциальной геометрии гиперповерхностей и поверхностей, коразмерность которых больше 1. Доказано, что при некоторых условиях компонентами особого множества рассматриваемых гиперповерхностей могут быть только торы и сферы, причем вдоль сферы касаются друг друга выпуклая и седловая компоненты регулярности. Выяснено, что замкнутая нерегулярная гиперповерхность с «отсекаемыми» краями и биективным гауссовым отображением состоит из двух локально выпуклых компонент, гомеоморфных трехмерному шару, и одной седловой компоненты, гомеоморфной топологическому произведению двумерной сферы на отрезок. Построены примеры замкнутых невыпуклых гиперповерхностей с биективным гауссовым отображением.
Ключевые слова: евклидово пространство; гауссово отображение; невыпуклая замкнутая нерегулярная гиперповерхность; эйлерова характеристика; функция уровня.
Введение
Строение замкнутых и незамкнутых регулярных гиперповерхностей с инъективным гауссовым отображением достаточно хорошо изучено. При решении ряда задач дифференциальной геометрии может оказаться, что искомая гиперповерхность с инъективным гауссовым отображением будет нерегулярной.
В работе [1] проведена классификация поверхностей без параболических точек, гауссово отображение которых обладает некоторыми специальными свойствами, в трехмерном пространстве Лоренца-Минковского.
В статье [2] получена полная классификация квазиминимальных поверхностей Лоренца с поточечным 1-типа гауссовым отображением в псевдоевклидово 4-пространство.
В работе [3] изучены некоторые характеристики поверхностей вращения с поточечным 1-типа гауссовым отображением в четырехмерном евклидовом пространстве.
Локальным и глобальным свойствам замкнутых невыпуклых гиперповерхностей, имеющих геометрические особенности, с биективным сферическим отображением посвящены работы А.Л. Вернера [4], А.А. Дудкина [5] и В.Г. Шармина [6].
В настоящей статье изучено топологическое строение замкнутых нерегулярных гиперповерхностей специального вида с биективным гауссовым отображением в четырехмерном евклидовом пространстве.
Основные определения и примеры
Определение 1. Контингенция гиперповерхности r (u1, u1,..., un) в данной точке
r(ui U2 ,...,u ) - это множество предельных положений лучей, имеющих начало в точ-
ке r(u1o,u2o,...,uno) и проходящих через точку r(u1,u1,...,un) Ф r(ulQ,u2o,...,unQ), при
(ы15U1,...,un) ® (ui0,u20,...,un0) .
Замечание. В регулярной точке контингенция совпадает с касательной гиперплоскостью. Определение 2. Типом седлообразности гиперповерхности Vn класса С2 евклидова пространства En+1 в точке M eVn называется пара чисел (p, q), где р - число положительных главных кривизн, а q - число отрицательных главных кривизн в рассматриваемой точке.
Если гиперплоскость в евклидовом пространстве En+1 задана уравнением
A1 • X + A2 • X2 +... + An+1 • Xn+1 — 1 = 0 , то ее полюсом относительно некоторой гиперсферы Sn
является точка с координатами (A1, A2,..., An+1).
* 1
Определение 3. Гиперповерхность Vn с En+ называется полярной для гиперповерхности Vn с En+1 относительно некоторой гиперсферы Sn , если каждая ее точка X* есть полюс гиперплоскости aX, касательной в точке X eVn (либо гиперплоскости, содержащей контингенцию в точке X eVn для особых точек).
Определение 4. Пусть регулярная гиперповерхность задана погружением f: Wn ® En+1 и
we Wn . Окрестность W точки w называется канонической, если среди касательных гиперплоскостей в точках множества f (W), отличных от точки f (w), нет параллельных касательной гиперплоскости в точке f (w). Если сужение отображения f на W является вложением, то f (W) называется канонической окрестностью точки f (w), а точка f (w) - регулярной в смысле А.В.Погорелова [7, с. 208].
Определение объекта исследования. Рассмотрим гиперповерхность V3 с E4, удовлетворяющую следующим условиям:
1) V3 является замкнутой невыпуклой гиперповерхностью, заданной топологическим погружением r : S3 ® E4 , причем вектор-функция r является непрерывно-дифференцируемой;
2) на гиперповерхности V3 существует непустое множество особых точек V2, в которых rank (dr ) = 2, причем это множество является образом объединения конечного числа попарно
непересекающихся замкнутых ориентируемых двумерных подмногообразий гиперсферы S 3 , и особенность на гиперповерхности V 3 является геометрической, регулярные компоненты V 3 принадлежат классу Сk, k > 2 ;
3) гиперповерхность V 3 допускает взаимно однозначное гауссово отображение в следующем смысле: в каждой точке V3 существует единственная гиперплоскость, содержащая континген-цию гиперповерхности в этой точке, и можно так выбрать поле нормалей n к этим гиперплоскостям, что с помощью этих нормалей будет осуществляться гомеоморфизм V3 на S3;
4) гиперповерхность V3 является огибающей построенного поля гиперплоскостей;
5) сферический образ каждой компоненты Vf особого множества V2 гиперповерхности V3 является регулярной поверхностью на гиперсфере S3 ;
6) для любой компоненты V'f поверхности V2 в каждой точке величины K1 и K2 не равны нулю, где K1 и K2 кривизны в направлениях векторов n и m, образующих базис нормальной
плоскости двумерной поверхности V-2, причем вектор n принадлежит векторному полю, определенному в пункте 3.
Замечание. С помощью векторов ñ и m вычисляются вторые квадратичные формы поверх-
2
ности Vi , которые используются для нахождения величин K1 и K2 . Гауссова кривизна поверхности равна сумме величин K1 и K2 .
Построим пример гиперповерхности в E4 , удовлетворяющей условиям 1-6.
38 Bulletin of the South Ural State University
Ser. Mathematics. Mechanics. Physics, 2020, vol. 12, no. 1, pp. 37-43
Шармин В.Г., Исследование глобальных свойств замкнутой нерегулярной гиперповерхности Шармин Д.В. с биективным гауссовым отображением с помощью функции уровня
Рассмотрим на плоскости Е2 замкнутую кривую I с четырьмя точками возврата, имеющую биективное сферическое отображение и состоящую из четырех дуг: две дуги - части двух ветвей гиперболы, симметричные относительно мнимой оси, две другие - это дуги окружностей одного радиуса, обращенные выпуклостью внутрь ограниченной компоненты множества Е2 \ I. В точках возврата касательные к окружности и гиперболе совпадают. Вращая эту кривую вокруг мнимой оси гиперболы в евклидовом пространстве Е3, получим замкнутую невыпуклую поверхность с биективным сферическим отображением, состоящую из одной седловой компоненты и двух выпуклых компонент и имеющую два ребра возврата.
Будем вращать полученную поверхность в пространстве Е4 вокруг плоскостей симметрии. При вращении вокруг плоскости, не пересекающей ребра возврата, получим гиперповерхность в , имеющую взаимно однозначное сферическое отображение и состоящую из двух седловых компонент с типами седлообразности (2, 1) и (1, 2). Особое множество представляет собой тор Клиффорда, т.е. тор в Е4 , гауссова кривизна во всех точках которого равна нулю.
Если же плоскость вращения пересекает ребра возврата, то получим гиперповерхность, состоящую из трех компонент: двух локально выпуклых, гомеоморфных трехмерному шару, и од-
2
ной седловой компоненты, гомеоморфной цилиндру ^ х I. Особое множество - два непересекающихся многообразия, каждое из которых гомеоморфно двумерной сфере.
Топологическое строение компонент особого множества
Теорема 1. Полная кривизна Ц 2 КС а компоненты V'2 особого множества V2 гиперповерх-
3
ности V , удовлетворяющей условиям 1-6, является неотрицательной. Доказательство. Предположим противное, т. е. [[ 2 КС& < 0 .
По определению объекта исследования величины К1 и К2 не обращаются в ноль в точках многообразия V'2. В силу предположения хотя бы одна из них строго отрицательна. Для определенности положим К2 < 0.
Рассмотрим дифференциальное уравнение на V'2
ЬиСи^ + 2Ь12Си1Си2 + Ь22Сы2 = 0, (1)
где Ь11, Ь12, Ь22 - коэффициенты второй квадратичной формы поверхности V2 в направлении вектора т .
Так как по теореме Гаусса-Бонне эйлерова характеристика компоненты V2 строго отрицательна, то любое дифференциальное уравнение на этом многообразии должно иметь особые точки [8, с. 232]. В особых точках дифференциального уравнения (1) имеем Ь11 = Ь12 = Ь22 = 0 . Получили противоречие с условием 6 определения основного объекта исследования.
Следствие 1. Компонентой V2 особого множества V2 гиперповерхности V3, удовлетворяющей условиям 1-6, может быть либо двумерная сфера, либо двумерный тор.
Следствие 2. Если компонента V2 есть двумерная сфера, то величины Кх и К2 положительны.
Связь рода компоненты особого множества с типом касающихся вдоль нее регулярных компонент гиперповерхности V3
Теорема 2. Если компонента V2 особого множества V2 гиперповерхности V3 гомеоморфна сфере, то вдоль нее касаются друг друга эллиптическая и седловая компоненты.
Доказательство. Компоненту V2 в дальнейшем будем обозначать ^2 . Пусть О есть окрестность особой точки М е ^2 такая, что ее полярный образ СО является канонической окрестно-
* 3*
стью точки М на полярной гиперповерхности V . Окрестность О можно выбрать так, что граница канонической окрестности да* точки М* будет пересекать полярный образ ^2 компо-
ненты S2 особого множества V2 по замкнутой кривой, делящей дю* на две области и2 и м^, а
2* * 3 3
множество S будет делить ю на области щ и u2 [6, с. 94, лемма 2].
3
Через точку M не проходят касательные гиперплоскости к V в точках X Ф M множества S2 пю, поскольку величины K1 и K2 в точке Mе S2 положительны. Поэтому на касательной
3* * 2*
гиперплоскости к гиперповерхности V3 в точке M* нет точек из S2 пю* , т. е.
* *
T *V3 п(S2 пю*) = M\
M '
Точка M* - полярный образ точки M, принадлежащей особому множеству рассматриваемой гиперповерхности Vъ. Согласно результатам работы [6, с. 96, лемма 5], точка M* является
параболической точкой на гиперповерхности V3 . Тогда множество T *V3 пюпредставляет собой один конус и лежит либо в области u3, либо в области u2 . Отсюда следует, что касательная плоскость к гиперповерхности V3 в точке M* имеет с одной из замкнутых областей Uj3 либо м| только одну общую точку M* , т. е. либо uj3, либо u\ является локально выпуклой в окре-
3*
стности края. Тогда соответствующая область на гиперповерхности V в окрестности точкиM , принадлежащая ее краю, является выпуклой. Из этого и локального результата о строении в окрестности особой точки гиперповерхности с инъективным сферическим отображением [6, с. 95,
теорема 2] следует, что вдоль компоненты S2 касаются друг друга локально выпуклая и седло-вая компоненты.
Следствие 3. Если вдоль компоненты Vf особого множества V2 гиперповерхности V3, удовлетворяющей условиям j - 6, касаются друг друга две седловых компоненты, то поверхность Vf гомеоморфна тору.
Гиперповерхности с «отсекаемыми» краями гладких компонент
Пусть для гиперповерхности V3, удовлетворяющей условиям 1-6, существует прямая l, такая, что для любой регулярной компоненты Vf каждая компонента ее края Vj является «отсе-
уе
этом многообразие Vf с плоскими краями, полученное «отсечением» связных компонент края но
ность Vi3 имеет не более двух компонент связности края, и существует хотя бы одна регулярная компонента со связным краем. Пусть точки, в которых касательные гиперплоскости к Vъ перпендикулярны l, принадлежат int uVf .
i
Для каждого многообразия Vf построим функцию уровня f относительно прямой l. Построенная функция является допустимой функцией Морса [9, с. 206]. Легко видеть, что множество критических точек этой функции, рассматриваемой на int uV-3, состоит только из двух точек,
i
причем эти точки являются невырожденными критическими точками.
Замечание. Для изучения топологических свойств и типа седлообразности компоненты Vf достаточно изучить топологические свойства и тип седлообразности компоненты Vf .
Лемма 1. Если индекс особой точки равен k , то тип седлообразности компоненты Vf равен (3 -k,k).
Доказательство. В окрестности критической точки pе Vf индекса k функцию f¡ можно задать следующим образом [9, с. 192, лемма Морса]:
40 Bulletin of the South Ural State University
Ser. Mathematics. Mechanics. Physics, 2020, vol. 12, no. 1, pp. 37-43
j
каемой», т.е. существует гиперплоскость E3, перпендикулярная прямой l, и E3 п Vj =0 . При
регулярной гиперповерхности Vf, гомеоморфно Vf . Предположим, что каждая гиперповерх-
Шармин В.Г., Исследование глобальных свойств замкнутой нерегулярной гиперповерхности Шармин Д.В. с биективным гауссовым отображением с помощью функции уровня
к 3
¡1 ^ и3 )=/ (р)-Еи2 + Еи2, (2)
г=0 ¡=к+1
при этом касательная гиперплоскость в точке р перпендикулярна прямой I. Тогда уравнение (2) можно рассматривать как уравнение соприкасающегося параболоида с типом седлообразности (3 — к, к) поверхности V3 в точке р с осью I.
Лемма 2. Компонента V3 со связным краем содержит критическую точку, индекс которой равен нулю, причем эта компонента является локально выпуклой.
Доказательство. Так как число Бетти группы гомологий Н0 (V3, Z) равно единице, то в силу неравенств Морса [9, с. 212, теорема 3.7] функция / имеет на V3 хотя бы одну критическую точку индекса ноль. В силу леммы 1 и постоянства типа седлообразности на регулярной компоненте, V3 является локально выпуклой.
Лемма 3. На гиперповерхности V3 с допустимой функцией уровня / не существует компоненты со связным краем, гомеоморфной полноторию.
Доказательство. Поскольку полноторий не является локально выпуклой компонентой, то на нем должна существовать точка с типом седлообразности (2, 1) или (1, 2). С другой стороны, по лемме 2 на этой компоненте существует точка индекса ноль, в которой тип седлообразности равен (3, 0).
Теорема 3. Компонента V3 со связным краем гомеоморфна трехмерному шару, содержит ровно одну критическую точку функции / и является локально выпуклой.
Доказательство. В соответствии с леммами 2 и 3, Vi является локально выпуклой компонентой, гомеоморфной трехмерному шару, на которой функция уровня имеет критические точки. Эйлерова характеристика этой компоненты равна единице.
Докажем, что на рассматриваемой компоненте не существует двух критических точек функции уровня / .
Предположим, что на V* функция / имеет две критические точки индексов 0 и 3, тогда V3 является деформационным ретрактом объединения нульмерной и трехмерной клеток [9, с. 210, теорема 3.3]. Так как эйлерова характеристика есть гомотопический инвариант, получаем, что
для компоненты V3 она равна нулю. Полученное противоречие доказывает теорему.
Теорема 4. Компонента V3 с краем, состоящим из двух компонент связности, гомеоморфна 52 х I
, и функция / не имеет на ней критических точек.
Доказательство этой теоремы аналогично доказательству теоремы 3. При доказательстве используется тот факт, что вместо функции уровня / можно рассматривать функцию уровня
(—/). Тогда, если критическая точка функции / имеет индекс к , то для функции (—/) эта же
точка будет иметь индекс (3 - к ) [9, с. 211].
Следствие 4. На гиперповерхности V3 существуют ровно две компоненты локальной выпуклости, гомеоморфные трехмерному шару, на каждой из которых функция уровня / имеет ровно одну критическую точку.
Теорема 5. Компонента V3, гомеоморфная 52 хI, является седловой.
Доказательство. Предположим противное. Отсечем края этой компоненты. Получим цилиндр 52 х I с краями, лежащими в 3-плоскостях. Пересечем этот цилиндр трансверсально 2-плоскостью, параллельной прямой I. Тогда, с одной стороны, в пересечении должна получиться локально выпуклая кривая, а, с другой стороны, эта кривая не должна быть локально выпуклой, так как компонента V3 обращена выпуклостью внутрь гиперповерхности V3 [6, с. 96, лемма 6].
Теорема 6. Гиперповерхность V3 с отсекаемыми краями регулярных компонент состоит из трех компонент: двух локально выпуклых, гомеоморфных трехмерному шару, и одной седловой компоненты, гомеоморфной цилиндру S2 х I.
Доказательство. Гиперповерхность V3 не может состоять только из двух компонент локальной выпуклости, гомеоморфных трехмерному шару, так как это противоречит теореме 2. Следовательно, она содержит хотя бы одну седловую компоненту, гомеоморфную S2 хI. Если бы седловых компонент было не менее двух, то нашлись бы две седловых компоненты, которые касались бы друг друга вдоль некоторого множества, гомеоморфного сфере, что опять противоречит теореме 2.
Литература
1. Baba-Hamed, C. On the Gauss Map of Surfaces of Revolution in the Three-Dimensional Minkowski Space / C. Baba-Hamed, M. Bekkar // Tsukuba J. Math. - 2013. - Vol. 36, no. 2. - P. 193-215.
2. Milousheva, V. Quasi-Minimal Lorentz Surfaces with Pointwise 1-Type Gauss Map in Pseudo-Euclidean 4-space / V. Milousheva, N.C. Turgay // Journal of Geometry and Physics. - 2016. -Vol. 106. - pp. 171-183.
3. Dursun, U. Surfaces in the Euclidean Space E with Pointwise 1-Type Gauss Map / U. Dursun, G.G. Arsan // Hacet. J. Math. Stat. - 2011. - Vol. 40, no. 5. - P. 617-625.
4. Вернер, А. Л. Конусы со взаимно однозначным сферическим отображением / А. Л. Вернер // Ученые записки Ленинградского государственного педагогического института им. А.И. Герцена. -1967. - Т. 328. - С. 44-75.
5. Дудкин, А. А. Замкнутые невыпуклые поверхности с биективным сферическим отображением, вложенные в E3 / А.А. Дудкин // Современная геометрия. - 1981. - С. 19-39.
6. Шармин, В.Г. Замкнутые невыпуклые гиперповерхности с биективным сферическим отображением в E / В.Г. Шармин // Вопросы глобальной и римановой геометрии. - 1983. - С. 92-96.
7. Бакельман, И.Я. Введение в дифференциальную геометрию «в целом» / И.Я. Бакельман, А.Л. Вернер, Б.Е. Кантор. - М.: Наука, 1973. - 440 с.
8. Арнольд В.И. Обыкновенные дифференциальные уравнения. - М.: Наука, 1975. - 239 с.
9. Хирш, М. Дифференциальная топология / М. Хирш. - М.: Мир, 1979. - 280 с.
Поступила в редакцию 7 сентября 2018 г.
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2020, vol. 12, no. 1, pp. 37-43
DOI: 10.14529/mmph200105
STUDYING GLOBAL PROPERTIES OF A CLOSED NON-REGULAR HYPERSURFACE WITH A BIJECTIVE GAUSSIAN MAPPING USING THE LEVEL FUNCTION
V.G. Sharmin, D.V. Sharmin
Tyumen State University, Tyumen, Russian Federation E-mail: [email protected]
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
Bulletin of the South Ural State University Ser. Mathematics. Mechanics. Physics, 2020, vol. 12, no. 1, pp. 37-43
Шармин В.Г., Исследование глобальных свойств замкнутой нерегулярной гиперповерхности Шармин Д.В. с биективным гауссовым отображением с помощью функции уровня
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.
Keywords: Euclidean space; Gaussian mapping; non-convex closed non-regular hypersurface; Euler characteristic; level function.
References
1. Baba-Hamed C., Bekkar M. On the Gauss Map of Surfaces of Revolution in the Three-Dimensional Minkowski Space. Tsukuba J. Math., 2013, Vol. 36, no. 2, pp. 193-215. DOI: 10.21099/tkbjm/1358776999
2. Milousheva V., Turgay N.C. Quasi-Minimal Lorentz Surfaces with Pointwise 1-Type Gauss Map in Pseudo-Euclidean 4-space. Journal of Geometry and Physics, 2016, Vol. 106, pp. 171-183. DOI: 10.1016/j .geomphys.2016.03.023
3. Dursun U., Arsan G.G. Surfaces in the Euclidean Space E4 with Pointwise 1-Type Gauss Map. Hacet. J. Math. Stat., 2011, Vol. 40, no. 5, pp. 617-625.
4. Verner A.L. Konusy so vzaimno odnoznachnym sfericheskim otobrazheniem (Cones with a One-to-one Spherical Mapping). Uchenye zapiski Leningradskogo gosudarstvennogo pedagogicheskogo instituta im. A. I. Gertsena, 1967, Vol. 328, pp. 44-75. (in Russ.).
5. Dudkin A.A. Zamknutye nevypuklye poverkhnosti s biektivnym sfericheskim otobrazheniem, vlozhennye v E3 (Closed Non -convex Surfaces with Bijective Spherical Mapping, Nested in E3). Sovremennaya geometriya, 1981, pp. 19-39. (in Russ.).
6. Sharmin V.G. Zamknutye nevypuklye giperpoverkhnosti s biektivnym sfericheskim otobrazheniem v E4 (Closed non-convex hypersurfaces with bijective spherical mapping in E4). Voprosy global'noy i rimanovoy geometrii, 1983, pp. 92-96. (in Russ.).
7. Bakel'man I.Ya., Verner A.L,, Kantor B.E. Vvedenie v differentsial'nuyu geometriyu "v tselom" (Introduction to differential geometry "in general"). Moscow, Nauka Publ., 1973, 440 p. (in Russ.).
8. Arnol'd V.I. Obyknovennye differentsial'nye uravneniya (Ordinary differential equations). Moskow, Nauka Publ., 1975, 239 p. (in Russ.).
9. Hirsch M.W. Differencial topology. Springer-Verlag, 1976, 222 p. DOI: 10.1007/978-1-46849449-5
Received September 7, 2018
