ПРОДОЛЖЕНИЙ И ОХВАТОВ МЕТОД

Значение ПРОДОЛЖЕНИЙ И ОХВАТОВ МЕТОД в математической энциклопедии:

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

Пусть G- группа Ли и К(G).- класс всех G-пpoстранств с левосторонним действием группы Ли Gна них как группы преобразований. G-oхватом наз. такое гладкое сюръективное отображение

что для любого коммутативна диаграмма

где l_g и - преобразования G-пространств Хи Yсоответственно, определяемые элементом g. В этом случае говорят, что пространство Yс помощью f охвачено пространством Xили пространство Xявляется продолжением пространства Y. Класс К(G).становится категорией с морфизмами - G-охватами. Примеры G-охватов.

1) Пусть - пространство тензоров типа . Охватом является отображение свертки

Полная свертка тензоров пространства Т( р, р)

является примером охвата инварианта.

2) Если , то XX Yс помощью pr_X и рr_Y охватывает Xи Yсоответственно. Иными словами, XX Yявляется продолжением как X, так и Y.

Понятие охвата естественным образом распространяется на классы расслоенных пространств, присоединенных к главным расслоениям. Пусть p : Р( М, Н) М - главное расслоенное пространство со структурной группой Н, действующей на Рправым образом, и - любое левое H-пространство. Объектами класса К(Р).присоединенных к Ррасслоенных пространств являются пространства типа

где факторизация подразумевается по следующему правому действию группы Нна PX F:

Пространство является расслоенным над базой Мпространством с типовым слоем F. Элемент , определяемый парой , записывают в виде . Если и - отображение H-охвата, то в силу конструкций F(P).и Ф(Р) f индуцирует послойное сюръективное отображение , называемое Р- охватом. Р- охват f определяется по закону:

Таким образом, класс К(Р).присоединенных к Ррасслоенных пространств является категорией с морфизмами типа Р-охватов . Соответствие является биективным функтором категории К(Н).на категорию К(Р). Следовательно, достаточно изучать операции охвата в категориях H-пространства.

Если - сечение расслоенного пространства F(P).(поле геометрического объекта типа F), то Р-охват присоединяет к сечению s сечение охваченного расслоения Ф(Р); иными словами, поле геометрич. объекта , охватывает поле геометрич. объекта . Если s(x) - структурный объект нек-рой G-структуры, то изучение G-структуры и ее инвариантов сводится во многом к отысканию охватываемых геометрич. объектов. В процессе отыскания охватываемых геометрич. объектов важную роль играют дифференциальные критерии охватов, формулируемые в терминах структурных дифференциальных форм расслоенных пространств и составляющие основу П. и о. м.

Лит.:[1] Лаптев Г. Ф., "Тр. Моск. матем. об-ва", 1953, т. 2, с. 275-382; [2] его же, в кн.: Тр. Третьего Всесоюзного матем. съезда. Москва, 1956, т. 3, М., 1958, с. 409-18.

Л. Е. Евтушик.