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

Введение

1 Сводка общих результатов из теории характеристических классов и теории особенностей

1.1 Некоторые сведения о топологии многообразий.

1.2 Характеристические классы G-расслоений.

1.3 Классы Чженя.

1.4 Характеристические классы вещественных расслоений

1.5 Лагранжевы и лежандровы характеристические классы

1.6 Конечная определенность ростков отображений.

2 Классифицирующее пространство моноособенностей

2.1 Многочлены Тома.

2.2 Условие общности положения.

2.3 Обобщение теоремы Тома.

2.4 Комплексная версия.

2.5 Классифицирующее пространство особенностей и определение многочленов Тома.

2.6 Стабилизация

2.7 Расщепление когомологий классифицирующего пространства

3 Вычисление многочленов Тома для комплексных особенностей

3.1 Классы Портеуса-Тома и их производные

3.2 Лагранжевы и симметричные вырождения.

3.3 Метод использования симметрий

3.4 Многочлены Тома вещественных отображений

4 Многочлены Тома лагранжевых, лежандровых особенностей и критических точек функций

4.1 Лежандровы особенности и изолированные особенности гиперповерхностей

4.2 Разрешение дискриминантов особенностей функций.

4.3 Показатели примыкания особенностей функций.

4.4 Симметрии особенностей.

4.5 Многочлены Тома комплексных лагранжевых, а также вещественных лагранжевых и лежандровых особенностей

5 Мультиособенности гладких отображений и операции в теории кобордизмов

5.1 Формулировка основной теоремы.

5.2 Уточненная формулировка и остаточные многочлены для мультиособенностей

5.3 Пример: формула кратных особенностей.

5.4 Определение остаточных многочленов Ra.

5.5 Обоснование из теории кобордизмов

5.6 Целочисленная формула и другие обобщения.

6 Лежандровы мультиособенности и мультиособенности гиперповерхностей

6.1 Изолированные особенности гиперповерхностей и лежандровы характеристические классы.

6.2 Вычисление лежандровых остаточных классов.

Теоремы глобальной теории особенностей связывают топологические инварианты многообразий, расслоений и прочих глобальных топологических объектов с геометрией особенностей тех или иных дифференциально-геометрических структур: отображений, сечений расслоений, взаимного расположения подмногообразий и других. Классическим примером служит теорема Хопфа, связывающая эйлерову характеристику многообразия с особенностями заданного на нем векторного поля. К другим классическим результатам, известным еще с XIX века, относятся, например, теорема Римана-Гурвица, выражающая род римановой поверхности через порядки ветвлений, формулы Плюккера для количества точек перегиба и точек самопересечения плоской кривой и двойственной к ней, а также формулы Сальмона для количества плоскостей, имеющих заданный тип касаний с поверхностью общего положения в трехмерном пространстве.

За последующие полтора века появилось огромное количество новых результатов, которые можно отнести к глобальной теории особенностей. На всем протяжении развития теории топологические и геометрические методы сопутствовали алгебраическим. Топологические идеи давали пищу для интуиции и служили мотивировкой для формулировки новых теорем и гипотез, в то время как алгебраические методы давали их строгое обоснование и перенос на случай произвольного основного поля. С развитием теории пересечений и появлением мощных методов избыточных пересечений, позволяющих иметь дело с произвольными особыми схемами, влияние топологических идей стало заметно ослабевать. В результате появились целые поколения алгебраических геометров, рассуждающих исключительно в терминах пучков, схем и категорий. Одна из целей данной диссертации — показать, что топологические идеи далеко еще не исчерпаны.

Обычно задачи исчислительной геометрии формулируются следующим образом. Имеется пространство параметров (модулей) геометрических объектов, и требуется определить класс когомологий, двойственный циклу на этом пространстве, определяемому теми или иными условиями вырождений. В большом количестве случаев циклы вырождений можно интерпретировать как циклы особенностей (или мультиособенностей) заданного типа для некоторого гладкого отображения / : М —> N.

Например, пусть задано гладкое проективное многообразие V С CP™, и мы изучаем особенности его пересечения со всевозможными ^-мерными подпространствами. Тогда в качестве N можно взять грассманиан Сх-н.л-н всех ^-мерных проективных подпространств в CP", в качестве М — многообразие инцидентности, образованное парами вида (точка многообразия V, проходящее через эту точку ^-мерное подпространство), а в качестве / — естественную проекцию.

Если построенное отображение / удовлетворяет некоторому условию общности положения, то оно имеет лишь стандартные вырождения, локальное строение которых хорошо изучено в теории особенностей. Естественно ожидать, что классы когомологий, двойственные циклам этих вырождений, имеют универсальное выражение в терминах глобальных топологических инвариантов, связанных с многообразиями М, N и отображением /, и не зависят от конкретных геометрических задач, к которым полученные формулы применяются. Сформулированный принцип лежит в основе всех результатов этой диссертации. Он дает единый подход к большому ряду задач исчислителъной геометрии, не имеющих, на первый взгляд, ничего общего. Кроме того, его применение существенно облегчает задачу нахождения универсальных формул, и, тем самым, решение поставленных исчислительных задач.

Изучая циклы локальных особенностей гладкого отображения / : М —> N вещественных многообразий, Р. Том предположил, что класс Й2~когомологий, двойственный циклу Е С М произвольной локальной особенности, должен выражаться как универсальный многочлен (называемый теперь многочленом Тома) от классов Штифеля-Уитни щ(М), f*(ujj(N)) отображаемых многообразий [81]. Вычислению многочленов Тома для различных конкретных типов особенностей было посвящено большое количество работ 70-80-х годов (см. [67, 68, 75, 20, 31, 1, 2], а также обзор [7]). Обычно для нахождения этих многочленов использовалось подходящее разрешение Е —*■ Е цикла особенностей. Класс, двойственный гладкому многообразию Е в объемлющем пространстве разрешения, вычислить бывает значительно проще. Для нахождения искомого выражения для класса, двойственного Е, применяется гомоморфизм Гизина проекции пространства разрешения на М.

Приведенный метод одинаково успешно может быть применим в комплексной ситуации голоморфных отображений и их особенностей. В этом случае класс, двойственный циклу особенностей, является целочисленным и выражается как универсальный многочлен от классов Чженя с,(М), f*(cj(N)). Одним из следствий вычислений является тот факт, что для большого класса особенностей многочлен Тома, в действительности, выражается не через сами классы Чженя многообразий, а через их определенные комбинации, а именно, через относительные классы C{(f) = Ci(f*TN — ТМ), определенные формальным равенством соответственно, через относительные классы Штифеля-Уитни = u>i(f*TN — ТМ) в вещественном случае).

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

Характеристические классы лагранжевых и лежандровых особенностей вещественных отображений изучены В. А. Васильевым в книге [83]. В этой книге, в частности, вычислены многочлены Тома лагранжевых особенностей до коразмерности 6 (за исключением особенности Л7). Предложенный метод не позволил завершить вычисления для особенности Л7, а также обобщить эти вычисления на лежандров случай. Все эти вычисления в более общей ситуации комплексных лагранжевых и лежандровых отображений завершены в данной диссертации. Как и в случае обычных отображений, классы когомологий, двойственные циклам особенностей лежандровых отображений, выражаются в виде универсальных многочленов через классы Чженя многообразий, расслоений и т.п., участвующих в отображении. Оказывается, многочлены Тома лежандровых отображений выражаются, в действительности, через определенные комбинации классов Чженя, называемые лежандровыми характеристическими классами, связанными с задачей.

Кольцо С универсальных лежандровых характеристических классов определяется как факторкольцо кольца многочленов от образующих и, а], а2,. •, degu = 1, degOi = i, по идеалу соотношений, порожденному однородными компонентами равенства + + + = (5)

Универсальные лежандровы характеристические классы задают классы когомологий на всяком голоморфном лежандровом многообразии, являющемся областью определения лежандрова отображения. Таким образом, многочлены Тома лежандровых особенностей — элементы кольца С.

Вычисление многочленов Тома при помощи метода разрешений особенностей иллюстрируется в п. 3.1 главы 3 на примере вычисления классов Портпеуса- Тома [Ег], исторически — одних из первых вычисленных многочленов Тома. Цикл Т/ состоит из тех точек многообразия А/ области определения отображения, в которых ядро производной имеет размерность не менее г. Двойственный этому циклу класс когомологий задается многочленом Шура, равным определителю подходящей матрицы, составленной из относительных классов Чженя (или Штифеля-Уитни в вещественной ситуации),

Er] = det ||cr+,i+i(/)||iJ=i.r> i = dim N - dim M.

Приведенная формула, как и ее доказательство, хорошо известны. Тем не менее мы поместили в диссертацию это доказательство, но в форме, несколько отличной от стандартной. Причина, по которой эти классические результаты включены в текст диссертации, заключается в том, что в такой форме они переносятся почти дословно на случай аналогов классов Портеуса-Тома для симметричных, а также лагранжевых и лежандровых вырождений — так называемых классов Арнольда-Фукса. Различные формулы для этих классов были известны и ранее (см. [35, 38, 69, 29, 30]). Автором диссертации получена новая формула, через так называемые Q-многочлены Шура — лагранжевы аналоги обычных многочленов Шура, в которых роль определителей играют пфаффианы подходящих кососим-метрических матриц. Эти результаты представлены в п. 3.2. Особенно важным является тот факт, что классы Арнольда-Фукса выражаются через универсальные лежандровы классы, что и демонстрирует новая формула.

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

Топологическое доказательство существования многочлена Тома приведено в главе 2. Мы строим так называемое классифицирующее пространство особенностей, конечномерные аппроксимации которого являются алгебраическими многообразиями, имеющими топологию грассманиана. В качестве такой аппроксимации можно взять пространство Л*-струй ростков /«-мерных подмногообразий в начале координат аффинного пространства С", где п т 0. Классифицирую1цее пространство имеет богатую геометрию. На нем имеется разбиение, страты которого находятся во взаимно однозначном соответствии с классами эквивалентности особенностей отображений. Страт, отвечающий данной особенности а, состоит из /С-струй подмногообразий, проекция которых на фиксированное координатное подпространство С", е С С" имеет в начале координат особенность а. Далее мы определяем многочлен Тома особенности а как класс когомо-логий, двойственный замыканию соответствующего страта в классифици-руютцем пространстве и выраженный через мультипликативные образующие когомологий грассманиана. Для всякого голоморфного отображения / : М —» N мы строим классифицирующее отображение х из М в классифицирующее пространство. Это отображение индуцирует как классы когомологий, двойственные циклам особенностей, так и характеристические классы Чженя. Существование классифицирующего отображения доказывает универсальность многочленов Тома.

Локальные особенности разбиения классифицирующего пространства отражают особенности разбиения пространства ростков отображений на классы эквивалентности, в то время как глобально страты этого разбиения несут в себе информацию о топологии классифицирующего пространства. Страт, отвечающий данной особенности а, имеет топологический тип классифицирующего пространства BGa, где Ga — группа Ли, тесно связанная с особенностью а, а именно, ее группа симметрии, определяемая как максимальная компактная подгруппа в группе автоморфизмов ростка отображений, заданного «нормальной формой» особенности а. Можно сказать, что классифицирующее пространство особенностей склеено из классифицирующих пространств групп симметрии, всевозможных особенностей.

Гомологическую информацию о топологии этой склейки удобно формулировать при помощи характеристической спектральной последовательного сти, определенной в п. 2.7. Рассмотрим на классифицирующем пространстве возрастающую фильтрацию открытыми подпространствами, у которой р-й член является объединением всех стратов вещественной коразмерности не выше р. Ассоциированная с этой фильтрацией спектральная последовательность сходится к когомологиям классифицирующего пространства и называется характеристической спектральной последовательностью. Эта спектральная последовательность выглядит особенно просто в комплексных классификационных задачах, когда вся топология сосредоточена в четных размерностях и высшие дифференциалы отсутствуют. Предположим, что выбранная классификация особенностей является дискретной для классов, коразмерность которых не превышает заданного числа ртах. Тогда в размерностях, не превышающих ртах, спектральная последовательность стабилизируется в начальном члене и приводит к следующему расщеплению когомологий классифицирующего пространства:

H*(B(J) = 0 H*+codima(BGa). a

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

Конструкция классифицирующего пространства сводит задачу вычисления многочлена Тома к задаче вычисления класса когомологий, двойственного конкретному алгебраическому подмногообразию конкретного алгебраического многообразия. Это подмногообразие, как правило, особое. С ростом коразмерности особенности находить подходящее разрешение становится все труднее, и метод разрешения наталкивается на серьезные технические трудности. Сравнительно недавно Р. Римани предложил другой, косвенный, метод вычисления многочленов Тома, который использует теорему об их существовании. Идея метода очень проста. Для определения многочлена достаточно вычислить его коэффициенты. Для вычисления коэффициентов достаточно рассмотреть ряд примеров отображений, в которых как классы Чженя, так и классы, двойственные циклам особенностей, можно вычислять явно. Всякий такой пример дает линейные соотношения на коэффициенты многочлена Тома, и при удачном выборе примеров эти соотношения определяют многочлен полностью. Метод Римани оказался черезвычайно эффективным и позволил получить многочлены Тома практически для всех расклассифицированных особенностей. Подробности этого метода изложены в п. 3.3. Основные его идеи заимствованы из [72, 73], однако в диссертации мы представляем метод в значительно переработанном виде. Кроме того, мы приводим несколько важных утверждений, существенных для использования этого метода, которые принадлежат автору диссертации.

Следует отметить, что мотивировка метода Римани является топологической и основана на «обобщенной конструкции Понтрягина-Тома» для классифицирующего пространства особенностей. Идея этой конструкции, использованной А. Сючем в ряде аналогичных задач [79], состоит в склеивании классифицирующего пространства из классифицирующих пространств групп симметрий различных особенностей, см. [74]. Тот факт, что пространство, полученное в результате этого склеивания, эквивалентно описанному выше и имеет столь простую топологию, не был отмечен в [74].

Вычислению многочленов Тома лежандровых особенностей невысоких коразмерностей посвящена глава 4. Эти вычисления проводятся двумя независимыми способами. В пп. 4.1-4.3 мы проводим их при помощи классического метода разрешения с использованием формул п. 3.2 для производных классов Арнольда-Фукса. Эти методы позволяют вычислить полностью многочлены Тома только для части списка особенностей. Для нахождения многочленов Тома оставшихся особенностей мы используем дополнительные соображения, основанные на так называемых экспонентах примыкания особенностей соседних коразмерностей. Эти экспоненты примыкания являются комплексными аналогами коэффициентов инцидентности, используемых в вещественном случае, и вычисляются из детального анализа примыканий особенностей. Альтернативный, косвенный, метод Римани для вычисления многочленов Тома, использующий факт их существования, описан в п. 4.4. В п. 4.5 мы приводим различные следствия полученных формул для лагранжевых особенностей, а также для вещественных лагранжевых и лежандровых особенностей. Для случая вещественных лагранжевых особенностей полученные выражения совпадают с выражениями, полученными В.Васильевым [83].

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

Теория мультиособенностей имеет богатую историю. К числу ранних результатов можно отнести упомянутые выше теоремы Плюккера и Саль-мона. Для случая общих отображений одним из первых результатов является формула для класса цикла двойных точек т2 = /7д - ce(f), £ = dimN- dim М.

В разной степени общности (вначале — для гладких отображений при помощи топологических соображений, затем — для морфизмов произвольных особых схем с использованием формул избыточного пересечения) эту формулу получили Тодц, Уитни, Ронга, Лаксов, Хольм, Джонсон, Фултон (см. исторические замечания в [28, 51]).

Следующий результат — формула Герберта-Ронга для циклов кратных точек иммерсий, тпг = /*тгг-1 - ce(f) mri.

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

Для отображений, допускающих особенности, общие формулы впервые получил Клейман [51, 52]. Как заметил Кац [39], формулу Клеймана для кратных точек можно записать в виде где pi универсальные многочлены от относительных классов Чженя С;(/), которые не зависят от г и вычисляются по определенному алгоритму. Для применимости метода, при помощи которого эта формула была получена, необходимо предположить, что отображение / не имеет особенностей коранга, большего 1 (или что этими особенностями можно пренебречь по соображениям размерностей). Сравнительно простую замкнутую формулу для этих многочленов мы приводим в главе 7.

Римани показал [73], что наличие особенностей коранга 2 приводит к нарушению равенства (6) в первом же случае, когда это возможно по соображениям размерностей (при dim N — dimM = 1, г = 6). Однако, как заметил Римани, равенство (6) остается справедливым для общих отображений при г ^ 7, если несколько подправить многочлены р6, Р7- Поправочные слагаемые имеют носитель на многообразии £2 особенностей коранга, большего или равного 2, и потому они обращаются в ноль для всякого отображения коранга 1. Одно из следствий теории мультиособенностей, изложенной в этой диссертации, заключается в том, что для подходящего выбора многочленов pi формула (6) остается справедливой для произвольных общих отображений, более того, многочлены pi определяются этим условием однозначно.

Результаты Клеймана были перенесены на случай произвольных мультиособенностей отображений коранга 1 в работе Коллей [21]. Приведенный в этой работе алгоритм дает решение задачи нахождения формулы для произвольной мультиособенности, но получаемые в результате формулы имеют весьма громоздкий вид. В более удобном замкнутом виде эти формулы приведены в главе 7. Как и формулы Клеймана, эти формулы г-1

6) применимы только для отображений коранга 1, однако даже в этом случае они нашли важные применения в исчислительной геометрии [22].

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

Мультиособенности нумеруются наборами локальных особенностей а = (ai,. С каждым типом мультиособенностей а можно связать соответствующий ему цикл в многообразии М области определения отображения. Этот цикл параметризует такие точки х1 £ М, что существуют дополнительные попарно различные точки x2,.,xr £ М, имеющие тот же образ f{xi) = f{x\), и такие, что / имеет особенность щ в х; при г = 1,. ,г. Обозначим через ma £ Н*(М), па £ H*(N) классы когомологий, двойственные замыканию этого цикла, и его (приведенного) образа соответственно. Этот цикл отображается на свой образ с кратностью к, равной числу вхождений особенности ai в набор а. Отсюда вытекает очевидное соотношение где /* — гомоморфизм прямого образа, или гомоморфизм Гизина, который определен, если отображение / собственно. Если все классы щ набора являются классами иммерсии (обозначаемыми нами через А0), то соответствующие классы называются классами г-кратных точек в прообразе М и образе N соответственно.

Классы гйа, Па часто бывает удобно рассматривать с их естественными кратностями, и мы полагаем та = # Aut(a2, • • •, «г) гйа, = /+77Т.„ - # Aut(ai ,.,аГ) Па,

Г1а — к •f+rriaj г г где Ant — число элементов в группы симметрии соответствующего муль-тииндекса.

Основной результат теории мультиособенностей (теорема 5.1.1) заключается в том, что для всякого типа мультиособенностей а класс та задается универсальным полиномиальным выражением, в котором участвуют относительные классы Чженя с.;(/) — Ci(f*TN — ТА4), а также классы Ландвебера-Новикова, получаемые из всевозможных мономов от относительных классов Чженя применением гомоморфизма /У*.

Более того, в уточненной формулировке теоремы 5.2.2 утверждается, что это полиномиальное выражение для класса т„ имеет довольно специальный вид. Для всякого набора особенностей а = (аь ., аг) существует универсальный многочлен /?„ от классов с, = сг(/), называемый нами остаточным многочленом мультиособенности а, такой, что класс мультиособенности тп^ выражается следующим образом через остаточные многочлены всевозможных поднаборов данного набора а: т„ = £ R*^ f%Raj3 . f%R^Jk, (7)

JiU-UJfc={l,.,r} где суммирование производится по всевозможным разбиениям множества {1,.,г} в несвязное объединение непустых неупорядоченных подмножеств {1,., г} = Ji U • • • U Jk, k ^ 1, и где подмножество, содержащее элемент 1 G {1,. , г}, обозначается через

Для вычисления остаточных многочленов можно применить метод Ри-мани использования симметрий. Дополнительные соображения, позволяющие приспособить этот метод для исследования мультиособенностей, обсуждаются в п. 5.4. Полные таблицы всех вычисленных остаточных многочленов занимают много страниц многострочных формул, их можно найти на личной странице автора в интернете [49]. Для мультиособенностей невысоких коразмерностей (и для £ = 0,1) эти многочлены приведены в таблицах п. 5.4.

Приведенное в п. 5.5 топологическое доказательство теоремы 5.1.1 основано на глубокой связи теории мультиособенностей с теорией унитарпых кобордизмов и когомологических операций. Задача характеризации голоморфного отображения комплексных многообразий в терминах группы комплексных кобордизмов не новая. В статье В.М. Бухштабера [17] приведено решение этой задачи при помощи явной формулы для характера Чженя-Дольда. На связь кобордизмов с особенностями обратил внимание В.И.Арнольд [5]. Идеи Арнольда развивались затем В. А. Васильевым [83] и автором. В настоящей работе мы завершаем исследование циклов мультиособенностей общего отображения. Мы переносим конструкцию классифицирующего пространства локальных особенностей на случай мультиособенностей. Полученное классифицирующее пространство мультиособенностей разбито на страты, отвечающие различным типам мультиособенностям, аналогично тому, как классифицирующее пространство локальных особенностей разбито на страты, отвечающие различным типам локальных особенностей. Отсюда следует, что характеристический класс всякой мультиособенности задается классом когомологий классифицирующего пространства. Таким образом, для получения универсальной формулы для классов мультиособенностей необходимо описать кольцо когомологий классифицирующего пространства.

Конструкция для классифицирующего пространства мультиособенностей совпадает, по существу, с классической конструкцией Тома классифицирующего пространства кобордизмов. Для случая голоморфных отображений и унитарных кобордизмов это пространство является итерированным пространством петель n2mMU(m + £): —> оо, где MU(m) — пространство Тома классифицирующего векторного расслоения ранга т над комплексным грассманианом BU(m) = Grn>00. Хотя в когомологиях пространства VL2mMU(m + £) кручение отсутствует, кольцевая структура устроена довольно сложно [71]. К счастью, в случае рациональных коэффициентов все тривиализуется и кольцо когомологий классифицирующего пространства оказывается свободно мультипликативно пророжденным классами Ландвебера-Новикова. Эти вычисления и приводят к формулировке теоремы 5.1.1.

В л. 5.6 обсуждаются также различные подходы к доказательству теорем 5.1.1 и 5.2.2 при помощи методов теории пересечений. Мы уточняем определение схемы мультиособенностей, приводим точную формулировку условия общности отображения и даем некоторые гипотетические обобщения теоремы 5.2.2. К настоящему времени реализовать этот подход и доказать гипотезы п. 5.6 удалось только в частном случае отображений коранга I, рассмотренных в главе 7.

В главе 6 формулируется универсальная формула для мультиособенностей гиперповерхностей и для мультиособенностей лежандровых отображений. Эта формула аналогична (7) за исключением того, что остаточные многочлены /£„ в этом случае — универсальные лежандровы характеристические классы. Непосредственные применения этой формулы дают сотни новых результатов об исчислении особенностей дивизоров в общих линейных системах на гладких многообразиях. В задаче исчисления особенностей кривых на поверхностях наши вычисления согласуются с известными результатами П. Jle Барца [60], С. Дж. Коллей [21, 22],

B.А. Вайнзенкера [82], Л. Готтше [32], Л. Капорасо и Дж. Харриса [19],

C. Л. Клеймана и Р. Пьен [55, 56], а также многих других авторов, внесших вклад в решение этих задач. В частности, наша формула дает обоснование гипотезы Готтше о числе плоских нодальных кривых, а также различных ее обобщений и вариаций, принадлежащих Клейману и Пьен.

Другое приложение полученной формулы — исчисление особенностей касаний гиперповерхностей в CP" с проективными подпространствами. Эти результаты обобщают на случай п > 3 классические формулы Плкж-кера (тг = 2) и Сальмона [п = 3). Простейший вопрос, ответ на который до сих пор, по-видимому, не был известен, — это вопрос о числе гиперплоскостей в CP1, касающихся в 4 точках заданной общей гиперповерхности степени d. Согласно нашим вычислениям, при d = 3 это число равно 495. Частично полученные результаты представлены в таблицах п. 6,3. Полный список имеющихся соотношений занимает десятки страниц и имеется в [49].

Глава 7 посвящена исследованию особенностей и мультиособенностей отображений коранга 1, то есть голоморфных отображений / : М —> N фиксированной относительной размерности t = dim N — dim М ^ 0, у которых ядро производной в каждой точке не более, чем одномерно. Такие отображения обладают рядом замечательных свойств, не имеющих места для общих отображений. Во-первых, классификация особенностей коранга 1 дискретна, то есть не имеет модулей. Имеется единственная одноиндекс-ная серия особенностей, имеющих обозначение = Е1--'1 (к единиц), или А/с. Коразмерность такой особенности равна к (t-V 1). Во-вторых, при выполнении условий общности положения замыкание каждой особенности гладко. Приведенные свойства заметно упрощают исследование таких отображений и позволяют провести все вычисления до конца. Таким образом, отображения коранга 1 являются удачной моделью теории особенностей, на которой можно испытывать всевозможные общие методы и подходы.

Вследствие простоты предмета, характеристическим классам, связанным с особенностями коранга 1, посвящено много работ, см., например, [67, 51, 52, 21, 70, 58, 1]. Несмотря на многочисленные исследования, состояние предмета вряд ли можно назвать завершенным. Первое обстоятельство, обращающее на себя внимание, заключается в том, что многочлены Тома, приведенные в разных работах, различаются. Это неудивительно, поскольку классы Чженя отображения коранга 1 удовлетворяют дополнительным соотношениям, так что по модулю этих соотношений различные ответы совпадают. Существование дополнительных соотношений хорошо известно. Например, многочлен Тома всякой особенности коранга, большего 1, лежит в кольце соотношений. Тем не менее, полного описания соотношений в кольце характеристических классов отображений коранга 1 ранее, по видимому, не было получено. В действительности, все соотношения на относительные классы Чженя q = сД/) вытекают из следующих: cicj- = c,'cy, i + j = + ^ 1.

Эти соотношения удобно записать, полагая q, — tk~1~ece+1 при к > i 1. Исходный многочлен после такой подстановки восстанавливается неоднозначно, а именно, с точностью до приведенных соотношений. Таким образом, всякий характеристический класс отображений коранга 1 можно записать как многочлен от переменных сi,., q( i, t. Переменной t может не соответствовать никакой глобально заданный класс когомологий, и выражение tkceil нужно рассматривать формально как обозначение для класса Qii-k-- Однако при ограничении на многообразие критических точек класс / можно рассматривать как корректно заданный класс t = —с\{х), где я — ker df — линейное расслоение ядер производной отображения.

В приведенных обозначениях многочлен Тома особенности Е3* обозначается также через Rk+i и имеет следующее простое выражение Rk+l = crjcb . сгЛ, <тк = ct+i -t- (к i=0

Для характеристических классов мультиособенностей также имеется замкнутая формула. Для сокращения записи обозначим через (а\,. ,аг) мультиособенность, соответствующую набору локальных особенностей Е1*!-1,., Е1"'--1. Тогда для классов мультиособенностей т& отображений коранга 1 выполняется соотношение (7), причем остаточный многочлен мультиособенности а выражается следующей явной формулой через приведенные выше многочлены Тома для локальных особенностей:

Л-1.аг = р^т Е (-1)""* (к~1У- ^ %Л! • • ■ Щ^ь (8) где \aj\ = Все необходимые соотношения для получения этих формул содержатся неявно в работах [51, 52, 21], однако стремление к максимальной общности несколько усложнило изложение и не позволило авторам довести вычисления до конца.

Доказательство соотношения (8) использует следующее наблюдение. Рассмотрим многообразие М(а\,., аТ) С Л/г, которое параметризует наборы точек (xi,. , хг), такие, что /(хi) = • • • = f(xr) и / имеет особенность в точке Xj. Это многообразие гладкое для общего отображения / коранга 1 (этот факт отмечен еще в [62]). Кроме того, рассмотрим естественную проекцию f&: М(а, 1) М(а), задаваемую забыванием последней точки набора (хь ., xr+i) € М(a, 1) = М(аь.,аг, 1). Мы утверждаем, что отображение f- является общим отображением коранга 1 (той же относительной размерности (), если таковым является /. Частный случай этого утверждения, когда все а; равны 1, известен как принцип итерации [51]. Отображение f-называется производным отображением. Используя это утверждение, можно циклы более сложных мультиособенностей исходного отображения / интерпретировать как циклы более простых мультиособенностей различных его производных отображений. Вариант формулы избыточного пересечения, принадлежащий Клейману [51], позволяет связать характеристические классы производных отображений с характеристическими классами исходного отображения /, и это дает возможность вычислить классы циклов мультиособенностей по индукции.

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

Глава 2 посвящена доказательству существования многочлена Тома. В пунктах 2.1-2.4 и 2.6 мы приводим различные варианты этой теоремы: для гладких отображений, для голоморфных отображений; обсуждаем условия трансверсальности, обеспечивающие применимость этих теорем. Хотя сами результаты являются классическим, концепция классифицирующего пространства особенностей, использованная в приведенном в доказательстве п. 2.5, принадлежит автору диссертации. В п. 2.7 приводится определение характеристической спектральной последовательности и теорема о расщеплении когомологий классифицирующего пространства комплексных особенностей.

Методы вычисления многочленов Тома обсуждаются в главе 3. В п. 3.1 мы при помощи метода разрешения особенностей доказываем детерми-нантные формулы для классов Портеуса-Тома и их производных. В п. 3.2 проводятся аналогичные вычисления классов Арнольда-Фукса лагранже-вых и лежандровых отображений. В п. 3.3 изложен метод Римани использования симметрий. Применимость изложенных методов для нахождения многочленов Тома вещественных отображений обсуждается в п. 3.4.

В главе 4 строится теория характеристических классов голоморфных лежандровых отображений. Доказывается существование многочленов Тома и вычисляются многочлены Тома лежандровых особенностей невысоких коразмерностей. Для сравнения методов эти вычисления проводятся в пп. 4.1-4.4 двумя независимыми методами — методом разрешения особенностей и методом использования симметрий. В п. 4.5 мы приводим различные следствия полученных формул для лагранжевых особенностей, а также для вещественных лагранжевых и лежандровых особенностей.

Глава 5 посвящена переносу теории многочленов Тома на случай мультиособенностей. В п. 5.1 формулируется теорема 5.1.1 о существовании универсальных выражений для классов мультиособенностей. В п. 5.2 приводится уточненное выражение для этих классов через остаточные многочлены. Остаточные многочлены мультиособенностей малых коразмерностей вычислены в п. 5.4. Связь с теорией кобордизмов и доказательство теоремы 5.1.1 приведены в п. 5.5. Различные гипотетические уточнения и обобщения теорем 5.1.1 и 5.2.2 обсуждаются в п. 5.5.

В главе 6 теория характеристических классов мультиособенностей переносится на случай мультиособенностей лежандровых отображений и изолированных мультиособенностей гиперповерхностей. Основная теорема формулируется в п. 6.1. Остаточные многочлены особенностей малых коразмерностей вычислены в п. 6.2. В п. 6.2 приводятся многочисленные приложения для исчислительной геометрии.

Глава 7 посвящена исследованию характеристических классов особенностей отображений коранга 1. В п. 7.1 приведено локальное строение многообразий мультиособенностей особенностей и сформулирован принцип итерации. Соотношения между классами Чженя отображения коранга 1 обсуждаются в п. 7.2. Многочлены Тома локальных особенностей и остаточные многочлены мультиособенностей вычисляются в пп. 7.3-7.8. В вычислениях используется формула Клеймана избыточного пересечения. Эта формула в форме, удобной для наших вычислений, приводится в п. 7.5. Следствия для отображений коранга 1 отрицательной относительной размерности и лежандровых отображений сформулированы в п. 7.9.

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

Ввиду ограниченности объема диссертации в нее включены, в основном, только результаты, касающиеся глобальной топологии особенностей комплексных голоморфных отображений. Тесно связаны с темой диссертации, но не включены в нее такие результаты автора, как определение и исследование дифференциалов в характеристической спектральной последовательности вещественных особенностей [41, 42]; вычисление характеристической спектральной последовательности вещественных лагранжевых и лежандровых особенностей [40, 41]; построение теории характеристических классов глобальных особенностей функций на окружности, которая обнаружила интересные связи с теорией циклических гомо-логий [43, 44,45]. Все эти результаты автора изложены также в обзоре [46].

Благодарности. Автор выражает глубокую признательность В. И. Арнольду, открывшему ему изумительный мир теории особенностей и вдохновлявшему его исследования в течение многих лет. Создание теории, представленной в работе, было бы невозможно без сотрудничества с математиками самых различных специальностей — теории особенностей, алгебраической геометрии, топологии. Я особенно благодарен В. М. Бухштаберу, В. А. Васильеву, С. Л. Клейману, Вал. С. Куликову, С. К. Ландо, Д. Монду, Р. Пьен, В. Д. Седых, Д. ван Стратену, общение с которыми чрезвычайно помогло мне в работе над диссертацией.

Заключение

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

2) Многообразия, расслоения, и т.д., возникающие в геометрических задачах, обладают различными характеристическими классами. Априорные формулы, подобные формулам этой статьи, показывают, что окончательный результат формулируется в терминах определенных комбинаций этих характеристических классов. Этот факт не всегда виден при геометрическом рассмотрении задачи; однако учет этого факта существенно упрощает нахождение желаемой формулы.

3) Чтобы придать смысл формулам п. 6.3, мы требуем выполнения некоторых условий трансверсальности. Эти условия обязательно выполняются, если степень d (входящая в качестве параметра в эти формулы) достаточно велика. Случаи малых степеней требуют более подробного изучения, подобного предпринятому в [56]. Например, бессмысленно подсчитывать мультикасательные прямые к кубической поверхности, поскольку она содержит прямые целиком.

4) Даже если существование остаточных многочленов и универсальных формул для классов мультиособенностей установлены, нет никакой надежды получить в замкнутом виде формулу для серии особенностей (скажем, для классов особенностей Аг, г = 1,2,., или для классов кратных точек т.г, г = 1,2,.). Причина заключается в том, что полная классификация особенностей ведет себя крайне нерегулярным образом. Вычисление этих классов (либо при помощи методов теории пересечений с использованием раздутий, схем Гильберта и остаточных пересечений, либо при помощи более простого метода Римани использования симметрий) основано на полной классификации особенностей, которая неизвестна.

5) Тем не менее, можно надеяться получить соответствующие формулы для серий классов особенностей, если рассматривать полученные многочлены после некоторой факторизации. Это значит, что желаемая формула может быть получена с точностью до слагаемых, которые обращаются в ноль для данной геометрической задачи. Типичным примером служит исчисление рациональных нодальных кривых на поверхностях, см. результаты Концевича-Манина [57] и Браена-Леунга [14, 15, 16] (обращение в ноль старших классов Чженя q, г > 2, для поверхности убивает большую часть кольца лежандровых характеристических классов). Результаты Клеймана [51, 52], Катц [39], Коллей [21] и главы 7 об отображениях, допускающих лишь особенности коранга 1, служат еще одним примером. Рассуждения, использующиеся для нахождения таких формул, зависят в сильной мере от специфики задачи. Тем не менее, даже в этом случае знание существования универсальной формулы может оказаться чрезвычайно полезным.

1. Ando, Y, On the higher Thorn polynomials for Morin singularities. Publ. Res. 1.st. Math. Sci. 23 (1987), no. 1, 195-207.

2. Ando, Y, On Thom polynomials of the singularities Dk and Ek• J. Math. Soc. Japan 48 (1996), no. 3, 593-606.

3. Арнольд В.И., О характеристическом классе, входящем в условия квантования. Функц. анализ и его прил., 1967, 1, 1, с.1-14.

4. Арнольд В.И. Нормальные формы функций вблизи вырожденных точек, группы Вейля Ак, Dk, Ек и лагранжевы особенности. Функц. анализ и его прил., 1972, 6 (4), 3-25.

5. Арнольд В.И. Лагранжевы и лежандровы кобордизмы. УМН, 1982, Т. 37 (2), 179

6. Арнольд В.И., Варченко А.Н., Гусейн-Заде С.М., Особенности дифференцируемых отображений. T.l, М. Наука, 1982.

7. Арнольд В.И., Васильев В.А., Горюнов В.В., Ляшко О.В., Особенности. I. ВИНИТИ, Совр. пробл. мат., Фунд. напр., Т.6, М., 1988, 5-256.

8. Арнольд В.И., Гивенталь А.В., Симплектическая геометрия. ВИНИТИ, Совр. пробл. мат., Фунд. напр., Т.4, М., 1985, 7-139.

9. Audin, M., Classes caracteristique d'immersions lagrangiennes definies par des varietes de caustiques (d'apres V.A. Vassiliev), Seminare Sud-Rhodanien de Geometry, travaux en cours, 1, Hermann, Paris (1984).

10. Audin, M., Cobordismes d'immersions lagrangiennes et legendriennes, travaux en cours, 20, Hermann, Paris (1987), 216 pp.

11. Borel, A., La cohomologie mod 2 de certains espaces homogenes, Comm. Math. Helv., 27 (1953), 165-197.

12. Borel, A. Sur la cohomologie des espaces fibrts principaux et des espaces homogenes de groupes de Lie compacts, Ann of Math. 57:2 (1957), 115207.

13. Borel, A; Haefliger, A. La classe d'homologie fondamentale d'un espace analytique. Bull. Soc. Math. France 89 (1961) 461-513.

14. Л. Bryan and C. Leung, The enumerative geometry of КЗ surfaces and modular forms, alg-geom/9711031, J. Amer. Math. Soc. 13(2) (2000), 371-410.

15. J. Bryan and C. Leung, Generating functions for the number of curves on Abelian surfaces, math.AG/9802125, Duke Math. J., 99(2) (1999), 311-28.

16. Л. Bryan and C. Leung, Counting curves on irrational surfaces, Surveys in Dif. Geom. 5 (1999), 313-39.

17. Бухштабер B.M. Характер Чженя-Дольдав кобордизмах // Матем. Сборник 1970 Т.83 (125) с. 576-595.

18. P.J. Cameron, Combinatorics: topics, techniques, algorithms. Cambridge University Press, 1994

19. L. Caporaso and Л. Harris, Counting plane curves of any genus, Invent. Math., 131, (1998), 345-92.

20. D. S. Chess, A note on classes Sf(/)]. Singularities, Part 1 (Areata, Calif., 1981), 221-224, Proc. Sympos. Pure Math., 40, Amer. Mat. Soc., Providence, R.I., 1983.

21. S.J. Colley, Multiple-point formulas and line complexes, in "Enumerative and classical Algebraic Geometry", (Proc. Conf. Nice, 1981), P. Le Barz, Y. Hervier, Eds., Prog. Math. 24, Birkhauser, 1982, 9-22.

22. S.J. Colley, Lines having specified contact with projective varieties, Proc. Vancouver Conf 1984 in Algebraic Geometry, J. Carrell, A.V. Geramita, P. Russell, eds., 47-70.

23. Damon, J. Thom polynomials for contact class singularities, Ph.D. thesis, 1972, Harvard University.

24. Eliashberg, Ya. M. and Mishachev, N. M. Wrinkling of smooth mappings and its applications, Invent. Math. 130 (1997), 345-369.

25. Feher, L., Rim&nyi, R. Calculation of Thom polynomials for group actions, preprint.

26. Feh6r, L., Rimanyi, R. Thom polynomials with integer coefficients, preprint.

27. D. B. Fuks, Maslov-Arnold Characteristic classes, Soviet. Math. Docl. 9 (1968), 96-99.

28. W. Fulton, Intersection Theory, Ergebnisse der Math., 3 Folge, Vol. 2., Springer-Verlag, Berlin, 1984.

29. W. Fulton, Determinantal formulas for orthogonal and symplectic degeneracy loci, J. DifF. Geom. 43 (1996), 276-290.

30. W. Fulton, P. Pragacz, Schubert Varieties and Degeneracy Loci, Lectures Notes in Mathematics, vol. 1689, Springer-Verlag, 1998.

31. Т. Gaffney, The Thorn polynomial of E1111. Singularities, Part 1 (Areata, Calif., 1981), 399-408, Proc. Sympos. Pure Math., 40, Amer. Mat. Soc., Providence, R.I., 1983.

32. L. Gottsche, A conjectural generating function for numbers of curves on surfaces, Comm. Math. Phys., 196 (1998), 523-533.

33. Griffiths, P. and Harris, J. Principles of Algebraic Geometry, Wiley, 1978, NY.

34. Haefliger, A; Kosiriski, A. Un theoreme de Thom sur les singularites des applications differentiables. (French) 1958 Seminaire Henri С art an] 9e anne: 1956/57. Quelques questions de topologie, Expose no. 8, 6 pp.

35. J. Harris, L.W. Tu, On symmetric and skew-symmetric determinantal varieties, Topology, 23 (1984), 71-84.

36. Harris J., Tu L. Chern numbers of kernel and cokernel bundles, Inventiones Math. 75 (1984), 467-475.

37. Hohchschild G., The structure of Lie groups, Holden-Day, 1965.

38. Т. Жозефиак, А. Ласку, П. Прагач, Классы детерминантных многообразий, ассоциированные с симметричными и антисимметричными матрицами, Известия АН СССР, 45 (1981), 662-273.

39. S. Katz, Iteration of multiple point formulas and applications to conics, in "Enumerative and classical Algebraic Geometry", (Proc. Conf. Nice, 1981), P. Le Barz, Y. Hervier, Eds., Prog. Math. 24, Birkhauser, 1982, 237-252.

40. Казарян М.Э., Скрытые особенности и гомологический комплекс Васильева классов особенностей, Математ. сборник, 1995, Т.186, 12, с.119-128.

41. Казарян М.Э., Характеристические классы лагранжевых и лежандровых особенностей, Успехи мат. наук, 1995, Т.50 (304), с.45-70.

42. Kazarian, М. Characteristic classes of Singularity theory, in: Arnold-Gelfand Mathematical Seminars, Birkhauser, Basel, 1997, 325-340.

43. Kazarian, M., The Chern-Euler Number of Circle Bundle via Singularity Theory, Matematica Contemporanea, 12 (1997), 131-165.

44. Kazarian, M., Topological Invariants of Fiber Singularities, V.I. Arnold's 60-th anniversary Collection, AMS Translations, Ser.2, 180 (1997), 141146.

45. Казарян М.Э., Относительная теория Морса одномерных расслоений и циклические гомологии, Функц. анализ и его прил., 1997, Т.31, 1, с. 20-31.

46. Казарян М.Э. Характеристическая спектральная последовательность (добавление к книге 83], 243-310.

47. Kazarian, М. Classifying spaces of singularities and Thom polynomials, in New developments in Singularity Theory (Cambridge 2000), NATO Sci.Ser. II Math.Phys.Chem, 21, Kluvver Acad. Publ., Dordrecht, 2001, 117-134.

48. Kazarian, M. Thom polynomials for Lagrange, Legendre and isolated hypersurface singularities, Proc. London Math. Soc. (3) 86 (2003) 707734.

49. Персональная страница автора, http://www.mi.ras.ru/~kazarian.

50. S.L. Kleiman, Multiple-point formulas I: Iteration, Acta Math., 147 (1981), 13-49.

51. S.L. Kleiman, Multiple-point formulas II: The Hilbert scheme. Enumerative geometry (Sitges, 1987), 101-138, Lecture Notes in Math., 1436, Springer, Berlin, 1990.

52. S.L. Kleiman, J. Lipman, B. U1 rich, The multiple-point schemes of a finite curvilinear map of codimension one. Ark. Mat. 34 (1996), no. 2, 285-326.

53. S.L. Kleiman, R. Piene, Enumerating curves on surfaces, in "Algebraic geometry — Hirzebruch 70", Contemporary Math., 241 (1999), 209-238. (Corrections in math.AG/9903192).

54. S.L. Kleiman, R. Piene, Node polynomials for families: results and examples, math.AG/0111299.

55. M. Kontsevich, Yu. Manin, Gromov-Witten classes, quantum cohomology and enumerative geometry, Comm. Math. Phys., 164, 525562 (1994).

56. B.C. Куликов, Исчисление особенностей вложения общей алгебраической поверхности в проективное пространство Р3. Функц. анализ и его прил., 1983, 17, 3, 15-27.

57. Landweber P.S. Cobordism operations and Hopf algebras // Trans. Amer. Math. Soc. 1967. V. 129, No. 1, p. 94-110.

58. P. Le Barz, G6ometrie ёпитёга^уе pour les multisecantes, Lect. Notes in Math., 683, 116-167, Springer, Berlin, 1978.

59. J. Mather, Stability of C°°-mappmgs. I-VI. Ann. Math., 1968, 87, 89104; 1969, 89, 254-291; Publ. Sci. IHES, 1969, 35, 127-156; 1970, 37, 223-248; Adv. Math., 1970, 4, 301-335; Lect. Notes Math., 1971, 192, 207-253.

60. W.L. Marar, D.Mond, Multiple point schemes for corank 1 maps, J. London Math. Soc. (2) 39 (1989), 553-567.

61. Morvan, J.-M., Niglio,- L., Classes caracteristiques des couples de sousfibres Lagrangiens, Ann. Inst. Fourier, Grenoble, 36 (1986), 193-209.

62. Новиков С. П. Теорема Картана-Серра и внутренние гомологии // УМН, 21 (1966), N 5, 217-232.

63. Новиков С. П. Методы алгебраической топологии с точки зрения теории кобордизмов // Изв. АН СССР. Сер. матем. 1967 Т.31 с. 855951.

64. Porteous, I. R., Simple singularities of maps, in: С. Т. C. Wall (ed.), Proc. Liverpool Singularity Symposium I, Springer LNM 192 New York, 1971, 286-307.i i68 69 [70 [71 [72 [73 [74 [75 [7677 78

65. Porteous, I. R., The second-order decomposition in E2. Topology, 1972, 11, 4, 325-224.

66. P. Pragacz, Algebro-geometric applications of Schur S- and Q-polynomials, Lect. Notes in Math., Vol. 1478 (1991), 130-191.

67. Ran Z., Curvilinear enumerative geometry. Acta Math. 155 (1985), no. 1-2, 81-101.

68. D. C. Ravenel and W. S. Wilson. The Hopf ring for complex cobordism. Bull. AMS, V. 80, no. 6 (1974), 1185-1189.

69. Rim any i, R. Thorn polynomials, Symmetries and Incidences of Singularities, Invent. Math. 143(3) (2001), 499-521.

70. Rimanyi, R. Multiple point formulas—a new point of view, to appear in Pacific J. Math, 202(2) (2002), 475-489.

71. Rimanyi, R. and Szucs, A. Generalized Pontrjagin-Thom construction for maps with singularities, Topology 37 (1998), 1177-1191.

72. F. Ronga, Le calcul des classes duales aux singularites de Boardman d'ordre deux, Comm. Math. Helv., 47 (1972), 15-35.

73. D. Siersma, Classification and deformation of singularities, Doctoral dissertation, Univ. of Amsterdam, 1974.

74. P. Slodowy, Einige Bemerkungen zur Entfaltung symmetrischer Funktionen. (German) Math. Z. 158 (1978), no. 2, 157-170.

75. Sztics, A. Multiple points of singular maps, Math. Proc. Cam. Ph. S., 100 (1986), 331-346.

76. Thom, R. Les singularites des applications differentiables. (French) Ann. Inst. Fourier, Grenoble 6 (1955-1956), 43-87.

77. I. Vainsencher, Enumeration of n-fold tangent hyperplanes to a surface, J. Alg. Geom., 4 (1995), 503-526.

78. V. A. Vassiliev, Lagrange and Legendre Characteristic Classes, 2nd edition, Gordon and Breach, 1993, New York a.o. (Дополненный перевод на рус. яз.: В. А. Васильев, Лагранжевы и лежандровы характеристические классы. Москва, МЦНМО, 2000).

79. Васильев В.А., Серганова В.В., О числе вещественных и комплексных модулей особенностей гладких функций и реализации мат-роидов, Матем. Заметки 49, (1991), по. 1-2, 15-20

80. С.Т.С. Wall, A second note on symmetry of singularities, Bull. London Math. Soc. 12 (1980) 347-354.начальник управления ВАК Росс,;.1.о 9 \т 2ооз

81. РОССИЙСКАЯ ГОСУДАРСТВЕННАЯ БИБЛИОТЕКАq W8-X-0 3С