Комбинаторная коммутативная алгебра и топология момент-угол комплексов тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

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

ФГБОУ ВО "МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА"

На ттрагсах рукописи

Лимонченко Иван Юрьевич

КОМБИНАТОРНАЯ КОММУТАТИВНАЯ АЛГЕБРА И ТОПОЛОГИЯ МОМЕНТ-УГОЛ КОМПЛЕКСОВ

Специальность 01.01.04 - геометрия и топология

АВТОРЕФЕРАТ диссертации на соискание учёной степени кандидата физико-математических наук

1 2 2015

Москва - 2014

005559110

Работа выполнена на кафедре высшей геометрии и топологии Механико-математического факультета ФГБОУ ВО "Московский государственный университет им. М.В. Ломоносова" Научный руководитель: Панов Тарас Евгеньевич,

доктор физико-математических наук, профессор

Официальные оппоненты: Лексин Владимир Павлович,

доктор физико-математических наук, профессор (ГАОУ ВПО "Московский государственный областной социально-гуманитарный институт" (Коломенский государственный педагогический институт), факультет математики, физики, химии, информатики, профессор кафедры математики и методики преподавания математических дисциплин)

Кустарев Андрей Александрович,

кандидат физико-математических наук, доцент (НИУ "Высшая школа экономики", факультет компьютерных наук, доцент департамента больших данных и информационного поиска)

Ведущая организация: ФГБОУ ВО "Санкт-Петербургский государственный университет"

Защита диссертации состоится 27 февраля 2015 г. в 1645 на заседании диссертационного совета Д.501.001.84, созданного на базе ФГБОУ ВО "Московский государственный университет им. М.В. Ломоносова" по адресу: РФ, 119991, Москва, ГСП-1, Ленинские горы, д.1, МГУ, Механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в Фундаментальной библиотеке ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" (Москва, Ломоносовский проспект, дом 27, сектор А, 8 этаж)£г-ия с(хоуу\е Ь.^! ггтедч «йи,си Автореферат разослан 26 января 2015 г.

Ученый секретарь диссертационного совета Д.501.001.84, созданного на базе

ФГБОУ ВО МГУ им. М.В.Ломоносова А. О. Иванов

доктор физико-математических наук, профессор

Общая характеристика работы

Актуальность темы

На основе классических результатов комбинаторной коммутативной алгебры, алгебраической топологии, выпуклой геометрии, эквипариантной топологии, симплектической геометрии и топологии, активно развивается то-рическая топология. В то же время, актуальным разделом алгебраической геометрии стала торическая геометрия, изучающая свойства торических многообразий. Каждому выпуклому многограннику в К" с рациональными координатами вершин можно сопоставить алгебраическое многообразие с действием алгебраического тора (С*)'г, являющееся эквипариантной компактификацией тора (С*)п относительно его стандартного действия на себе. С одной стороны, эта конструкция дает обширный класс примеров алгебраических многообразий, свойства которых можно эффективно описывать в терминах комбинаторных данных. С другой стороны, конструкция торического многообразия позволяет доказывать сильные результаты о комбинаторике многогранников при помощи методов алгебраической геометрии. Одним из таких результатов является д-теорема, дающая полную характеризацию /-векторов простых многогранников.1

М.Дэвис и Т. Янушкиевич2 ввели понятие квазиторического многообразия, являющееся топологическим аналогом торического многообразия. На квазиторическом многообразии М2п определено действие компактного тора Тп, локально изоморфное стандартному действию Тп на С", а пространством орбит этого действия является простой многогранник Рп. Ква-зиторические многообразия представляют обширный класс примеров топологических пространств с богатой геометрией и топологией, причем их свойства можно описывать в комбинаторных терминах. В. М. Бухштабер, Т. Е. Панов и Н. Рэй3,4 показали, что в размерностях, больших двух, каждый класс комплексных кобордизмов содержит связное квазиторическое многообразие с естественной стабильно комплексной структурой, согласованной с действием тора.

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

'L.Billera, C.Lee, A proof of sufficiency of McMullen's conditions for ¡-vectors of simplicial polytopes, Bull. Amer.Math.Soc. (N.S.), 1980, V.2, ЛЧ, pp. 181-185.

"M. Davis, T. Januszkiewira, Convex polytopes, Coxeter nrbifolds and tortus actions. Duke Math. J. 1991. V. 62, №2, pp. 417-451.

3Victor M. Buchstaber and Taras E. Panov. Топя Actions in Topology and Combinatorics (in Russian). MCCME, Moscow, 2004, 272 pages.

4V.M.Buchstaber, Т.Е.Panov, N.Ray, Spaces of polytopes and cobordism of quasitoric manifolds, Moscow Math. .T., V.7, No. 2, 2007, pp. 219-242.

гранником Р" с m гипергранями М.Дэвису и Т. Янушкиевичу потребовалась конструкция (m + п)-мерного многообразия Zp с каноническим действием тора Т™, для которого Р является пространством орбит. Каждое квазиторическое многообразие над простым многогранником Р, в случае если они существуют, гомеоморфно фактор-пространству многообразия Zp по свободному действию некоторого подтора Тт~п С Тт. В своих работах В. М. Бухштабер и Т. Е. Панов предложили рассматривать многообразия Zp как центральный объект исследования в торической топологии и развили различные подходы к изучению этих пространств, названных ими момент-угол многообразиями}'5'"1 В работе В. М. Бухштабера и Т. Е. Панова8 показано, что существует более общая алгебро-топологичес-кая конструкция, сопоставляющая каждому симплициальному комплексу К на m вершинах клеточный момент-угол комплекс ZK(D2, S1) с действием тора Тт. При помощи канонического разбиения простого многогранника на кубы В.М.Бухштабер и Т.Е.Панов показали, что для простого многогранника Р момент-угол многообразие Zp эквивариантно гомеоморфно момент-угол комплексу Дэр.(02, S1), где дР* — граница двойственного к Р симплициального многогранника.

Термин «момент-угол комплекс» отсылает к клеточной структуре пространства Zk, последнее может быть получено как результат склейки произведений полидисков и торов, которые параметризуются симплексами комплекса К. Момент-угол комплексы были введены и впервые изучены в работах В. М. Бухштабера и Т. Е. Панова9,10 как клеточные разбиения тори-ческих пространств, возникающих в некоторых конструкциях алгебраической геометрии, симплектической геометрии и комбинаторной топологии, на первый взгляд, не связанных между собой. Среди них

• Пересечения специального вида вещественных и эрмитовых квадрик,

5В. М. Бухштабер, Т.Е. Панов, Действия тора и комбинаторика многогранников, ТргДы МИАН им. В.А.Стеклопа, 225, 1999, стр.96-131.

6В.М. Бухштабер, Т. Е. Панон. Торические действия в топологи" " гммбинаторике. Москва, 2004.

7V.M.Buchst,aber, T.E.Panov, N.Ray, Spaces of polytop-* and cobordism of quasitoric manifolds, Moscow Math.,]., V.7, No. 2, 2007, pp. 219-242.

SB.M.Бухштабер, Т.Е.Панов, Действторов, комбинаторная топология и гомологическая алгебра, УМН, 55:5(335), стр.3-106, 7DOO-

"Victor M. Buchstaber and тагаs E. Panov. Algebraic topology of manifolds defined by simple polyhedra. Uspekhi Mat. Nauk 53 (3398), no.3, 195-196 (Russian); Russian Math. Surveys 53 (1998), no. 3, 623-625 (English translation)-

10Victor M Ouchstaber and Taras E. Panov. Torus actions and the combinatorics of polytopes. Trudy Mat. bei. St.eklova 225 (1999), 96-131 (Russian); Proc. Steklov Inst. Math. 225 (1999), 87-120 (English t<anslation).

изучавшиеся в топологии и голоморфной динамике11,12'13,14

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

• Ряд конструкций пространств орбит Р х С/ где Р - многогранник, аб - конечная группа или тор, источником которых является теория групп Кокстера17,18,19

• Дополнения конфигураций координатных подпространств в комплексном пространстве, возникающие в конструкции торических многообразий как алгебраических факторов20, и также изученные в общей теории конфигураций плоскостей21,22

Исходя из существования естественной клеточной структуры на пространстве В.М.Бухштабер и Т.Е.Панов23 вычислили кольцо когомологий момент-угол комплексов и момент-угол многообразий простых многогранников над произвольным полем или кольцом целых чисел к. Они показали, что для произвольного симплициального комплекса К на т вершинах имеет место изоморфизм

= тогкЬ.....„„]№], к),

'1 César Camacho, Nicolaas Kuiper and Jacob Palis. The topology of hnlomorphic flows with singularity. Inst. Hautes Études Sc.i. Publ. Math. 48 (1978), 5-38.

12S. Lopez de Medrano, The topology of the intersection of quadrics in Ru. Lecture Notes in Mathematics 1370 (1989), 280-292.

'"^Santiago López de Medrano and Alberto Verjovsky. A new family of complex, compact, non-sym.plectic, manifolds. Bol. Soc. Mat. Brasil. 28 (1997), 253-269.

'"'Frédéric Bosio and Laurent Meersseman. Real quadrics in Cu, complex manifolds and convex polytopes. Acta Math. 197 (2006), no. 1, 53-127.

'^Frances Kirwan. Cohomology of quotient* in symplcctic and algebraic geometry. Mathematical Notes, 31. Princeton Univ. Press, Princeton, NJ, 1984.

'"Michéle Audin. The Topology of Torus Actions on Symplectic Manifolds. Progress in Mathematics, 93. Birkhâuser, Basel, 1991.

,7Ernest B. Vinberg. Discrete linear groups generated by reflections. Izv. Akad. Nauk SSSR. Ser. Mat. 35 (1971), 1072-1112 (Russian); Math. USSR Izvestija 5 (1971), no. 5, 1083-1119 (English translation).

''Michael W. Davis. Groups generated by reflections and aspherical manifolds not covered by Euclidean space. Ann. of Math. (2) 117 (1983), no. 2, 293-324.

19M. Davis, T. Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J. 1991. V. 62, №2, pp. 417-451.

20D.Cox, The homogeneous coordinate ring of n toric variety, J. Algebraic Geom. 4 (1995), pp. 17-50; arXiv:alg-geom/9210008v2.

21 Mark Goresky and R,obert MacPherson. Stratified Morse Theory. Springer, Berlin-New York, 1988.

22Mark de Longueville. The ring structure on the cohomology of coordinate subspace arrangements. Math. Zeitschrift 23 3 (2000), no. 3, 553-577.

2aB.M.Бухштабер, Т.Е.Панов, Действия торов, комбинаторная топология и гомологическая алгебра, УМН, 55:5(335), стр.3-106, 2000.

где к[Я] — алгебра Стенли-Райснера симплициального комплекса К. Их подход к исследованию когомологий получил развитие в работах И. В. Баскакова.24'25

В диссертации исследована связь между комбинаторной структурой (частично упорядоченным множеством граней) простого многогранника Р (или произвольного комплекса К, уже необязательно являющегося многогранной сферой К — Кр = дР*), алгебраическими и гомологическими свойствами алгебры Стенли-Райснера к[К] и топологической структурой момент-угол комплекса Zj<. В общем случае топология Zk чрезвычайно сложна, но в ряде примеров классических выпуклых простых многогранников удается описать (по крайней мере аддитивную) структуру кольца когомологий H*{ZK{D2,Sl)\к), а в некоторых случах и получить описание топологического типа 2ц.

Теория момент-угол комплексов тесно связана с торической геометрией. Торическое алгебраическое многообразие, соответствующее выпуклому рациональному многограннику, можно определить при помощи конструкции Батырева-Кокса.26А именно, рациональному многограннику Р с т гипергранями ставится в соответствие пространство Cm \ Ар — дополнение до конфигурации координатных подпространств, а торическое многообразие определяется как категорный фактор этого дополнения по действию некоторой алгебраической подгруппы некомпактного тора (С*)т. Алгебраическое многообразие Ст\Лр является алгебраическим аналогом момент-угол пространства Zp. Между конфигурациями координатных подпространств пространства Ст и симплициальными комплексами на т вершинах имеется естественная биекция, которая сопоставляет симплициальному комплексу К конфигурацию {Li 11 £ К}, где L¡ = {(zu..., zm) е Cm | z¿ = 0 при i € /}. При такой биекции конфигурации плоскостей Ар из конструкции Батырева-Кокса соответствует нерв-комплекс Кр.

Когомологии и эквивариантные когомологии момент-угол пространства Zp выражаются в терминах ялгебры Стенли-Райснера нерв-комплекса Кр согласно результатам В. М. Бухштабера и Т. Е. Панова27 и М. Дэвиса и Т. Янушкиевича28 соответственно. Алгебры Стенли-Райснера, введенные в

24 И. В. Баскаков, Когомологии K-степеней пространств и комбинаторика ашллициальных разбиений, УМН, 57:5(347) (2002), стр.147-148.

25И. В. Баскаков, Тройные произведения Масси в когомологиях момент-угол комплексов, УМН, 58:5(353) (2003), стр.199-200

26D.Cox, The homogeneous coordinate ring of a tone variety, J. Algebraic Geom. 4 (1995), pp. 17-50; arXiv:alg-geom/9210008v2.

27B.M. Бухштабер, Т.Е.Панов, Действия торов, комбинаторная топология и гомологическая алгебра, УМН, 55:5(335), стр.З-Шб, 2000.

28М. Davis, Т. Januszkiewicz, Convex polytopes, Coxeter orbifolds and inn« actions, Duke Math. .1. 1991.

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

ß-^(K) = rkTor^Jk[K},k).

Согласно теореме М.Хохстера,30 биградуированные числа Бетти определяются топологией полных подкомплексов:

ß~W(K)= J2 rk

JQ[m],\J\=j

В работах В. М. Бухштабера и Т. Е. Панова было приведено новое доказательство этой формулы, основанное на интерпретации Таг-алгебры симплициального комплекса Torj^ v j(k[K"],k) как алгебры когомоло-гий момент-угол комплекса Zk(D2, S1). И.В.Баскаковым31 было описано умножение в Тог-алгебре в терминах полных подкомплексов. Вычисление биградуированных чисел Бетти момент-угол комплексов дает возможность оценить ранги групп гомологий момент-угол комплексов и многообразий, и, вместе с тем, дать оценку на дефект (разность между левой и правой частями неравенства) в известной гипотезе Гальперина о торическом ранге для конечномерных клеточных пространств с почти свободным действием тора, доказанной для момент-угол пространств Ю.М.Устиновским32.

В работах А. Постникова33 и Е. Фейхтнер и Б. Шт.урмфельса34 был

V. 62, No. 2, pp. 417-451.

20G. Reisner, Cohen-Macaulay quotients of polynomial rings. Advances in Math-, V.21, No. 1, 1976, pp. 30-49.

30M. Höchster, Cohen-Macaulay rings, combinatorics, and simplicial complexes, in Ring theory, II {Proc. Second Conf.,Univ. Oklahoma, Norman, Okla., 1975), Lecture Notes in Pure and Appl. Math., V. 26, pp.171223, Dekker, New York, 1977.

И. В. Баскаков, Когоммогии K-степеней пространств и комбинаторика симплициалшых разбиений, УМН, 57:5(347) (2002), стр.147-148.

а2Ю.М.Устинопский, Птотеза о торическом рпмге для момент-угол комплексов, Матем. заметки, 90:2 (2011), стр.300-305.

МА. Postnikov, Permut,oheira, associahedra, and beyond, arXiv: math.CO/0507163.

34E.-M. Feichtner, B. Sturmfels, Matroid polytopes, nested sets and Bergman fans, Portugaliae Mathematics 62 (2005), 437-468.

введен важный класс простых многогранников, называемых нестпоэдрами. Как было показано А. Зелевинским,35 любой нестоэдр является многогранником Дельзанта. Наиболее известными и важными в геометрических и практических приложениях из них являются пермутоэдры, стеллаэдры, ас-социаэдры (или многогранники Сташефа) и циклоэдры (или многогранники Ботта-Таубса). В диссертации дано общее определение нестоэдров как сумм Минковского симплексов, а также вычислены некоторые биградуи-рованные числа Бетти вида /3~г>2(г+1) и доказано обращение их в нуль для всех i > imax, имеющего геометрическое описание. Также в диссертации показано, что серии пермутоэдров и стеллаэдров дают примеры момент-угол многообразий, в кольце целочисленных когомологий которых может быть произвольно сложное кручение, но, в то же время, целочисленные когомо-логии Zp для некоторых граф-ассоциаэдров свободны от кручений. В диссертации также исследован вопрос о нетривиальных произведениях Масси в когомологиях момент-угол многообразий 3-мерных граф-ассоциаэдров.

В диссертации показано, что в классе обобщенных многогранников усечения топологическая эквивалентность момент-угол многообразия связной сумме произведений сфер, с двумя сферами в каждом произведении, равносильна минимальной неголодовости алгебры Стенли-Райснерак[Р]. Понятие кольца Голода возникло первоначально в гомологической алгебре в работе Е.С.Голода3бдля нетеровых локальных колец. Теорема Бухшта-бера и Панова о кольце когомологий ZP показывает, что свойство голо-довости алгебры к[К] равносильно над любым полем к тривиальности умножения Колмогорова-Александера и всех высших произведений Масси в H*(Zk{D2, S1); к). Понятие минимальной неголодовости комплекса К (если основное поле к фиксировано) введено в работе А.Берглунда и М.Йолленбека37, где доказана минимальная неголодовость границ многогранников пирамидальной надстройки (двойственных к многогранникам усечения). В диссертации обобщен этот результат и получен критерий минимальной неголодовости для случая срезки произвольного числа вершин любых произведений симплексов любых размерностей.

Легко видеть, что любой простой п-мерный многогранник с тп = п+2 гипергранями проективно эквивалентен прямому произведению симплексов. Таким образом, первый нетривиальный случай возникает при m = п + 3.

35А. Zelevinsky, Nested complexe.ii and their polyhedral realizations, Pure and Applied Mathematics Quarterly 2 (2006), 655-671.

""Голод E.C. О ?.омоло?Л1лх некоторых локальных колец, ДАН СССР 144:3 (1962), 479-482.

37 Alexander Berglund and Michael Jollenbeck. On the Golod property of Stanley-Reimer rinqs, J. Algehra 315:1 (2007), 249-273.

Полная комбинаторная классификация таких многогранников была получена в книге Б. Грюнбаума38 при помощи так называемых «звездных» диаграмм, а также М. Перлесом на основе диаграмм Гейла, который также получил формулу для числа комбинаторных типов. Результаты В. М. Бух-штабера и Т. Е. Панова39 позволяют применить теорему Лопез де Медра-но40 о пересечении квадрик к момент-угол многообразиям и получить, что для многогранника Рп с то = п+3 многообразие Zp является либо прямым произведением трех сфер нечетной размерности, либо связной суммой прямых произведений сфер, причем их количество и размерности определяются диаграммой Гейла многогранника. В диссертации исследованы кольца граней таких многогранников и получен критерий, когда они обладают свойством голодовости или минимальной неголодовости.

Последняя часть диссертации посвящена доказательству замкнутости класса минимально неголодовских комплексов относительно некоторых симплициальных операций, для которых в свою очередь имеется описание перестроек и изменения топологического типа момент-угол многообразий. Прежде всего, имеется гипотеза С.Гитлера и С.Лопез де Медрано о том, что если Zp гомеоморфно связной сумме произведений сфер, с двумя сферами в каждом произведении, то это же верно и для произвольной срезки вершин многогранника Р.41 В диссертации приводятся примеры, которые показывают, что для срезок граней положительной размерности это неверно. Основным результатом этой части работы является доказательство того, что операции срезки вершин и, более общая, связной суммы двух простых многогранников, сохраняют свойство минимальной неголодовости колец граней. Кроме того, в диссертации доказано существование голодовского симплициального комплекса, все полные подкомплексы которого свободны от кручений в целочисленных гомологиях, а его момент-угол комплекс не является гомотопическим букетом сфер.

Цель работы.

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

38В. Gnmbaum, Convex Polytopes, Vol. 221 of Graduate Texts in Mathematics, Springer-Verlag, New York, Second ed., 2003.

мВ.М.Бухштайер, Т.Е.Панов, Действия торов, комбинаторная топология « гомологическая алгебра, УМН, 55:5(335), стр.3-106, 2000.

4"S. Lopez de Medrano, The topology of the intersection of quadrics in R", Lecture Notes in Mathematics 1370 (1989), 280-292.

■"Samuel Gitler and Santiago Lopez de Medrano. Intersections of quadrics, moment-angle, manifolds and connected sums, Preprint. (2009); arXiv.0901.2580.

симплициальных комплексов, коммутативно-алгебраическими свойствами их колец Стенли-Райснера и топологическими свойствами их момент-угол комплексов.

Научная новизна.

Все основные результаты являются новыми, получены автором самостоятельно и заключаются в следующем:

1. Вычислены биградуированные числа Бетти граф-ассоциаэдров, в частности, пермутоэдров, стеллаэдров, ассоциаэдров и циклоэдров, допускающие комбинаторно-геометрическое описание.

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

(a) Кольцо Стенли-Райснера обобщенного многогранника усечения Р = уск(А,ц х ... х ДПг) является минимально неголодовским тогда и только тогда, когда либо г — 1, к > 1, либо г = 2.

(b) Кольцо Стенли-Райснера четномерного смежностного многогранника Р является минимально неголодовским тогда и только тогда, когда Р отличен от симплекса.

(c) В случае п-мерного простого многогранника Р с т = п + 3 гипергранями кольцо граней к[Р] минимально неголодовское тогда и только тогда, когда многогранник Р комбинаторно не эквивалентен произведению трех симплексов.

3. Вычислено кольцо целочисленных когомологий 2р для всех обобщенных мнигогранников усечения Р.

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

Методы исследования.

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

Теоретическая и практическая ценность работы.

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

Апробация работы.

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

1. Семинар «Алгебраическая топология и ее приложения» им. М. М. Постникова под руководством чл.-корр. РАН В. М. Бух-штабера, проф. А. В. Чернавского, проф. И. А. Дынникова, проф. Т. Е. Панова, доц. JL А. Алания и доц. Д. В. Миллионщикова; кафедра высшей геометрии и топологии Механико-математического факультета МГУ - неоднократно с 2011 по 2014 год;

2. Семинар «Дифференциальная геометрия и приложения» под руководством акад. РАН А.Т.Фоменко; кафедра дифференциальной геометрии и приложений Механико-математического факультета МГУ -неоднократно с 2011 по 2014 год;

3. Семинар «Геометрия в целом» под руководством проф. И. X. Сабитова; кафедра математического анализа Механико-математического факультета МГУ - в 2012 году;

4. Семинар «Geometry and topology seminar» под руководством проф. М.Масуды; Университет г.Осака, Япония - в 2011 и 2014 годах;

5. Семинар «Algebraic topology seminar» под руководством проф. Е.Грбич и проф. С.Терио; Саутгемптонский университет. Великобритания - в 2014 году;

6. Семинар «Topology seminar» под руководством проф. Н.Рэя; Манчестерский университет, Великобритания - в 2014 году;

7. Всероссийская конференция «Ломоносов 2011», г. Москва. 11-15 апреля 2011 года, МГУ.

8. Международная конференция «Торическая топология в Осаке 2011», г. Осака, Япония, 27-30 ноября 2011 года.

9. Международная конференция «Торическая топология в Осаке 2012», г. Осака, Япония, 16-19 ноября 2012 года.

10. Всероссийская конференция «Ломоносов 2013», г. Москва, 8-12 апреля

2013 года, МГУ.

11. Международная конференция «Алгебраическая топология и абелевы функции», постерный доклад, г. Москва, 18-22 июня 2013 года.

12. Международная конференция «Торические действия: топология, геометрия и теория чисел», г. Хабаровск, 2-7 сентября 2013 года.

13. Международная конференция «Торическая топология в Осаке 2014», г. Осака, Япония, 21-24 января 2014 года.

14. Всероссийская конференция «Ломоносов 2014», г. Москва, 7-11 апреля

2014 года, МГУ.

15. Международная конференция «13-й Сербский Конгресс Математиков», г. Врнячка Баня, Сербия, 22-25 мая 2014 года.

16. Международная конференция «18-й Геометрический Семинар», г. Врнячка Баня, Сербия, 25-28 мая 2014 года.

17. Международная конференция «Топология действий тора и приложения к геометрии и комбинаторике», г. Тэджон, Республика Корея, 7-11 августа 2014 года.

18. Международная конференция «Геометрия, топология и интегрируемость», Сколково, 20-27 октября 2014 года.

Публикации.

Основные результаты диссертации опубликованы в 8 работах [1-8], список которых приведен в конце автореферата.

Структура и объем диссертации.

Диссертация состоит из введения, пяти глав и дополнения. Текст диссертации изложен на 107 страницах и содержит 1 рисунок. Список литературы включает 86 наименований.

Краткое содержание работы

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

Содержание главы 1

Глава 1 содержит основные определения и конструкции, используемые в диссертации. В разделе 1.1 приводятся определения (абстрактного) симплициального комплекса К и выпуклого простого многогранника Р, а также вводится понятие нерв-комплекса Кр простого многогранника Р. Также даны определения комбинаторной эквивалентности и двойственности для многогранников, прямого произведения, связной суммы и джойна двух многогранников. Раздел 1.2 содержит общую информацию о момент-угол комплексах и многообразиях и обобщениях этих конструкций (полиэдральные произведения или Я"-степени). Каждому простому выпуклому тг-мерному многограннику Р с т гипергранями ставится в соответствие гладкое, замкнутое (т + п)-мерное многообразие 2р с действием компактного тора Т™, по определению вложенное эквивариантно в С171 с тривиальным нормальным расслоением. Любому симплициальному комплексу К на т вершинах может быть сопоставлен его момент-угол комплекс 2#(£>2, Б1), являющийся клеточным комплексом с действием тораТт. Теорема Бухштабера-Панова дает связь между момент-угол многообразиями и комплексами: для любого простого многогранника Р имеет место Т"п-эквивариантный гомеоморфизм Ер = Дэр* (I?2,51), где дР* есть граница двойственного симплициального многогранника. В разделе 1.3 дается определение алгебры Стенли-Райснера к [Я] (или кольца граней) симплициального комплекса К (к - поле или кольцо целых чисел), обладающей естественной структурой модуля над кольцом многочленов к [т] от т переменных. Описана свободная резольвента Кошуля к как к[т]-модуля, с помощью которой определяется и вычисляется Тог-алгебра Тогк[т](к[Я"],к) симплициального комплекса К. Введены биградуированные числа Бетти комплекса К:

р-*Ъ(К) = тккТогк[т]{к[К},к).

Приводится описание клеточной структуры момент-угол комплекса^', которое дало возможность В.М.Бухштаберу и Т.Е.Панову вычислить кольцо когомологий ЯК. По теореме Бухштабера-Панова имеет место изоморфизм

алгебр:

H* {ZK{D2 , S1)) = Тог^(к[К],к).

Сформулировано следствие известной теоремы Хохстера, согласно которому биградуированные числа Бетти комплекса К могут быть вычислены, зная ранги над к групп приведенных когомологий всех его полных подкомплексов Кj по всем подмножествам J С [то]:

£ rk bfr-^iKj-k).

JÇ[m],\J\=j

Следствием из теоремы Бухштабера-Панова является утверждение о связи между топологическими числами Бетти момент-угол многообразия Zp и биградуированными числами Бетти его нерв-комплекса Кр.

Содержание главы 2

В главе 2 вводится геометрический объект - нестоэдры Рц - класс простых многогранников, допускающих реализацию в качестве многогранника Дельзанта, получивший название обобщенных пермутоэдров в работе А.Постникова42 и объединивший в себе ряд классических многогранников, таких как пермутоэдр, многогранник Сташефа, многогранник Ботта-Таубса и др. Определение граф-ассоциаэдров Рг, как класса флаговых многогранников, являющихся частным случаем нестоэдров, в терминах графического производящего множества В = В(Г), где Г - граф, и сумм.Минковского симплексов дается в разделе 2.1. В разделе 2.2 доказывается точная оценка на число нулей в последовательности бигра-дуированных чисел Бетти /?_,'-2('+1)(Р) для граф-ассоциаэдров Р. С одной стороны, эти числа имеют, благодаря теореме Хохстера, естественное комбинаторно-геометрическое описание в терминах числа связных компонент во всевозможных объединениях гиперграней многогранника Р. С другой стороны, согласно результату Дж.Ву, Е.Грбич, Т.Е.Панова и С.Терио43,

тп—п

J2 (3~l'2(l+l)(K) есть мощность минимального набора мультипликативных ¿=1

образующих в алгебре ПонтрягинаЯ»(П2д-; к) для всякого флагового комплекса К. Основная теорема, доказательству которой посвящен этот раздел такова:

42А. Postnikov, Permutohedra, associahedra, and beyond, arXiv: mat.h.CO/0507163.

"Jelena Grbic, Taras Panov, Stephen Theriauit and Jie Wu. Homotopy types of moment-angle complexes for flag complexes, Preprint (2012); arXiv:1211.0873.

Теорема 2.2.1. Пусть Р = Р? - граф-ассоциаэдр на связном графе Г. Тогда /3~1,2'1+1'(Р) = 0 для г > 1тах- Число 1тах есть максимальное число связных подграфов в графе Г, которое может нетрививальио пересекать (в смысле описания «•гнездового комплекса» в работе Зелевинског^) данный связный подграф. Таким образом, этот подграф либо нетривиально пересекает данный, либо у них нет общих вершин, но подграф на объединении их вершин связен. Назовем такой подграф выделенным. Число равно количеству выделенных подграфов в Г.

Используя результат А.Фенна45 о связи биградуированных чисел Бетти указанного типа произвольного нестоэдра и пермутоэдра, для четырех классических серий граф-ассоциаэдров мы имеем:

Следствие 2.2.2.

• Пусть Р = Лй" есть п-мерный ассоциаэдр, п > 3. Биградуированные числа Бетти многогранника Р удовлетворяют соотношениям

[ п + 3, если п четно;

1 если п нечетно;

0-*.2«+1)(р) = о +

где q = д(п) определено так:

если п четно;

Я = Ч{п)

если п нечетно.

• Пусть Р = Суп есть п-мерный циклоэдр, п ^ 3. Биградуированные числа Бетти многогранника Р удовлетворяют соотношениям

0-в.2(»+1) (р) = /2п + 2' если п четн°;

1 п + 1, если п нечетно;

/Г^+!)(Р) = 0 дляг>4 + 1, где <7 = ц{п) определено так:

—тг1—, если п четно;

если п нечетно.

A. Zelevinsky, Ne.sted complexes and their polyhedral realizations, Pure and Applied Mathematics Quarterly 2 (2006), 655-671.

45A. Fenn, Generating Functions of Ncstohedrn and Applications, arXiv:0908.0605vl [math.CO]

• Пусть Р = Реп есть п-мерный пермутоздр, п ^ 3. Биградуирован-ные числа Бетти многогранника Р удовлетворяют соотношениям

• Пусть Р = есть п-мерный стеля,аэдр, п ^ 3. Биградуированные числа Бетти многогранника Р удовлетворяют соотношениям.

В разделе 2.3 доказывается, что кольцо целочисленных когомологий момент-угол многообразия в случае граф-ассоциаэдров Рг на связном графе Г может содержать произвольное кручение, равно как и быть свободным от кручений. Основной результат раздела таков:

Предложение 2.3.2 В целочисленных когомологиях момент-угол многообразия для n-мерного граф-ассоциаэдра имеется кручение во всех размерностях, начиная сп~Ъ, если ограничение В(Г) на некоторое подмножество I вершин из |/| >6 элементов содержит все подмножества I.

В доказательстве использована конструкция из работы Ф.Босио и Л.Ме-

46

ерсманна4" простого многогранника с данным кручением в целочисленных когомологиях его момент-угол многообразия, модифицированная нами для случая нерв-комплексов КР граф-ассоциаэдров Р. Также показывается, что в кольцах когомологий момент-угол многообразий 3-мерных граф-ассоциаэдров есть нетривиальные тройные произведения Масси.

Содержание главы 3

Глава 3, наряду с главой 4, является центральной главой диссертации. В разделе 3.1 приведено вычисление алгебраических чисел Бетти многогранников усечения Р = vck(An). Впервые это вычисление было проделано в ра-

■"ТпШпс Bosio and Laurent Meersseman. Real quadrics in C, complex manifolds and convex polytopes. Acta Math. 197 (2006), по. 1, 53-127.

0-i.2«+i)(p)=o еляг^я +1, где q = q(n) = 2"+1 - - 2^1 + 1

ß-i,2(i+U(P) = 0 djwi>q+ 1 где q = q(n) = 2" - 2® - 2^1 +

боте Н.Тераи и Т.Хиби47 в контексте теории мономиальных идеалов. Этот результат применяется к нахождению топологического типа момент-угол многообразий, соответствующих многогранникам усечения, впервые полученному в работе Ф.Босио и Л.Меерсманна48 с помощью теории перестроек. В разделе 3.2 приводится обобщение предыдущего результата, дающее описание колец когомологий момент-угол многообразий Zp для произвольных обобщенных многогранников усечения Р = vck{Ani х ... х Д'1г) типа (к\ П\,..., пг), где к > 0 и г > 1. Следующее утверждение, обобщающее результаты Н.Тераи и Т.Хиби, получено применением точной когомологической последовательности Майера-Виеториса, индукцией по размерности многогранника и числу срезаемых вершин:

Теорема 3.2.4. Пусть Р есть (fc;ni,... ,пг) -многогранник с г ^ 1. Обозначим через а число единичных элементов в наборе {щ,... ,пг}. Тогда биградуированпые числа Бетти многогранника Р даются следующими формулами: (1 < г ^ k + г — 1,1 < I < d — 1).

(a)ß-iW+D{P)= Е

(b) |0-,'-2('+1)(Р) = ß-(k+r-i),2(d+k+r-i-l)(pj _

(c) ß°'°(p) = ß-b»-^2m(P) = 1.

Остальные биградуированные числа Бетти равны нулю (мы полагаем (') = 0 при Ь < с или, если одно из чисел отрицательно).

Кольцевая структура в когомологиях Zp вычисляется из этого результата с помощью теоремы Вухштабера-Панова о кольце когомологий момент-угол комплекса и описания умножения в Tor-алгебре кольца граней к[Р] в терминах полных подкомплексов, данного И.В.Баскаковым49.

Следствие 3.2.9. В классе обобщенных многогранников усечения Р всевозможных типов (fc; щ,..., пг) множество всех биградуированных чисел Бетти {ß~*'2j(P)} однозначно определяет топологический munZp. Для двух произвольных обобщенных многогранников усечения Р и Q биградуированные кольца когомологийН*'*(Zp) и H*'*(Zq) изоморфны тогда

"Naoki Terai and Takayuki Hibi. Computation of Betti numbers of mnnomial idealя associated mth stacked polytopes. Manuscripta Math., 92(4): 447-153, 1997.

""Friidftric Bosio and Laurent Meersseman. Real quairins in C", complex manifolds and cnnvex polytopes. Acta Math. 197 (2006), по. 1, 53-127.

4ЙИ.В.Баскаков, В.М.Бухштабер, Т.Е.Панов, Алгебры клеточных коцепей и действия торов, УМН, 59:3(357) (2004), стр.159-160.

и только тогда, когда множества биградуированных чисел Бетти для Р и Q совпадают.

Результаты о биградуированных числах Бетти, позволяющие вычислять их для произвольных произведений обобщенных многогранников усечения, тем самым ставить вопрос о структуре их колец когомологий и топологических типах соответствующих момент-угол многообразий, приводятся в разделе 3.3. Частичный ответ на эти вопросы дается в последующих главах.

Содержание главы 4

Глава 4 посвящена изучению свойства голодовости и минимальной неголо-довости колец граней k[Äp] обобщенных многогранников усечения, четно-мерных смежностных многогранников, а также простых многогранников с малым числом гиперграней Р. Здесь мы считаем к полем. В разделе 4.1 вводится основное понятия кольца Голода и минимально неголодов-ского кольца, в применении к градуированным мономиальным кольцам. Раздел 4.2 посвящен доказательству критерия минимальной неголодовости колец Стенли-Райснера обобщенных многогранников усечения. Основной инструмент доказательства - следующее утверждение.

Предложение 4.2.1. Пусть К = К\ Uff есть симплициальный комплекс, полученный из двух голодовских комплексов К\ и К2 приклеиванием по двум их изоморфным симплексам. Тогда К также является голодовским.

Доказательство получается применением теоремы Хохстера и результата В.М. Бухштабера, Т.Е.Панова и И.В.Баскакова об описании алгебры коцепей момент-угол комплекса. Основной результат раздела такой:

Теорема 4.2.2. Для произвольного обобщенного многогранника усечения Р = vcfc(Ani х ... х ДПг) с щ ^ ... ^ nr > 1 ,г ^ l.jfc > О, его нерв-комплекс Кр является минимально неголоВоаским тогда и только тогда, когда г = 1,2 и Р не является симплексом.

Минимальная неголодовость в случае многогранников усечения, отличных от симплекса, была впервые доказана в работе А.Берглунда и М.Йолленбека.50

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

50 Alexander Berglund and Michael Jöllenbeck. On the Golod property of Stanley-Reimer rinqs, J Aleebra 315:1 (2007), 249-273. 9 ' 8

разие Zp гомеоморфно связной сумме произведений сфер, исследованными в работе С.Гитлера и С.Лопез де Медрано о пересечениях вещественных квадрик51.

Теорема 4.3.7. Если Р является n-мерным, простым многогранником, двойственным, к смежностному многограннику, an четно, то Кр является минимально неголодовским комплексом тогда, и только тогда, когда Р отличен от симплекса.

Для простых n-мерных многогранников Р с малым числом гиперграней т < п + 3 в разделе 4.4 получен критерий минимальной неголодовости колец граней двумя способами. С одной стороны, имеется явное описание колец когомологий момент-угол многообразий Zp в этом случае, полученное Н.Ю.Ероховцом.52 С другой стороны, в силу результата Н.Ю.Ероховца,53 всякий простой многогранник cm — п + 3, отличный от произведения 3-х симплексов, может быть получен из четномерного циклического многогранника операцией подстановки Рш. В Дополнении А доказано, что эта операция сохраняет свойство минимальной неголодовости. Утверждение теперь следует из того, что всякий циклический многогранник является смежностным.

Содержание главы 5

Глава 5 посвящена различным вопросам, связывающим комбинаторные свойства симплициального комплекса К с топологическими свойствами его момент-угол комплекса Zr для различных типов комплексов, а также исследованию поведения свойства минимальной неголодовости при симпли-циальных операциях. В разделе 5.1. приводятся некоторые результаты о голодовости и минимальной неголодовости колец Стенли-Райснера, а также о гомотопических типах соответствующих им момент-угол комплексов в «предельных» ситуациях: для простых многогранников ст = п+3 и для 1-мерных комплексов. Исследованию поведения свойства минимальной неголодовости нерв-комплексов при срезке вершин простого многогранника, а также в результате применения операции связной суммы двух комплексов (или многогранников) посвящен раздел 5.2.

51 Samuel Gitler and Santiago Lopez de Medrano. Intersections of quadrics, moment-angle manifolds and connected sums, Preprint (2009); arXiv:0901.2580.

52Н.Ю. Ероховец, Момент-угол многообразия простых n-мерных многогранников с п+5 гипергранями, УМН, 66:5(401) (2011), 187-188.

53Н. Ю. Ероховец, Максимальные действия торов на момент-угол многообразиях. Диссертация на соискание ученой степени кандидата физико-математических наук. МГУ им. М. В .Ломоносова, ыех.-мат. факультет, 2011.

Теорема 5.2.1. Если нерв-комплекс Кр минимально неголодовский, тогда то же верно и для Kq, Q = vc(Р).

Теорема 5.2.4. Пусть Р и Q - минимально неголодовские многогранники. Тогда их связная сумма P#Q также минимально неголодовская.

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

Теорема 5.3.1. Минимальная триангуляция CP2 на 9 вершинах является голодовским. комплексом, с полными подкомплексами, свободными от кручений в целочисленных гомологиях, момент-угол комплекс которого не гомотопически эквивалентен букету сфер.

Для доказательства этого утверждения используется теорема о стабильном разложении для момент-угол комплексов Zu, полученная А.Бари, М.Бендерски, Ф.Коэном и С.Гитлером54, а также тот факт, что никакая надстройка над комплексной проективной плоскостью СР2 не гомотопически эквивалентна букету сфер. Тривиальность умножения в кольце Н*(2к;к) следует из 3-смежностности этой триангуляции.55'56

Содержание дополнения А

В дополнении А приведено определение полиэдральных операций, введенное А.А.Айзенбергом,57 и независимо А.Бари, М.Бендерски, Ф.Коэном и С.Гитлером58, обобщающих операции джойна и толстого джойна на сим-плициальных комплексах. Эта конструкция используется в главе 4 §3 при работе с простыми многогранниками с числом гиперграней m = п + 3 в частном случае подстановок границ симплексов в нерв-комплекс простого многогранника.

64 A. Bahri, M. Bendersky, F. R. Cohen, S. Gitler, The polyhedral pra}«ctfnr>ctor: A method of decomposition for moment-angle complexes, arrangements and related »parzs, Advances in Mathematics, 225:3 (2010), pp. 1634-1668.

55W.Kuhnel, T. F.Banchoff. The 9-Ver*.-c Complex Projective Plane. Math. Int., 5 (1983), no. 3, pp. 11-22.

56W. Kuhnel, G. Lassmann, me Unique 3-Neighbourly 4-Manifold with Few Vertices. J. of Comb. Theory, Series A 35 (1983). pP- 173-184.

"A.A.Айз»"йеРг> Связь инвариантов БуЯштабера и обобщенных хроматических чисел, Дальне-вост. жури-> 11:2 (2011), 113-139.

•"A. Bahri, M. Bendersky, F. R. Cohen, S. Gitler, The polyhedral product functor: A method of decomposition for moment-angle completes, arrangements and related spaces, Advances in Mathematics, 225-3 (20101 pp. 1634-1668. "

Предложение А.8 Пусть многогранник Р минимально неголодов-ский. Тогда любая подстановка границ симплексов Рш остается минимально неголодовским многогранником.

Благодарности

Автор выражает глубокую благодарность своему научному руководителю д.ф.-м.н., профессору Тарасу Евгеньевичу Панову за постановку задач и неоценимую помощь во время работы над диссертацией. Автор благодарен чл.-корр. РАН, профессору Виктору Матвеевичу Бухштаберу за постоянный интерес, советы и многочисленные обсуждения. К.ф.-м.н. А. А. Айзенберга и к.ф.-м.н. Н. Ю. Ероховца автор благодарит за полезные обсуждения. В заключение, автор глубоко признателен всему коллективу кафедры высшей геометрии и топологии Механико-математического факультета МГУ за творческую атмосферу, постоянную поддержку и внимание.

Список публикаций по теме диссертации

[1] И.Ю. Лимонченко, Кольца Ст,енли-Райснера обобщенных многогранников усечения и их момент-угол многообразия, Труды МИРАН им. В.А.Стеклова., том 286 (2014). 207-218.

[2] И.Ю. Лимонченко, Биградуированные числа Бетти некоторых простых многогранников, Математические заметки. 94:3 (2013), 373-388.

[3] И.Ю. Лимонченко, "Биградуированные числа Бетти некоторых простых многогранников", XVIII международная конференция студентов, аспирантов и молодых учёных "Ломоносов", Москва, 11-15 апреля 2011 г.,

http://higeom.math.msu.su/dubrovinlab/Limonchenko4.pdf.

[4] И.Ю. Лимонченко, "Нетривиальное кручение в кольце когомологий момент-угол комплексов и их топологические инварианты", XX международная конференция студентов, аспирантов и молодых учёных "Ломоносов", Москва, 8-12 апреля 2013 г.,

http://www.mathnet.ru:8080/PresentFiles/6578/32080_8dfa.pdf

[5] I.Yu. Limonchenko, "Combinatorial commutative algebra of some momentangle manifolds and their topological types", International Conference

Algebraic Topology and Abelian Functions, in honour of Victor Buchstaber in the occasion of his 70th birthday, Moscow, Russia, June 18-22, 2013, pp. 85-86.

[6] I.Yu. Limonchenko, "Cohomology rings of some moment-angle manifolds and their topological invariants", International Open Chinese-Russian Conference Torus Actions: Topology, Geometry and Number Theory, Khabarovsk, Russia, September 2-7, 2013, pp. 46-47.

[7] I.Yu. Limonchenko, "Minimally non-Golod simplicial complexes and moment-angle manifolds", International Japanese-Russian Conference Toric Topology 2014 in Osaka, Osaka, Japan, January 21-24, 2014,

http://www.sci.osaka-cu.ac.jp/~masuda/toric2014_osaka/Limonchenko.

[8] I.Yu. Limonchenko, "Minimally non-Golod simplicial complexes in toric topology", 13th Serbian Mathematical Congress, Vrnjacka Banja, Serbia, May 22-25, 2014, p. 89.

Отпечатано в отделе оперативной печати Геологического ф-та МГУ Тираж ¡0 0 экз. Заказ № 61