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

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ КРАСНОЯРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

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

КЫТМАНОВ АЛЕКСЕЙ АЛЕКСАНДРОВИЧ

ЯДРА ИНТЕГРАЛЬНЫХ ПРЕДСТАВЛЕНИЙ, СВЯЗАННЫЕ С ТОРИЧЕСКИМИ МНОГООБРАЗИЯМИ

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

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

Красноярск 2003

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

Научный руководитель: Официальные оппоненты:

Ведущая организация:

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

доктор физико-математических наук, профессор С.П.Царев кандидат физико-математических наук, доцент О.В.Знаменская

Институт математики СО РАН, г. Новосибирск

Защита состоится "01" июля 2003 г. в 10 часов на заседании диссертационного совета Д212.099.02 в Красноярском государственном университете по адресу: 660041, Красноярск, пр. Свободный 79.

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

Автореферат разослан " 23" мая 2003 г.

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

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

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

Метод интегральных представлений для голоморфных функций играет важную роль как в самом комплексном анализе (см. [1, 4, 5, 7]), так и в ряде других областей, например, в алгебраической геометрии [2, б], и математической физике [5,10]. Если речь вести об интегральных формулах вида

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

Исторически первыми многомерными интегральными представлениями были:

- формула Коши для полицилиндра, доказанная А.Пуанкаре [21] в 1887г.

- формула Бохнера-Мартинелли для шара [12] (1938), [И] (1943).

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

В 1999г. А.К.Цих [22] ввел понятие атомарного набора плоскостей и заметил, что сингулярности ядер Коши и Бохнера-Мартинелли являются атомарными, а также, что атомарные наборы тесно связаны с теорией то-рических многообразий (о теории таких многообразий см. книги Оды [20], Фултона [17], а также [3], [13]-[16],[18], [19]). Частным случаем торичес-ких многообразий является комплексное проективное пространство СР„. Известно, что ядро Бохнера-Мартинелли в С+1 тесно связано с формой

(1)

г

[1, 6].

объема для метрики Фубини-Штуди проективного пространства О6,, (см. [2] или [4]).

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

Цель диссертации

Построение форм объема на торических многообразиях (аналогов форм Фубини-Штуди) и эталонных форм (ядер) в С* с сингулярностями на некоторых координатных подпространствах.

Построение интегрального представления для голоморфных функций в ¿-круговых полиэдрах с эталонным ядром. Описание областей, в которых справедливо данное интегральное представление.

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

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

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

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

- построены формы объема и?о([СЗ) на торических многообразиях X (аналоги форм Фубини-Штуди) и эталонные формы и)(С) на С* ч Z(T,), где Я(Е) представляет собой объединение некоторых координатных подпространств в С*; •

- построены интегральные представления в ¿-круговых полиэдрах с эталонными ядрами.

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

Публикации и апробация работы

Основные результаты диссертации опубликованы в работах [24]-[32]. По материалам диссертации делались доклады:

- на международной конференции "Математические модели и методы их исследования" (Красноярск, 2001);

- на международной школе-конференции по геометрии и анализу (Новосибирск, 2002);

- на ХЬ и ХЫ международных научных студенческих конференциях "Студент и научно-технический прогресс" (Новосибирск, 2002, 2003);

- на международной конференции "Многомерный комплексный анализ" (Красноярск, 2002),

а также на городском научном семинаре по многомерному комплексному анализу при Красноярском госуниверситете (Красноярск, 2001-2003).

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

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

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

Определение [22], [23]. Набор (координатных) плоскостей {Е„} С С* (не обязательно равных размерностей) называется атомарным, если наивысшая нетривиальная группа когомологий их дополнения является одномерной, т.е.

для некоторого ко. Образующая и группы Нк°(С? \ у^) называется ядром для набора {Л'„}.

В основе исследования диссертационной работы лежит теория торичес-ких многообразий. Свойство атомарности набора ^(Е) координатных плоскостей в С*, построенных по вееру Е, кодирующего торическое многообразие X, обеспечивается возможностью введения действия группы С? ~ (комплексного тора) на С* ч для которой совокупность орбит

Содержание диссертации

к = к0, к > к0

[С ч Я(Е)]/С? =: X

представляет собой компактное торическое многообразие, а С* ч ■£(£) го-мотопически эквивалентно расслоению над X со слоем — вещественный ' т£р

ТГ = {А<ЕС£ :|А1|=1>...,|Аг| = 1}.

Атомарный набор плоскостей ¿/(£) и группа & определяются по вееру £ из М", при этом С строится только по одномерным образующим

«!,..., 2" с К"

веера £ (при этом размерность (7 равна г = ё. — п), а в конструкции участвуют конусы других размерностей. Проиллюстрируем вначале конструкцию ядра ш для и формы объема ио для X на примере проективного пространства X = ОРщ Для которого веер определяется в М" с помощью с1 = п + 1 образующих

VI = (1,0,... ,0),... ,и„ = (0,... ,0,1),«п+1 = (-1,... ,-1),

при этом любой набор из г векторов определяет г-мерный конус (г = 0,1,... ,п) в £. Между образующими и,- есть единственное (с точностью до линейной зависимости) соотношение:

1 • «1 + ... + 1 • «„ + 1 ■ ьп+1 = 0.

Вектор (1.....1,1) из коэффициентов этого соотношения порождает действие одномерного тора С* на С:

А-с = (А1-С1....,А1.Со+1), АеС,, сес*.

Как следует из общей конструкции для рассматриваемого веера набор ¿Г(£) состоит из одной координатной плоскости размерности нуль, т.е. из начала координат 0 € €"+1. Мы знаем, что ядром для набора Z('E) = {0} может служить форма Бохнера-Мартинелли (которую мы запишем без традиционного нормировочного коэффициента)

(О)

Ш - |£|2(п + 1) ' ^

где ¿С = Л ... Л ¿Сг+ь а Е(£) — дифференциальная форма Эйлера

п+1

= (здесь [&] — знак пропуска ¿Сл в

к-1

В свою очередь, форма объема метрики Фубини-Штуди на X = ОР„ равна

- |С|2(„ + 1) •

В случае общего веера Е в!" искомое ядро для набора ¿7(Е) в С* имеет бистепень (с?, п) и, подобно (2), представляется в виде

где /г(() — (п, 0)-форма, обобщающая форму Эйлера Е((), а </(£, С) — полином, имеющий подходящую полистепень однородности и обращающийся в нуль в точности на ¿?(Е). Форма /г(С), как и группа С?, определяется только по образующим «!,...,«<( веера Е, а полином д, как и ¿Г(Е) — по всему вееру Е. А именно, обозначим через V матрицу из вектор-строк «1,... , ьа, а через А = — левь,й аннулятор матрицы V (т.е. А - V = 0),

представляющий решетку соотношений между векторами Заметим, что согласно Предложению 1.1 матрицу А можно выбрать с неотрицательными элементами а^. Каждому упорядоченному набору ./ = (л, ■ • • ,.7п), где 1 ^ л < ... < ]п ^ ^ поставим в соответствие минор Аз матрицы А, полученный вычеркиванием столбцов с номерами л,... Тогда аналог формы Эйлера — это форма

МО = Е'ы)1-71-1 А/С№0, (4)

.7

где суммирование ведется по всем упорядоченным мультииндексам J, а через СИ и ¿Сз обозначены произведения

П> и

ЦЗ зЫ

Отметим, что по внешнему виду введенная здесь форма й(£) отличается от ранее рассмотренного аналога формы Эйлера (см. [14]), в котором вместо числовых коэффициентов (—ставились V) — миноры матрицы V, составленные из строк с номерами л,... ,Выражение (4) оказалось для нас более предпочтительным, хотя Лемма 3.1 утверждает, что оно отличается от определения из [14] лишь числовым множителем.

Для определения полинома д (знаменателя ядра и) предположим, что веер Е симплициальный, примитивный и выпуклый. Пусть <тт. т =

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

п г-1

с помощью которых составим полином

м / й \

= Е Пю12(^+1) • (5)

17» = 1 \( = 1 /

Выпуклость веера £ обеспечивает полиномиальность д, т.е. что все мономы имеют положительные степени.

Наконец, укажем, что действие группы

в : (С ч 2(Е)) х С С1 ч £(£)

определяется с помощью матрицы А = (аформулой

(С, А) (А"11 ..... А?"1 • <л, • • • , А?" • • • • • АГ • СО. (6)

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

Теорема 2.1. Дифференциальная ((I, п)-форма

Щлас " Ж, С)

с формой Эйлера (4) в числителе и знаменателем (5) является ядром для набора £(£)■ При действии (6) ядро и преобразуется к виду

(1\\ й\г ш —> —— Л ... Л —— Л Шо + их Ах Аг

с положительной формой (аналогом формы Фубини-Штуди)

ЩлМ0

нулевой степени однородности по действию группы (7, и формой которая не содержит сопряженных дифференциалов ¿А,- и в каждом из своих слагаемых имеет не более, чем (г — 1) дифференциалов </А,-.

Для описания двойственного (по де Раму) ядру ш цикла Г определяющую роль играет моментное отображение и конус Кэлера для многообразия X.

Моментное отображение р,: С* —>• Шг для пространства О* со стандартной симплектической структурой и действием группы Ст (по формуле (6)) определяется матрицей А — (а,^) следующим образом:

Жь--- .СО = >рг),

где

«и Ю !2 + • • • + аи|С*|2 = Р1 < : (7)

. аг1|С1р + ...+аг<^|0|2 -Рг-

При фиксированном р = ... ,рг) 6 Мг соотношения (7) определяют множество Г = Г(/р) = р~1(р).

Цикл Г(р) обладает нужными для нас свойствами, когда р принадлежит конусу Кэлера многообразия X.

Для описания конуса Кэлера напомним [15], что набор векторов ... ,г)Ат веера Е называется примитивным, если он не определяет конуса в Е, но любой его собственный поднабор определяет конус в £.

Для каждого примитивного набора векторов г/^,... , представляем их сумму в виде

+ ...+ Укт= а,+ ... + Хгп , а1,... , е,„ € Q+l

где ... образуют конус, в который попадает эта сумма.

Конус Кэлера К представляет собой образ при момен гном отображении

(7) множества в С1*, определенного системой неравенств

1С*!I2 + • • • + |С*т|2 - ^ |СнI2 - • • • - 1С„I2 > 0, (8)

причем неравенств столько, сколько примитивных наборов. Неравенства

(8) будем называть условиями кэлеровости.

Заметим, что для р £ К цикл Г = Г(/>), определяющийся системой (7), лежит в О4 ч Е) и расслаивается над X со слоями, изоморфными действительным торам Тг, а именно .. >

Г(р)/Св = X,

где

СЛ := {(А?11 ' • • •' Кг\- ■ ■ Л11" ■■■■■ Кы) ■ 1Л,-| = 1, з = 1, • • • ,г},

(см. [14] или [15]). Отсюда, как следствие, получаем, что Г не гомологичен нулю в Этот факт также подтверждает следующее утверждение,

вытекающее из Теоремы 2.1.

Следствие 2.1. /и> = / и>а — С, где С есть некоторая константа, Г X

отличная от нуля, выражающая объем торического многообразия Ж относительно формы Шо.

В §2.4 вначале доказывается интегральное представление в нуле. Предложение 2.3. (Воспроизводящее свойство ядра ш) Пусть функция /(С) голоморфна в окрестности нуля и, р= {р\,... ,рГ) принадлежит конусу Кэлера и настолько мало, что цикл Т(р) С и. Тогда справедливо интегральное представление

т = £ / /кмо. (9)

ГЫ

где С = / и>о — константа нормировки, х

Далее рассматривается область Б = Ор в пространстве С* переменных г, определенная системой неравенств

Ы2 + ... + Ы2<К\:;у:,;ю{р), (10)

где каждое неравенство соответствует примитивному набору г^,,... , веера а ЯЦ''.".''кт(р) — образ выражения из левой части (8) при момент-ном отображении (7). И для функций, голоморфных в ¿-круговом полиэдре ЦТ — \УР, определенном системой неравенств

' аи|С1|2 + .-- + аы|0|2</>1

< ; си)

. аг1|<1|2 + --- + «г*Ю|2 <рг,

доказывается

Теорема 2.2. Пусть функция /(£) голоморфна в области Щ, определяющейся неравенствами (11), и непрерывна в замыкании IV. Тогда в пересечении ВПШ, где область £), определяется неравенствами (10), справедливо

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

г

где цикл Г = Г(р) определяется равенствами (7).

Далее в §§2.5 и 2.6 рассмотрены два примера построения эталонных форм и форм объема на комплексно-двумерных торических многообразиях заданных с помощью выпуклого и невыпуклого вееров.

Первое торическое многообразие задано двумерным веером с образую-

щими «1=(1,0), «2=(0,1), «а=(—1,0), 1м=(-1, -1), «5=(0, -1). В этом случае множество Z(Y¡) =

= {О - Сз = 0}и{Са = С4 = 0}и{С2 = <4 = 0}и{С2 = Сб = 0}и{<3 = С5 = 0}.

При фиксированном р = {р\,р2,рг) Е К2 соотношения (12) определяют множество Г(р) = р~1(р).

Конус Кэлера для данного торического многообразия задается следующими неравенствами

При соотношениях (13) цикл Г не пересекает Z(Щ.

Эталонная форма в С? ч Z('S) (аналог формы Бохнера-Мартинелли) имеет бистепень (5,2) и представляется в виде (3) с числителем

-СзС4С5<1 л ¿С2 + СгСзС^С! Л (1(4 + С2СзС4<1 а <1(ь - ббСв^Са Л с?Сз--С1СзС5<2 А <4 - ОСгСз^Сз Л ¿С4 - ОС2С4^Сз А ¿С5 - СгСгСз^ А <*С5.

Группа (7 есть 3-параметрическая поверхность

{(А^а^Аз.Аз.АьАз) : А,- 6 С} С (С)5. Моментное отображение р : С5 -> М3 здесь следующее

(12)

(13)

А(С) =

и знаменателем

я{С,С) =

|С1|2|С2|41Сз|2 + Ы4|С2|2|С5|2 + К1|41С4|2|С5|4 + 1С2|4|СЗ|4|С4|2 + |СЗ|4|С4|6|С5|4.

Константу нормировки С, участвующую в интегральном представлении (9) и выражающую объем торического многообразия X в виде 4-кратного интеграла можно выписать с помощью однократных ин-

тегралов:

С = (2тп)

Лз

-16тг-

г /

\/(2г2 — г3) (г3 + 2г2 + 4)

arctg

2г2 - г3 г3 + 2г2 + 4

¿г—

+оо

>/(г3-2г2)(г3 + 2г2 + 4)

1п

угз _ 2г2 + у^з + 2г2 + 4

л/г3 - 2г2 - \/г3 + 2г2 + 4

¿г

В формулировке теоремы 2.2 для данного примера области О тШ определяются следующими неравенствами:

£) :

Ы2 + Ы'2 < Р2

ы2 + ы2 <рз к1|2 + |г4|2</>1-/?3 Ы2 + Ы2 < р\ ~Р2 Ы2 + Ы2<р2 + р3-

р 1

|С1|2 + |С2|2 + 1С4|2</С1 < |С1|2+ |Сз|2 < Р2 1С2|2 + |С5|2 <ръ.

В случае, когда торическое многообразие задается невыпуклым веером, возникает сложность с тем, что множество особенностей формы ш может не совпадать с множеством Z(TI). В §2.6 рассмотрен конкретный невыпуклый веер и показано, что несмотря на вышеуказанную проблему, форма ш является ограниченной вблизи своих особых точек, не лежащих в £(£), и интегральное представление существует, как и в случае выпуклого веера.

Рассматривается торическое многообразие, заданное двумерным веером с образующими «1=(1,0), и2=(-2,1), г>з=(-1,0), г)4=(-2, -1).

В этом случае множество

ад = {С1 = Сз = о) и {с2 = с4 = о}.

Группа С? есть 2-параметрическая поверхность

{(А?А2,А1,А2,А1):А^€С.}С(С.)4. Моментное отображение ц : С4 —» К2 следующее

/>1=4|С1|2 + |С2|2 + |С4|2

^2 = 1С1|2 + 1СЗ|2. (14)

При фиксированном р = (риръ) € ®2 соотношения (14) определяют множество Г(/р) = р~г{р).

Конус Кэлера для данного торического многообразия будет задаваться следующими неравенствами:

{

; и (15)

р1 > 4^2- 4 '

При соотношениях (15) цикл Г не пересекает Z(J2).

Эталонная форма вСч ¿?(Е) (аналог формы Бохнера-Мартинелли) имеет бистепень (4,2) и представляется в виде

Ж. ОМС) А ¿С Ш(С) - 9«, С) ■ Здесь аналог формы Эйлера

40 = -СзС^О А ¿С2 + СгСз<1 А ¿С4 -. СхС^Сг А ¿Сз~ -4СхСзйС2 А аС4 - СКг^Сз А

знаменатель

Ж, С) = 1С1141С2|4 + !С1|4|С4|4 + |С2|16|СЗ|4|С4|4 + |С2|4|СЗ|4|С4|16,

а добавочный весовой коэффициент д — это моном |С2|4|С4|4-Множество

ги := = Сз = 0} и {Сг = С4 = 0} и = Сг = 0} и {С1 = С4 = 0}

особенностей формы ш (нули знаменателя д(С) С)) не совпадает с множеством Z('S) из-за невыпуклости веера Цикл Г может пересекать плоскости {С1 Сг = 0} и {^1 = С4 = 0}. Однако доказано, что форма ш является ограниченной вблизи плоскостей {С1 = Сг = 0} и {С1 = С4 = 0} и, следовательно, интегрируема по циклу Г.

Константу нормировки С в данном случае можно вычислить до конца:

В формулировке теоремы 2.2 для данного примера области £> и ]У определяются следующими неравенствами:

Третья глава посвящена получению интегральных представлений (9) путем усреднения ядер Коши по некоторым положительным мерам ¿<т.

В §3.1 указанное усреднение иллюстрируется на примере ядра Бохнера-Мартинелли.

В §3.2 приводится построение положительной меры ёа в общем случае и доказывается теорема о реализации интегрального представления (9) в виде усреднения ядер Коши по мере (1<т.

Введем необходимые обозначения. Прежде всего заметим, что знаменатель д(С,С) зависит только от переменных а = £¿6 = |С,-|2, г' — 1,... ,(1. Таким образом

4тт5 г-

С = ~ 1п(7 + 4^/3).

л/3

I) :

Г 1С!|2 + |СЗ| I 1С2|2 + |С4|

м

9(СС) :=д(е)=^е""

т=1

где

= П е<гт+1

Также пусть к(е) — форма (4). Рассмотрим п-форму

J

м

Через Др обозначим пересечение с положительным октантом М^. = {г = {е\ ,... , £d) : £j ^ 0} плоскости

ац£] + ... + a^Sd = pi

- ; (is)

. arl£i + • • • + arded = pr.

Согласно предложению 3.1 форма d<r(e) представляет собой положительную меру на Ар.

Через Td(e) обозначим вещественный тор |zj |2 = Si,... , |г^|2 = ец-

Теорема 3.1. Пусть р = (plt... ,рг) достаточно мало и принадлежит конусу Кэлера. Тогда справедливы равенства

Л») = щЬ,F //(см<) = щЬу / / K)d-£Л "'Л f'

Г(р) Др Т*(е)

где К = /д dcг(е). Таким образом, интегральное представление (9) реализуется в виде усреднения формул Ноши по положительной мере da на Ар.

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

Литература

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

[2] Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии. М.: Мир, 1982. 860 с.

[3] Данилов В.И. Геометрия торических многообразий // УМН 1978. Т. 33. С. 85-134.

[4] Кытманов A.M. Интеграл Бохнера-Мартинелли и его применения. Новосибирск: Наука, 1992. 240 с.

[5] Хенкин Г.М. Метод интегральных представлений в комплексном анализе. Современные проблемы математики. Фундаментальные направления. (Итоги науки и техники). М.: ВИНИТИ, 1985. Т. 7. С. 23-124.

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

[7] Шабат Б.В. Введение в комплексный анализ. 4.2. Функции нескольких переменных. М.: Наука, 1985. 400 с.

[8] Atiyah M.F. Convexity and commuting Hamiltonians// Bull. Lond. Math. Soc. 1982. V. 14. P. 1-15.

[9] Atiyah M.F. Angular momentum, convex polyhedra and algebraic geometry// Proc. of the Edinburgh Math. Soc. 1983. V. 26. P. 121-138.

[10] Batyrev V., Materov E. Toric residues and mirror symmetry// Moscow math, journal. 2002. V. 2. №3. P. 435-475.

[11] BoCHNER S. Analytic and meromorphic continuation by means of Green's formula// Ann. Math. 1943. V. 44. P. 652-673.

[12] Martinelli E. Alcuni teoremi integrali per le funzioni analitiche di ргй variabili complesse// Mem. R. Accad. Ital. 1938. V. 9. P. 269-283.

[13] Cox D. The homogeneous coordinate ring of a toric variety// J. Algebraic Geom. 1995. V. 4. P. 17-50.

[14] Cox D. Toric residues// Ark. Mat. 1996. V. 34. P. 73-96.

[15] Cox D. Recent Developments in Toric geometry 11 Algebraic Geometry -Santa Cruz 1995. V. 2. J. Kollâr, R. Lazarsfeld and D. Morrison, editors. AMS. Providence. RI. 1997. P. 389-436.

[16] DEMAZURE M. Sous-groupes algébriques de rang maximum du groupe de Cremona// Ann. Sci. École Norm. Sup. 1970. V. 3. P. 507-588-

[17] Fulton W. Introduction to Toric Varieties. Princeton U. Press. Princeton, NJ. 1993.

[18] Khovanskii A. Newton polyhedra and toroidal varieties// Funct. Anal. Appl. 1977. V. 11. P. 289-296.

[19] Kemph G., Knudsen F., Mumford D., Saint-Donat B. Toroidal Embeddings I. Lecture Notes in Math. V. 339. Springer-Verlag. Berlin Heidelberg New York. 1973.

[20] Oda T. Convex Bodies and Algebraic Geometry. Springer-Verlag. Berlin Heidelberg New York. 1988.

[21] PoiNCARÉ Sur les residues des integrates doubles// Acta Math. 1887. V. 9. P. 312-380.

[22] TsiKH A. Toric residues// Proceedings of the conference "Nordan"/ Grand Hôtel Saltsjôbaden, Sweden. April 22-25, 1999

[23] TsiKH A. Some kernels in residue theory// Workshop "Singularities in Geometry and Analysis"/ St. Marienthal, Uni. Cottbus, Germany. September 24-28, 2002. P. 19.

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

[24] Кытманов A.A. Форма объема для некоторых торических многообразий/ / Тр. межд. конф. "Математические модели и методы их исследования". Красноярск: ИВМ СО РАН. 2001. Т. 2. С. 52-55.

[25] Кытманов A.A. Об аналоге ядра Бохнера-Мартинелли для одного тори-ческого многообразия// Сб. научн. тр. "Вопросы математического анализа". Красноярск: КрасГТУ, 2002. Вып. 5. С. 48-53.

[26] Кытманов A.A. Об одном интегральном представлении в С5// Сб. научи. тр. "Многомерный комплексный анализ". Красноярск: КрасГУ. 2002. С. 79-89.

[27] Кытманов A.A. Об одном классе интегральных представлений в областях пространства С*// Материалы XL международной научной студенческой конференции "Студент и научно-технический прогресс". Математика. Новосибирск: НГУ. 2002. С. 74-75.

[28] Кытманов A.A. Об интегральном представлении, связанном с то-рическим многообразием, которое определяется невыпуклым веером)/ Тез. межд. конф. "Многомерный комплексный анализ". Красноярск: КрасГУ. 2002. С. 22-23.

[29] Кытманов A.A. Об одном классе интегральных представлений в полиэдрах пространства С1// Тез. межд. конф.-школы по геометрии и анализу. Новосибирск: Институт математики СО РАН. 2002. С. 54.

[30] Кытманов A.A. Об одном интегральном представлении, ассоциирован-' ном с торическим многообразием, заданным с помощью невыпуклого веера// Сб. научн. тр. "Вопросы математического анализа".-Красноярск: КрасГТУ. 2003. Вып. 6. С. 124-133.

[31] Кытманов A.A. Об аналоге формы Фубини-Штуди для двумерных то-рических многообразий// Сиб. матем. журн. 2003. Т. 44, № 2. С. 358-

[32] Кытманов A.A. О ядрах интегральных представлений как усреднениях ядра Ноши// Вестник КрасГУ. Сер. физ.-мат. науки. Красноярск, 2003. Вып. 2. С. 3-9.

[33] Кытманов A.A. О построении формы объема для торических многообразий/ /Материалы XLT международной научной студенческой конференции "Студент и научно-технический прогресс". Математика. Новосибирск: НГУ. 2003. С. 46-47.

371.

Подписано в печать 20.05.03. Формат 60x84/16. Бумага тип. Печать офсетная.

Тираж 100 экз. Заказ 322-

Издательский центр

Красноярского государственного университета. 660062, Красноярск, пр. Свободный, 79.

2<=>о5-/|

Введение

1. Предварительные сведения

1.1. Интегральное представление Бохнера-Мартинелли.

1.2. Метрика и форма объема Фубини-Штуди на проективном пространстве

1.3. Конструкция торического многообразия

1.4. Моментное отображение.

1.5. Конус Кэлера.

2. Ядра, ассоциированные с торическими многообразиями

2.1. Постановка задачи.

2.2. Ядра интегральных представлений

2.3. Аналог формы объема Фубини-Штуди.

2.4. Интегральное представление.

2.5. Ядра, ассоциированные с двумерными выпуклыми веерами

2.6. Пример с невыпуклым веером.

3. Ядра интегральных представлений как усреднения ядер Ко-ши

3.1. Формула Бохнера-Мартинелли как усреднение формулы Коши

3.2. Общие усреднения ядер Коши

Метод интегральных представлений для голоморфных функций играет важную роль как в самом комплексном анализе (см. [1, 8, 9, 11]), так и в ряде других областей, например, в алгебраической геометрии [5, 10], и математической физике [9, 17]. Если речь вести об интегральных формулах вида в которых ядра z) являются замкнутыми дифференциальными формами, а множествами интегрирования Г служат циклы, то можно заметить тесную связь концепции интегральных представлений с теорией вычетов [1, 10]. Здесь дело в том, что формула (1) эквивалентна тому, что вычет относительно цикла Г для ядра ш = ы(£,0) (т.е. интеграл и по Г) равен единице.

Исторически первыми интегральными представлениями были:

- формула Коши для полицилиндра, доказанная А.Пуанкаре [33] в 1887г.

- формула Бохнера-Мартинелли для шара [30] (1938), [18] (1943).

Соответствующие ядра указанных формул в n-мерном пространстве следующие:

1) г

1 dCi

2пг)п Ci (n

ШВМ ~ jcF '

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

В 1999г. А.К.Цих [34] заметил, что эталонные ядра и = шд- и и = и>вм обладают свойством: cj регулярна в области, наивысшая нетривиальная группа когомологий которой имеет одну образующую, представленную формой си.

Так, ядро Коши сок регулярно в комплексном торе (С \ {0})", который гомотопически эквивалентен вещественному тору Тп, и ядро Бохнера-Мартинелли регулярно в проколотом пространстве С" \ {0}, гомотопически эквивалентном сфере S2n~l. Таким образом, гомотопические типы областей регулярности указанных форм представляются связными ориентируемыми компактными многообразиями, поэтому для комплексного тора наивысшая нетривиальная группа когомологий есть #"((С\ {0})"), а для проколотого пространства — группа Н2п~1 (С® \ {0}), причем эти группы одномерны. Еще одна общая специфика ядер и>к и швм состоит в том, что их сингулярностями являются наборы из координатных подпространств: наборы гиперплоскостей

Ci = 0},. , {(„ = 0} для ядра Коши и набора из одного нульмерного подпространства {С = 0} = {Ci = 0,. , = 0} — для ядра Бохнера-Мартинелли. В связи с этим в [34] было введено следующее

Определение [34], [35]. Набор (координатных) плоскостей {Е„} С С* (не обязательно равных размерностей) называется атомарным, если наивысшая нетривиальная группа когомологий их дополнения является одномерной, т.е. у 0, к > ко для некоторого к0. Образующая и группы Нко(С? \ \JEU) называется ядром для набора {Еи}.

Примером не атомарного набора плоскостей служит тройка координатных прямых {С2 = Сз = 0}, {Ci = Сз = 0}, {Ci = С2 = 0} в пространстве С3.

Для атомарности набора плоскостей необходимы ограничения комбинаторного характера на их взаимное расположение. Оказывается, если набор кодировать определенным образом в помощью веера (многогранного конического полиэдра вЕп), то он будет атомарным. Таким образом, атомарные наборы тесно связаны с теорией торических многообразий (о теории таких многообразий см. книги Оды [31], Фултона [23], а также [6], [19]—[22], [27], [28]). Частным случаем торических многообразий является комплексное проективное пространство СРП. Известно, что ядро Бохнера-Мартинелли в Cn+1 тесно связано с формой объема для метрики Фубини-Штуди проективного пространства СР„ (см. [5] или [8]). А именно, при диагональном действии одномерного тора С \ {0} на Cn+1 \ {0}

С-+АС форма ивм преобразуется к виду u;(0 = yAwo([C]) с инвариантной формой w0([C]) — формой объема Фубини-Штуди. Общее n-мерное торическое многообразие X, ассоциированное с веером £ С R", подобно проективному пространству, получается как фактор

Х= [С1 \Z(£)]/C;, где Z(Y.) — объединение атомарного набора плоскостей, aQ — комплексный тор (С\ {0})г.

Целью диссертации является:

- построение форм объема w0([C]) на торических многообразиях X (аналогов форм Фубини-Штуди) и эталонных форм w(C) на С* \ гДе Z(E) представляет собой объединение некоторых координатных подпространств в

С;

- построение интегральных представлений в d-круговых полиэдрах с эталонными ядрами.

В основе исследования диссертационной работы лежит теория торических многообразий. Свойство атомарности набора Z(E) координатных плоскостей в С* обеспечивается возможностью введения действия группы G ~ (комплексного тора) на С* \ Z(E), для которой совокупность орбит

С? \ Z{E)]/G =: X представляет собой компактное торическое многообразие, а С* \ Z{E) гомо-топически эквивалентно расслоению над X со слоем — вещественный тор тг = {\ес;:|АЖ| = 1,. ,|АГ| = 1}.

Атомарный набор плоскостей Z(E) и группа G определяются по вееру Е из Rrt, при этом G строится только по одномерным образующим vu. ,vdezn сшп веера £ (при этом размерность G равна г = d—n), а в конструкции Z(E) участвуют конусы других размерностей. Проиллюстрируем вначале конструкцию ядра и для Z(E) и формы объема ujq для X на примере проективного пространства X = CF„, для которого веер определяется в Rn с помощью d = п + 1 образующих vi = (1,0,. ,0),. ,i;n = (0,. ,0,1),ип+1 = (-1,. ,-1), при этом любой набор из г векторов определяет г-мерный конус (г = 0,1,. , гг) в Е. Между образующими г>,- есть единственное (с точностью до линейной зависимости) соотношение:

1 • vi + . + 1 • vn + 1 • vn+i = 0.

Вектор (1, . ,1,1) из коэффициентов этого соотношения порождает действие одномерного тора С* на С*:

A-C = (A1-Ci,.:. ,Аг-Сп+1), Лес, {ЕС1.

Как следует из общей конструкции (см. §1.3) для рассматриваемого веера набор Z(E) состоит из одной координатной плоскости размерности нуль, т.е. из начала координат 0 € С"+1. Мы знаем, что ядром для набора Z(H) = {0} может служить форма Бохнера-Мартинелли (которую мы запишем без традиционного нормировочного коэффициента) EjQAdC .

CJ" |e|2(n+u ' (2) где = A . A d£n+ь a E(Q — дифференциальная форма Эйлера

71+1

E(Q = ^(-l)*-1^^] (здесь [к] — знак пропуска d(k в dQ. fc=i

В свою очередь, форма объема метрики Фубини-Штуди на X = GPn равна Е(С)ае(0 wb(lCJ) - |С|2(я+1, • 8

В случае общего веера Е в!" искомое ядро для набора Z(E) в С' имеет бистепень (d,n) и, подобно (2), представляется в виде где h(С) — (п,0)-форма, обобщающая форму Эйлера £"(0, а д((,() — полином, имеющий подходящую полистепень однородности и обращающийся в нуль в точности на Z(E). Форма h(Q, как и группа G, определяется только по образующим Vi,. ,Vd веера S, а полином д, как и Z(Е) — по всему вееру S. А именно, обозначим через V матрицу из вектор-строк vi,. а через А = ••^ — левый аннулятор матрицы V (т.е. А • V — 0), представляющий решетку соотношений между векторами V{. Заметим, что согласно Предложению 1.1 матрицу А можно выбрать с неотрицательными элементами a,j. Каждому упорядоченному набору J = (ji,. ,jn), где 1 ^ ji < • • • < jn ^ d поставим в соответствие минор Aj матрицы Л, полученный вычеркиванием столбцов с номерами ji,. ,jn. Тогда аналог формы Эйлера — это форма

MC) = £Vi)|J|~%C№0, (4) j где суммирование ведется по всем упорядоченным мультииндексам J, а через C[J] и d(j обозначены произведения

Ш. и Д^о

Отметим, что по внешнему виду введенная здесь форма h(Q отличается от ранее рассмотренного аналога формы Эйлера (см. [20]), в котором вместо числовых коэффициентов (-1)'"7'-1А/ ставились Vj — миноры матрицы V, составленные из строк с номерами j,jn. Выражение (4) оказалось для нас более предпочтительным, хотя Лемма 3.1 утверждает, что оно отличается от определения из [20] лишь числовым множителем.

Для определения полинома д (знаменателя ядра и) предположим, что веер Е симплициальный, примитивный и выпуклый. Пусть crm, т = 1,. , М — набор всех конусов веера Е размерности п. Для всякого конуса ат с образующими vmi,. ,vmn определим d целых чисел п

Р1т := ~ det(^i' • • • «Ияч-и^тн.!,. ,Vmn), / = 1,---, rf, с помощью которых составим полином

М / d \

9((,(>1 ПЙР'^" • ' (5)

771=1 \/ = 1 /

Выпуклость веера Е обеспечивает полиномиальность д, т.е. что все мономы имеют положительные степени.

Наконец, укажем, что действие группы

G : (С* \ Z(E)) х <С£ -КС' \ Z(Е) определяется с помощью матрицы А = (atJ) формулой

С, А) (А"11 . АГ1 ■ Сь . • , Aild ■ -. • XTd • СО- (6)

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

Теорема 2.1. Дифференциальная (с1,п)-форма h(QAd( и; = —-—=—

С,С) с формой Эйлера (4) в числителе и знаменателем (5) является ядром для набора Z{Е). При действии (6) ядро и преобразуется к виду dX\ d\r и —У —— A . A —— A coo + cox A^ Ar с положительной формой (аналогом формы Фубини-Штуди)

ЩлЦО

Ыо - "ЖеГ' нулевой степени однородности по действию группы G, и формой и)\, которая не содержит сопряженных дифференциалов d\i и в каждом из своих слагаемых имеет не более, чем (г — 1) дифференциалов d\j.

Для описания двойственного (по Де Раму) ядру и цикла Г определяющую роль сыграет моментное отображение и конус Кэлера для многообразия X.

Моментное отображение fi : С* Rr для пространства О* со стандартной симплектической структурой и действием группы G (по формуле (6)) определяется матрицей А = (а^) следующим образом:

Жь--- ,Cd) = (Pi,-- - ,Рг), где aulCil2 + . + aw|Cd|2 =pi : (7) k ari ICi I2 + • • • + ardlCd!2 = Pr-При фиксированном p — (pi,. ,pr) E Rr соотношения (7) определяют множество Г = Т(р) = /л~1(р).

Цикл Г(р) обладает нужными для нас свойствами, когда р принадлежит конусу Кэлера многообразия X.

Для описания конуса Кэлера напомним [21], что набор векторов Vky,. ,Vkm веера Е называется примитивным, если он не определяет конуса в £, но любой его собственный поднабор определяет конус в Е.

Для каждого примитивного набора векторов v^,. , представляем их сумму в виде ь\ + . • + vkm = ci, vn + . + ctnvln, ch,. , cin G Q+, где Vilt. ,Vin образуют конус, в который попадает эта сумма.

Конус Кэлера К представляет собой образ при моментном отображении (7) множества в С*, определенного системой неравенств lOi I2 + . + lOu I2 - Си IC.X Г - . - Cin 10, I2 > 0, (8) причем неравенств столько, сколько примитивных наборов. Неравенства (8) будем называть условиями кэлеровости.

Заметим, что для р £ К цикл Г = Г(р), определяющийся системой (7), лежит вС^ч и расслаивается над X со слоями, изоморфными действительным торам Т7-, а именно , Г(р)/Ск = Х, где

Gr :={(А?» .А^,. = j = 1.г}, см. [20] или [21]). Отсюда, как следствие, получаем, что Г не гомологичен нулю в С* \ Z{Е). Этот факт также подтверждает следующее утверждение, вытекающее из Теоремы 2.1.

Следствие 2.1. J и = f и)0 = С, где С есть некоторая константа, г х отличная от нуля, выражающая объем торического многообразия X относительно формы UJq.

В §2.4 вначале доказывается интегральное представление в нуле. Предложение 2.3. (Воспроизводящее свойство ядра ы) Пусть функция f(Q голоморфна в окрестности нуля U, р = (pi,. ,рг) принадлежит конусу Кэлера и настолько мало, что цикл Г(р) С U. Тогда справедливо интегральное представление до) = £ J дсма (9)

Г(р) 12 где С = fu>o — константа нормировки. ж

Далее рассматривается область D = Dp в пространстве С* переменных г, определенная системой неравенств ы2 + ---+ы2<к:.±(р), (ю) где каждое неравенство соответствует примитивному набору vkl,. . , Vkm веера Е, а Щ\]\"'*кт{р) — образ выражения из левой части (8) при моментном отображении (7). И для функций, голоморфных в (i-круговом полиэдре IV = \VP, определенном системой неравенств an|Ci|2 + . + aid|Cd|2 <pi < : (П) k cirilCil2 + . + arrf|Cd|2 < pr, доказывается

Теорема 2.2. Пусть функция f(Q голоморфна в области IV, определяющейся неравенствами (11), и непрерывна в замыкании W. Тогда в пересечении DnW, где область D, определяется неравенствами (10), справедливо интегральное представление = £ / ЯС-*МС), г где цикл Г = Г(р) определяется равенствами (7).

Далее в §§2.5 и 2.6 рассмотрены два примера построения эталонных форм и форм объема на комплексно-двумерных торических многообразиях заданных с помощью выпуклого и невыпуклого вееров.

Первое торическое многообразие задано двумерным веером с образующими V!=(1,0), г2=(0,1), г-3=(-1,0), г4=(-1,-1), г5=(0,-1). В этом случае множество Z(Е) = {Ci = Сз = 0} и {<1 = С4 = 0} и {С2 = С4 = 0} и {Сг = Сз = 0} и {<3 = Сб = о}.

А1Л2,Л1Лз,Л2, АЬ АЗ) : А,- G С*} С (С*)5. Моментное отображение [i : С5 —У R3 здесь следующее pi = ICil2 + IC2I2 + IC4I2 р2 = |Ci|2 + |Сз|2 (12) Рз = IC2I2 + |Сб|2

При фиксированном р = (рь/^Рз) G К2 соотношения (12) определяют множество Г(р) = рг1(р).

Конус Кэлера для данного торического многообразия задается следующими неравенствами

IPi > Р2

Р\ > рз (13)

Р2 + рз > pi

При соотношениях (13) цикл Г не пересекает Z(E).

Эталонная форма в С5 \ Z(H) (аналог формы Бохнера-Мартинелли) имеет бистепень (5,2) и представляется в виде (3) с числителем

МО =

-СзС^Сх A d(2 + СгСзСб^С! A d(4 + (^СзСЛ A d(5 - Ci (4(^(2 А -ОСзСб^Сг A dC4 ~ ОСгСз^Сз А с?С4 ~ СгСгС^Сз A c?Cs - С1С2С3d(4 A d(5. и знаменателем д(М) =

1С1|2|С2|4|Сз|2 + |Ci|4|C2|2|C5|2 + ICi|4iC4|2lC5|4 + |С2|4Кз|4|С4|2 + |Сз|4|С4|6|С5|4. Константу нормировки С, участвующую в интегральном представлении (9) и выражающую объем торического многообразия X в виде 4-кратного интеграла fxu>0, можно выписать с помощью однократных интегралов: 2

С = (2 т) лз

-167г2 h

2г2 — г3)(г3 4- 2г2 + 4) arctg 2

2 г2 г3 + 2г2 + 4 dr—

-2тг2

00 yV - 2r2)(r3 + 2г2 + 4)

1п у/г3 - 2г2 + л/г3 + 2г2 + 4 л/г3 - 2г2 - л/г3 + 2г2 + 4 dr

В формулировке теоремы 2.2 для данного примера области D и W определяются следующими неравенствами:

Ы2 + Ы2 <р2

Ы2 + Ы2 <Рз D- h|2 + |24|2<pi-p3

Ы2 + Ы2 <pl-p2

Ы2 + l^si2 < Р2 + Рз - Pi ICil2 + IC2I2 + IC4I2 < Pi W- ICil2 + |Сз|2 < Рг JC2|2 + IC5|2<p3.

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

Рассматривается торическое многообразие, заданное двумерным веером с образующими Vi=(l, 0), v2=(-2,1), t;3=(-l,0), t'4=(-2, -1).

В этом случае множество

Z(Z) = {Ci = Сз = 0} U {Сг = С4 = 0}.

AtA2,A1,A2,A1):AiGC;}c(C;)4.

При фиксированном р = (яь/эг) £ К2 соотношения (14) определяют множество Г(р) = ji~l{p).

Конус Кэлера для данного торического многообразия будет задаваться следующими неравенствами: Р2 > О

15) р1 > 4р2.

При соотношениях (15) цикл Г не пересекает Z(E).

Эталонная форма в С4 \ Z(E) (аналог формы Бохнера-Мартинелли) имеет бистепень (4, 2) и представляется в виде

0 = g((X)h(QAd(

9( С, С)

Здесь аналог формы Эйлера ко = -СзС^а a d с2+с2ол a dc4 - ciC^Ca д d(3

-4CiC3^2 a d(4 - CiC2a dC4, знаменатель g(t,0 = ICi|4IC2|4 + |Ci[4IC4|4 + Ю116 Кз i4 IC4 + IО I41 Сз I4 I i6 а добавочный весовой коэффициент g — это моном l^l4^!4-Множество

Z„ := {Ci = Сз = 0} и {С2 = С4 - 0} и {Ci = С2 = 0} и {Ci = С4 = 0} особенностей формы и (нули знаменателя д((,С)) не совпадает с множеством Z(E) из-за невыпуклости веера Е. Цикл Г может пересекать плоскости = 0} и {(i = С4 = 0}. Однако доказано, что форма и является ограниченной вблизи плоскостей {(i = (2 = 0} и = £4=0} и, следовательно, интегрируема по циклу Г.

Константу нормировки С в данном случае можно вычислить до конца:

47г5 г

С= -pln(7 + 4>/3). л/3

В формулировке теоремы 2.2 для данного примера области D и IV определяются следующими неравенствами: D

ICi|2 + IC3|2<P2 IC2I2 + IC4I2 <Pl- 4/32

W :

4ICi|2 + IC2I2 + IC4I2 < р\ |Cl|2 + |Сз|2 < Р2

Третья глава посвящена получению интегральных представлений (9) путем усреднения ядер Коши по некоторым положительным мерам da.

В §3.1 указанное усреднение иллюстрируется на примере ядра Бохнера-Мартинелли.

В §3.2 приводится построение положительной меры da в общем случае и доказывается теорема о реализации интегрального представления (9) в виде усреднения ядер Коши по мере da.

Введем необходимые обозначения. Прежде всего заметим, что знаменатель <?(С,С) зависит только от переменных = = |£,|2, г = 1,. ,d. Таким образом д{С, С) :=д{е) = м т—1 где j/'m+I 77 с."Гт+1 l<l<d

IK'

Также пусть /i(g:) — форма (4). Рассмотрим п-форму

Y!{-l)U{-lAje[J]dej

I I V 1 da(e) =

Л(е) J tffff) М g-l/^m+l m=l

Через Ар обозначим пересечение с положительным октантом = {е = (si,. ,£d) '• £j ^ 0} ПЛОСКОСТИ апи- • • • + = Pi : (i6) k ar\E\ + . + ard£d = Pr

Согласно предложению 3.1 форма da(e) представляет собой положительную меру на Ар.

Через Td(e) обозначим вещественный тор \zi\2 = £i,. , \zd\2 = £d-Теорема 3.1. Пусть р = (pi,. ,рг) достаточно мало и принадлежит конусу Кэлера. Тогда справедливы равенства = Kihy / = щЬ?/I mdiЛ • • •Л

Г(Р) Д„ Т^(е) где К = /л do(e). Таким образом, интегральное представление (9) реализуется в виде усреднения формул Kouiu по положительной мере da на Ар.

Основные результаты диссертации опубликованы в работах [36]-[45]. По материалам диссертации делались доклады:

- на международной конференции "Математические модели и методы их исследования" (Красноярск, 2001); dQ

- на международной школе-конференции по геометрии и анализу (Новосибирск, 2002);

- на XL и XLI международных научных студенческих конференциях "Студент и научно-технический прогресс" (Новосибирск, 2002, 2003);

- на международной конференции "Многомерный комплексный анализ" (Красноярск, 2002), а также на городском научном семинаре по многомерному комплексному анализу при Красноярском госуниверситете (Красноярск, 2001-2003).

Автор выражает глубокую благодарность своему научному руководителю Августу Карловичу Диху за постановку задачи и внимание к работе.

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

2. Арнольд В.И. Математические методы классической механики. М.: Наука, 1974. 431 с.

3. Ботт Р., Ту Л.В. Дифференциальные формы в алгебраической топологии. М.: Наука, 1989.

4. Гамелин Т. Равномерные алгебры. М.: Мир, 1973. 334 с.

5. Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии. М.: Мир, 1982. 860 с.

6. Данилов В.И. Геометрия торических многообразий jf УМН 1978. Т. 33. С. 85-134.

7. Дольбо Д. Общая теория многомерных вычетов // Итоги науки и техники. Современные проблемы математики (фундаментальные направления). Т. 7. М.: ВИНИТИ, 1985. С. 227-251.

8. Кытманов A.M. Интеграл Бохнера-Мартинелли и его применения. Новосибирск: Наука, 1992. 240 с.

9. Хенкин Г.М. Метод интегральных представлений в комплексном анализе. Современные проблемы математики. Фундаментальные направления. (Итоги науки и техники). М.: ВИНИТИ, 1985. Т. 7. С. 23-124.

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

11. Шабат Б.В. Введение в комплексный анализ. 4.2. Функции нескольких переменных. М.: Наука, 1985. 400 с.

12. Шабат Б.В. Распределение значений голоморфных отображений. М.: Наука, 1982. 288 с.

13. Atiyah M.F. Convexity and commuting Hamiltonians// Bull. Lond. Math. Soc. 1982. V. 14. P. 1-15.

14. Atiyah M.F. Angular momentum, convex polyhedra and algebraic geometry// Proc. of the Edinburgh Math. Soc. 1983. V. 26. P. 121-138.

15. AUDIN M. The Topology of Torus Actions on Symplectic Manifolds. Progress in Math. 93. Birkhauser: Boston Basel - Berlin. 1991. 181pp.

16. Batyrev V. Quantum cohomology rings of toric manifoldsj/ Journees de Geometrie Algebrique d'Orsay (Juillet 1992), Asterisque 218, Societe Mathematique de France, Paris. 1993. P. 9-34.

17. Batyrev V., Materov E. Toric residues and mirror symmetry// Moscow math, journal. 2002. V. 2. ЛзЗ. P. 435-475.

18. Bochner S. Analytic and meromorphic continuation by means of Green's formula// Ann. Math. 1943. V. 44. P. 652-673.

19. Cox D. The homogeneous coordinate ring of a toric varietyJ/ J. Algebraic Geom. 1995. V. 4. P. 17-50.

20. Cox D. Toric residues}/ Ark. Mat. 1996. V. 34. P. 73-96.

21. Cox D. Recent Developments in Toric geometry// Algebraic Geometry -Santa Cruz 1995. V. 2. J. Kollar, R. Lazarsfeld and D. Morrison, editors. AMS. Providence. RI. 1997. P. 389-436.

22. D em azure M. Sous-groupes algebriques de rang maximum du groupe de Cremona// Ann. Sci. Ecole Norm. Sup. 1970. V. 3. P. 507-588.

23. Fulton W. Introduction to Toric Varieties. Princeton U. Press. Princeton, NJ. 1993.

24. Gelfand I.M., Kapranov M.M., Zelevinsky A.V. Discriminants, resultants and multidimensional determinants. Mathematics: Theory &; Applications. Birkhauser Boston Inc., Boston, MA. 1994.

25. Guillemin V. Moment Maps and Combinatorial Invariants of Hamiltonian Tn-spaces. Progress in Math. V. 122. Birkhauser: Boston Basel Berlin. 1994.

26. Guillemin V., Sternberg S. Convexity properties of the moment mapping// Invent. Math. 1982. V. 67. P. 491-513.

27. Khovanskii A. Newton polyhedra and toroidal varieties// Funct. Anal. Appl. 1977. V. 11. P. 289-296.

28. Kemph G., Knudsen F., Mumford D., Saint-Donat B. Toroidal Embeddings I. Lecture Notes in Math. V. 339. Springer-Verlag. Berlin Heidelberg New York. 1973.

29. Leray J. Le calcul differentiel et integral sur une variete analytique complexe// Bull. Soc. Math. France 1959. V. 87. P. 81-180.

30. MARTINELLI E. Alcuni teoremi integrali per le funzioni analitiche di piu variabili complesse// Mem. R. Accad. Ital. 1938. V. 9. P. 269-283.

31. Oda T. Convex Bodies and Algebraic Geometry. Springer-Verlag. Berlin Heidelberg New York. 1988.

32. Passare M., Tsikh A., Yger A. Residue currents of the Bochner-Martinelli type// Publicacions Matematiques. 2000. V. 44. P. 85-117.

33. Poixcare Sur les residues des integrales doubles/ j Acta Math. 1887. V. 9. P. 312-380.

34. Tsikh A. Toric residues// Proceedings of the conference "Nordan"/ Grand Hotel Saltsjobaden, Sweden. April 22-25, 1999

35. Tsikh A. Some kernels in residue theory// Workshop "Singularities in Geometry and Analysis" / St. Marienthal, Uni. Cottbus, Germany. September 24-28, 2002. P. 19.

36. Кытманов А.А. Форма объема для некоторых торических многообразий/ / Тр. межд. конф. "Математические модели и методы их исследования". Красноярск: ИВМ СО РАН. 2001. Т. 2. С. 52-55.

37. Кытманов А.А. Об аналоге ядра Бохнера-Мартинелли для одного тори-ческого многообразия// Сб. научн. тр. "Вопросы математического анализа". Красноярск: КрасГТУ, 2002. Вып. 5. С. 48-53.

38. Кытманов А.А. Об одном интегральном представлении в С5// Сб. научи. тр. " Многомерный комплексный анализ". Красноярск: КрасГУ. 2002. С. 79-89.

39. Кытманов А.А. Об одном классе интегральных представлений в областях пространства С*// Материалы XL международной научной студенческой конференции "Студент и научно-технический прогресс". Математика. Новосибирск: НГУ. 2002. С. 74-75.

40. Кытманов А.А. Об интегральном представлении, связанном с тори-ческим многообразием, которое определяется невыпуклым веером// Тез. , межд. конф. "Многомерный комплексный анализ". Красноярск: КрасГУ. 2002. С. 22-23.

41. Кытманов А.А. Об одном классе интегральных представлений в полиэдрах пространства С// Тез. межд. конф.-школы по геометрии и анализу. Новосибирск: Институт математики СО РАН. 2002. С. 54.

42. Кытманов А.А. Об одном интегральном представлении, ассоциированном с торическим многообразием, заданным с помощью невыпуклого веера// Сб. научн. тр. "Вопросы математического анализа". Красноярск: КрасГТУ. 2003. Вып. 6. С. 124-133.

43. Кытманов А.А. Об аналоге формы Фубини-Штуди для двумерных торических многообразий// Сиб. матем. журн. 2003. Т. 44, № 2. С. 358-371.

44. Кытманов А.А. О ядрах интегральных представлений как усреднениях ядра Коши// Вестник КрасГУ. Сер. физ.-мат. науки. Красноярск, 2003, Вып. 2. С. 3-9.

45. Кытманов А.А. О построении формы объема для торических многообразий/ /Материалы XLI международной научной студенческой конференции "Студент и научно-технический прогресс". Математика. Новосибирск: НГУ. 2003. С. 46-47.