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

На правах рукописи

МОСКОВЧЕНКО ГАЛИНА АЛЕКСАНДРОВНА

О топологии

НАБОРОВ ГИПЕРПЛОСКОСТЕЙ И МНОГОМЕРНЫХ ВЫЧЕТАХ

01.01.01 — математический анализ

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

Курган-2003

Работа выполнена в Курганском государственном университете Научные руководители:

доктор физико-математических наук, профессор Южаков А.П.,

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

Официальные оппоненты: доктор физико-математических наук,

профессор Маергойз Л.С. кандидат физико-математических наук, доцент Лейнартас Е.К.

Ведущая организация Красноярский государственный

Технический университет, г.Красноярск

Защита состоится 2003 г. в /£ часов

на заседании диссертационного совета Д.212.099.02 в Красноярском государственном университете по адресу: 660041, г. Красноярск, пр. Свободный, 79.

С диссертацией можно ознакомиться в библиотеке Красноярского государственного университета.

Автореферат разослан

Ученый секретарь диссертационного совета кандидат физ.-мат. наук

Голованов М.И.

1274 о

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Геометрия конечных наборов гиперплоскостей отличается многообразием связей с комбинаторикой [8], а также с теорией многомерных вычетов [1], [6], особенностей дифференцируемых отображений [2], и гипергеометрических функций [3]. Перечислительная комбинаторика таких наборов имеет давнюю историю: еще в 1826 г. Якоб Штейнер (Д^етег) получил формулу для числа частей, на которые разбивается плоскость Ж2 (пространство Ж3) прямыми (плоскостями), находящимися в общем положении, а в 1943 г. Р.Бак (11.Виск) распространил результат Штейне-ра на ситуацию конечного набора гиперплоскостей общего положения в

Адекватным аппаратом для решения указанных задач оказалось понятие функции Мебиуса на конечных частично упорядоченных множествах. Т.Заславский (Т.2ав1аувку) [И] дал общее решение задач о разбиении евклидова и проективного пространств, выразив числа компонент и граней разбиения через функцию Мебиуса, для которой имеется рекуррентный алгоритм вычисления. В это же время математики осознали, что число частей разбиения выражает ранг нульмерной группы гомоло-гий Нц(Шп\Е) дополнения набора Е гиперплоскостей в Ж", что важными комбинаторными характеристиками наборов гиперплоскостей в Ж" и С являются ранги групп гомологий Я^С1 \Е), 1 ^ к ^ п. Видимо впервые группа гомологий #„(€" \ Е) была изучена (был найден алгоритм вычисления ее ранга и описана база гомологий) в работе А.П.Южакова [6]

в связи с вычетами рациональных функций многих переменных, а затем на основе другого подхода — П.Орликом и Л.Соломоном (P.Orlik, L.Solomon) [9]. Таким образом, классическая задача о числе разбиения пространства R" гиперплоскостями расширилась до проблемы изучения структуры групп гомологий и когомологий для дополнения С \ Е, связанной с многомерными вычетами [1], [6], с феноменом зеркальной симметрии в теории суперструн [10], с торической геометрией и теорией гипергеометрических функций [3]. В рамках теории многомерных вычетов при конструировании логарифмических вычетов (потоков интегрирования на аналитическом множестве) и исследовании вычетов Гротендика комбинаторика наборов алгебраических гиперповерхностей в С появляется в связи с изучением n-циклов, разделяющих этот набор гиперповерхностей ( [5], [7]). Проблема описания разделяющих циклов оставалась неразрешенной даже для набора гиперплоскостей в С.

Цель диссертации — продолжить исследование по перечислительной комбинаторике для конфигурации гиперплоскостей в М", изучить разделяющую подгруппу группы гомологий #„(С \ Е) и вычеты рациональных функций с гиперплоскими полюсами.

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

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

Для вывода индуктивной формулы вычисления функции Мебиуса использовалась теорема Орлика и Соломона о связи функции Мебиуса с

рангом группы гомологий #П(С \ Е) и результат А.К. Циха о связи гомологий в С" и ЮР"-1. Использование разделяющей подгруппы для семейства гиперплоскостей опирается на результаты А.П.Южакова [7].

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

Все результаты диссертации являются новыми и снабжены полными доказательствами.

Практическая и теоретическая ценность

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

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

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

— Международная конференция "Симметрия в естествознании" (Красноярск, 1998);

— Всеросийская научно-практической конференция "Проблемы физико-математического образования в педагогических вузах России на современном этапе" (Магнитогорск, 1999);

— Международная конференция "Симметрия и дифференциальные уравнения" (Красноярск, 2000).

Публикации

Основные результаты диссертации опубликованы в 9 работах [12]-[20].

Структура и объем работы

Диссертация состоит из введения и двух глав основного текста. Список литературы содержит 37 наименований. Работа изложена на 67 страницах.

СОДЕРЖАНИЕ РАБОТЫ В первой главе речь идет о перечислительной комбинаторике конфигурации гиперплоскостей в Ж".

Пусть в пространстве Ж" задано семейство Е = {£1,... , Ет} различных гиперплоскостей

Ез = {я; = («1,... ,®„) € М" : апХ! +----\-а^пхп = &_,-}, j = 1,... ,т.

Обозначим через /„(Е) = /п(1?1,... ,Ет) — число частей, на которые пространство Ж" разбивается гиперплоскостями Е, т.е. число связных компонент (областей) множества Ж" \ Е = Ж" \ {Е\ и • • • и Ет), соответственно, дп{Е) — число ограниченных, Л„(27) — число неограниченных компонент этого разбиения.

Ребром семейства Е назовем любое непустое пересечение гиперплоскостей этого семейства. Обозначим Ек — объединение всех Аг-мерных ребер семейства Е; /к{Е) — число различных Л-мерных граней многогранников, на которые Ж" разбивается гиперплоскостями семейства Е, т.е. число связных компонент множества Ек \ Ек~1, соответственно, д„{Е), Ьк(Е) — числа ограниченных и неограниченных ^-граней этого семейства. Будем считать пространство Ж" п-мерным ребром семейства Е. Тогда /п(Е) = дп(Е) = дЦЕ), К{Е) = /ДО). Очевидно,

/к(Е)=дк(Е) + кк(Е).

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

В §1 первой главы выводятся формулы числа /*(£") различных к-мерных граней многогранников, на которые Ж" разбивается гиперплоскостями семейства Е = 1т, расположенными нормально, и чисел дп, ограниченных, и неограниченных Л-граней этого семейства; а также даются точные оценки сверху для /*, Л* при произвольном взаимном расположении гиперплоскостей.

Теорема 1.1 Если гиперплоскости семейства Е пересекаются нормально, т.е. любые к из них либо не имеют общих точек, либо пересекаются по (п — к)-мерной плоскости, то

/П(Е) = 3П(Е) + ВП^(Е) + Вп.2(Е) + ■■■ + В\{Е) + Въ{Е),

где Вк{Е) — число к-мерных плоскостей (ребер), по которым пересекаются гиперплоскости семейства Е, ВП~\{Е) = тп, ВП(Е) — 1.

Теорема 1.2 Если гиперплоскости семейства Е пересекаются нормально и конфигурация Е имеет хотя бы одно 0-ребро, то

дп{Е) = Во(Е) - В^Е) + ■ ■ • + (-1)"-1В„_1(£) + (-1)ПВП(£), 2[В!(Е) + В3{Е) + --- + ВП[Е)Ъ п = 2к + 1,

К{Е) = <

2[В1(Е) + В3(Е) + • • • + £„_!(£)], я = 2к. Здесь ВП{Е) = 1, ВП-Х{Е) = т.

Теорема 1.3 Если гиперплоскости семейства Е пересекаются нормально, то

-ад,

где В] (Е) — число мерных ребер семейства Е.

Похожие формулы для нормального семейства получены и для функций д*(Е), Ь,„{Е) (Теорема 1.4). Для общих конфигураций Е приведены точные оценки сверху для функций /¡1(Е), 9п{Щ, (Теорема 1.5,

1.6). При фиксированном числе гиперповерхностей конфигурации Е точные оценки реализуются на конфигурациях общего положения.

В §2 первой главы с помощью понятия флага Е^1--^ из последовательности вложенных ребер Т^1 с Т73 С • ■ • С ( размерностей л < < • • • < Зк) конфигурации Е дается формула для числа /„(£■) произвольной конфигурации Е. Если гк — номер ^-мерного ребра, то всякий флаг конфигурации можно идентифицировать обозначением . Обозначим также через Р? число г-ребер, проходящих через флаг Р = •"<*> наконеД1 пусть о(Е) = ]1.

Теорема 1.7 Если в пространстве М" задано семейство гиперплоскостей Е = {Е\,..., Ет}, то число связных областей, на которые пространство М" разбивается этими гиперплоскостями, можно вычислить по одной из формул:

/„(£) = 1+ £(-!)«*•), р

где суммирование ведется по всем флагам , к=1,...,п,

О ^ Л <•••<;*< п, е(^) = п-к- о(Р);

МЕ) = 1 + (-гг-ЫЕ) - £ (-1)*^^,

к=1 |=сЦт(*')+1

где

Х{Е) = В0-Вг+В2 + --- + (—1)"-1В„_1

причем Вк — число к-ребер семейства Е.

Результат Теоремы 1.7 является в некотором смысле двойственным к утверждению Т.Заславского.

В §3 первой главы выводятся формулы числа частей разбиения пространства Зй" и ¿-ребер, если конфигурация имеет лишь правильные кратные точки: 0-ребро называется правильным, если через него проходит п гиперплоскостей и любые п из них пересекаются по точке.

Теорема 1.8 Если конфигурация Е имеет лишь правильные кратные точки пересечения, и через любое к-мерное ребро, к > 0, проходит ровно п — к гиперплоскостей, то число всех областей этой конфигурации выражается формулой

где kj — число гиперплоскостей, проходящих через j-ю точку пересечения.

Если, кроме того, семейство Е регулярно, то число ограниченных областей конфигурации Е, выражается формулой

Аналогичные формулы для /%(Е) и д?(Е), отмечены в Теореме 1.9. Обозначим совокупность всех ребер семейства гиперплоскостей

{Ei,..., Em] через L(E). Упорядочим L(E) по прямому включению. Тогда функция Мебиуса ц : L(E) —> Z определяется по закону fx(Rn) = 1 и

М") = -Ем»)-

v>u

Таким образом, для вычисления значения //(и) формально требуется вычисление значений ц по всем v, содержащим и.

В §4 первой главы доказывается, что на самом деле ц(и) можно вычислить лишь по значениям на ребрах, размерность которых на единицу больше размерности и. Эталонной является ситуация, когда dim« = О (т.е. и — это точка).

Теорема 1.10 Предположим что все гиперплоскости семейства {Ei,..., Em) в К" или С" проходят через начало координат 0. Тогда

|м(о)| = £И)|,

где суммирование проводится по всем 1-ребрам из L(E), не лежащих в Em-

Вторая глава посвящена исследованию группы гомологий Я„(С" \Е) дополнения до семейства гиперплоскостей в С и многомерных вычетов рациональных функций с гиперплоскими полюсами, т. е. с полюсами на Е. Вначале приводится утверждение о ранге группы ЯП(С \ Е) (Теорема 2.2), которое выражает индуктивную (по размерности п) зависимость ранга. Затем исследуется разделяющая подгруппа группы гомологий Нп^ХЕ)

Теория циклов, разделяющих гиперповерхности (дивизоры) возникла в связи с исследованием конструкций многомерных логарифмических

вычетов [5, 7]. Введем соответствующие понятия.

Пусть X — комплексное аналитическое многообразие комплексной размерности n : dimeХ = п, и Ei,...,Em, т ^ п — аналитические подмножества в нем чистой коразмерности 1, т. е. гиперповерхности. Обозначим Е = Ег U • • • U Ет.

Возьмем произвольное разбиение множества {1,...,ш} на п непустых непересекающихся подмножеств: J — {Ji,...,Jn) и рассмотрим соответствующую систему п дивизоров S = (Si,..., S„), где S* = (J Ej.

jeJk

Пусть a — изолированная точка пересечения Zj = Si П • • ■ П Sn и пусть (р € 0(Ua) — функция, определяющая дивизор Sj в окрестности Ua точки а :

Ss П Ua = {z € Ua : <pj(z) = 0}.

Рассмотрим цикл

IV = {z G Ua : Ы*)I = • ■ • = Ы*)| = e}, ориентацию которого определим условием

d(arg<pi) Л • • • Л <f(ar0p„) ^ 0.

п

Очевидно, что Ta;j Е Z„(X \ (J Sj) = Zn{X \ Е), т. е. ra;j — цикл с

з=1

носителем вне объединения Е семейства гиперповерхностей Ei,... ,Ет.

Подгруппа группы Нп(Х\Е), порожденная циклами ra;j для всевозможных разбиений J и изолированных точек о 6 Si П • • • П Sn называется разделяющей и обозначается Н*(Х \ Е) [7]. Таким образом, класс [Г] 6 Нп(Х\Е) цикла Г принадлежит этой подгруппе, если в Х\Е имеет место гомология

г~£ па.3 е ъ.

а,3

Очевидно, если [Г] € Н*(Х\Е), то согласно формуле Стокса интеграл от мероморфной дифференциальной п-формы по п-мерному циклу в X \ Е выражается через локальные вычеты

где гейд^ш = (2тгг) " ш — локальный вычет формы ш в точке а

относительно системы дивизоров 5 (его также называют вычетом Гро-тендика).

Разделяющие циклы играют важную роль в конструкциях многомерных логарифмических вычетов и вычетов Гротендика.

Критерий принадлежности цикла Г е Нп(Х \Т) разделяющей подгруппе был дан А.К. Цихом [5] в случае т — п. Для т > п А.П Южа-ковым [7] такой критерий был получен при некоторых ограничениях на гиперповерхности. Основной результат второй главы показывает, что для набора гиперплоскостей в С вся группа гомологий Я„(С" \£?) совпадает с разделяющей подгруппой.

Теорема 2.3 Всякий нетривиальный тг-цикл Г в С" \ у Е^ гомоло-

г

т

гичен линейной комбинации циклов :

г ~ У^Па^Га;^.

Наконец в заключительном параграфе приводится универсальный способ вычисления вычетов рациональных функций с гиперплоскими полюсами. Этот способ может быть эффективно применен к реализации Теоремы Е.К.Лейнартаса [4] о разложении рациональной функции на простейшие дроби.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Основные результаты диссертации состоят в следующем:

— получены новые формулы для числа частей разбиения прстранства Е" гиперплоскостями и для числа ¿-граней конфигурации гиперплоскостей;

— найдена индуктивная по размерности объемлющего пространства формула для функции Мебиуса частично упорядоченного множества из ребер конфигурации гиперплоскостей;

— доказано, что п-мерные гомологии для дополнения наборов гиперплоскостей в С порождаются разделяющими циклами;

— получен простой метод вычисления вычетов рациональных функций с гиперплоскими полюсами.

ЛИТЕРАТУРА

[1] Айзенберг Л.А., Южаков А.П. Интегральные представления и вычеты в многомерном комплексном анализе. Новосибирск: Наука, 1979. 368 с.

[2] Васильев В.А. Топология дополнений к дискриминантам.Москва: ФАЗИС, 1997. 536 с.

[3] Гельфанд И.М., Зелевинский A.B. Алгебраические и комбинаторные аспекты общей теории гипергеометрических функций // Функ-цион. анализ и его прил. 1986. Т.20, Вып. 3. С. 17-34.

[4] Лейнартас Е.К. Разложение рациональных функций многих переменных на простейшие дроби// Изв. вузов. Математика. 1978. № 10(197). С. 47-51.

[5] Цих А.К. Многомерные вычеты и их применения. Новосибирск: Наука, 1988. 241 с.

[6] Южаков А.П. О вычетах функций многих комплексных переменных // Изв. вузов. Математика. 1964. №5. С. 149-181.

[7] Южаков А.П. Разделяющая подгруппа и локальные вычеты // Сиб. мат. журн.1988. Т. 29. №6. С. 197-203.

[8] björner A. On the homology of geometric lattice // Algebra universalis. 1982. V.14, N 1. P. 107-128.

[9] Orlik P., Solomon L. Combinatorics and topology of complements of hyperplanes // Invention. Math. 1980. V. 56. P. 167-189.

[10] Szenes A., M.Vergne Toric Reduction and a Conjecture of Batyrev and Materov //http://xxx.arxiv.org/abs/math.AT/0306311, June 2003

[11] ZASLAVSKY T. Facing up to arrangement: face-count formulas for partions of space by hyperplanes // Amer. Math. Soc. Memoir. 1975. 154 p.

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

[12] Московченко Г.А., Южаков А.П. О числе граней разбиения пространства Еп гиперплоскостями // Тезисы докл. Междунар. конф. "Симметрия в естествознании". Красноярск: Ин-т вычисл. моделирования СО РАН. 1998. С. 158-160.

[13] Московченко Г.А., Южаков А.П. О числе k-мерных граней разбиения пространства К" гиперплоскостями // Сб. науч. трудов "Математическое и программное обеспечение научных исследований и обучения". Курган: КГУ. 1998. С. 3-8.

[14] Московченко Г.А., Южаков А.П. О числе k-мерных граней разбиения пространства Ж" гиперплоскостями // Матер. Всерос. науч.-практ. конф. "Проблемы физико-математического образования в педагогических вузах России на современном этапе". Ч. 2. Магнитогорск: МГПИ. 1999. С. 36-37.

[15] Московченко Г.А. О вычислении локальных вычетов рациональных функций многих комплексных переменных // Сборник научных трудов аспирантов и соискателей Курганского государственного университета (естественные и технические науки). Курган: КГУ. 2000. С. 13-17.

[16] Захаров A.B., Московченко Г.А., Южаков А.П. О числе частей и граней разбиения пространства К" гиперплоскостями // Сб. науч. трудов "Комплексный анализ и дифференциальные операторы". Красноярск: КрасГУ. 2000. С. 20-30.

[17] Московченко Г.А. Вывод некоторых формул комбинаторной геометрии с помощью функции Мёбиуса // Сб. науч. трудов "Математическое и программное обеспечение научных исследований и обучения". Курган: КГУ. 2000. С. 12-15.

[18] Московченко Г.А., Южаков А.П. О конфигурации гиперплоскостей с правильными кратными точками пересечения // Труды межд. конф. "Симметрия и дифференциальные уравнения". Красноярск: Институт вычислительного моделирования СО РАН. 2000. С. 269-271.

[19] Московченко Г.А. Формула числа частей разбиения пространства Ж3 плоскостями // Сборник научных трудов аспирантов и соискателей Курганского государственного университета. Курган: КГУ. 2003. С. 3-6.

Московченко Г.А. О числе частей разбиения пространства ги перплоскостями // Вестник Красноярского государственного уни верситета. Вып. 1. Красноярск: КрасГУ. 2003. С. 27-31.

Диссертационная работа поддержана грантом Президента РФ поддержки ведущих научных школ НШ-1212.2003.1

j

I I

!

j

{

i

Í

! I

i

( \

* 1 2 7 4 О

ЛИЦЕНЗИЯ ЛР №021298 от 18 июня 1998 г.

Подписано в печать 12.08.2003. Формат бумаги 60 х 84'/к. Усл. печ. л. 1,0

_Тираж 100 экз. Заказ 1156._

Отпечатано в типографии Курганской государственной сельскохозяйственной академии. 641300 Курганская область, Кетовский район, с. Лесниково, КГСХА

Введение

Глава 1. Перечислительная комбинаторика конфигурации гиперплоскостей в Rn

§1. Число частей дополнения Mn \ Е к нормальному семейству гиперплоскостей Е.

§2. О числе k-мерных граней конфигурации гиперплоскостей в

§3. Вычисление функции fn(E) на языке флагов конфигурации

§4. Конфигурации с правильными кратными точками

§5. Индуктивный способ вычисления функции Мебиуса

Глава 2. Группа гомологий Нп(Сп \ Е) и вычеты рациональных функций с полюсами на Е

§1. Ранг группы гомологий Нп(<Сп\Е).

§2. Порождение группы Нп(Сп\Е) разделяющими циклами

§3. О вычислении вычетов рациональных функций с гиперплоскими полюсами

Геометрия конечных наборов гиперплоскостей отличается многообразием связей с комбинаторикой [21], а также с теорией многомерных вычетов [1], [18], особенностей дифференцируемых отображений [5], и гипергеометрических функций [8]. Перечислительная комбинаторика таких наборов имеет давнюю историю: еще в 1826 г. Якоб Штейнер (J.Steiner) получил формулу для числа частей, на которые разбивается плоскость R2 (пространство R3) прямыми (плоскостями), находящимися в общем положении, а в 1943 г. Р.Бак (R.Buck) распространил результат Штейнера на ситуацию конечного набора гиперплоскостей общего положения в Мп.

Адекватным аппаратом для решения указанных задач оказалось понятие функции Мебиуса на конечных частично упорядоченных множествах. Т.Заславский (T.Zaslavsky) [28] дал общее решение задач о разбиении евклидова и проективного пространств, выразив числа компонент и граней разбиения через функцию Мебиуса, для которой имеется рекуррентный алгоритм вычисления. В это же время математики осознали, что число частей разбиения выражает ранг нульмерной группы гомологий Н0(М.п \ Е) дополнения набора Е гиперплоскостей вЕ", что важными комбинаторными характеристиками наборов гиперплоскостей в Rn и Сп являются ранги групп гомологий Нк(Сп \ Е), 1 ^ к ^ п. Видимо впервые группа гомологий Нп(С" \ Е) была изучена (был найден алгоритм вычисления ее ранга и описана база гомологий) в работе А.П.Южакова [18] в связи с вычетами рациональных функций многих переменных, а затем на основе другого подхода — П.Орликом и Л.Соломоном (P.Orlik, L.Solomon) [24]. Таким образом, классическая задача о числе разбиения пространства Rn гиперплоскостями расширилась до проблемы изучения структуры групп гомологий и когомологий для дополнения С" \ Е, связанной с многомерными вычетами [1], [18], с феноменом зеркальной симметрии в теории суперструн [26], с торической геометрией и теорией гипергеометрических функций [8]. В рамках теории многомерных вычетов при конструировании логарифмических вычетов (потоков интегрирования на аналитическом множестве) и исследовании вычетов Гротендика комбинаторика наборов алгебраических гиперповерхностей в С" появляется в связи с изучением n-циклов, разделяющих этот набор гиперповерхностей ( [17], [20]). Проблема описания разделяющих циклов оставалась неразрешенной даже для набора гиперплоскостей в Сп.

Цель диссертации — продолжить исследование по перечислительной комбинаторике для конфигурации гиперплоскостей в М™, изучить разделяющую подгруппу группы гомологий Нп(Сп \ Е) и вычеты рациональных функций с гиперплоскими полюсами.

Перейдем к описанию содержания диссертации.

В первой главе речь идет о перечислительной комбинаторике конфигурации гиперплоскостей в R™.

Пусть в пространстве R" задано семейство Е = . , Егп} различных гиперплоскостей

Е3 = {х = (хь. ,жп) бК" : ajixi Н-----V а]пхп = bj}, j = 1,. ,га.

Обозначим через fn(E) = /П(ЕЬ. ,Ет) — число частей, на которые пространство Rn разбивается гиперплоскостями Е, т.е. число связных компонент (областей) множества R" \ Е = ]Rn \ (Е\ U • • • U Ет), соответственно, дп{Е) число ограниченных, hn(E) — число неограниченных компонент этого разбиения.

Ребром семейства Е назовем любое непустое пересечение гиперплоскостей этого семейства. Обозначим Ек —объединение всех ^-мерных ребер семейства Е ; fn(E) —число различных А:-мерных граней многогранников, на которые Ш.п разбивается гиперплоскостями семейства Е , т.е. число связных компонент множества Ек \ Ек~^, соответственно, дк{Е), hk(E) — числа ограниченных и неограниченных А;-граней этого семейства. Будем считать пространство R" n-мерным ребром семейства Е. Тогда fn{E) = fn{B), дп(Е) = д"п(Е), hn(E) = h»(E). Очевидно, fn(E)=gt(E) + hkn(E).

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

В §1 первой главы выводятся формулы числа fk(E) различных к-мерных граней многогранников, на которые Мп разбивается гиперплоскостями семейства Е = {Ej}j=^ .,„, расположенными нормально, и чисел дк, hk ограниченных, и неограниченных Ar-граней этого семейства; а также даются точные оценки сверху для fk, Л* при произвольном взаимном расположении гиперплоскостей.

Теорема 1.1 Если гиперплоскости семейства Е пересекаются нормально, т.е. любые к из них либо не имеют общих точек, либо пересекаются по (п — к)-мерной плоскости, то fn{E) = ВП(Е) + ВП^(Е) + Вп,2{Е) + . + В,(Д) + В0(Е), где Вк(Е) — число к-мерных плоскостей (ребер), по которым пересекаются гиперплоскости семейства Е, Bn\(E) = m, Bn(E) = 1.

Теорема 1.2 Если гиперплоскости семейства Е пересекаются нормально и конфигурация Е имеет хотя бы одно 0-ребро, то gn(E) = В0(Е) -£!(£) + ••• + (-l)n1B„i(E) + (-1 )nBn(E),

2[ВХ{Е) + В3{Е) + ■ ■ ■ + Вп(Е)], п = 2к + 1,

К{Е) =

2[ВХ{Е) + Вг{Е) + • • • + Bn^(E)l п = 2к.

Здесь Вп(Е) = 1, Вп.г(Е) = т.

Теорема 1.3 Если гиперплоскости семейства Е пересекаются норгде Bj(E) — число j-мерных ребер семейства Е.

Похожие формулы для нормального семейства получены и для функций g„{E), hk(E) (Теорема 1.4). Для общих конфигураций Е приведены точные оценки сверху для функций /к{Е), g„{E), hkn{E) (Теорема 1.5, 1.6). При фиксированном числе гиперповерхностей конфигурации Е точные оценки реализуются на конфигурациях общего положения.

В §2 первой главы с помощью понятия флага F3]-Jk из последовательности вложенных ребер Тп С Тп С • • • С Т3к ( размерностей ji < 32 <"• < jk) конфигурации Е дается формула для числа fn(E) произвольной конфигурации Е. Если г* — номер ^.-мерного ребра, то всякий флаг конфигурации можно идентифицировать обозначением ЕЦу/j*. Обозначим также через Р/ число г-ребер, проходящих через флаг F = Е^--^.

Теорема 1.7 Если в пространстве R™ задано семейство гиперплоскостей Е — {Е\,., Ет}, то число связных областей, на которые пространство R" разбивается этими гиперплоскостями, можно вычислить по одной из формул: мально, то fn(E) = i + j2(-ir{F)i F где суммирование ведется по всем флагам k = 1,. ,п

О ^ ji < ■ ■ ■ < jk < п, e{F) = п-к- o(F); п—1 п—1 fn(E) = 1 + (-1Г ^(S) - £ Е Во - в, + В2 + • • • + (-1)"-1 Дг,, причем Bk — число к-ребер семейства Е.

Результат Теоремы 1.7 является в некотором смысле двойственным к утверждению Т.Заславского.

В §3 первой главы выводятся формулы числа частей разбиения пространства R™ и fc-ребер, если конфигурация имеет лишь правильные кратные точки: 0-ребро называется правильным, если через него проходит s ^ п гиперплоскостей и любые п из них пересекаются по точке. Причем формулы выводятся двумя способами: используя аппарат функции Мебиуса и с помощью простых геометрических рассуждений.

Теорема 1.8 Если конфигурация Е имеет лишь правильные кратные точки пересечения, и через любое к-мерное ребро, к > 0, проходит ровно п — к гиперплоскостей, то число всех областей этой конфигурации выражается формулой где kj — число гиперплоскостей, проходящих через j-ю точку пересечения.

Если, кроме того, семейство Е регулярно, то число ограниченных областей конфигурации Е, выражается формулой

Аналогичные формулы для f%(E) и д?(Е), хотя и более громоздкие, отмечены в Теореме 1.9.

Обозначим совокупность всех ребер семейства гиперплоскостей {Ei,. ,Ет} через L(E). Упорядочим L(E) по прямому включению. Тогда функция Мебиуса /л : L(E) —> Ъ определяется по закону ц{R") = 1 и

Таким образом, для вычисления значения /i(u) формально требуется вычисление значений ц по всем и, содержащим и.

В §4 первой главы доказывается, что на самом деле р(и) можно вычислить лишь по значениям на ребрах, размерность которых на единицу больше размерности и. Эталонной является ситуация, когда dimw = 0 (т.е. и — это точка).

Теорема 1.10 Предположим что все гиперплоскости семейства {Ei,. , Em] в R" или С" проходят через начало координат 0. Тогда где суммирование проводится по всем 1-ребрам из L(E), не лежащих в Ет.

Вторая глава посвящена исследованию группы гомологий Hn(Cn \ Е) дополнения до семейства гиперплоскостей в С" и многомерных вычетов рациональных функций с гиперплоскими полюсами, т. е. с полюсами на Е. Вначале приводится утверждение о ранге группы Нп(С" \Е) (Теорема 2.2), которое выражает индуктивную (по размерности п) зависимость ранга. Затем исследуется разделяющая подгруппа группы гомологий Hn(Cn \ Е)

Теория циклов, разделяющих гиперповерхности (дивизоры) возникла в связи с исследованием конструкций многомерных логарифмических вычетов [1, 17]. Введем соответствующие понятия.

Пусть X — комплексное аналитическое многообразие комплексной размерности 7i : dime X = п, и . , Ет, т п — аналитические подмножества в нем чистой коразмерности 1, т. е. гиперповерхности. Обозначим

Ио)| = ЕИ')|

Е = Ei U • • • U Е, т •

Возьмем произвольное разбиение множества {1,.,ш} на п непустых непересекающихся подмножеств: ,7 = (Ji,.,Jn) и рассмотрим соответствующую систему п дивизоров S = (Sь . , 5„), где Sk = 1J Е3. Пусть а je-Jk изолированная точка пересечения Zj = S\ П • • • П Sn и пусть ip 6 0{Ua) функция, определяющая дивизор Sj в окрестности Ua точки а :

Sj П Ua = {z Е Ua : = 0}.

Рассмотрим цикл

Гa;j = {zeUa : \¥]{Z)\ = ■■■ = \<fn{z)\ = £}, ориентацию которого определим условием d(arg(pi) Л • ■ • Л d(arg<fn) ^ 0. п

Очевидно, что Fa]J £ Zn(X\ (J Sj) — Zn{X\E), т. е. Га; j — цикл с носителем j=i вне объединения Е семейства гиперповерхностей ,Ет.

Подгруппа группы Нп(Х \ Е), порожденная циклами ra;j для всевозможных разбиений J и изолированных точек a £ S\ П • • • П Sn называется разделяющей и обозначается Н*(Х \ Е) [20]. Таким образом, класс [Г] € Нп(Х \ Е) цикла Г принадлежит этой подгруппе, если в X \ Е имеет место гомология a,J

Очевидно, если [Г] € Н*(Х\Е), то согласно формуле Стокса интеграл от мероморфной дифференциальной n-формы по п-мерному циклу в X \ Е выражается через локальные вычеты j uj = (27r'/)n^na;Jresai5a;, г a> J где resа>5и> = (27гг) п J tv — локальный вычет формы со в точке а отноra;j сительно системы дивизоров S (его также называют вычетом Гротендика).

Разделяющие циклы играют важную роль в конструкциях многомерных логарифмических вычетов и вычетов Гротендика.

Критерий принадлежности цикла Г Е Нп(Х\Т) разделяющей подгруппе был дан А.К. Цихом [16], [17] в случае тп = п. Для rn > п А.П Южаковым [20] такой критерий был получен при некоторых ограничениях на гиперповерхности. Основной результат второй главы показывает, что для набора гиперплоскостей в С" вся группа гомологий Нп(С" \Е) совпадает с разделяющей подгруппой.

Теорема 2.3 Всякий нетривиальный п-цикл Г в <Сп \ [J Ej гомологичен

Наконец в заключительном параграфе приводится универсальный способ вычисления вычетов рациональных функций с гиперплоскими полюсами. Этот способ может быть эффективно применен к реализации Теоремы Е.К.Лейнартаса [13] о разложении рациональной функции на простейшие дроби.

Основные результаты опубликованы в работах [29]-[37].

По материалам диссертации делались доклады: на Международной конференции "Симметрия в естествознании" (Красноярск, 1998); на Всеросийской научно-практической конференции "Проблемы физико-математического образования в педагогических вузах России на современном этапе" (Магнитогорск, 1999); тп линейной комбинации циклов Ta j '■ на Международной конференции "Симметрия и дифференциальные уравнения" (Красноярск, 2000).

Автор глубоко благодарен Александру Петровичу Южакову и Августу Карловичу Циху за научное руководство работой.

1. Айзенберг J1.A., Южаков А.П. Интегральные представления и вычеты в многомерном комплексном анализе. Новосибирск: Наука, 1979. 368 с.

2. Барнабеи М., Брини А., Рота Дж.-К. Теория функций Мебиуса // УМН. 1986. Т. 41, №3. С. 113-157.

3. Варченко А.Н. О числе граней конфигурации гиперплоскостей // ДАН СССР. 1989. Т. 38. С. 291-295.

4. Варченко А.Н., Гельфанд И.М. О функциях Хевисайда конфигурации гиперплоскостей // Функцион. анализ и его прил. 1987. Т. 21, Вып. 4. С. 148.

5. Ваильев В.А. Топология дополнений к дискриминантам .Москва: ФЛЗИС, 1997. 536 с.

6. Васильев В.А., Гельфанд И.М., Зелевинский А.В. Общие гипергеометрические функции на комплексных грассманианах // Функцион. анализ и его прил. 1987. Т. 21, Вып. 1. С. 23-38.

7. Васильев Н.В., Гутенмахер B.J1., Раббот Ж.М., Тоом A.JI. Заочные математические олимпиады. М.: Наука, 1987.

8. Гельфанд И.М., Зелевинский А.В. Алгебраические и комбинаторные аспекты общей теории гипергеометрических функций // Функцион. анализ и его прил. 1986. Т.20, Вып. 3. С. 17-34.

9. Головина Л.И., Яглом И.М. Индукция в геометрии. М.: Физматгиз, 1961.

10. Горески М., Макферсон П. Стратифицированная теория Морса. М.: Мир, 1991.

11. Егорычев Г.П. Интегральные представления и вычисление комбинаторных сумм. Новосибирск: Наука, 1977. 286 с.

12. Захаров А.В., Южаков А.П. Оценка числа частей разбиения пространства гиперплоскостями j j Тезисы докл. Всерос. конф. "Алгоритмический анализ некорректных задач" Екатеринбург: УрГУ. 1998 С. 295-296.

13. ЛеЙНАРТАС Е.К. Разложение рациональных функций многих переменных на простейшие дроби // Изв. вузов. Математика. 1978. №10(197). С. 4751.

14. Стенли Р. Перечислительная комбинаторика. М.: Мир, 1990. 440 с.

15. Цих А. К. О циклах, разделяющих нули аналитических функций в С" j j Сиб. мат. журн.1975. Т. 11. №16. С 1118-1121.

16. Цих А.К. Критерии представимости интеграла по циклу через вычеты Гротендика. Некоторые приложения // Докл. АН СССР. 1984. Т. 277. №5. С. 1083-1087.

17. Цих А.К. Многомерные вычеты и их применения. Новосибирск: Наука, 1988. 241 с.

18. Южаков А. П. О вычетах функций многих комплексных переменных j j Изв. вузов. Математика. 1964. №5. С. 149-181.

19. Южаков А.П. Вычисление вычетов мероморфной функции, знаменатель которой разлагается на линейные множители j J Математические записки. Свердловск: УрГУ. 1967. Т. 5, №2. С. 116-124.

20. Szenes A., M.Verg ne Toric Reduction and a Conjecture of Вatyrev and Materov //http://xxx.arxiv.org/abs/math.AT/0306311, June 2003

21. Winder R.O. Partition of N-space by Hyperplanes // Siam. J. Appl. Math. 1966. V. 1, N 14. P. 811-818.

22. Zaslavsky T. Facing up to arrangement: face-count formulas for partions of space by hyperplanes // Amer. Math. Soc. Memoir. 1975. P. 154.Работы автора по теме диссертации

23. Московченко Г.А., Южаков А.П. О числе граней разбиения пространства R™ гиперплоскостями // Тезисы докл. Междунар. конф. "Симметрия в естествознании". Красноярск: Ин-т вычисл. моделирования СО РАН. 1998. С. 158-160.

24. Московченко Г.А., Южаков А.П. О числе k-мерных граней разбиения пространства R™ гиперплоскостями // Сб. науч. трудов "Математическое и программное обеспечение научных исследований и обучения". Курган: КГУ. 1998. С. 3-8.

25. Московченко Г.А., Южаков А.П. О конфигурации гиперплоскостей с правильными кратными точками пересечения // Труды межд. конф. "Симметрия и дифференциальные уравнения". Красноярск: Институт вычислительного моделирования СО РАН. 2000. С. 269-271.

26. Московченко Г.А. Формула числа частей разбиения пространства М3 плоскостями // Сборник научных трудов аспирантов и соискателей Курганского государственного университета. Курган: КГУ. 2003. С. 3-6.

27. Московченко Г.А. О числе частей разбиения пространства М" гиперплоскостями // Вестник Красноярского государственного университета. Вып. 1. Красноярск: КрасГУ. 2003. С. 27-31.