CC BY
34
Хромов А. П. Функционально-дифференциальный оператор с инволюцией // Докл. РАН. 2007. Т. 414, № 4. С. 1309-1312.
4. Бурлуцкая М. Ш., Хромов А. П. Об одной теореме
равносходимости на всем отрезке для функционально-дифференциальных операторов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2009. Т. 9, вып. 4. С. 3-10.
Jordan-Dirichlet Theorem for Functional Differential Operator with Involution
M. Sh. Burlutskaya
Voronezh State University, Russia, 394006, Voronezh, Universitetskaya pl., 1, bmsh2001@mail.ru
In this paper the problem of decomposability of a function f (x) into Fourier series with respect to the system of eigenfunctions of a functional-differential operator with involution Ly = y'(l - x) + ay'(x) + pi(x)y(x) + p2(x)y(l-x), y(0) = Yy(l) is investigated. Based on the study of the resolvent of the operator easier and using the method of contour integration of the resolvent, we obtain the sufficient conditions for the convergence of the Fourier series for a function f (x) (analogue of the Jordan—Dirichlet's theorem).
Keywords: functional-differential operator, involution, equiconvergence, Fourier series.
References
1. Khromov A. P. Equiconvergence theorems for integro-differential and integral operators. Mathematics of the USSR-Sbornik, 1982, vol. 42, no. 3, pp. 331-355.
2. Khromov A. P. Inversion of integral operators with kernels discontinuous on the diagonal. Math. Notes, 1998, vol. 64, no. 5-6, pp. 804-813. DOI: 10.4213/mzm1472.
3. Burlutskaya M. Sh., Kurdyumov V. P., Lukonina A. S., Khromov A. P. A functional-differential operator with
УДК 501.1
involution. Doklady Math., 2007, vol. 75, no 3, pp. 399402.
4. Burlutskaya M. Sh., Khromov A. P. On the same theorem on a equiconvergence at the whole segment for the functional-differential operators. Izv. Sarat. Univ. N.S. Ser. Math. Mech. Inform., 2009, vol. 9, iss. 4, pt. 1, pp. 3-10 (in Russian).
КОГОМОЛОГИИ АЛГЕБРЫ ЛИ ВЕКТОРНЫХ ПОЛЕЙ НЕКОТОРОГО ОДНОМЕРНОГО ОРБИФОЛДА
Е. Ю. Волокитина
Ассистент кафедры геометрии, Саратовский государственный университет им. Н. Г. Чернышевского, evgenia.yu@gmail.com
И. М. Гельфанд и Д. Б. Фукс доказали, что когомологии алгебры Ли векторных полей на окружности изоморфны тензорному произведению кольца полиномов с одной образуюшей степени 2 и внешней алгебры с одной образующей степени 3. В настоящей статье изучаются когомологии алгебры Ли векторных полей одномерного орбифолда 51 ¡Ъ2, который представляет собой пространство орбит при действии группы Ъ2 на окружности отражением относительно оси Ох. Доказано, что рассматриваемые когомологии изоморфны тензорному произведению внешней алгебры с двумя образующими степени 1 и кольца полиномов с одной образующей степени 2. В доказательстве используется метод Гельфанда-Фукса с модификациями для данного случая.
Ключевые слова: орбифолд, алгебра Ли, когомологии.
ВВЕДЕНИЕ
Пусть Б1 — единичная окружность в плоскости комплексного переменного г, £ — угловой параметр на окружности. Обозначим через X = Б1 /Ъ2 орбифолд, получающийся из окружности, действием группы Ъ2, порожденной отражением относительно оси Ох. Б1 /Ъ2 — один из естественных одномерных орбифолодов. У данного орбифолда существует две особые точки, соответствующие значениям углового параметра £ = 0 и £ = п. Обозначим через и (Б1) и и (X) алгебры Ли гладких векторных полей на окружности и орбифолде X соответственно. Под гладкостью здесь и далее будем понимать гладкость класса Сж. Алгебра Ли и (Б1) — топологическая алгебра Ли с Сж-топологией, и (X) — ее замкнутая подалгебра.
Каждая гладкая функция на орбифолде X определяется четной периодической гладкой функцией на К. Векторными полями на X являются дифференцирования алгебры гладких функций на X.
Любое векторное поле на окружности представляется в виде £(£) —, где £(£) — гладкая периодическая функция. Будем называть векторные поля, для которых функция £(£) нечетная(четная), нечетными(четными) векторными полями. Аналогичным образом векторное поле на орбифолде X
можно представить в виде £(£) —, где £(£) — нечетная периодическая гладкая функция. Поэтому под алгеброй Ли и(X) можно понимать алгебру Ли нечетных векторных полей на окружности. В дальнейшем будем вместо £(£) — писать просто £(£).
Определение 1. д-мерной коцепью топологической алгебры Ли 0 с коэффициентами в тривиальном 0-модуле К называется непрерывный кососимметрический д-линейный функционал на 0 со значениями в К.
Дифференциал задается формулой: если Ь е С9(0), то
^(£1 ,...,£9+1)= £ (-1Г+-1ь([6,^ ],£х ,...,£д+1). (1)
1<г<7<д+1
Произведение коцепей определяется следующим образом: если Ь1 е С9(0), Ь2 е Сг(0), то Ь1 Л Ь2 е С9+г (0) и
Ь1 Л Ь2(£1,... ,£д+г) = £ (-1)г1+-+«-2(3-1 ■ Ь1 (£г1,... )х
1<гх <...<гг <9+г х Ь2 (£1, . . . ,£г1, . . . ,£г, , . . . ,£д+г).
Обозначим через С * (и (б4)) и С * (и (X)) комплексы непрерывных коцепей с коэффициентами в тривиальном представлении К для алгебр Ли и(Б1) и и(X)) соответственно. В статье [1] были вычислены одномерные и двумерные когомологии для алгебры Ли и (X). Сформулируем этот результат.
Теорема 1. Н1 (и(X)) ^ К © К, Н2(и(X)) = К ф К, где образующие в Н1 (и(X)) - классы коциклов
«1(£(0) = § (0), «2 (£(*)) = § (п), (2)
а образующие в Н2(и(X)) — классы коциклов
п
в(« = /(#I - §* (3)
0
и а1 Л а2.
Основным результатом настоящей статьи является следующая теорема.
Теорема 2. Алгебра когомологий Н*(и(X)) = Б(3)® Д(а1, а2), где (3, а^, а2 — классы коциклов в, а1 , а2, определенных формулами (2) и (3). (Д(а1,а2) обозначает внешнюю алгебру с двумя образующими, а Б(3) — кольцо многочленов с одной образующей.)
Сформулируем для сравнения аналогичный результат для окружности, доказанный в [2]. Теорема 3. Алгебра когомологий Н*(и(Б1)) = Б(З) ® Д(аз), где /31 , а3 — классы коциклов в1 и а3, которые определяются формулами
2п
2п Г £ X
<и, аз(£,П,х) = / £' п' X' ей
0 £'' п'' X''
Заметим, что коцикл в при ограничении на подалгебру и(X) равен нулю, а коцикл а3 при ограничении на подалгебру когомологичен нулю и, следовательно, гомоморфизм ограничения Н*(и (Б1)) ^ Н* (и (X)) тривиален.
Для вычисления когомологий Н* (и (X)) воспользуемся методом Гельфанда-Фукса вычисления когомологий алгебры Ли гладких векторных полей на замкнутом гладком многообразии, описанным в [2], с некоторыми модификациями для нашего случая.
2. ФИЛЬТРАЦИЯ С)? (X).
Пусть р: С*(и(Б1)) ^ С*(и(X)) — отображение ограничения коцепей на подалгебру. Оно является гомоморфизмом комплексов. Тогда
С * (и (X)) = С * (и (Б1))/кегр,
где кегр состоит из таких коцепей из С * (и (Б1), которые равны нулю, если все аргументы — нечетные векторные поля.
Рассмотрим также отображение 1: С*(и(X)) ^ С*(и(Б1)), которое определяется следующим образом:
для Ь е С?(и(X)) 1(Ь)(£1)= Ь(& ,...,£,),
если все £1?... ,£д — нечетные и 1(Ь)(£15... ,£д) =0, если среди ,..., £д есть хотя бы одно четное векторное поле.
Так как С(1(Ь)) = 1(СЬ), отображение 1 не будет гомоморфизмом комплексов, а только линейным непрерывным отображением векторных пространств. Таким образом С*(и(X)) можно вложить в С * (и (Б1) как векторное подпространство, но не как подкомплекс.
Обозначим через с? следующий дифференциал комплекса 1(С* (и (X)). Пусть Ь е 1(С? (и (X))), тогда с?Ь = 1(р(СЬ)). Заметим также, что р о 1 = (Х))• Получаем следующий изоморфизм
комплексов:
(С* (и (X)),С) = (1(С* (и (X))),С), (4)
где 1(С*(и(X))) — подпространство в С*(и(Б1)).
Пусть М — замкнутое гладкое многообразие. Напомним, как в [2] строится фильтрация для С?(и(М)). Будем говорить, что коцепь Ь е С?(и(М)) имеет фильтрацию < к, если из Ь(^1,..., £д) = 0 следует, что существуют к точек х1,... ,хк е М таких, что каждое из векторных полей £1,..., £д не обращается в нуль в окрестности хотя бы одной из точек х1 ,...,х к. Обозначим через С)(М) подпространство пространства С?(и(М)), составленное из элементов фильтрации < к. Тогда
0 = С0?(М) с С)(М) с ... С С?(М) = С?(и(М)).
Аналогичным образом можно определить фильтрацию пространства С?(и(X)) подпространствами С)(X), просто заменив в вышестоящем определении фильтрации М на X.
Воспользовавшись изоморфизмом (4), определим фильтрацию пространств 1(С?(и((X))) подпространствами С) = 1(С)(X)). Тогда С) = С)(X).
Рассмотрим также фильтрацию пространств С4(и(Б1)) подпространствами С)(Б1), которые определены ранее, если в качестве М рассмотреть Б1. Тогда С) = С)(Б 1^1(С)(и((X))), то есть С) — подпространство в пространстве С)(Б1). Справедлива следующая лемма.
Лемма 1. Образ пространства С)(X) при гомоморфизме С содержится в С)+1 (X). Доказательство. Пусть Ь е С)(X) и СЬ(£1 , ...,£д+1) = 0. Тогда из определения гомоморфизма С (1) следует, что Ь([£г,£7- ],£1 ,...,£¿,...,£7- , ...,£)+1) = 0 для некоторых 1 < < q + 1. Это означает, что существуют такие точки £ 1,..., £ к е X, что каждое из векторных полей [£г ,£7 ],£1,..., £ г ,...,£7 ,...,£д+1 не равно нулю в окрестности хотя бы одной из этих точек. Каждое из векторных полей £г,£7 отличается от нулевого в любой окрестности, в которой отличается от нулевого векторное поле [£г,£7]. Поэтому векторные поля £15...,£д+1 не равны нулю в окрестности хотя бы одной из точек £1 ,...,£к. Следовательно, СЬ е С)+1. □ Из леммы 1 следует, что подпространсва С)(X) образуют подкомплекс комплекса (С9и(X)),С). В силу изоморфизма (4) подпространства С) тоже образуют подкомплекс комплекса (1(Сди(X))),С) и подкомплексы (С)(X),С) и ((7), с?) изоморфны.
Для комплекса (С * (и (Б1 )),С) подпространство С*(Б1) с дифференциалом С также является подкомплексом [2]. Подкомплексы С*, С*^) и С* (Б1) называются диагональными. Обозначим их через С*^, С*А(X) и С*^(Б1). Пространство коцепей С*А — подпространство в пространстве С*^(Б1). В дальнейшем нам понадобится следующая лемма.
Лемма 2. При q > 3, если с?Ь е С)—1", то Ь е С)—. В частности, всякий q-мерный коцикл при q > 3 принадлежит пространству С)—.
Доказательство. Так как (С^, = (С(Xдоказательство можно провести для комплексов (С(X),й). Обозначим через Бирр£ носитель векторного поля £. Тогда коцепь Ь е ), если из
того, что Ь(£1 ,...,£9) = 0 следует, что не пусто хотя бы одно из попарных пересечений множеств
Бирр ,..., Бирр £д .
Необходимо установить, что если ¿Ь е (X), то для любых £1,... ,£9 е и(X) таких, что их носители попарно не пересекаются, справедливо равенство Ь(£1,... , £9) = 0.
При д > 3, используя разбиение единицы, инвариантное относительно действия группы, можно свести доказательство к случаю, когда носитель хотя бы одного из векторных полей £1,... , £9 будет иметь окрестность диффеоморфную К.
Тогда можно воспользоваться утверждением о том, что каждое финитное (имеющее компактный
носитель) гладкое векторное поле на Кп можно предствить в виде конечной суммы ^[щ, Ск], где Пк
к
и (к — гладкие финитные векторные поля на Кп (доказательство см. в [2]).
Предположим для определенности, что £1 = ,Ск]. Так как среди множеств Биррпк, Бирр£к,
к
Бирр £2,..., Бирр £9 пересекаются только Бирр пк и Бирр £к, то
£ ¿Ь(пк ,Ск ,£2 ) = £ Ь([пк ,Ск ],£2 ) = ь( ,Ск ],С2,...,еЛ = Ь(& ,...,£,).
к к \ к )
Так как ¿Ь е (X), то ¿Ь(пк,Ск,£2,...,£д) = 0 для всех к. В противном случае среди множеств Бирр пк, Бирр £к, Бирр £2,..., Бирр £9 должны были быть, по крайней мере, две пары пересекающихся. Отсюда получаем необходимое равенство Ь(£1,... , £9) = 0. □
Фильтрация 0 = Сд С С С ... С С9 = 1(С9(и(X))) порождает спектральную последовательность (£у'9_к), нулевой член которой Е0)'9_к по определению равен С. В следующем параграфе мы опишем фильтрацию пространств '9_ к.
3. ФИЛЬТРАЦИЯ ПРОСТРАНСТВ £0к'9_к.
Определение 2. Обобщенным сечением гладкого векторного расслоения V над гладким многообразием М называется непрерывный линейный функционал на пространстве финитных (имеющих компактный носитель) гладких сечений расслоения V' сопряженного с V.
Обобщенное сечение расслоения т^ называется кососимметрическим, если оно меняет знак при отображении, индуцированном перестановкой сомножителей в произведении М х ... х М. Пусть £ — обобщенное сечение некоторого расслоения V с базой М. £ называется сосредоточенным на замкнутом множестве А С М, если £ (а) = 0 для любого сечения а расслоения V', совпадающего с нулевым сечением в окрестности множества А.
Для любого обобщенного сечения £ расслоения V, сосредоточенного на компактном множестве А, найдется такое число 5, что если финитное гладкое сечение расслоения V' имеет в каждой точке множества А касание порядка > 5 с нулевым сечением, то £ (а) = 0. Это утверждение следует из аналогичного утверждения для обобщенных функций [3]. Наименьшее из таких чисел 5 называется порядком обобщенного сечения относительно множества А.
Пространство коцепей С9(и(М)) с помощью теоремы о ядре [4, §1] отождествляется с пространством кососимметрических обобщенных сечений расслоения т^(М) = п^т'(М) ©... фп*т'(М) с базой М9 = М х ... х М, где п: М9 ^ М — проекция на ¿-й сомножитель, а п*т'(М) — обратный образ кокасательного расслоения над М.
Обозначим через М^ подмножество произведения М9, состоящее из таких точек (х,... ), что среди точек х1 ,...,х9 е М не более к различных. Пространство С(М) можно отождествить с пространством обобщенных кососимметрических сечений расслоения т^, сосредоточенных на множестве М9.
Обозначим через Ср(М) подпространство пространства С(М), состоящее из обобщенных сечений, имеющих относительно М^ порядок < д — р. Тогда
0 = С9'9+1 (М) С С9'9(М) С ... С С9(М), и(М) = С(М).
Таким образом, подпространства С)р(М) составляют фильтрацию пространства С)(М). Так как С(С)р(М)) с С)+р1(М), гомоморфизм С индуцирует гоморфизмы
4: С)(М)/С)_1 (М) - С)+1(М)/С)+1 (М),
согласованные с фильтрациями пространств С)(М)/С)_1 (М) подпространствами
С),р(М)/(С*р(М) П С)_1(М)).
Обозначим соответствующие спектральные последовательности через (Е_р'р(М),<5к,г). Пусть теперь М = Б1. Фильтрация пространств С)(Б1) подпространствами С)р(Б1) индуцирует фильтрацию пространств С) подпространствами С)р = С)р(Б1) Р| С). Так как С(С)р(Б1)) С С С1+1 (Б1) и отображение 1 о р: Сд(и(Б1)) - С(и(Б1)) не увеличивает порядка обобщенного сечения, то с?(С|р) С С)",1. Таким образом, гомоморфизм с? индуцирует гомоморфизмы
7 : С/?_1 - С^/СЙ,
согласованные с фильтрациями пространств С)/С^ подпространствами С|р/(С|рР|С)^). Обозначим соответствующие спектральные последовательности через ).
Заметим, что фильтрация пространств С)(М) подпространствами С)р(М) бессодержательна при
q = к. Соответственно бессодержательна и фильтрация пространств С) подпространствами при q = к. В [2] показано, что этот случай можно не рассматривать для М (и для М = Б1, в частности). Из леммы 2 следует, что мы можем не рассматривать случая q = к для комплекса (С), с?) при q > 3. Одномерные и двумерные когомологии комплекса (С* (и (X)),С) вычислены в [1] и приведены в теореме 1, поэтому случай q = к = 1, 2 для комплекса (С), с? также можно не рассматривать.
4. ДИАГОНАЛЬНЫЙ КОМПЛЕКС И ЕГО КОГОМОЛОГИИ
Рассмотрим сначала спектральные последовательности для диагональных комплексов )
и (£™(Б 1),^1'Г).
Согласно определению (Б1) = С^(Б^/С^Б1), = С),,/С^. — под-
пространство в пространстве (Б1). Обозначим q — р через т и будем далее вместо Е)"0р'р(Б1)
писать Ет"0)_т (Б1), а вместо ¿^о^ писать Е^'0)_т. Сформулируем основной результат параграфа.
Теорема 4. Н1 (Сд(X)) ^ К ф К, Н2(Сд(X)) ^ К и Н(Сд(X)) = 0, при q > 3, где одномерные образующие — классы коциклов а1 и а2, а двумерная образующая класс коцикла в■ Коциклы а1, а2 и в определяются равенствами (2) и (3).
Так как (Сд(X),С) = (Сд(X),С), мы будем рассматривать комплекс (Сд,С). Пространство Сд — подпространство пространства СД (Б1), поэтому коцепи из СД можно представлять как обобщенные сечения расслоения т) (Б1).
В нашем случае, в отличие от [2], присутствуют особые точки. Поэтому выделим в комплексе (Сд, с? подкомплекс ((С*п)д, с?) коцепей, сосредоточенных в особых точках. Обозначим фактор-комплекс СД/(С*'П)д через СД. Рассмотрим точную последовательность комплексов
0 - (С*'П )д - Сд - С * - 0
и соответствующую длинную точную последовательность в когомологиях
... - Нг((С*'П)д) - Нг(^д) - Нг(С*) - Нг+1 ((С70*'П)д) - Нг+1(^д) - .... (5)
Для доказательства теоремы 4 вычислим члены Нг((С*^)д) и Нг(С7*) длинной точной последовательности (5). Начнем с вычисления Нг((С*п)д).
4.1. Когомологии комплекса (С°'П)△
Пусть Л = Ск1 '...'к,У11 ■ ... ■ Уд9 — некоторый кососимметрический многочлен, тогда Л опре-
к1 '•••'кд
деляет дифференциальный оператор:
л(£1.....)(»)=( .....к,^ С^«)•
к, '...'к,
(6)
Пусть ^ — обобщенная функция на окружности. Тогда можно рассмотреть коцепи вида ^Л, значение которых на векторных полях £1,... , £9 определяется следующим образом:
(рЛ)(£1,...,£в ) = р(Л(£1,...,£в)(')). (7)
Из теории обобщенных функций [5,§4] следует, что всякую коцепь, сосредоточенную в особых точках, можно представить в виде линейной комбинации коцепей вида ^Л, где в качестве обобщенной функции ^ нужно взять либо ¿(0), либо ¿(п).
Теорема 5. Н1 ((С0 )△) = К ф К, Н9((С°'П)△) = 0 при д > 1, где одномерные образующие — классы коциклов а1 и а2, определенных равенствами (2).
Доказательство. Подкомплекс (С°П)△ изоморфен прямой сумме двух подкомплексов С° и СП коцепей, сосредоточенных в точке 0 ив точке п.
Вычислим когомологии комплекса Сд. Обозначим через «П коцепь вида ¿(0)уП. Всякую коцепь Ь е СО можно представить в виде
Ь = СП1 '...'П, «П, Л ... Л «П, ,
П1'...'П,
где сумма имеет конечное число слагаемых еПь...'П, — константы, а все числа п1,... , п9 — нечетные. По определению дифференциала ^
9 [п;/2] _
¿(«П 1 Л ... Л «П,) = 1)г_1 ^ (СП, — СП;)а0 Л <_+1 Л «П, Л ... Л < Л ... Л «П,. г=1 ^=1'
- нечетно
Представим коцепь Ь е С° в виде
Ь = I] СП,1'...'П9 «П1 Л ... Л «П, + 5] с21 '...'1, а? Л а°, Л ... Л а°
П1 '...'П, =1 ¿1 '...'1,-1
9 9_1 7 ~ _1
Положим п = ^ , I = ^ Пусть д > 1, рассмотрим оператор £9 : С^ ^ С^д следующего вида:
г=1 г=1
с2
I + 1 — д
™ = Е Г+Т—Л " Л «о,.,.
¿1 '...'1,-1=1
Прямыми вычислениями можно показать, что справедливо равенство
£9+1 О сТ+ сТо £9 = ,
то есть £ - оператор гомотопии. Следовательно, Нк(С°) = 0, при к > 1.
Рассмотрим случай д = 1. Одномерным коциклом является только а° = а1, класс которого и будет образующей в Н 1(СТ0).
Когомологии комплекса СП вычисляются аналогично. Нк(СП) = 0, при к > 1 и Н 1(СТП) = К, где одномерная образующая — класс коцикла а2. □
4.2. Когомологии фактор-комплекса С*
д
Напомним некоторые факты из [2], которые будут необходимы в дальнейшем. Всякий элемент из Е7о'г_т(Б1) можно представить в виде суммы ^ ^Аг, где Аг — элемент фактор-пространства
г
РЩщ = Рт/^т пространства кососимметрических однородных многочленов степени т от q переменных Р) по идеалу Рт, порожденному многочленом оч = у1 + ... + , а — обобщенные функции на окружности. Будем элементы фактор-пространства Р) и представляющие их многочлены обозначать одинаковыми символами. Значение коцепи ^А определяется формулами (6) и (7).
Рассмотрим отображение V: Р) —>• Р">7)1++1, которое определяется следующим образом:
^ (А)(У1,...,У)+1) = ( —1)г+^_1 — Уг)А(У + у- ,У1 ,...,|Гг,...,у5-, . . . , Уд+1).
1<г<7<)+1
Из определения дифференциала (1) следует равенство
С(^А) = vV (А). (8)
Так как V(Р т) С РЙ+.1, то V индуцирует отображение V: Р? —>• Р)~+_1. Из определения дифференцирования [3,5] обобщенных функций следует равенство
V • КА) = — ^ А. (9)
а
Тогда из равенств (8) и (9) следует, что 50(^А) = vV(А), где 50: Р^о? т(Б1) - Р^о т(Б1) — дифференциал комплекса Р1"0)-т(Б1), индуцированный дифференциалом С Образующие когомоло-гий комплекса (Р), V) равны классам многочленов А2 = у2у2 — у1у2 и А3 = (у1 — у2)(у2 — у3)(уз — у1). Таким образом, получается, что
Р3>-1 (Б1 ) = Р3;0(Б1 )= -0Аз, р™^-™(Б1) = 0, если т = 3, q — т = 0,1.
Перейдем к нашему случаю. Пусть }: Сд - Сд проекция на фактор-комплекс, с? — дифференциал фактор-комплекса С *, индуцированный дифференциалом с?. Обозначим через С, = КС),). Тогда С, С С,- и ¿(С,) С С,+1. Поэтому пространства С, задают фильтрацию пространства С), согласованную с дифференциалом с?. Обозначим соответствующую спектральную последовательность через £,т,)_т, где как и ранее т = q — р. Согласно определению нулевого члена спектральной последовательности
= С9_Ш/С9_Ш+1 = К^д-т)/КС1''д_т+1) = ^'д-тЛ^'д-т^ + (Аl'q_m Р)((А0'П)д).
Проекция ] индуцирует сюръективное отображение Л: РЮ?-™ - Р1"0)-т, которое классу коцепи в ^щ^-т = ¿^тД^-Щ^ Ставит в с°°тветствие ее класс в С^ ^ДС^-т^ + ^д-т П(С0*'П)д). Дифференциал в комплексе Е?т'0)_т, индуцированный дифференциалом с?, обозначим через ?0.
Назовем обобщенную функцию V на окружности нечетной (четной), если ее значение на чет-ных(нечетных) функциях равно нулю. Любую обобщенную функцию можно однозначно разложить в сумму нечетной и четной обобщенной функции. Справедлива следующая лемма. Лемма 3.
Р3'-1 = V ?2, Р3'1 = ,
рту-т =0, если т = 3, q — т = 0,1,
где V — нечетная обобщенная функция, 0 — четная обобщенная функция, V и 0 заданы с точностью до обобщенных функций, сосредоточенных в особых точках. Дифференциал Л : Р?' -1 - Е3 ' 0 индуцирован дифференциалом с?, значение которого на коцепи V определяется
как й^ ?2) = — СС^.
Доказательство. Образ коцепи ^А при отображении р: С9(и(£^ С9(и(X)) будем также обозначать через ^А. Рассмотрим отображение 1 о р: С9(и(£1)) ^ 1(С9(и(X))) с С9(и(£1)). Это отображение индуцирует сюръективное отображение 1 о р: Ето9-™^1) ^ Ето9-т • Образом коцепи ^А при отображении 1 о р будет коцепь V А, значение которой на векторных полях ,... ,£9 определяется следующим образом:
(<Д)(еь...,е9) = ^(А(С1,...,С9)(*)), где А(С1 ,...,^9)(*) =
1 ( с ск1 (Щ - & (—¿)) ^ (С9 (*) - С9 И)) (.)
= 2^ _ Ск1.....(г) ■... ■ (г)
к 1 ^^ . . . ^^ к д -
Это следует из того, что V А(£1,..., £9) = 0, если среди аргументов есть четное векторное поле и V А(£ь..., С9) = V А(£15..., С9), если все аргументы нечетные. Тогда А) = V? и р(^ А) = V А, где V А рассматривается как элемент пространства С9 (и (X)). Заметим, что функция А(£1, ...,£9 )(£) будет нечетной (четной) при любых £],,... ,£9 € и(£1), если А е -А9 , где разность т — д нечетное (четное) целое число. Тогда коцепи вида V? будут равны нулю, если V — нечетная (четная) обобщенная функция, а А е -А9 , где т—д — четное (нечетное) число. Поэтому можно считать, что в представлении элемента из ЕЮ9-™ в виде ^ ^Аг все обобщенные функции ^ четные (нечетные), если т — д четно
г
(нечетно).
Так как любой элемент пространства Ето9-т можно представить в виде ^ Аг, то элементы
г
пространства Е?т09-т можно представлять в виде ^ Аг, где обобщенные функции заданы с
г
точностью до обобщенных функций, сосредоточенных в особых точках, и их четность зависит от степени многочлена г.
Из равенства (8) и определения дифференциала С следует, что
с?(^А) = 1 о р(С^А) = 1(С(р(^ А)) = А) = А) = А.
Из равенства (9) следует равенство
V ■ КА) = — (10)
Тогда получаем, что А) = А, и действие дифференциала <50 на элементах из £то9-т сводится к действию дифференциала V на классах многочленов из пространства Р, , откуда следует утверждение леммы. □
Для вычисления члена Ёт9-™ нам понадобятся некоторые сведения из теории потоков де Рама [6].
Определение 3. Потоком де Рама степени д на многообразии М размерности п называется непрерывный линейный функционал на пространстве дифференциальных форм степени п — д с компактными носителями. Дифференциал Ь: Д9(М) ^ 1 (М) определяется формулой ЬК(о>) = К(С^), где К — поток степени д, ^ — дифференциальная форма степени п — д — 1.
Рассмотрим комплекс потоков де Рама на окружности (Д9($ 1 ),Ь). Всякий поток степени 0 на окружности можно представить в виде V, а поток степени 1 — в виде фС£, где V, Ф — обобщенные функции на окружности. Значения потоков V и фМ на дифференциальных формах определяются следующим образом:
V(gdt) = V(g), ФС£(/)= Ф(/),
где д и / — гладкие периодические функции на К. Формулы для дифференциала Ь в этом случае перепишутся в виде
Ь(ф^) = о, М(/) = v(с/) = V (/*) = — СС^с^с/).
Под потоками на орбифолде будем понимать потоки на окружности, инвариантные относительно действия группы или, что равносильно, непрерывные линейные функционалы на пространстве
дифференциальных форм на орбифолде (дифференциальные формы на орбифолде — дифференциальные формы на окружности, инвариантные относительно действия группы Ъ2)• Таким образом, комплекс потоков на орбифолде — подкомплекс комплекса потоков на окружности. Обозначим его через (В9(X),Ь).
0-формами на орбифолде являются гладкие, четные периодические функции на К, 1-формами на орбифолде являются выражения вида где д — гладкая нечетная периодическая функция на К.
Поток степени 0 на орбифолде можно представить в виде а поток степени 1 — в виде где ^ — нечетная обобщенная функция на окружности, 0 — четная обобщенная функция на окружности. Дифференциал определяется так же как и для комплекса потоков на окружности.
Обозначим через (В^(X),Ь) подкомплекс комплекса (В9(X),Ь), состоящий из потоков, сосредоточенных на множестве А = {0,п}. В терминах обобщенных функций это означает, что обобщенные функции ^ и ф сосредоточены в особых точках. Обозначим через В9 = В9(X)/В^(X) фактор-комплекс комплекса потоков на орбифолде по подкомплексу потоков, сосредоточенных в особых точках.
Сопоставляя коцепи ^ А2 поток коцепи 0А3 поток определим отображение 7: Ё ' 9- ^ В9. При этом дифференциал комплекса Ё^ ' 9-1 перейдет в дифференциал комплекса В9. Так как 7 — биективное отображение, то 7 определяет изоморфизм комплексов. Найдем когомологии комплекса В9.
Обозначим через (В^(Б1 ),Ь) подкомплекс комплекса (В9(Б1),^), состоящий из потоков, сосредоточенных в точках 0 и п. Тогда комплекс (В^(X), Ь) — подкомплекс инвариантных потоков комплекса (В^(Б1 ),Ь). Так как множество А неподвижно относительно действия группы й2, то отсюда следует, что комплекс В9 = В9(X)/В^(X) изоморфен подкомплексу инвариантных элементов комплекса В9(Б1 (Б1). Обозначим его через (В9(Б^/В9(Б1.
В дальнейшем нам понадобится лемма об инвариантных когомологиях комплекса, на котором действует конечная группа.
Лемма 4. Пусть (В9, й) — дифференциальный комплекс, на котором автоморфизмами комплекса действует конечная группа С. Тогда Н9 (В*пи) = (Н9 (В * ))/п«, где В|пи — комплекс инвариантных коцепей, (Н9 (В * ))/п« — инвариантная часть в когомологиях.
Доказательство. Пусть 1: В|пи ^ В9 — отображение вложения подкомплекса в комплекс. Рассмотрим также отображение рг: В9 ^ В|пи, которое определяется формулой
Pr(c) = P I] gc
P geG
где c e Bq, p — порядок группы G. При этом iopr = id. Пусть i * и pr* — индуцированные отображения в когомологиях. Тогда получаем, что i * opr * = id, откуда следует, что i * — инъективно. Таким образом, Hq(B*nv) = Imi*(Hq(B*). В свою очередь, i*(Hq(B*) = (Hq(B*))jnv, что завершает доказательство леммы. □
Применяя лемму 4 к комплексу D*(Б1)/В^(Б1 ) и группе Z2, получаем что
Hq ((D * (Б 1)/DA(Б 1))/п„) - (Hq(D * (Б1 )/DA(S1))/nv.
Лемма 5. Пусть M — компактное ориентируемое n-мерное гладкое многообразие, A — его замкнутое подмножество такое, что X \ A — гладкое многообразие. Обозначим через D* (M) комплекс потоков на M и через DA (M) комплекс потоков на M, сосредоточенных на A. Тогда Hk(D*(M)/DA(M)) = Hn-k(M, A) - Hk(M \ A), где Hn_fc(M, A) — относительные гомологии, Hk (M \ A) — когомологии де Рама многообразия M \ A.
Доказательство. Рассмотрим точную последовательность комплекса D * (M), подкомплекса DA(M) и соответствующую длинную точную последовательность в когомологиях
... ^ H'(DA(M)) ^ H(D*(M)) ^ H(D*(M)/DA(M)) ^ Hi+1 (DA(M)) ^
^ Hi+1 (D* (M)) ^ ... . (11)
Из теоремы де Рама для M [6] следует, что H4(D* (M)) - Hn-i (M, R) - H4 (M, R), где Hn-i (M, R) и H4(M,R) — сингулярные гомологии и когомологии M. Найдем H%(DA(M)), используя теорию пучков.
Обозначим через ©А(М) и ©А(М)|А пучок потоков степени д, сосредоточенных на А, с базой М и индуцированный пучок с базой А. Так как пучок ©А (М) сконцентрирован на А, то существует изоморфизм Г(©А(М)) = Г(©А(М)|А), где Г(©А(М)) и Г(©А(М)|А) — сечения соответствующих пучков над своими базами ([7], лемма 4.9.2). Поэтому при вычислении Нк(ДА(М)) мы можем рассматривать сечения пучка ©А(М)|А над А вместо сечений пучка ©А(М) над X.
Пучок ©А(М)|А образует резольвенту постоянного пучка над А, состоящую из мягких пучков. Тогда Нг(ДА(М)) = Нг(А,К) ^ Нп-г(А, К), где Нп-г(А,К) и Нк(А, К) — сингулярные гомологии и когомологии А соответственно.
Поставив цепи из комплекса относительных гомологий С9(М, А) в соответствие поток, представляющий собой интеграл по этой цепи, получим отображение С9(М, А) ^ Д* (М)/ДА(М), которое индуцирует соответствующее отображение в когомологиях. Тогда, используя (11), спектральную последовательность
... ^ Нп-г (А, К) ^ Нп-г (М, К) ^ Нп-г(М,А) ^ Нп-г-1(А, К) ^ Нп-г-1(М, К) ^ ..., изоморфизмы
Нп-г (А, К) = Нг (ДА(М)), Нп-г—1 (А, К) = Нг+1 (ДА(М)), Нп-г(М, К) = Н г(Д*(М)), Нп—г—1(М, К) = Нг+1 (Д* (М))
и лемму о пяти гомоморфизмах, получаем изоморфизм
Нп—г(М,А) = Н г(Д* (М )/ДА (М)).
В свою очередь, Нп—г(М, А) = Нп(М \ А) ([8, §17, теорема 14 и упражнение 44]), что завершает доказательство леммы. □
Применяя лемму 5 в случае М = $1, А = {0,п}, получим, что
Н9(Д* ($ 1)/ДА($1)) = Н1—9($1; А) ^ Н9($1 \ А).
Пространство $1 \ А представляет собой несвязное объединение двух открытых интервалов, поэтому
Н0 ($1 \ А) = К © К, Н9 ($1 \ А) = 0 при д > 0.
п 2п
Образующим в Н0($1 \А) соответствуют классы потоков VI. = / и V2 = / в Н9(Д*($ 1)/ДА($1).
о п
Так как инвариантные части от Vl и v2 отличаются лишь знаком, получим, что Н0(Д*) = К и Н9 (Д*) =0 при д > 0.
Тогда получаем Е?;-1 ^ К и Ё^,9-'т = 0 при д = 2, т = 3.
Рассмотрим коцепь в, определенную формулой (3). Она определяет образующую пространства 1 и является коциклом всего комплекса (С*,С), не являющимся границей [1]. Поэтому следующие дифференциалы 7 = 0, при к > 2, и Ё^9-'™ = ¿тз9-т = ... = ЕТ^-'т. Получаем Н2(С*) = К и Н9(С*) = 0, если д = 2. Таким образом мы доказали следующую теорему. Теорема 6. Н2 (С*) = К и Н9 (С*) = 0, если д = 2.
Из длинной точной последовательности (5) для комплекса С*^ и подкомплекса (С* п)△ получим, что Н1 (С^) = К © К, Н2 (С^) = К и Н9 (С^) = 0 при д =1, 2. Таким образом, мы доказали теорему 4.
5. КОГОМОЛОГИИ КОМПЛЕКСОВ С9(X)/<Ак-^)
Сформулируем вначале основной результат параграфа. Теорема 7. Н2к(¿7;* (X)ДАк-1 (X)) = К, Н2к-^С* (X^С^^)) = К © К, Н2к-2(С* (X^С^^)) = К и Н9(С* (X)/Ск*-^)) = 0, при д = 2к, 2к — 1, 2к — 2, где образующая степени 2к — класс коцикла в Л ... Л в, образующие степени к — 1 — классы коциклов
4-V-'
к
а1 Л в Л ... Л в и а2 Л в Л ... Л в, образующая степени к — 2 — класс коцикла а1 Л а2 в Л ... Л в-
4-V-' 4-V-' 4-V-'
к-1 к-1 к-2 Коциклы а1, а2 и в определяются равенствами (2) и (3).
Обозначим через (Сопподкомплекс комплекса С)/С?-, состоящий из линейных комбинаций коцепей вида Л Ь2, где е (Ср п)△, е С*-, р + г = д. Обозначим через С) соответствующий фактор-комплекс.
Вычислим сначала когомологии фактор-комплекса С), затем когомологии подкомплекса (Со,п)) и найдем когомологии всего комплекса (/Сд- из соответствующей длинной точной последовательности:
... ^ яг(((70) п)к) ^ Н(С7)/Си) ^ нг(С)) ^ яг+1 ((Со,п)к) ^ Я<+1 (С/с)-) ^ .... (12) 5.1. Когомологии фактор-комплекса С)
Напомним некоторые результаты из [2], которые будут необходимы далее. Всякий элемент пространства ЕТо?-т(Б1) может быть представлен в виде ^ ,... )(Л1 0 ... 0 Лк), где ^ — обобщенная функция на (Б1 )к/(Б 1))-1, Лг е Р™, т1 + ... + = т, 51 + ... + = ц, а значение коцепи на векторных полях определяется следующим образом:
)(Л1 0 ... 0 Л) )(^1 ,...,£? ) = ^( I] ФМ*1 )х
Х( Л1(Са(1),...,Са(51) )(^1) ■ ... ■ (Л) (Са(д-*к) ,...,Са(9) , (13)
где £в1>...>вк — такие перестановки чисел 1,..., ц, что
а(1) < ... < ст(в1),..., ст(д - ) < ... < ст(д),
е(а) = 1, если а — четная перестановка, и е(а) = -1, если а — нечетная перестановка. Коцепи ^(¿4,..., ^)(Л1 0 ... 0 Л&) удовлетворяют следующему условию инвариантности:
^(¿1, . . . , ¿г, . . . , . . . )(Л1 0 ... 0 Лг 0 ... 0 Л^ 0 ... 0 Л)) =
= (-1)^ед(Л,)^ед(Л, ^(¿1, ...,¿7 .,. )(Л1 0 ... 0 Л^ 0 ... 0 Лг 0 ... 0 Л)). (14)
Дифференциал ¿^о комплекса ЕТо?-т (Б1) действует по формуле
4,о(^(Л1 0 ... 0 Л))) = ^(-1)51+-+в«-1 Л1 0 ... 0 VЛг 0 ... 0 Л)), (15)
г = 1
где 5о = 0.
Перейдем теперь к нашему фактор-комплексу С?. Аналогично случаю диагонального комплекса мы можем определить фильтрацию в пространстве С) подпространствами (С?)р = ^ (С?р/(С)?рР| ПС)^)), где ^ — проекция на фактор-комплекс. Обозначим соответствующую спектральную последовательность через (ЕТ-9-™, ).
Рассмотрим спектральные последовательности (ЕТ-9-™,<5^) и (Е^тТ-Г?-). Обозначим через В) подмножество (Б1 , состоящее из таких точек (¿1,..., ), что среди точек есть, по
крайней мере, две одинаковые точки или две точки отличающиеся знаком. Пусть А) = В) и{0, п} х х Т)-1 и Б1 х {0, п} х Т)-2 и Т2 х {0, п} х Т)-3 и ... и Т)-1 х {0, п}. Справедлива следующая лемма.
Лемма 6. Первый член спектральной последовательности (ЕТТ9-™, <5)>г) определяется равенствами
Ё^9-™ =0, т = 3к, д = 2к, 2к + 1,..., 3к, Е'Зд 3) - ^ ^(¿1,...,^) )(Л1 0 ... 0 Л) )} , ц = 2к, 2к + 1,..., 3к,
где многочлены Лг е Р™. равны либо Л 2, либо Л 3, ^ — обобщенная функция на Т), заданная с точностью до обобщенных функций, сосредоточенных на множестве А, четная (нечетная) по г-му аргументу, если тг — 5 — четно (нечетно).
Доказательство. Аналогично случаю диагонального подкомплекса всякий элемент пространства -ЕТо9-™ можно представить в виде коцепи ^^(Л1 0 ... 0 Л)), значение которой на векторных полях определяется так же как в формуле (13) с заменой Лг на 7 и ^ — обобщенная функция на
к-мерном торе Тк, четность которой по ¿-му аргументу зависит от степени многочлена А г так же как и в формулировке леммы. Обобщенная функция V задана с точностью до обобщенной функции, сосредоточенной на множестве В;.
Элементы пространства ¿т*9-'т представляются в виде ^ v( А1 0 ... 0 Ак), где V — обобщенная функция на ($1 )к, заданная с точностью до обобщенных функций, сосредоточенных на замкнутом подмножестве А;, четность которых по ¿-му аргументу зависит от степени многочлена А г.
Из формулы (15) по аналогии со случаем диагонального комплекса следует, что дифференциал (5к'0 действует по формуле
к
4,0МА1 0 ... 0 Ак)) = 1)51+...+5'-1 V(А1 0 ... 0 VАг 0 ... 0 Ак). (16)
г-1
Таким образом, действие дифференциала 7к'0 сводится к действию дифференциала V на пространствах многочленов Р,, откуда следует утверждение леммы. □ Элементы пространств Е3^9-3к удовлетворяют условиям инвариантности (14). Дифференциал ¿кд определяется из формул (10) и (16).
Обозначим через (Д*(Тк),Ь) комплекс потоков де Рама на к-мерном торе Тк. Поток степени д
можно представить в виде ^ vгl,..лчЛ... Л. Значения потоков на дифференциальных
1<г1 <...<г, <к формах определяются следующим образом:
Е Vгl '...г, Л ... Л ^г, ( ^ /г1 '.„гк_, Л ... Л I =
1<г1 <...<гч <к \ 1<г1 <...<гк_, <к /
Е Vгl '...г, / ),
1<г1<...<г, <к
где ¿1 = ¿1, . . . ,¿9, . . .,¿к-9 = ¿1, . . . ,¿9 и ¿1 < ¿2 < . . . < ¿к-9.
Обозначим, через (Д* (X9),Ь) комплекс потоков де Рама на орбифолде Xк или, что то же самое, комплекс потоков, инвариантных относительно действия группы (й2)к на к-мерном торе. Потоки из Д*^к) можно представить в таком же виде, что и потоки на торе с дополнительными условиями на обобщенные функции: vгl'...г, (¿1,..., ¿к) — четная по аргументам ¿г1,..., и нечетная по остальным аргументам.
Обозначим через (ДА (Тк), Ь) комплекс потоков на к-мерном торе, сосредоточенных на множестве Ак, а через (Д*Ак (Xк),Ь) — комплекс потоков, сосредоточенных на Ак и инвариантных относительно действия группы (й2 )к.
Аналогично случаю диагонального комплекса мы можем построить отображение 7к: Ё^'9-3к — —► Д3к-9 (X к )/ДАк-9 (X к), которое будет изоморфизмом комплекса Ё?3к19 3к и некоторого подкомплекса в Д3к-9(Xк)/ДАк-9(Xк), который определяется из условия инвариантности (14). Применяя рассуждения, аналогичные рассуждениям для диагонального комплекса, получим, что
Н9 (Д* (Тк)/ДА, (Тк)) = Н9 (Т9 \ Ак).
Пространство Тк \ Ак представляет собой несвязное объединение 2кк! частей, каждая из которых изоморфна К. Поэтому Н*(Тк \ Ак) = К2кк! и Н9(Тк \ Ак) = 0, при д > 0. Применяя условие инвариантности относительно действия группы йк к соответствующим коциклам в Н*(Д*(Тк)/ДАЙ(Тк)), получим к! различных классов когомологий в (Н0(Д* (Тк)/ДА*. (Тк))/пи. Применяя к ним условие инвариантности (14), получим одну образующую в Ё^'-3к, представленную классом коцикла в Л ... Л в,
к'2 4-„-'
к
где коцикл в определяется равенством (3). Коцикл в Л ... Л в является коциклом всего комплекса
4-V-'
к
С * (и (X)), поэтому дифференциалы ¿к'9 = 0 при д > 2 и Рк'2 = Рк'3 = ... = Ё^. Таким образом, мы доказали следующую теорему.
Теорема 8. Н2к (С*) = К и Н9 (Ск) = 0 при д = 2к, где образующая степени 2к — класс коцикла в Л . . . Л в, коцикл в определяется равенством (3).
5.2. Когомологии комплекса (С?, п
Теорема 9. Я2)-1 (((*, п)*) = К © К, Я^-2^*, п)*) = К и Я?((С* , п)*) = 0, при ц = 2к — 1, 2к — 2, где образующие степени к — 1 — классы коциклов а1 Л в Л ... Л в и а2 Л в Л ... Л в, образующая
4-V-' 4-V-'
)-1 )-1
степени к — 2 — класс коцикла а1 Л а2 в Л ... Л в• Коциклы а1, а2 и в определяются равенства-
4-V-'
2
ми (2) и (3).
Доказательство. Будем доказывать теорему индукцией по к. Пусть сначала к = 2. Обозначим через С? комплекс 0 (Ср 0 Л © СП 0 ¿П). Тогда (С? п )2 = ( 0 ((С, п )л 0 ¿л Я / <Ла .Когомологии
комплекса С? тривиальны, поэтому Я?((С* п)2) = Я?( 0 ((С п)л 0 Сд)). Получаем утверждение
р+г=*
теоремы для случая к = 2. Теперь, используя найденные когомологии подкомплекса (С*, п)2, когомологии фактор-комплекса С*, найдем когомологии комплекса С*/С* с помощью длинной точной последовательности когомологий (12) при к = 2:
... ^ Яг(((*%)2) ^ Яг(СЛ2 /С7*) ^ Яг(С*) ^ Яг+1(^0*,п)2) ^ Яг+1(^2*/С*) ^ .... Получим:
я2 (С* /С*) = к, я3 (С /с7* ) - К © К, я4 (С* /С*) = К,
Я?(С*/С7*) = 0, д = 2, 3,4.
Двумерная образующая — класс коцикла а1 Л а2, трехмерная образующая — классы коциклов а1 Л в, а2 Л в, четырехмерная образующая — класс коцикла в Л в. Пусть к = 3. Тогда
(¿0%)з - ( © ((С0п)д 0 С)) /( © (((7о,п)△ 0 ^л)).
Найдем когомологии комплекса С72 из длинной точной последовательности когомологий:
... ^ Яг(¿7 *) ^ Я^С) ^ Яг(¿7°/¿7*) ^ Яг+1 (С*) ^ Я^С*) ^ ....
Пространство когомологий комплекса 0 ((¿70п)△ 0 С7-) — тензорное произведение пространств
когомологий комплексов (С? п)л и С7?. Найдем когомологии комплекса (Со'п)з из длинной точной последовательности комологий комплекса 0 ((С^'О п)л 0 С-), подкомплекса 0 ((СО п)△ 0 ¿л) и
фактор-комплекса (Сд п)3 и получим утверждение для случая к = 3.
Теперь, используя длинную точную последовательность (12) при к = 3, мы можем вычислить когомологии комплекса С73 /С72 . Пусть к = I, тогда
(С?, П) - ( © ((¿0, п)л 0 (-О) /( © ((7,П)л 0 С-2)) .
Считая утверждение теоремы верным для случая к < I — 1, найдем сначала когомологии комплекса С7-1/С7-2, используя длинную точную последовательность когомологий (12) при к = I — 1. Далее, из длинной точной последовательности когомологий комплекса (-1, подкомплекса (-2 и фактор-комплекса С*-!/¿7*-2 найдем когомологии комплекса (-1. Пространство когомологий комплекса 0 ((С70п)л 0(-О — тензорное произведение пространств когомологий комплексов (С^)л
и ¿Л0-1 , пространство когомологий комплекса 0 ((Се п)л 0 С7;'!^ — тензорное произведение
пространств когомологий комплексов (С7? п)л и C70-2. Найдем когомологии комплекса (С7? п)г из
длинной точной последовательности когомологий комплекса ф ((Со п)△ 0 С-^, подкомплекса
р+г=9
0 ((Сд п)△ 0 С-2) и фактор-комплекса (С9 п), что завершает доказательство теоремы. □
р+г=9
В ходе доказательства теоремы 9 нам приходилось вычислять когомологии комплексов Ск /Ск_ 1, поэтому попутно мы доказали теорему 7.
Доказательство теоремы 2. Когомологии комплекса С)?/С- — первый член спектральной последовательности (Ё^ ' 9-кА) комплекса 1(С9(и(X))), при этом 5г = 0 при г > 1. Тогда
Ак 9-к Ак 9-к Ак 9-к
Ё1 = Ё2 = ... = .
Рассмотрим подкомплекс комплекса 1(С9(и(X))), мультипликативно порожденный коциклами а1, а2 и в. Обозначим его через С^ в. Ограничим фильтрацию комплекса 1(С9(и(X))) подкомплексами С| на подкомплекс С^ в и рассмотрим соответствующую спектральную последовательность
(Ека/А'а 'в). Получим, что Ё£9-к = Ё^9- в. Тогда Н9(1(С*(и(X)))) = Н9(С£ ^). Алгебра кого-мологий комплекса Са в представляет собой тензорное произведение внешней алгебры с двумя образующими степени 1 (классы коциклов а1 и а2) и кольца многочленов с одной образующей степени 2 (класс коцикла в). □
В заключение автор выражает благодарность своему научному руководителю, профессору М. В. Лосику за неоценимую помощь в работе.
Библиографический список
1. Волокитина Е. Ю. О когомологиях алгебры Ли векторных полей на Si/Z2 // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2012. Т. 12, вып. 1. С. 8-15.
2. Гельфанд И. М, Фукс Д. Б. Когомологии алгебры Ли касательных векторных полей гладкого многообразия // Функц. анализ. 1969. Т. 3, вып. 3. С. 32-52.
3. Schwartz L. Théorie des distributiones. Paris : Hermann, 1951. 418 p.
4. Гельфанд И. М, Виленкин Н. Я. Некоторые приме-
нения гармонического анализа. Оснащенные гильбертовы пространства. М. : Физматгиз, 1961. 472 с.
5. Гельфанд И. М, Шилов Г. Е. Пространства основных и обобщенных функций. М. : Физматгиз, 1958. 308 с.
6. Рам Ж. де. Дифференцируемые многообразия. М. : Изд-во иностр. лит., 1956. 250 с.
7. Годеман Р. Алгебраическая топология и теория пучков. М. : Изд-во иностр. лит., 1961. 320 с.
8. Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. М. : Наука, 1989. 528 с.
Cohomology of the Lie Algebra of Vector Fields on Some One-dimensional Orbifold
E. Y. Volokitina
Saratov State University, Russia, 410012, Saratov, Astrahanskaya st., 83, evgenia.yu@gmail.com
I. M. Gelfand and D. B. Fuchs have proved that the cohomology algebra of the Lie algebra of vector fields on the unit circle is isomorphic to the tensor product of the polynomial ring with one generator of degree two and the exterior algebra with one generator of degree three. In the present paper the cohomology of the Lie algebra of vector fields on the one-dimensional orbifold S1 /Z2 are studied. S1/Z2 is the orbit space under the Z2 group action on the unit circle by reflection in the Ox axis. It has been proved that the cohomology algebra of the Lie algebra of vector fields on the orbifold is isomorphic to the tensor product of the exterior algebra with two generators of degree one and the polynomial ring with one generator of degree two. To prove this result author used the Gelfand-Fuchs method with some modifications.
Key words: orbifold, Lie algebra, cohomology. References
1. Volokitina E. Y. Cohomology of Lie algebra of vector fields on S1/Z2. Izv. Sarat. Univ. N.S. Ser. Math. Mech. Inform., 2012. vol. 12, iss. 1, pp. 8-15 (in Russian).
2. Gelfand I. M., Fuks D. B. Cohomologies of Lie algebra of tangential vector fields of a smooth manifold. Functional Analysis and Its Applications, 1969, vol. 3, iss. 3, pp. 194-210.
3. Schwartz L. Theorie des distributiones. Paris, Hermann, 1951, 418 p.
4. Gelfand I. M., Vilenkin N. Ja. Generalized Functions, vol. 4: Some Applications of Harmonic Analysis. Rigged Hilbert Spaces. New York, Academic Press, 1964, 384 p. (Rus. ed.: Gelfand I. M., Vilenkin N. Ja. Nekotorye primeneniia garmonicheskogo analiza. Osnashchennye
gil'bertovy prostranstva. Moscow, Fizmatgiz, 1961, 7. Godeman R. Algebraicheskaia topologiia i teoriia
472 p.) puchkov [Algebraic topology and theory of sheaves].
5. Gelfand I. M., Shilov G. E. Prostranstva osnovnykh i Moscow, Izdatelstvo inostrannoj literatury, 1961, 320 p. obobshchennykh funktsii [Spaces of test and generalized (in Russian).
functions]. Moscow, Fizmatgiz, 1958, 308 p. (in Russian).
6. Rham G. de. Differentsiruemye mnogoobraziia [Diffe- 8. Fomenko A. T., Fuks D. B. Kurs gomotopicheskoi rentiable manifolds]. Moscow, Izdatelstvo inostrannoj lite- topologii [A course in homotopy topology]. Moscow, ratury, 1956, 250 p. (in Russian). Nauka, 1989, 528 p. (in Russian).
УДК 501.1
СИСТЕМА ДИРАКА С НЕДИФФЕРЕНЦИРУЕМЫМ ПОТЕНЦИАЛОМ И АНТИПЕРИОДИЧЕСКИМИ КРАЕВЫМИ УСЛОВИЯМИ
В. В. Корнев1, А. П. Хромов2
1 Кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KornevVV@info.sgu.ru
2Доктор физико-математических наук, заведующий кафедрой дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KhromovAP@info.sgu.ru
В работе рассматривается система Дирака с антипериодическими краевыми условиями и с комлекснозначным непрерывным потенциалом. Предложен новый метод исследования спектральных свойств этой краевой задачи. Метод базируется на формулах типа операторов преобразования и является элементарным и простым. С его помощью получена уточненная асимптотика собственных значений и доказано, что система собственных и присоединенных функций образует базис Рисса со скобками в пространстве квадратично суммируемых двумерных вектор-функций, так как собственные значения могут быть кратными. Исследуется также структура проекторов Рисса. Полученные результаты можно использовать в смешанной задаче для уравнения с частными производными первого порядка с инволюцией.
Ключевые слова: система Дирака, спектр, асимптотика, базис Рисса.
Рассмотрим на отрезке [0,1] систему Дирака:
y1 (x) - q2(x)y2(x) = Ayi(x), (1)
y2(ж) - qi (x)yi(x) = - ау2(ж) (2)
с краевыми условиями
yi(0) = -yi (1), У2(0)= y2(1), (3)
где qj (ж) — непрерывные комплекснозначные функции.
В работе [1] предложен новый метод исследования спектральных свойств системы (1), (2) в случае периодических краевых условий. В данной работе на основе этого метода подобное исследование осуществляется в случае антипериодических краевых условий (3). Метод базируется на формулах типа операторов преобразования (см. также [2, с. 30]), является элементарным и весьма простым. В качестве приложения дается новое доказательство теоремы П. Джакова, Б. С. Митягина [3,4] о базисах Рисса. Как и в периодическом случае, в антипериодическом случае возможна кратность собственных значений. Полученные результаты могут быть также использованы в смешанной задаче для уравнения с частными производными первого порядка с инволюцией [5].
1. АСИМПТОТИКА СОБСТВЕННЫХ ЗНАЧЕНИЙ И ПОЛНОТА СИСТЕМЫ СОБСТВЕННЫХ И ПРИСОЕДИНЕННЫХ ФУНКЦИЙ
Имеет место следующая асимптотика решений системы (1), (2):
Лемма 1. Система (1), (2) в области Re А > -h, h > 0, при больших |А| имеет фундаментальную матрицу решений Y(ж, А) = (yj(ж))2 с асимптотикой
Y (ж, А) = (E + o(1))eADx, (4)
где E = diag (1,1), D = diag (1, -1), o(1) ^ 0 при |А| ^ го равномерно по ж е [0,1] и arg А, y^ (ж) — аналитичны по А.
