Дифференциальная геометрия многообразий фигур

Дифференциа́льная геоме́трия многообра́зий фигу́р (Шаблон:Lang-en) — раздел дифференциальной геометрии, который изучает многообразия, образующие элементы которых не точки исходного пространства, а различные фигуры этого пространства (линии, поверхности и так далее)Шаблон:Sfn. Такие многообразия называются многообразиями фигурШаблон:Sfn.

Геометров давно интересовала проблема описания многообразий фигур, но до создания:

• тензорного исчисления,
• метода внешних форм Эли Картана,
• метода подвижного репера Эли Картана,
• теоретико-группового метода продолжений и охватов Г. Ф. ЛаптеваШаблон:Sfn

не существовало общего подхода к решению этой проблемыШаблон:Sfn.

Наиболее важные разделы дифференциальной геометрии многообразий фигур следующиеШаблон:Sfn:

• многообразия коник и квадрик в многомерных и трёхмерных евклидовом, аффинном и проективном пространствах;
• многообразия окружностей и сфер в евклидовом и конформном пространствах.

В России с 1970 года выходит журнал Дифференциальная геометрия многообразий фигур на русском и английском языках.

Историческая справка

В прошлом, как в конце XIX века, так и в первой половине XX века, дифференциальная геометрия многообразий фигур (тогда называлась дифференциальной геометрией семейств линий и поверхностей) развивалась в основном внутри классической геометрии. На начальном этапе рассматривались только семейства простейших линий и поверхностей (обычно в евклидовом, аффинном и проективном пространствах)Шаблон:SfnШаблон:Sfn:

• точек, прямых и плоскостей,
• окружностей и сфер,
• коник и квадрик.

Не только в трёхмерных пространствах исследовались семейства алгебраических линий и поверхностей. В многомерных пространствах с помощью инвариантного теоретико-группового метода Г. Ф. Лаптева изучались многообразия следующих элементов:

• квадратичных,
• плоских алгебраических.

Первоначальные исследования многообразий конкретных типов фигур привели к необходимости более детального рассмотрения самих образующих элементов — фигур. Это дало возможность получить принципиально новые результаты в теории дифференциально-геометрических объектовШаблон:Sfn.

Формальное определение многообразия фигур

Пусть $E_n$ — однородное Шаблон:S пространство и $F$ — фигура этого пространства ранга $N$. Тогда Шаблон:S многообразие ${𝔐}_m$ фигур $F$ — это Шаблон:S семейство (совокупность) фигур $F(m<N)$. Если ${\mathrm{\Omega }}^I(I,J,K=1,\dots ,N)$ — внешние структурные формы, то есть левые части уравнений инвариантности (стационарности) фигуры $F$, то замкнутую систему пфаффовых уравнений, определяющих многообразие ${𝔐}_m$, можно представить в следующем видеШаблон:SfnШаблон:Sfn:

${\mathrm{\Omega }}^a={\lambda }_i^a{\mathrm{\Omega }}^i,\mathrm{\Delta }{\lambda }_i^a\wedge {\mathrm{\Omega }}^i=0$

$(i,j,k=1,2,\dots ,m;a,b,c=m+1,m+2,\dots ,N),$

где $\mathrm{\Delta }{\lambda }_i^a$ — формы Пфаффа, возникающие при замыкании пфаффовых уравнений системы ${\mathrm{\Omega }}^a={\lambda }_i^a{\mathrm{\Omega }}^i$, причём

${\mathrm{\Omega }}^1\wedge {\mathrm{\Omega }}^2\wedge \dots \wedge {\mathrm{\Omega }}^m\ne 0.$

Осуществляя последовательные продолжения этой дифференциальной системы на производные следующих порядковШаблон:SfnШаблон:Sfn:

• получают последовательность фундаментальных объектов многообразия ${𝔐}_m$;
• выделяют из неё основной объект, однократное продолжение которого определяет многообразие ${𝔐}_m$ с точностью до преобразований фундаментальной группы $G_r$ однородного пространства $E_n$;
• осуществляют инвариантное построение дифференциальной геометрии многообразия, то есть строят различные геометрические объекты, охватываемые основным объектомШаблон:SfnШаблон:Sfn.

Изучая многообразия фигур, целесообразно использовать также параметрические уравнения

${\mathrm{\Omega }}^I={\lambda }_i^I{\theta }^i,$

где ${\theta }^i$ — параметрические формы. Тогда фундаментальные объекты многообразия фигур рассматриваются относительно произведения двух группШаблон:Sfn:

• исходной фундаментальной группы $G_r$ однородного пространства $E_n$;
• линейной дифференциальной группы соответствующего порядка в пространстве параметров.

Изучение дифференциальной геометрии многообразий фигур однородного пространства $E_n$ полностью включается в исследование геометрии оснащенного многообразия Л. С. Понтрягина Шаблон:S с базой $\{{\theta }^i\}$Шаблон:Sfn.

Квадратичные (двумерные) конусы и их сечения — коники в трёхмерном пространстве образуют восьмимерное пространство, квадрики — девятимерное пространство, что обеспечивает широкий диапазон размерностей многообразий указанного типа. Семейства коник, например, могут зависеть от одного до семи (на единицу меньше восьми) параметровШаблон:Sfn.

Многообразия фигур в трёхмерном пространстве

Однопараметрические многообразия коник

Простейшими многообразиями с нелинейными образующими элементами являются многообразия коник. Со всяким одномерным, то есть однопараметрическим, многообразием $C_1^2$ коник в трёхмерном пространстве (евклидовом, аффинном или проективном) ассоциируется торс, являющийся огибающей поверхностью плоскостей коник. Многообразие $C_1^2$ называется фокальным или нефокальным в зависимости от того, касается образующая коники торса или нетШаблон:SfnШаблон:Sfn.

Конгруэнции коник

Конгруэнция коник, то есть их двупараметрическое (двумерное) многообразие, в трёхмерном пространстве имеет в общем случае шесть фокальных поверхностей и шесть фокальных семейств. Все коники конгруэнции касаются этих поверхностей. Конгруэнции коник $C_0$ с неопределенными фокальными семействами (всякие две смежные коники которой пересекаются с точностью до 2-го порядка малости) характеризуются принадлежностью всех коник конгруэнции некоторой одной квадрикеШаблон:SfnШаблон:Sfn.

Конгруэнции коник, плоскости которых образуют однопараметрическое семейство, имеют одно счетверённое фокальное семейство, которому соответствуют четыре фокальные точки пересечения двух смежных коник, принадлежащих одной плоскости. Две другие фокальные точки являются точками пересечения коники с характеристикой её плоскостиШаблон:SfnШаблон:Sfn.

Конгруэнции квадрик

Конгруэнция $K_2$ квадрик в трёхмерном проективном пространстве $P_3$ имеет в общем случае восемь фокальных поверхностей, которых касаются все квадрики конгруэнции. Точка квадрики $F=0$ конгруэнции $K_2$, определяемая вдоль любого направления системой уравнений

$F=0,dF=0,d^{2}F=0,\dots ,d^{m}F=0,$

называется её фокальной точкой порядка $m$. Фокальная точка Шаблон:S порядка является четырёхкратной точкой 1-го порядка; фокальная точка 3-го порядка является фокальной точкой любого порядка $m>3$Шаблон:Sfn.

Комплексы коник

На каждой конике $C$ трёхпараметрического (трёхмерного) многообразия коник, то есть комплекса коник, существуют в общем случае шесть инвариантных (неподвижных) точек, которые называются Шаблон:S точками коники. Для каждой коники $C$ комплекса коник, плоскости которого образуют двупараметрическое семейство, однозначно определяется некоторая другая коника $C^{*}$, проходящая через характеристическую точку плоскости коники $C$ и четыре точки пересечения коники со смежной коникой той же плоскости (эти четыре точки суть (характеристические точки коники $C$)Шаблон:SfnШаблон:Sfn. Геометрические свойства многопараметрических семейств коник существенно зависят от числа параметров, характеризующих плоскости коник таких семействШаблон:Sfn.

Многообразия фигур в n-мерном пространстве

Многообразия (h, m, n)²

Непосредственное обобщение коники в трёхмерном проективном пространстве $P_3$ — квадратичный элемент, то есть Шаблон:S невырожденная квадрика в $P_n$ при $n>3$. Многообразием $(h,m,n{)}^2$ в пространстве $P_n$ называется Шаблон:S семейство квадратичных элементов, гиперплоскости которых образуют Шаблон:S семейство. Многообразия $(h,h,3{)}^2$, где $h=1,2,3,$ суть наиболее общие соответственно однопараметрические семейства, конгруэнции и комплексы коник в $P_3$Шаблон:SfnШаблон:Sfn.

Многообразия (h, h, n)²

С каждым локальным квадратичным элементом многообразия $(h,h,n{)}^2$ при $h<n$ ассоциируется Шаблон:S характеристическое подпространство и Шаблон:S полярное подпространство. Рангом многообразия $(h,h,n{)}^2$ называется число $R$, равное $n-h-1-\nu$, где $\nu$ — размерность подпространства, по которому характеристическое подпространство пересекается с его полярным пространствомШаблон:SfnШаблон:Sfn.

Многообразия (n, n, n)²

Дифференциальную геометрию многообразия $(n,n,n{)}^2$ можно рассматривать как геометрию некоторой регулярной гиперповерхности Шаблон:S тангенциального центропроективного пространства $P_0^{n+1}$, в котором исходное Шаблон:S пространство играет роль неподвижной точкиШаблон:SfnШаблон:Sfn.

Источники

• Шаблон:H
• Шаблон:H
• Шаблон:H
• Шаблон:H
• Шаблон:H
• Шаблон:H