CC BY
12
УДК 514.7
Н. И. Жукова
Национальный исследовательский университет «Высшая школа экономики»
Сильная трансверсальная эквивалентность полных трансверсально аффинных слоений
Изучаются полные трансверсально аффинные слоения. Исследуется сильная трансверсальная эквивалентность таких слоений, являющаяся более тонким понятием, чем трансверсальная эквивалентность слоений в смысле Молино. Определена глобальная группа гсшономии полного трансверсально аффинного слоения и доказано, что эта группа является его полным инвариантом относительно сильной трансверсальной эквивалентности. Построен представитель произвольного класса сильно трансверсально эквивалентных слоений по его полному инварианту. Этот представитель есть двумерное полное трансверсально аффинное слоение на многообразии, являющемся пространством Эленберга-Маклейна типа К (я, 1).
Ключевые слова: расслоение Серра, сильная трансверсальная эквивалентность слоений, трансверсально аффинное слоение, глобальная группа голономии, связность Эресмана для слоения.
N. I. Zhukova National Research University Higher School of Economics
Strong transverse equivalence of complete transverselly
affine foliations
Complete transverselly affine foliations are studied. The strong transverse equivalence of complete affine foliations is investigated, which is a more refined notion than the transverse equivalence of foliations in Molino sense. A global holonomy group of complete affine foliations is determined and it is proved that this group is the complete invariant of the foliation of relatively strong transverse equivalence. A representative of an arbitrary-equivalence class is constructed on its complete invariant. This representative is the two-dimensional complete transverselly affine foliation (M, F), where M is the Elenberg-McLane space of the type К (-к, 1).
Key words: foliation, Serre fibration, strong transverse equivalence of foliations, transverselly affine foliation, global holonomy group, Ehresmann connection for foliations.
1. Введение
Исследуются гладкие слоения (М, Р) произвольной коразмерности ц на п-мерном многообразии М, 1 < ц < п, допускающие в качестве трансверсальной структуры аффинную геометрию А9, где Ад — д-мерное аффинное пространство. Такие слоения называются трансверсально аффинными, или, для краткости, аффинными слоениями (строгое определение дано в разделе 2).
Подчеркнем, что (М, Р) — аффинное слоение тогда и только тогда, когда оно является слоением с трансверсальной линейной связностью [1] нулевой кривизны и без кручения.
Мы напоминаем понятие сильной трансверсальной эквивалентности слоений, которое введено нами в [2] без использования термина сильная трансверсальная эквивалент ноет ь.
© Жукова Н.И., 2017
(с) Федеральное государственное автономное образовательное учреждение высшего образования «Московский физико-технический институт (государственный университет)», 2017
Это понятие является более тонким, чем понятие трансверсальной эквивалентности слоений, принадлежащее Молино [3].
Целью данной работы является классификация полных аффинных слоений относительно сильной трансверсальной эквивалентности.
Основным результатом является теорема о биективности множества классов сильной трансверсальной эквивалентности полных аффинных слоений коразмерности q, где q > 1, с множеством классов сопряженных счетных подгрупп аффинной группы Äff(Aq) (теорема 4).
Данная статья использует методы исследования (X, С)-слоений в смысле [4], а также методы и результаты предыдущей работы автора [2].
Обозначения. Следуя [5], через Р(N, Н) мы обозначаем главное Я-расслоение с проекцией Р ^ N. Модуль векторных полей над алгеброй гладких функций F(M) на многообразии М обозначается через X(M). Для расиределения M на М через XM(M) обозначается множество всех векторных полей X на М таких, что Хх £ Шх для всех точек х £ М. Если M — распределение, касательное к слоению (M,F), то XM(M) обозначается также через %f(М). Если р : М ^ N — субмерсия и M — распределение на N, то N := р*Ш _ индуцир0ванн0е распределение на М такое, что Nz = {X £ X(M) | p*zX £ Mp(z)}, где 2 £ M.
Символ = обозначает изоморфизм объектов в соответствующей категории.
Счетной группой мы называем счетную или конечную группу.
2. Полные аффинные слоения
2.1. Определение аффинных слоений
Аффинная группа. Будем обозначать через Aq ^-мерное аффинное пространство, а через Äff(Aq) группу Ли всех его аффинных преобразований.
Будем рассматривать точки х из Aq и R как ^-мерные векторы. Элемент группы Äff (Aq) обозначим парой < А, а >, где А £ GL(q, R), а — точка из R9 и < А,а > х = Ах+а Ух £ Aq. Групповая операция в Äff (А9) определена следующим образом:
<А,а> • <В,Ь >=< AB, Ab + а> У <А,а>,<В,Ь>£ Äff (Aq).
Таким образом, группа Äff(Aq) является полупрямым произведением общей линейной группы Н = GL(q, R) и абелевой группы R, то есть Äff (Aq) = Н к R.
Аффинное слоение. (Äff (Aq),Aq)-коциклом называется семейство {Ui,fi, {7ij}}i,jej такое, что
1) {Ui | i £ J} — открытое покрытие n-мерного многообразия М, 0 < q <щ
2) fi : Ui ^ Aq — субмерсии со связными слоями в аффинное пространство Aq-,
3) если Ui П Uj = 0, где i,j £ J, то существует аффинное преобразование f £ Äff(Aq), сужение которого := f (ц.пц.) удовлетворяет равенству fi = jij о fj на пересечении
Ui п и,. 3 г '
Заметим, что из условия 3) вытекает, что если Ui П Uj П Uk = 0, где i,j,k £ J, то на пересечении Ui П Uj П Uk выполняется равенство jik = Jij о jj^.
Максимальный по включению (Äff (Aq), Aq )-коцикл {Ui, fi, {jij }}i,j^j, обладающий указанными выше свойствами, определяет новую топологию Q на М, базой которой является множество слоев всех субмерсий fi. Компоненты линейной связности топологического пространства (М, Q) образуют разбиение многообразия М, которое обозначается через F = {Lala £ А} и называется трансверсально аффинным слоением, которое для краткости называется аффинным слоением, заданным (Äff (Aq),Aq)-коциклом {Ui, fi, {~)ij}}ijej, a La, а £ А, называются слоями этого слоения.
Любой (Äff(Aq),Aq)-коцикл содержится в единственном максимальном (Äff(Aq),Aq)-коцикле, поэтому для задания слоения (M, F ) достаточно задать какой-либо (Äff (Aq ), Aq )-коцикл, обладающий свойствами 1) - 3).
2.2. Полнота аффинных слоений
Как и выше, пусть H = GL(q, R). Обозначим Äff (Aq ) через G. Пусть g и h — алгебры Ли групп G и H соответственно. Поскольку G = H х R9, нормальной подгруппе R соответствует идеал п в алгебре Ли g Распределение Q на G такое, что Qа = 1д*(п), где 1д - левый сдвиг на g G G, интегрируемо и ^-инвариантно. Оно является связностью в Д-расслоении G(Aq ,Н) и соответствует плоской линейной связности аффинного пространства Aq.
Пусть g = h + n — if-модульное разложение алгебры Ли g Так как G/H — редуктивное однородное пространство, то £ = (G(Aq,Н),wg), где ^g — форма Маурера-Картана на группе Ли G, представляет собой редуктивную картанову геометрию нулевой картановой кривизны. Следовательно, любое аффинное слоение является картановым слоением типа (G, Н) в смысле [6] и [7], моделируемым на картановой геометрии £ = (G(Aq,H),wq)-
Как известно, для картанова слоения существует слоеное расслоение. Для аффинного слоения (M, F) слоеное расслоение состоит из следующих объектов: Д-расслоения с проекцией тт : fë ^ М, слоения ('R., T) и g-значной 1-формы ш на fë, удовлетворяющих следующим условиям:
1) со(А*) = А для A G h, где А* — фундаментальное векторное поле на fë, соответствующее А;
2) 1-форма ш ^-эквивариантна, т.е. (Ra)*w = Adc(a-1)u Va G H, где Ado — присоединенное представление группы G в ее алгебре Ли g;
3) отображение ши : Tufë ^ g сюръективно для любого u G fë, причем keruj = TT, где TT — распределение, касательное к слоению ('.R, T), а Q := {Qu | Qu = w-1(n), и G fë} — интегрируемая ^-связность в ^-расслоении fë(M, H);
4) производная Ли Lxoj равна нулю для каждого векторного поля X G Xj(fë).
Слоение (fë, T) называется по^нятьш слоением для (M, F).
Напомним, что ^-мерное трансверсальное распределение на M называется трансверсаль-ным к слоению (M, F) коразмерности q, если ТхM = TXF ® Мж для любой точки х G M.
Определение 1. Пусть (M, F) — аффинное слоение коразмерности qrnQ — Д-связность в слоеном расслоении fë(M, H) с проекцией тт : fë ^ М. Слоение (M, F) называется полным, если существует ^-мерное трансверсальное ему распределение M на M такое, что для распределения N := тг*М П Q любое векторное поле X G XN(fë), для которого ш(Х) = const G g, является полным.
Нетрудно показать, что опредедение 1 полноты аффинного слоения (M, F) эквивалентно полноте этого слоения, рассматриваемого как картаново слоение [7].
3. Глобальные группы голономии полных аффинных слоений 3.1. Структура полных аффинных слоений
Далее через r(L, х) обозначается ростковая группа голономии слоя L э х слоения, общепринятая в теории слоений [8].
Теорема 1. Пусть (M,F) — полное трансверсально аффинное слоение произвольной коразмерности q на n-мерном многообразии M. Тогда,
(1) существует, регулярное накрывающее отображение k : M ^ M такое, что индуцированное слоение (M,F), где F = k*F, образовано слоями тривиального расслоения с проекцией г : M = L0 х Aq ^ Aq на, q-мерное аффинное пространство Aq, причем L0 — многообразие, диффеоморфное любому слою с тривиальной группой голономии слоения (M,F );
(2) определены подгруппа Ф аффинной группы Äff(R) и эпиморфизм
X : ■к1(М,х) ^ Ф
фундаментальной группы ж1(М,х) многообразия М на Ф; причем группа накрывающих преобразований накрытия k : М ^ М изоморфна Ф;
(3) группа голономии T(L,x) произвольного слоя L = L(x) слоения (M,F) изом,орфна, стационарной подгруппе Фъ группы Ф в точке b £ г(к-1(х)) £ Aq.
Доказательство. Говорят, что группа диффеоморфизмов Ф многообразия N действует квазианалитически, если из существования р £ Ф и непустого открытого множества U в N таких, что plu = idu, следует р = id^- Заметим, что аффинная группа Äff(Aq) действует квазианалитически на Aq, поэтому аффинное слоение является (G,X)-слоением в смысле Эпштейна [4], где G = Äff(Aq) и X = Aq.
Как извесно [7, предложение 3], из полноты картанова слоения (M,F) относительно распределения M вытекает, что M — связность Эресмана для этого слоения в смысле Блюменталя и Хебды [9]. Поэтому применима теорема 2 из [10], согласно которой существует регулярное накрывающее отображение k : М ^ М с индуцированным слоением F = k*F, образованным слоями локально тривиального расслоения г : М ^ В, вде В — ^-мерное односвязное гладкое многообразие. Поскольку поднятое слоение (М, F) также является (Äff (Aq), Aq)-слоением, В локально изоморфно А9, то есть В — аффинное многообразие. Полнота слоения (M,F) влечет полноту аффинного слоения (M,F), которая влечет геодезическую полноту аффинного многообразия Л. Так как Aq - единственное од-носвязное, полное аффинное многообразие размерности q, то необходимо, чтобы В = Aq. В силу стягиваемости А9, расслоение г : М ^ Aq тривиально. Это доказывает утвержде-(1)
Утверждения (2) ж (3) теоремы 1 вытекают из утверждений (2) ж (3) теоремы 2 из [10].
□
Ф,
пой голономии слоения (М, F) и обозначается Ф = а(М, F).
Замечание 1. Группа накрывающих преобразований регулярного накрытия к : М ^ М определена однозначно при фиксированной точке у £ М. При переходе к другой точке у' £ М, к (у) = к(у'), группа накрывающих преобразований отображается на
Ф
слоения (M,F) являющаяся подгруппой аффинной группы Äff(Aq), определена с точностью до сопряжений преобразованиями из Äff(Aq).
Далее, когда мы говорим о глобальной группе голономии слоения (M,F), будем подразумевать, что фиксирована некоторая точка у £ М и проекция г : М ^ Aq.
3.2. Реализуемость счетной подгруппы группы Äff(Aq) в качестве глобальной группы голономии полного аффинного слоения
Надстроечные слоения. Конструкция надстроечного слоения принадлежит Хефлигеру и состоит в следующем [7]. Пусть В и N — гладкие связные многообразия, р : ж\(В,Ь) ^ Diff(N) — гомоморфизм групп. Пусть G := ■К\(В,Ь) и Ф := p(G). Рассмотрим универсальное накрывающее отображение р : В ^ В. Зададим правое действие группы G на произведении многообразий В х N следующим образом:
е : В х N х G ^ В х N : (x,t,g) ^ (g-1(x), p(g-1)(t)),
где В ^ В : х ^ д-1(х) — накрывающее преобразование, индуцированное элементом д-1 £ G. Отображение р : М := (В х N) /G ^ В = B/G определяет локально тривиальное расслоение над В со стандартным слоем N, ассоциированное с главным расслоением р : В ^ В со структурной группой G.
Пусть Од := ©|_gx{t}x{ö}' как (В х = В х р(д l)(t) Vt G N, то действие
дискретной группы G сохраняет тривиальное слоение F := {В x{î}|îgN } произведения В х N. Следовательно, фактор-отображение /о : В х N ^ (В xN) /G = M индуцирует на M гладкое слоение F, слои которого трансверсальны слоям локально тривиального расслоения р : M ^ В. Будем называть р : M ^ В ассоциированным, расслоением. Заметим, что распределение Ш, касательное к слоям субмерсии р : M ^ В, является связностью Эресмана для слоения (M, F).
Пара (M, F) называется надстроенным слоением и обозначается через Sus(N^,p). Группа диффеоморфизмов Ф := p(G) многообразия N называется структурной группой
( M, F) N
Ф ( M, F)
Следующая теорема о реализации доказывается нами конструктивным путем.
Теорема 2. Любая счетная подгруппа Ф аффинной группы Aff(Aq), где q > 1, реализуется в качестве гл,оба,л,ьн,ой, группы голономии некоторого двумерного полного аф-
( M, F) M
пространством Эленберга-Маклейна, типа К(тт, 1).
Доказательство. Через N обозначим множество натуральных чисел, а через N0 — его счетное подмножество, которое может быть и конечным.
Пусть Ф — произвольная, счетная подгруппа аффинной группы Af f(Aq) со счетным семейством образующих {ipi | i G N0 С N}. Обозначим через В = R2 \ {ai = (i, 0) G R2 | i G N0} двумерную плоскость, в которой выколото счетное множество изолированных точек {a^ | i G No}. Фундаментадьная группа двумерного гладкого многообразия В есть свободная группа G =< (ji | i G No > со счетным семейством образующих gi.
Определим гомоморфизм групп р : т1(В, Ъ) = G ^ Aff (Aq), задав его на образующих: р(gi) := Фi,i G N0. Тогда определено надстроечное слоение (M,F) := Sus(Aq,В,р), которое является двумерным аффинным слоением коразмерности q. Слоен и е (M, F ) накрыто тривиальным расслоением R2 х Aq ^ Aq.
Рассмотрим ассоциированное локально тривиальное расслоение р : M ^ В. Как отмечалось выше, распределение Ш, образованное касательными пространствами к сло-
( M, F)
k : R2 х Aq ^ M = (R2 х Aq)/G универсальное накрывающее отображение. Из определения надстроечного слоения ( M, F) вытекает, что поднятое распределение Ш = k*Ш образовано касательными пространствами к тривиальному слоению F = {{-г} х Aq | z G R2}. Полнота аффинного пространства Aq влечет полноту аффинного слоения (R2 х Aq,F). Отсюда, учитывая, что F = k*F — индуцированное слоение на универсальном накрывающем про-M ( M, F)
Благодаря односвязности аффинного пространства A9, структурная группа p(G) надстроечного слоения (M, F) совпадает с его глобальной группой голономии Ф = a(M, F), то есть Ф = p(G).
Заметим, что ассоциированное трансверсальное расслоение р : M ^ В имеет стягиваемый стандартный слой Aq. Поэтому из точной гомотопической последовательности этого расслоения вытекает изоморфность фундаментальных групп ti(M) и Т1(В). Кроме того, универсальное накрывающее пространство для M также стягиваемое. Поэтому Tn(M) = 0 для любого натурального числа п > 2. Таким образом, единственная нетривиальная гомотопическая группа слоеного многообразия M есть Ti(M) = Т1(В). Следовательно, M — пространство Эленберга-Маклейна типа К(т, где т = Т1(В). □
4. Сильная трансверсальная эквивалентность слоений
Говорят, что непрерывное отображение р : X ^ Y обладает свойством накрывающей,
К
го отображения G0 : К ^ X и любой гомотопии Ht : К ^ Y, t G [0,1], таких, что
р о Со = Но, существует продол жение Со ДО гомотоп ии С г : К ^ X, удовлетворяющей равенству р о С г = Щ.
Напомним, что расслоением Серра называется непрерывное сюръективное отображение, обладающее свойством накрывающей гомотопии относительно любого конечного полиэдра (см., например, [11])- Как известно, для расслоений Серра можно построить точную гомотопическую последовательность расслоения.
Понятие трансверсальной эквивалентности гладких слоений введено Молино [3]. Мы следующим образом усилили это понятие [2, Определение 1.1].
Определение 3. Два слоения (М,Р) и (М\,Р\) мы называем сильно трансверсаль-но эквивалентными, если существуют слоение (М, F) и субмерсии со связными слоями р : М ^ М и р\ : М ^ М\, образующие расслоения Серра, такие, что
Е = {р-1(Ь)1Ь е р} = [р-1(Ь')1Ь' е
Замечание 2. Определение 3 сильной трансверсальной эквивалентности слоений отличается от определения трансверсальной эквивалентности слоений в смысле Молино [3] дополнительным требованием, чтобы субмерсии со связными слоями р : М ^ Ми Рх : М ^ Мг образовывали расслоения Серра.
Доказано [2, предложение 1.1], что отношение сильной трансверсальной эквивалентности слоений действительно является отношением эквивалентности.
Напомним, что слоение называется простым,, если оно образовано слоями некоторой субмерсии. Причина, по которой мы рассматриваем более сильное отношение эквивалентности слоений, чем трансверсальная эквивалентность в смысле Молино, заключается в том, что, как показывают примеры [2, пример 7.1], существуют простые слоения, для которых слоения, поднятые на универсальные накрывающие многообразия, не являются простыми. Нами доказано, что поднятие на накрывающее пространство простого слоения, образованного слоями расслоения Серра, является простым слоением. Этот факт существенно используется при доказательстве теоремы 1.2 в [2], которую мы применяем далее.
5. Основная теорема
5.1. Сильная трансверсальная эквивалентность слоений, накрытых расслоениями
Определение 4. Пусть к : М ^ М — универсальное накрывающее отображение. Слоение (М, Р) называется слоением, накрытым расслоением, если индуцированное слоение^ = к*Р на М образовано слоями некоторого гладкого расслоения в смысле Серра р : М ^ N. _
Из точной гомотопической последовательности расслоения Серра р : М ^ N, в силу односвязности М и связности слоев слоения Р вытекает односвязность базы N. Так как группа накрывающих преобразований С = ж\(М) универсального накрытия к : М ^ М сохраняет слоение (М, Р), то она индуцирует группу диффеоморфизмов Ф С Ог}'}'(Ы) и эпиморфизм групп р : ж\(М) ^ Ф. При этом группа Ф называется глобальной группой голономии слоения (М, Р), накрытого расслоением р : М ^ N, и обозначается через Ф = а(М, Р).
Пусть $ — множество всех слоений, накрытых расслоениями. Для любого слоения (М, Р) е $ обозначим через [(М, Р)] класс сильной трансверсальной эквивалентности, содержащий (М,Р). Множество классов сильно трансверсально эквивалентных слоений из $ обозначим через Таким образом, $ = {[(М, Р)] | (М, Р) е
Для слоения (М,Р), накрытого расслоением р : М ^ Ж, где М и N — односвязные многообразия, определена пара ^, Ф^, где Ф — глобальная группа голономии слоения (М, Р), которая обозначается через ^, Ф) := @(М, Р).
Рассмотрим категорию р тар (Ы, Ф^, где N — любое односвязное многоо бразие, аФ-счетиая группа диффеоморфизмов многообразия N. Морфизмами двух объектов ^, Ф) и , Ф') из р являются пары отображений ((1,0), где й : N ^ N' — гладкое отображение, а в : Ф ^ Ф' — гомоморфизм групп, удовлетворяющих равенству й о ф = в(ф) о с! Уф е Ф. Обозначим через [^, Ф)] класс изоморфных объектов категории р, содержащий ^, Ф). Пусть р = {[^, Ф)] | ^, Ф) е р}.
Следующая теорема доказана нами в [2, теорема 1.2].
Теорема 3. Отображение
В : Ъ ^ Р : [(М, Р)] ^ [(Ж, Ф) := р(М, ^)] У(М, ^) е $ является биекцией.
5.2. Сильная трансверсальная эквивалентность аффинных слоений
Как известно, любое локально тривиальное расслоение является расслоением в смысле Серра, поэтому из теоремы 1 вытекает следующее утверждение.
Следствие 1. Любое полное аффинное слоение накрыто расслоением.
Обозначим через Ъа// множество всех полных аффинных слоений. Согласно следствию 1 выполняется включение Ъа// С
Через Ра// обозначим подкатегорию категории р, объектами которой являются пары (Ад, Ф^, где Ф — счетная подгруппа группы А//(Ад), морфизмами (Ад, Ф) ^ (Ад,Ф) в рА// являются такие пары отображений (й, 0), где й — линейное отображение аффинного пространства Ад в себя, а в : Ф ^ Ф — гомоморфизм групп, удовлетворяющий равенству й о ф = в(ф) о й для любого ф е Ф.
Положим З^А// := {[(М,Р)] | (М,Р) е За//} и рА// := Шд, Ф)] | (Ад, Ф) е рА//}, где [(М, Р)] — класс сильной трансверсальной эквивалентности, содержащий (М, Р) е За//, а [(Ад, Ф)] — класс объектов, изоморфных (Ад, Ф) в категории Pдff.
Следующая теорема является основным результатом данной работы.
Теорема 4. Равенство [3(М,Р) := (Ад, Ф), где Ф = а(М,Р), определяет, отображение
ВА// : За// ^ рА// : [(М, Р)] ^ [Ц(М, Р)] У(М, Р) е Ъац,
являющееся биекцией.
Доказательство Рассмотрим произвольное полное аффинное слоение (М, Р) коразмерности д. Тогда, согласно теореме 1, определена глобальная группа голономии Ф = а(М, Р), являющаяся счетной подгруппой аффинной группы А//(А9). Следовательно, равенство Р(М,Р) := (Ад, Ф^, где Ф = а(М, Р), определяет отображение / : Ъа// ^ ра// : (М, Р) ^ Р(М, Р).
Предположим, что слоения (М.Р.\), г = 1, 2, сильно трансверсально эквивалентны и имеют коразмерность д. Пусть слоение (М, Е) и субмерсии со связными слоями рг : М ^ М. являющиеся расслоениями Серра, реализуют эту эквивалентность. Рассмотрим универсальные накрывающие отображения ^ : Мг и к : М ^ М. Из теоремы 1 вытекает, что индуцированные слоения Рг = к*Рг образованы слоями тривиальных расслоений
: Мг = Ь0 х Ад ^ Ад, где Ь0 — многообразие, диффеоморфное любому слою с тривиальной группой голономии слоения (Мг, Рг). Аналогично тому, как в доказательстве теоремы 1.2 из [2], мы показываем, что слоение (М, Е), где Е = к* Е, с проекция ми /г : М ^ Мг реализуют сильную трансверсальную эквивалентность слоений (М\, Р\) и (М2, Р2). Отсюда вытекает, что все три слоения (М,Е) и (М\,Р\) и (М2,Р2) образованы слоями расслоений Серра с базой Ад. Пусть Фг := а(Мг,Рг), г = 1, 2, и Ф = а(М, Ё). Так же, как в доказательстве теоремы 1.2 из [2], мы доказываем существование аффинных преобразований йг : Ад ^ Ад и изоморфизмов глобальных групп голономии в г : Ф ^ Ф1, удовлетворяющих равенствам ^ оф = О^ф) о Уф е Ф. При этом изоморфизм групп в := О2 о 0— и аффинное
преобразование d := d2 о d11 реализуют изоморфизм пар (Aq, Ф1) и (Aq, Ф2) в категории PAff, то есть [(Aq, Ф1)] = [(Aq, Ф2)]. Следовательно, определено отображение
ßAff : FF Äff ^ pAff : [(M, F)] ^ [(Aq, Ф) = ß(M, F)] V(M, F) e FAff.
Инъективность отображения В Äff доказывается тем же методом, что и инъективность отображения В в [2, теорема 1.2].
По теореме 1 для любой пары ( Aq, Ф^, где Ф — счетная подгруппа аффинной группы Aff(Aq), существует полное аффинное слоение (M,F) такое, что a(M,F) = Ф. Следовательно, для любого элемента [(Aq, Ф)] e PAff найдется класс сильно трансверсаль-но эквивалентных полных аффинных слоений [(М, F)] такой, что B^ff [(М, F)] = [(Aq, Ф)]. Поэтому отображение В Aff сюръективно.
Таким образом, мы имеем биекцию BAff : FAff ^ PAff - □
Следующее утверждение, ввиду важности сформулированное в виде теоремы, вытекет из теоремы 4.
Теорема 5. Два, полных трансеерсально аффинных слоения (M1,F1) и (M2,F2)
Ф1 Ф2
группы Af f(Aq).
Ф
слоения (M,F), определенная с точностью до сопряженности в группе Af f(A9), является полным инвариантом этого слоения относительно сильной трансверсальной эквивалентности.
Из теоремы 5 вытекает, что все объекты и понятия, определяемые глобальной группой голономии Ф полного аффинного слоения (M,F), являются инвариантами класса сильно трансверсально эквивалентных аффинных слоений. В частности, мы получаем следующее следствие.
Ф
(M,F). Если существует замкнутая орбита группы Ф; то все слоения (M',F'), сильно
( M, F)
5.3. Структурная алгебра Ли полного аффинного слоения
Рассмотрим произвольное полное аффинное слоение ( M, F). Пусть (R,, Т) — его поднятое слоение на пространство слоеного расслоения R. Как известно [3], слоение (R, Т) является полным е-слоением. Согласно [3], индуцированное слоение на замыкании С любого слоя С слоения (R, Т) представляет собой слоение Ли с всюду плотными слоями. Следующее определение является частным случаем понятия структурной алгебры Ли для полного картанова слоения, введенного нами в [7].
Определение 5. Структурная алгебра go слоения Ли с всюду плотными слоями (С, Т|£-) называется структурной алгебры Ли слоения (M, F) и обозначается через go( M,F).
Обозначим через Affp0i категорию аффинных слоений, в которой изоморфизмы сохраняют не только слоение, но и его трансверсальную структуру. Для полных аффинных слоений (M,F) структурная алгебра Ли go = go(M,F) является алгебраическим инвариантом в категории Affp0i.
Поскольку аффинная геометрия является эффективной жесткой геометрией [12], то, применяя теоремы 1 и 4, а также результаты автора [12, теорема 7], мы получаем новую интерпретацию структурной алгебры Ли полного аффинного слоения, указанную в следующем утверждении.
Теорема 6. Структурная алгебра Ли g0 = g0(M, F) полного аффинного слоения (M, F) коразмерности q изоморфна алгебре Ли группы Ли Ф; равной замыканию его глобальной группы голономии Ф в аффинной группе Ли Aff(Aq), причем g0 является инвариантом, этого слоения относительно сильной трансверсальной эквивалентности.
5.4. Пример
Пусть (М, Р) — произвольное полное аффинное слоение, х — произвольная точка из М, у — любая точка слоя Ь = Ь(х) слоения (М,Р). Два пути к и к, соединяющие х с у, называются эквивалентными, если петля к ■ к-1 определяет тривиальный элемент ростковой группы голономии Г(Ь,х) в точке ж. Обозначим через <к> класс эквивалентных путей, содержащий к. Множество С(Р) упорядоченных троек (х,< к >,у), полученных указанным выше способом, называется графиком или группоидом голономии слоения (М, Р) [13]. Отображения
рх : С(Р) ^ М ^ (х,<к>,у) ^ х, р2 : С(Р) ^ М ^ (х,<к>,у) ^ у
называются каноническим,и проекциями. Как известно [13], С(Р) естественным образом наделяется структурой гладкого, вообще говоря, нехаусдорфова многообразия, относительно которой канонические проекции являются субмерсиями.
Согласно [14, теоремы 1 и 2], график С(Р) аффинного слоения (М, Р) является хаусдор-фовым многообразием, а в силу полноты (М, Р) канонические про екции р\ : С(Р) ^ Ми Р2 : С(Р) ^ М образуют локально тривиальные расслоения. Кроме того, на графике С(Р) индуцируется слоение Е := {р—1(Ьа) | Ьа е Р} = {р—х(Ьа) | Ьа е Р}.
Поскольку любое локально тривиальное расслоение является расслоением Серра, слоение (С(Р), Е) и пара субмер сий рх : С(Р) ^ Ми ) реализуют сильную трансверсаль-ную эквивалентность слоений (М,Р) и (О(Р), Е). Следовательно, не нарушая общности, можно считать, что слоения (М,Р) и (С(Р), Е) имеют одну и ту же глобальную группу Ф
6. Заключение
Благодаря теореме 4 классификация аффинных слоений коразмерности д, д > 1, относительно сильной трансверсальной эквивалентности сведена нами к классификации с точностью до сопряженности счетных подгрупп аффинной группы А//(Ад).
Работа выполнена при поддержке РИФ, Грант № 17-11-01041. Литература
1. Zhukova N.I., Dolgonosova A.Yu. The automorphism groups of foliations with transverse linear connection 11 Cent. Eur. J. Math. 2013. V. 11, N 12. P. 2076-2088.
2. Zhukova N.I. Transverse Equivalence of Complete Conformai Foliations // Journal of Math. Sci. 2015. V. 208, N 1. P. 115-130.
3. Molino P. Riemannian foliations. Progress in Math. Boston: Birkhauser, 1988. 339 p.
4. Epstein D.B.A. Transversallv hyperbolic 1-dimensional foliations // Astérisque. 1984. V. 116. P. 53 69.
5. Kobayshi S., Nomizu K. Foundations of differential geometry. V.I, New York-London-Sydnev: Interscience Publishers, 1963.
6. Blumenthal R.A. Cartan submersions and Cartan foliations // Illinois J. Math. 1987. V. 31, N 2. P. 327-343.
7. Zhukova N.I. Minimal sets of Cartan foliations // Proceedings of the Steklov Institute of Mathematics. 2007. V 256. P. 105-135.
8. Tamura I. Topology of foliations: An Introduction. Transi, of Math. Monographs. V. 97. Publisher: AMS, 1992.
9. Blumenthal R.A., Hebda J.J. Ehresmann connections for foliations // Indiana Univ. Math. J. 1984. V. 33, N 4. P. 597-611.
10. Zhukova N.I. Global attractors of complete conformai foliations. Sbornik: Mathematics. 2012. V. 203, N 3. P. 380-405.
11. Spenier E.H. Algebraic Topology. Springer, 1966.
12. Zhukova N.I. Complete foliations with transverse rigid geometries and their basic automorphisms // Bulletin of Peoples' Friendship University of Russia. Ser. Math. Information Sci. Phvs. 2009. I. 2. P. 14-35.
13. Conn A. Noncommutative geometry. London-San Diego: Academic Press. 1994.
14. Zhukova N.I. The graph of a foliation with an Ehresmann connection and leaf stability // Russian Math. (Iz. VUZ). 1994. V. 38, N 2. P. 76-79.
References
1. Zhukova N.I., Dolgonosova A.Yu. The automorphism groups of foliations with transverse linear connection. Cent. Eur. J. Math. 2013. V. 11, N 12. P. 2076-2088.
2. Zhukova N.I. Transverse Equivalence of Complete Conformai Foliations. Journal of Math. Sci. 2015. V. 208, N 1. P. 115-130.
3. Molino P. Riemannian foliations. Progress in Math. Boston: Birkhauser, 1988. 339 p.
4. Epstein D.B.A. Transversallv hyperbolic 1-dimensional foliations. Astérisque 1984. V. 116. P. 53-69.
5. Kobayshi S., Nomizu K. Foundations of differential geometry. V.I, New York-London-Sydnev: Interscience Publishers, 1963.
6. Blumenthal R.A. Cartan submersions and Cartan foliations. Illinois J. Math. 1987. V. 31, N 2. P. 327-343.
7. Zhukova N.I. Minimal sets of Cartan foliations. Proceedings of the Steklov Institute of Mathematics. 2007. V 256. P. 105-135.
8. Tamura I. Topology of foliations: An Introduction. Transi, of Math. Monographs. V. 97. Publisher: AMS, 1992.
9. Blumenthal R.A., Hebda J.J. Ehresmann connections for foliations. Indiana Univ. Math. J. 1984. V. 33, N 4. P. 597-611.
10. Zhukova N.I. Global attractors of complete conformai foliations. Sbornik: Mathematics. 2012. V. 203, N 3. P. 380-405.
11. Spenier E.H. Algebraic Topology. Springer, 1966.
12. Zhukova N.I. Complete foliations with transverse rigid geometries and their basic automorphisms. Bulletin of Peoples' Friendship University of Russia. Ser. Math. Information Sci. Phvs. 2009. I. 2. P. 14-35.
13. Conn A. Noncommutative geometry. Academic Press, London-San Diego. 1994.
14. Zhukova N.I. The graph of a foliation with an Ehresmann connection and leaf stability. Russian Math. (Iz. VUZ). 1994. V. 38, N 2. P. 76-79.
Поступим в редакцию 18.07.2017
