Геометрический объект

Геометри́ческий объе́кт (), или — любая точка пространства представления данной фундаментальной группы .

В качестве примера приведём два разных пространства представления проективной группы : трёхмерное проективное пространство ; четырёхмерное многообразие прямых из .

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

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

Термин «геометрический объект», в противовес термину «инвариант», появился впервые в 1930 году у Схоутена и Ван Кампена.

Первая попытка систематического построения теории объектов и геометрических объектов была сделана Александром Вундгейлером (Alexander Wundheiler, 1902—1957) в докладе, посвящённом классификации геометрий с помощью инвариантов группы движений пространства (предложенной в 1872 году Феликсом Клейном — так называемая Эрлангенская программа), на Первой Международной конференции по тензорной дифференциальной геометрии и её приложениям в Москве в 1934 году.

Пространство геометрического объекта Геометрический объект присоединён к своей фундаментальной группе . Пространство представления фундаментальной группы, точкой которой является геометрический объект, называется пространством геометрического объекта в широком смысле слова, или обобщённым однородным пространством. Группа преобразований пространства геометрического объекта, реализующая его фундаментальную группу, называется фундаментальной группой геометрического объекта.

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

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

Пространство реперов Пусть в пространстве данного геометрического объекта реализовано истинное транзитивное представление. Тогда, подвергая пространство представления и с ним данный репер всевозможным преобразованиям фундаментальной группы , получают полное пространство реперов, в котором осуществляется просто транзитивное представление группы . Это пространство отождествляется с параметрическим пространством фундаментальной группы . Если принять его произвольную точку (репер) за исходную и сопоставить ей единичный элемент группы , то все точки этого пространства приводятся во взаимно однозначное соответствие с элементами группы . Групповые параметры могут рассматриваться как параметры подвижного репера.

Между реперами пространства реперов и элементами фундаментальной группы можно установить также и взаимно однозначное соответствие, когда каждому элементу группы поставлен в соответствие некоторый репер , полученный из произвольно зафиксированного начального (абсолютного) репера правым (левым) сдвигом при помощи элемента : . Текущему элементу будет соответствовать текущий «подвижной» репер . Каждая точка пространства представления фундаментальной группы определяется относительно репера своими координатами называется абсолютными координатами, или абсолютными компонентами, геометрического объекта .

Основные функции, определяющие геометрический объект Относительными координатами, или относительными компонентами, геометрического объекта по отношению к реперу называются абсолютные компоненты геометрического объекта, в который рассматриваемый объект превращается при помощи преобразования, переводящего подвижный репер в абсолютный репер : и

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

Основная теорема Сформулируем основную теорему теории представлений группы Ли, которая называется первой теоремой Ли — Картана.

Теорема. Система вида

тогда и только тогда является системой дифференциальных уравнений инвариантности геометрического объекта с относительными компонентами и фундаментальной группой преобразований, когда: коэффициенты являются функциями только от переменных ; данная система вполне интегрируема.

Необходимыми и достаточными условиями полной интегрируемости системы дифференциальных уравнений инвариантности геометрического объекта является выполнение структурных уравнений Ли для определяющих объект функций :

Дифференциальные формы

называются структурными формами представления (или структурными формами геометрического объекта с относительными компонентами ).

Арифметические инварианты геометрического объекта Размерность пространства геометрического объекта называется рангом объекта. Необходимое условие истинного транзитивного представления некоторой группы в пространстве объекта — это соотношение .

Число , где — размерность пространства представления геометрического объекта, — ранг матрицы , называется жанром геометрического объекта. Жанр совпадает с числом независимых абсолютных инвариантов геометрического объекта.

Система форм

где

вполне интегрируема. Для фиксированной точки пространства представления фундаментальной группы Ли

а возникающие формы

удовлетворяют структурным уравнениям линейной группы.

Каждое число линейно независимых форм среди форм

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

Числа образуют невозрастающую последовательность, причём всегда существует такое наименьшее число , что

Число — также арифметический инвариант пространства представления фундаментальной группы, это порядок нелинейности, или тип, геометрического объекта.

Охваты одних геометрических объектов другими Если система дифференциальных уравнений инвариантности геометрического объекта

содержит подсистему

то система компонент определяет новый геометрический объект — подобъект геометрического объекта с относительными компонентами .

Если два геометрических объектов и присоединены к одной и той же фундаментальной группе, причём все относительные компоненты одного объекта могут быть представлены как определенные аналитические функции от относительных компонент второго объекта:

то говорят, что объект охватывается объектом , или содержится в объекте . Геометрический объект называется охватывающим геометрическим объектом, а объект — охваченным геометрическим объектом. Два геометрических объекта называются подобными, если каждый из них охватывает другой. Ранги, жанры, характеристики и типы подобных геометрических объектов совпадают.

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

Усечённый геометрический объект Вышеприведённая система функций охвата

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

Если в дифференциальных уравнениях

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

Производный геометрический объект Пусть имеется геометрический объект и охваченный им объект , на языке формул

Тогда

Совокупность относительных компонент охватывающего геометрического объекта , охваченного геометрическим объектом и частных производных вторых по первым является системой относительных компонент нового охваченного геометрического объекта:

При этом, если для выполняются уравнения

а для выполняются уравнения

то

Этот новый охваченный геометрический объект называется производным геометрическим объектом.

Тензор Геометрический объект называется линейным, или квазитензорным, объектом, если группа преобразований его компонент линейна:

Если при этом , то геометрический объект называется линейным однородным объектом, или тензором.

Геометрический объект — линейный (квазитензорный) объект тогда и только тогда, когда основные определяющие его функции имеют следующий вид:

где , — постоянные. Геометрический объект — линейный однородный объект (тензор) тогда и только тогда, когда , и его функции имеют следующий вид:

Однокомпонентный тензор называется инвариантом. Дифференциальные уравнения инварианта имеют вид

где — постоянные. Если не все равны нулю, то инвариант называется относительным, а в случае инвариант называется абсолютным.

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

Рассмотрим систему линейных линейно независимых форм , удовлетворяющих следующим структурным уравнениям:

Говорят, что формы имеют расслоённую структуру по отношению к формам , и при , то есть при , становятся инвариантными формами группы Ли со структурными константами : .

Поле геометрического объекта Говорят, что на дифференцируемом многообразии задано (естественно, локально) поле геометрического объекта , присоединенного к группе , или поле , если в каждой точке этого многообразия определён геометрический объект , присоединенный к некоторой группе Ли , то есть в каждой точке определён . При этом

где — абсолютные координаты объекта . Следовательно,

Другими словами, система функций , удовлетворяющих системе дифференциальных уравнений

называется полем геометрического объекта, присоединенного к группе , если система ,