Аффинная дифференциальная геометрия
Аффи́нная дифференциа́льная геоме́трия, раздел геометрии, изучающий дифференциально-геометрические свойства кривых и поверхностей, сохраняющиеся при преобразованиях аффинной группы или её подгрупп. Наиболее полно изучена дифференциальная геометрия эквиаффинного пространства.
В эквиаффинной плоскости каждые два вектора имеют инвариант – площадь параллелограмма, построенного на векторах и . С помощью этого понятия для кривой , отличной от прямой, строится инвариантный параметр
называемый эквиаффинной дугой. Дифференциальный инвариант
называется эквиаффинной кривизной плоской кривой. Постоянство эквиаффинной кривизны характеризуют кривые 2-го порядка. Натуральное уравнение определяет кривую с точностью до эквиаффинного преобразования. Вектор направлен по аффинной нормали к плоской кривой: аффинная нормаль в точке , , касается геометрического места середин хорд кривой, параллельных касательной в точке и совпадает с диаметром параболы, имеющей в точке соприкосновение 3-го порядка с кривой.
При переходе к общей аффинной группе у кривой рассматривают два более сложных инварианта: аффинную дугу и аффинную кривизну . Они могут быть выражены через введённые выше инварианты и :
(в эквиаффинной геометрии сами величины и для краткости называются аффинной дугой и аффинной кривизной). Подобным же образом строятся центроаффинная дуга, центроаффинная кривизна, эквицентроаффинная дуга и эквицентроаффинная кривизна плоской кривой.
В эквиаффинном пространстве каждым трём векторам может быть отнесён инвариант – объём ориентированного параллелепипеда, определяемого этими векторами. Натуральный параметр (эквиаффинная дуга) кривой определяется формулой
Дифференциальные инварианты , , где штрихи означают дифференцирование по натуральному параметру, называются соответственно эквиаффинной кривизной и эквиаффинным кручением пространственной кривой. Изучение кривой сводится к выбору того или иного сопровождающего репера; особую роль играет репер, образованный векторами
и определяемый дифференциальной окрестностью 4-го порядка рассматриваемой кривой. Разработана также центроаффинная теория пространственных кривых (Широков П. А., Широков А. П. 1959).
Для поверхности в эквиаффинном пространстве, отличной от развёртывающейся поверхности, строится тензор
где , , , . Вектор
где – символ ковариантной производной в связности с метрическим тензором , задаёт направление аффинной нормали к поверхности. Аффинная нормаль проходит через центр соприкасающейся квадрики Ли. Деривационные уравнения
определяют внутреннюю связность 1-го рода поверхности. Наряду с ней возникает внутренняя связность 2-го рода , определяемая деривационными уравнениями
где – ковариантный вектор, определяющий касательную плоскость к поверхности и подчинённый условию нормировки . Связности и являются сопряжёнными относительно тензора в смысле А. П. Нордена (Норден. 1950). Тензор
играющий также основную роль в проективной дифференциальной геометрии, позволяет построить симметрический ковариантный тензор
Строятся также две основные формы поверхности: квадратичная формa
и кубическая форма Фубини – Пика
Эти формы связаны условием аполярности
Две такие формы, удовлетворяющие дополнительным дифференциальным условиям, определяют поверхность с точностью до эквиаффинных преобразований. Все эти положения обобщаются на многомерный случай.
В аффинном и эквиаффинном пространствах выделяется много специфических классов поверхностей: аффинные сферы (у которых аффинные нормали образуют связку), аффинные поверхности вращения (аффинные нормали пересекают одну собственную или несобственную прямую), аффинные минимальные поверхности и др.
Помимо кривых и поверхностей, изучаются также иные геометрические образы эквиаффинного пространства, например конгруэнции и комплексы прямых, векторные поля и др.
Наряду с эквиаффинной дифференциальной геометрией разрабатывается дифференциальная геометрия общей аффинной группы и других её подгрупп как в трёхмерном, так и в многомерном пространстве (центроаффинном, эквицентроаффинном, аффинно-симплектическом, биаффинном и т. д.).