НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ

ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ на аналитических пространствах - обобщение классич. исчисления дифференциальных форм и дифференциальных операторов на случай аналитич. пространств. Об исчислении дифференциальных форм на комплексных многообразиях см. Дифференциальная форма. Пусть (X, X) - аналитич. пространство над полем k, Δ - диагональ в X × X, J - пучок идеалов, определяющий Δ и порожденный всеми ростками вида π*1f - π*2f, где f - произвольный росток из X, πi: Х × Х → X - проекция на i-й сомножитель.

Аналитич. пучок π1(J/J2) = ΩX наз. пучком аналитических дифференциальных форм первой степени на X. Если f - росток аналитич. функции на X, то росток π*1f - π*2f принадлежит J и определяет элемент df пучка Ω1X, π1J/J2), называемый дифференциалом ростка f. Тем самым определяется гомоморфизм пучков векторных

пространств d: X → Ω1X. Если Х = kn, то Ω1X - свободный пучок, порожденный dx1, ..., dxn, где x1, ..., хn -координаты в kn. Если X - аналитич. подпространство в kn, определяемое пучком идеалов J, то

С каждым аналитич. отображением f : X → Y можно связать пучок относительных дифференциалов Ω1X. Это - аналитич. пучок Ω1X/Y, индуцирующий Ω1Xs на каждом слое Xs(s ∈ Y) отображения f; он определяется из точной последовательности

f*Ω1Y → Ω1X → Ω1X/Y → 0.

Пучок ΘX = НоmX1X, X) наз. пучком ростков аналитических векторных полей на X. Если X - многообразие, то Ω1X и X -локально свободные пучки, естественно изоморфные пучкам ростков аналитич. сечений кокасательного и касательного расслоений над X соответственно.

Аналитич. пучки наз. пучками аналитических внешних дифференциальных форм степени р на X (при k = ℂ их наз. также голоморфными формами). Для всякого р ≥ 0 определяется гомоморфизм пучков векторных пространств dp: ΩpX → Ωp+1X, совпадающий при р = 0 с введенным выше и удовлетворяющий условию dp+1dp = 0. Комплекс пучков (Ω*X, d) наз. комплексом де Рама пространства X. Если X - многообразие и k = ℂ или ℝ, то комплекс де Рама является точным комплексом пучков. Если X многообразие Штейна или вещественное аналитич. многообразие, то когомологии комплекса сечений Г(Ω*X), часто также называемого комплексом де Рама, изоморфны Нз(Х, k).

Если X имеет особые точки, то комплекс де Рама не обязан быть точным. В случае, когда k = ℂ, достаточным условием точности комплекса де Рама в точке х ∈ Х является наличие у х комплексно аналитически стягиваемой окрестности. Гипергомологии комплекса Г(Ω*X) при k = ℂ содержат когомологии пространства X с коэффициентами в ℂ в качестве прямого слагаемого и совпадают с ними, если X гладко. Сечения пучка ΘX наз. аналитическими (а при k = ℂ также голоморфными) векторными полями на X. Поле Z ∈ Г(X, ΘX) определяет для любого открытого U ⊂ X дифференцирование алгебры аналитич. функций Г(U, X), действующее по формуле φ → Zφ = Z(dφ). Если k = ℂ или ℝ, то Z задает локальную однопараметрич. группу expt Z автоморфизмов пространства X. Если при этом X компактно, то группа expt Z определима глобально.

Пространство Г(X, ΘX), снабженное скобкой Ли, является алгеброй Ли над k. Если X - компактное комплексное пространство, то Г(X, ΘX) - алгебра Ли группы Aut X.

Дифференциальные операторы на аналитич. пространстве (X, ,X) определяются аналогично дифференциальным операторам модуля. Если F, G - аналитич. пучки на X, то линейным дифференциальным оператором порядка действующим из F в G, наз. гомоморфизм пучков векторных пространств F → G, продолжающийся до аналитич. гомоморфизма F ⊗ π1 (X×X/Il+1) → G. Если X гладко, a F и G локально свободны, то это определение приводит к обычному понятию дифференциального оператора на векторном расслоении [3], [4].

Ростки линейных дифференциальных операторов F → G образуют аналитич. пучок Diff(F, G) с фильтрацией

Diff0(F, G) ⊂ Diff1(F, G) ⊂ ... ⊂ Diffl(F, G) ⊂ ...,

где Diffl(F, G) - пучок ростков операторов порядка < l. В частности, Diff (, ) - фильтрованный пучок ассоциативных алгебр над k относительно композиции отображений. Имеем

Diff0(F, G) ≅ Hom(F, G),

Diff1(, )/Diff0(, ) ≅ ΘX.

Изучение пучка Diff(, ) проведено (в негладком случае) лишь для нек-рых специальных типов особых точек. В частности, в случае неприводимого одномерного комплексного пространства X доказано, что пучок алгебр Diff(, ) и соответствующий пучок градуированных алгебр допускают конечные системы образующих [5].

Лит.: [1] Malgrange В., «Enseign. math.», 1968, ser. 2, t. 14, № 1, p. 1-20- [2] Коup W., «Math. Ann.», 1965, Bd 160, № 1, S. 72-92; [3] Шварц Л., Комплексные многообразия. Эллиптические уравнения с частными производными, пер. с нем., М., 1964; [4] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; [5] Вlооm Тh., «Ricе Univ. Stud.», 1973, v. 59, № 2, p. 13-19; [6] Вerger R., [u. a.], Differentialrechnung in der anaytilschen Geometrie, В.-Hdlb.-N. Y., 1967; [7] Fisсher G., Complex analytic geometry, B.-Hdlb.-N. Y., 1976.

Д. А. Пономарев.


Источники:

  1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru