Деформации инстантонных пленок тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Пидстригач, Виктор Ярославович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1991 ГОД ЗАЩИТЫ
   
01.01.04 КОД ВАК РФ
Автореферат по математике на тему «Деформации инстантонных пленок»
 
Автореферат диссертации на тему "Деформации инстантонных пленок"

1 8 П ч 9'

АКАДЕМИЯ НАУК СССР

ОРДЕНА ЛЕНИНА II ОРДЕНА ОКТЯГ.ГЬСКОЙ ГЕПОЛЮЦИИ МАТЕМАТИЧЕСКИЙ ИНСТИТУТ им. В. Л. СТЕКЛОВЛ

На правах рукописи УДК 519.

ПИДСТРИГЛЧ Виктор Ярославович

ДЕФОРМАЦИИ ЙНСТАНТОННЫХ ПЛЕНОК 01. 01. 04 - геометрия и топология

Автореферат диссертации на соискание ученой степени кандидата физико-математических наук

МОСКВА 1991

/> , /

/-•*/ ■■ .л /V,*

Работа шнолнена и отделе геомотрии и топологии МИАН им.. В. А. Стиклова.

Науч'ннй руководитель - доктор физико математических наук профоосор М М. Постников.

Официальные оппоненты доктор физико-математических наук О.ЯВиро доктор физико-математических наук А. II- Рудаков

Ведущей организация - Московский Государственный Униворситс 1»!- М. Б. Ломоносова.

1991 I

Защита диссертации состоится "<у в //7 час. па заседании специализированного совета при ордена Ленина и ордона Октябрьской роьояшцин Матшатичоскоь институте им. В. А. Стекяона но адросу: Москва, ул. Вавилова, 42.

с диесертащш!! можно ознакомиться в библиотеке Института.

Автореферат рагюояан

Учении сиирохйрь тптйцлшшзиров.-шниго соиита 1-'?! И ли дат ([ИЗ.'-мат. наук

. /

И. И Гршиш

■ ; ОбЩАЯ ХАРАКТЕРИСТИКА ДИССЕРТАЦИИ.

. < I !■

.л ;

>тдо АКТУАЛЬНОСТЬ Т0,М.

"""•За'последнее десятилетие возникла новая область топологии -изучение четырехмерных многообразий (4-многообразий) методами математической физики. В этой области был получен ряд сколь глубоких стол'ь и неожиданных результатов о гладких структурах на I-многообразиях. Эти результаты указывают на разительный контраст левду строением гладких многообразий в размерности 4 и в больших размерностях. Среди них:

1.Наличие й-коОордантных но не диффеоморфных многообразий;

2.Наличие счетного семейства гладких структур на топологическом замкнутом многообразии;

3. Наличие несчетного семейства экзотических гладких структур

т

Эти исследования развивались на фоне полученного Фридманом в .982 году результата о том, что топологическая (то есть с 'очностью ДО гомеоморфизма ') классификация односвязных .-многообразий' может быть • проведана по существу методами шогомерной топологии .и, .за исключением небольшой ^определенности, сводится к алгебраической классификации ¡олочисленных унимодулярных форм. Такие формы возникают здесь как орлы пересечений на двумерных гомологиях 4-многообразия и вляются центральным инвариантом односвязного замкнутого -многообразия.

I '

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

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

Гладкие структуры на 4-многообразиях строятся преимущественно следующими двумя способами.

Для многообразий, допускающих алгебраическую проективную структуру - заданием' их' в виде пространства решений систем алгебраических уравнений (проективных моделей). Различные системы могут давать гомеоморфныэ ,но - как показывают указанные инварианты - не диффвоморфные многообразия.

Второй способ состоит в разрезании и переклейке имеющихся (в том числе и полученных первым способом ) многообразий.

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

Две гомеоморфные алгебраические поверхности с разной размерностью Кодаиры Ее могут быть диффеоморфны ( обсуждения этой гипотезы см. [«>])•

Техника инстантонных пленок - или модулей антиавтодуальных связностей , как следует из названия^__являе1щя_!__&У1Цесздзенно— ^ометричшШйТ-Это-зн1чйтГв частности, что для построения такой пленки мы должны зафиксировать риманову метрику на 4-многообразии.

Указанная техника основана на использовании полезных свойств пространств модулей н л аитиавтодуальных (аэ<з) связностей иц комплексном векторном двумерном расслоении на 4-многообразии.

снабженном некоторой римановой метрикой. Ниже изложены нокоторыо из этих свойств.

1. В общем случав (для общей метрики) иаЕа является ориентированным многообразном фиксированной размерности.

2. Можно контролировать конци этого многообразия , п ото , грубо говоря , дает возможность определить "фундаментальна класс" этого многообразия.

3. Можно контролировать зависимость этого класса от римановой метрики на 4-многообразш1.

4. Пространство модулей можно вычислить. Наиболее плодотворный путь для этого - использование теоремы Дональдсона о взаимно однозначном соответствии между неприводимыми антиавтодуальншш связностями на алгебраической проективной поверхности со стандартной Ходжевой метрикой и стабильными относительно проективной поляризации алгебраическими рассшештш. Однако в этом случае мы теряем нервоэ свойство, так как Ходжева метрика может на быть общей и, следовательно, пространство модулой антиавтодуальных связностей может не быть многообразием. Дело в том, что Ходжеш мерши встречаются среди всех метрик довольно редко (они образуют нигде не плотное подмножество).

ЦЕЛЬ РА60ТЫ.

Цель' данной работы состоит в том чтобы определить гладкие инварианты 4-многообразия исходя из пространства модулей, построенного для необщей Ходжевой метрики. Имеются пример« таких метрик. Один из них рассматривался Монгом и относится к гомотопическим КЗ-поверхностям. Второй пример, относящийся к численным поверхностям Годо рассмотрен в диссертации с целью проверки упомянутой гипотезы.

НАУЧНАЯ НОВИЗНА И ПРАКТИЧЕСКАЯ ЦЕННОСТЬ.

Все результаты диссертации являются новыми' и имоыг

теоретнческий характер. Развитая техника, по существу, сводит задачу вычисления инвариантов 4-мерных гладкостей к алгеОро-геометрическим вычислениям и может Сыть применена как для вычислений различных известных инвариантов так и для определения новых.

АПРОбАЦИЯ.

Результаты диссертации докладывались на семинарах в МИАН п. р. А. Н. Тюрина и А.Н.Рудакова, на мех.-мат. ф-те МГУ п. р. ММ. Постникова, на мех.-мат. ф-те ИГУ п. р. А.С.Мищенко и Ю. II. Соловьева., в отд. геометрии ЛОМИ п. р. 0. Я. Виро, на школе-семинаре по алгебраической геометрии (Ярославль, 1990 г.), международной конференции по 4-мерным многообразиям (университет Макмастер, Гамильтон, Канада, 1990).

ПУбЛИКАДИИ. По теме диссертации опубликовано 2 работы.

СТРУКТУРА РАбОТЫ. Диссертация изложена на 50 страницах. Она состоит из введения и двух глав - всего 11 параграфов. Список литературы содержит 13 наименований.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ. .

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

В главе 1 развивается основной технический прием.исследования

связностей) на векторном двумерном комплексном расслоении е над римановым 4-многообразием.

§1 содержит основные определения, относящиеся к модулям инстантонов. Определяются пространство классов связностей по

модулю действия калибровочной группы в и гильбертово расслоенио и на нш, слой которого изоморфен пространству автодуальных форм со значениями в бесследных эндоморфизмах расслоения е. Имеется каноническое сечение ааай этого расслоения, сопоставляющей связности еэ кривизну. Нули этого сечоння и есть пространство модулей ангиавтодкальных связностей (инстантонов). Излагается "модель Кураниши" пространства модулой - локальная модель этого пространства. Модули будут гладким многообразием, если они ив содержат приводимых связностей и для каждого инстантона вторые гомологии некоторого комплекса ("деформационного комплекса Атьи") обращаются в ноль. Если второе условно выполнено , метрика 4-многообразия называется общей. Общие метрики образуют всюду плотное подмножество в пространстве всех метрик на 4-многаобразик.. Поэтому можно любую необщую метрику лродеформировать в общую посредством малой деформации. Ставится задача определения препятствия к деформации инстантона вдоль заданной деформации метрики.

§2 содержит рассмотрение аналогичной ситуации, в которой бесконечномерные гильбертовы многообразие в и расслоение и заменяются конечномерными. Определяется "локализованный эйлеров класс* - гомологический класс , двойственный к эйлерову классу расслоения, построенному по конкретному сечешга. Этот гомологический класс имеет носитель на пространстве • нулей указанного сечения. В случав, когда сечение регулярно (трансворсально пересекается с нулевым сеченном), локальный класс совпадает с фундаментальным классом многообразия нулей этого сечения. Вычисление локального эйлерова класса в торминах пространства нулей требует учета "кратности нулей". Многообразно у, расслоение в и сечение о- предполагаются для этих полой голоморфными. В этом случае ответ выглядит елвмушш образом

(см.- алгебраический случай):

С(Е) = [с(С|х-ТУ|2)Пс.(2)](11иу_(41тС

Здесь е (в) - локальный эйлеров класс, с(0| опс| а> - класс Чженя разности расслоений в и касательного к х, суженных на подпространство нулей сечения <г , п - произведение пересечение когомологий и гомологнй, с.(2) - канонический класс схемы г (см. [?]) . Ма1_пУ_а;1тв ~ комтнен,га указанной размерности.

В следующем, третьем , параграфе обсуждается возможность применения этой формулы в бесконечномерной ситуации, описанной выше. Прежде всего нужно определить структуру аналитического пространства на модулях инстантонов. Для 4-многообразий, являющихся алгебраическими поверхностями это возможно благодаря следующей теореме, принадлежащей Дональдсону (см. [5]):

Теорема. Расслоение на алгебраической проективной поверхности стабильно относительно проективного вложения, если и только если оно допускает неприводимую связность Эрмита-Эйнштейна по отношению к метрике, индуцированной указанным проективным вложением.

В односвязном случае, которым мы и ограничиваемся, связности Эрмита-Эйнштейна есть в точности инстантоны. Таким образом модули инстантонов и модули стабильных расслоений изоморфны , а последние имеют каноническую структуру аналитического пространства. Далее, в указанной формуле есть разность двух бесконечномерных расслоений. Эти расслоения связаны фрвдгольмовым морфизмом, и поэтому их разность стабильно изоморфна разности конечномерных аналитических пучков И1, определенных гомологиями деформацишшохх>-комплексаг-Эти~

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

Теорема А. Пусть д=ы - Ходжева метрика и пусть - деформация

метрики, такая что дь общая для почти всех ^о. Предположим

дополнительно, что пространство л*аза(д1:) компактно для всех 1.

Тогда фундаментальный класс многообразия ) длл общоп

метрики д. может быть определен из формулы:

^*аза<%>> - - И1) п ссж*ввЛс«| 11 Апа <4' 1>

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

Предложение. При указанных в Теореме А предположениях существует голоморфное конечномерное многообразие N и голоморфное расслоение г на нем с голоморфным сечением <г таким, что (<г)

как аналитические пространства. Более того, существует деформация этого сечения с^. о-0=чт, такая, что регулярно , если мотрика общая и в этом случае (^о^ава*9^* Кроме того, в • к-функторо выполняется равенство

Г-ТЛ' » 1пй (<Зд»<1Д) .

Параграф заканчивается выводом теоремы А из предложения.

Доказательство предложения занимает параграфы 5-8 и опирается на ряд промежуточных лемм.

В §5 дается определение еще одного гильбертова многообразия в • - пространства орбит действия комллексифицированной калибровочной группы на пространстве связностей. Это многообразие шеет голоморфную структуру, как и расслоение ?, определяемое на нем. Слой расслоения изоморфен пространству 0.2-форм на нашей алгебраической поверхности, определено голоморфное сечение расслоения 3, сопоставляющее связности 0. 2-компоненту кривизны. Имеется естественное отображение

к: г -> в

и подъем ? расслоения 5 вдоль к будет прямым слагаемым расслоения и, а подъем сечения будет совпадать с проекцией сечения ва5а на слагаемое 5. В конце параграфа "формулируется вспомогательная

лемма.

Ломма 5.1 Пусть 1>з . Тогда существует конечномерное нодрасслоешш к расслоошш такое, что сечение эаза

трансворсально к подрасслоению г в некоторой окрестности

, т. е.. соответствующее факторсечение факторрасслоения к/р регулярно в этой окрестности. Расслоение г поднимается с пространства в: . и голоморфное подрасслоение

трансверсально сочению вЬд расслоения

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

В 5? показано, что подрасслаекия гх ь для разных точек х не пересекаются и что существует конечный набор различных точек (х^) такой, что расслоение г(х } = ^ ^ ь Удовлетворяет условиям лемм!

5.1. В этом месте существенно используется компактность пространсва модулей.

В §8 леша 5.1 используется для доказательства предложения. Подмногообразие я строится как прообраз подрасслоения } при

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

Наконец "в последнем, девятом, параграфе первой главы пучки Ш1 вычисляются в терминах алгебраической геометрии - как пучки прямы образов расслоения эндоморфизмов универсального расслоения.

Вторая глава посвящена одному применению формулы 4.1 для

-чнелешнЕГ-повирхнистШ годо. Под численными поверхности,ш Годо мы Судом понимать гладкие алгебраические минимальные поверхности оСцсги типа, геометрический род рд и иррегулярность q которых ¡ ¡-ü нулю, а квадрат канонического класса кх поверхности х равен

о

«яшьим: к" " i . Изшстао несколько примеров таких

поверхностей, среди них - единственная односвязная - поверхность Барлоу Bv (см. [i]).

Эти поверхности особо интересны в своте упомянутой гипотезы:

Две гомеоморфные алгебраическио поворхности с разной размерностью Кодаиры не могут быть диффооморфны ( обсукдония этой гипотезы см. [g]).

Дело в том, что для рациональных поверхностей pg~q-o ,а .поскольку указанные инварианты являются топологическими инвариантами, то для проверки этой гипотезы в классах рациональных и общих поверхностей ш должны рассматривать общие поворхности именно с pg=q=o. У таких поверхностей, если они минимальны, для квадрата канонического класса есть конечное число возможностей:

2

1 s к £ э

Односвязная численная поверхность Годо гомеоморфна 2 _2

ср «вер , то есть проективной плоскости с восемью раздутыми точками. Последняя является единственной рациональной поверхностью такого топологического типа. Таким образом, если гипотоза верна то должна выполнятся следующая теорема.

Теорема В. Гладкие структуры на односвязной численной поверхности Годо х и на поворхности cp2#sc?2 не диффеоморфны.

Эта теорема доказывается в работе [3] для случая x=bw ( см. также il/], где она доказана для однократного раздутия bw). Доказательство состоит в построении целочисленного инварианта гладкости Ф и вычисления его для bw и для ср2«зср2 : <how)=8,

2 _7

Ф(ср «sep ) = о . Построение инварианта Ф использует технику антиавтодуальных связностеЯ с коеффициентами в группе Ли so(з) . Дискретные инварианты расслоения рг=-з, w2=w2(x) подобраны таким образом, чтобы многообразие модулей tfasd было компактным ,и нульмерным для общей метрики и чтобы не было сроди

о <ро„„гь „„вар,и111 кав чимо ,очвк, 1101Ю »»

о» ,,„гте 0 м ор_ 3io чисяо »

«P« . . m -ь „ г_ 4_шогообраэ„, попользуй тхтшт вшо ,осро,„ До11мшоова (ш

овязиоащую шгстантош „ с,т,„, Зр.шта-Э.шта1Ша '

" СВ0" °"8р0дь =Р.И«-зпшт;„и т „(21-рамоеШ1

™«!гГ ЭТОГО °ТО6Ра*ОТ — ■ Ч-

Тшши оорааоц. апныяае , сит,тая „ .

—а „J^ I —

i" X ■ =2- ■ В случае, когда „,амшв „„„.^

Г"0.....— » ~ одномерных JZ7

■»•III» Так, « в эти случае ■

ТОШ, (ш. [51). "" С0дар*"1 Г'0ИЮ «шошша)

Т" —~

~ —^аТоГ чГГГ

что "9 ЯМЯвТСЯ °0"Э" « " —» W-Век, с, IS))

. ЧТО ОСЛО« задач, Егасдати м,шар„а)ш ^ ^

. штшш пршлоняэтся 4.1. ^ KIaH„MM0, что „ в

Г СЛ,,М ' Й1Ж —Теорема В м ,2

ворча для этот ■тттгтесктхг

тгшаг

Цитированная литература

1. Barlow R.N. A simply connected surface of general type with Pg=0. // Invent. Math. 1985. V.79. P.293-301.

2. Friedman R., Morgan J.W. Algebraic surfaces and 4-nanifoldss Some conjectures and speculations // Bull. Ал. Hath. Soc. 1900. V.1B, H.l. P.1-19.

3. Kotschik D. On manifolds -homeomorphic to С1Р2|вСРа // Invent. ■ Hath. 1989. V.95. P.591-600.

4.0konek C., Van de Ven A. Г-type invariants associated to PU(2)-bundles and the differentiable structure of Barlow's surface. // Invent. Hath. 1989. V.95. P.601-614.

5.Donaldson S. Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles // Proc. L6nd. Math. Soc. 1985. V.50, H.l. P.1-26.

6.Фрид Д,, Уленбек К. Инстантоны и четырехмерные многообразия.

М. :Мир, 1988."

7. Фултон У. Теория пересечений. М. :Мир, 1989.

Работы автора по теме диссертации

1. Deformation of moduli of antieelfdual connections. // Preprint. McMaster Univ., Hamilton, Ontario, Canada. 1990.

2. 0 деформации ¡тстантонпых пленок. Известия АН СССР, сер. мат., 1991. N2. •