Дифференциальная геометрия многообразий фигур (:nssyjyuengl,ugx iykbymjnx bukikkQjg[nw snirj)

Дифференциа́льная геоме́трия многообра́зий фигу́р (англ. differential geometry of shape manifolds) — раздел дифференциальной геометрии, который изучает многообразия, образующие элементы которых не точки исходного пространства, а различные фигуры этого пространства (линии, поверхности и так далее). Такие многообразия называются многообразиями фигур.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• получают последовательность фундаментальных объектов многообразия ${\mathfrak {M}}_{m}$;
• выделяют из неё основной объект, однократное продолжение которого определяет многообразие ${\mathfrak {M}}_{m}$ с точностью до преобразований фундаментальной группы $G_{r}$ однородного пространства $E_{n}$;
• осуществляют инвариантное построение дифференциальной геометрии многообразия, то есть строят различные геометрические объекты, охватываемые основным объектом.

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

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

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

• исходной фундаментальной группы $G_{r}$ однородного пространства $E_{n}$;
• линейной дифференциальной группы соответствующего порядка в пространстве параметров.

Изучение дифференциальной геометрии многообразий фигур однородного пространства $E_{n}$ полностью включается в исследование геометрии оснащенного многообразия Л. С. Понтрягина $G_{r}$-структуры с базой $\{\theta ^{i}\}$.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Источники

• Малаховский В. С. Дифференциальная геометрия многообразий фигур // Итоги науки и техн. Сер. Пробл. геом. Том 12. М.: ВИНИТИ, 1981. С. 31—60. [Malakhovskii V. S. Differential geometry of manifolds of figures. Journal of Soviet Mathematics. 1983, Volume 21, Issue 2, Pages 127–151. DOI: https://doi.org/10.1007/BF01084773] URL: https://www.mathnet.ru/links/fa52f2e739a28f29e864c6f1bb28b73b/intg126.pdf [URL: https://link.springer.com/article/10.1007/BF01084773] Малаховский В. С. Дифференциальная геометрия многообразий фигур // Math-Net.Ru. Архивная копия от 23 ноября 2023 на Wayback Machine
• Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей // Итоги науки и техн. Сер. Алгебра. Топол. Геом.,. Том 10. М.: ВИНИТИ, 1972. С. 113—157. [Malakhovskii V. S. Differential geometry of families of lines and surfaces. Journal of Soviet Mathematics. 1974, Volume 2, Issue 3, Pages 304–330. DOI: https://doi.org/10.1007/BF01085606] URL: https://www.mathnet.ru/links/6a3aa878114ea4247f8956b3a2206d75/inta59.pdf [URL: https://link.springer.com/article/10.1007/BF01085606] Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей // Math-Net.Ru. Архивная копия от 27 августа 2020 на Wayback Machine
• Малаховский В. С. Фигур многообразие // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 5 Слу—Я. М.: «Советская Энциклопедия», 1985. 1248 стб., ил. Стб. 612—613.
• Евтушик Л. Е., Малаховский В. С.' Герман Фёдорович Лаптев — выдающийся геометр XX века // Дифференциальная геометрия многообразий фигур. № 40. Калининград: Издательство БФУ им. И. Канта, 2009. С. 7—10.