WikiSort.ru - Не сортированное

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

Скалярные операторы

Пусть ${\displaystyle \Bbbk }$ — поле, ${\displaystyle A}$ — алгебра над полем ${\displaystyle \Bbbk }$ , коммутативная и с единицей и ${\displaystyle \Delta \colon A\to A}$ — ${\displaystyle \Bbbk }$ -линейное отображение, ${\displaystyle \Delta \in \mathrm {Hom} _{\Bbbk }(A,A)}$ . Всякий элемент алгебры ${\displaystyle a\in A}$ можно понимать как оператор умножения: ${\displaystyle a(b)=ab,\ b\in A}$ . Операторы ${\displaystyle a}$ и ${\displaystyle \Delta }$ , вообще говоря, не коммутируют и равенство ${\displaystyle a\circ \Delta -\Delta \circ a=[a,\Delta ]=0}$ будет выполняться в том и только том случае, когда ${\displaystyle \Delta }$ — ${\displaystyle A}$ -гомоморфизм.

Определение 1. ${\displaystyle \Delta \in \mathrm {Hom} _{\Bbbk }(A,A)}$ называется дифференциальным оператором (ДО) порядка ${\displaystyle \leq n}$ из ${\displaystyle A}$ в ${\displaystyle A}$ , если для любых ${\displaystyle a_{0},\dots ,a_{n}\in A}$

${\displaystyle [a_{n},[a_{n-1},[\ldots [a_{0},\Delta ]\ldots ]]]=0.}$

Множество всех ДО порядка ${\displaystyle \leq n}$ из ${\displaystyle A}$ в ${\displaystyle A}$ обозначается ${\displaystyle \mathrm {Diff} _{n}A}$ . Сумма двух ДО порядка ${\displaystyle \leq n}$ будет снова ДО порядка ${\displaystyle \leq n}$ и множество ${\displaystyle \mathrm {Diff} _{n}A}$ устойчиво относительно как левого, так и правого умножения на элементы алгебры ${\displaystyle A}$ , поэтому оно снабжается естественной структурой бимодуля над ${\displaystyle A}$ .

Общий случай

Пусть ${\displaystyle P,\ Q}$ — модули над ${\displaystyle A}$ . Определения 1 и 3 без изменений переносятся на этот случай:

Определение 4. ${\displaystyle \Bbbk }$ -гомоморфизм ${\displaystyle \Delta \colon Q\to P}$ называется линейным дифференциальным оператором порядка ${\displaystyle \leq n}$ из ${\displaystyle Q}$ в~${\displaystyle P}$ , если для любых ${\displaystyle a_{0},\dots ,a_{n}\in A}$

${\displaystyle [a_{n},[a_{n-1},[\ldots [a_{0},\Delta ]\ldots ]]]=0}$

Определение 5. Отображение ${\displaystyle \Delta \colon A\to A}$ называется дифференцированием алгебры ${\displaystyle A}$ со значениями в ${\displaystyle P}$ , если оно удовлетворяет правилу Лейбница:

${\displaystyle \Delta (fg)=f\Delta (f)+g\Delta (f),\quad f,g\in A.}$

Множество ${\displaystyle \mathrm {Diff} _{n}(P,Q)}$ всех ДО порядка ${\displaystyle \leq n}$ из ${\displaystyle Q}$ в ${\displaystyle P}$ является бимодулем над ${\displaystyle A}$ , а множество ${\displaystyle \mathrm {D} (P)}$ всех дифференцирований ${\displaystyle A}$ в ${\displaystyle P}$ — левым ${\displaystyle A}$ -модулем.

Если ${\displaystyle A=C^{\infty }(M)}$ — алгебра гладких функций на многообразии ${\displaystyle M}$ , то проективные конечнопорождённые ${\displaystyle A}$ -модули есть не что иное, как модули сечений конечномерных векторных расслоений над ${\displaystyle M}$ . В этом случае определение 4 описывает ДО на векторнозначных функциях, переводящие их в векторнозначные функции, а определение 5 — векторнозначные векторные поля.

Представляющие объекты и геометризация

Функторы ${\displaystyle \mathrm {Diff} _{n}(P,\quad )}$ и ${\displaystyle \mathrm {D} =\mathrm {D} (\quad )}$ представимы:

Теорема. 1. Существуют единственные ${\displaystyle A}$ -модуль ${\displaystyle \Lambda }$ и дифференцирование ${\displaystyle d\colon A\to \Lambda }$ , такие, что для любого ${\displaystyle A}$ -модуля ${\displaystyle Q}$ имеет место естественный изоморфизм

${\displaystyle \mathrm {D} (Q)=\mathrm {Hom} _{A}(\Lambda ,Q),\quad \mathrm {Hom} _{A}(\Lambda ,Q)\ni h\leftrightarrow h\circ d\in \mathrm {D} (Q).}$

2. Существуют единственные ${\displaystyle A}$ -модуль ${\displaystyle {\mathcal {J}}^{n}(P)}$ и ДО ${\displaystyle j_{n}\colon P\to {\mathcal {J}}^{n}(P)}$ порядка ${\displaystyle \leq n}$ , такие, что для любого ${\displaystyle A}$ -модуля ${\displaystyle Q}$ имеет место естественный изоморфизм

${\displaystyle \mathrm {Diff} _{n}(P,Q)=\mathrm {Hom} _{A}({\mathcal {J}}^{n}(P),Q),\quad \mathrm {Hom} _{A}({\mathcal {J}}^{n}(P),Q)\ni h\leftrightarrow h\circ j_{n}\in \mathrm {Diff} _{n}(P,Q).}$

Дифференцирование ${\displaystyle d}$ и ДО ${\displaystyle j_{n}}$ называются универсальным дифференцированием и универсальным ДО порядка ${\displaystyle \leq n}$ соответственно, а модули ${\displaystyle \Lambda }$ и ${\displaystyle {\mathcal {J}}^{n}(P)}$ — модулем дифференциальных форм первого порядка и модулем джетов порядка ${\displaystyle n}$ . (Иногда вместо термина "джет" употребляют термин "струя".)

Модули ${\displaystyle {\mathcal {J}}^{n}(P)}$ и ${\displaystyle \Lambda }$ довольно просто описываются "на пальцах". Именно, ${\displaystyle A}$ -модуль ${\displaystyle {\mathcal {J}}^{n}(P)}$ порожден всевозможными элементами вида ${\displaystyle j_{n}(p),\ p\in P}$ , для которых выполнены следующие соотношения:

${\displaystyle j_{n}(kp)=kj_{n}(p)\ \forall k\in \Bbbk ,\ p\in P}$ ,

${\displaystyle {\big (}[a_{n},[a_{n-1},[\ldots [a_{0},j_{n}]\ldots ]]]{\big )}(p)=0\ \forall p\in P,\ a_{0},\dots ,a_{n}\in A}$ ,

где ${\displaystyle {\big (}[a_{0},j_{n}]{\big )}(p)=a_{0}j_{n}(p)-j_{n}(a_{0}p),\quad {\big (}[a_{1}[a_{0},j_{n}]]{\big )}(p)=a_{1}a_{0}j_{n}(p)-a_{1}j_{n}(a_{0}p)-a_{0}j_{n}(a_{1}p)+j_{n}(a_{1}a_{0}p)}$ , и так далее.

Аналогично, ${\displaystyle A}$ -модуль ${\displaystyle \Lambda }$ порожден всевозможными элементами вида ${\displaystyle da,\ a\in A}$ , для которых выполнены следующие соотношения:

${\displaystyle d(ka)=kda\ \forall k\in \Bbbk ,\ a\in A}$ ,

${\displaystyle d(ab)=adb+bda\ \forall a,b\in A}$ .

Естественно было бы и здесь ожидать, что для алгебры ${\displaystyle A=C^{\infty }(M)}$ дифференциальные формы окажутся "обычными" дифференциальными формами на многообразии ${\displaystyle M}$ , а джеты — "обычными" джетами, но это не так. Причиной тому является существование в алгебраических конструкциях невидимых элементов, то есть ненулевых элементов, которые, тем не менее, равны нулю в каждой точке многообразия ${\displaystyle M}$ . Например, пусть ${\displaystyle M=\mathbb {R} ^{1}}$ , дифференциальная форма ${\displaystyle e^{x}dx-de^{x}\in \Lambda }$ отлична от нуля, но ${\displaystyle (e^{x}dx-de^{x}){\big |}_{z}=0\ \forall z\in \mathbb {R} ^{1}}$ . Модули над ${\displaystyle C^{\infty }(M)}$ , не содержащие невидимых элементов, называют геометрическими. Для любого ${\displaystyle C^{\infty }(M)}$ -модуля ${\displaystyle S}$ множество всех невидимых элементов образует подмодуль, фактор по которому является геометрическим модулем и обозначается ${\displaystyle G(S)}$ . Модули ${\displaystyle G(\Lambda )}$ и ${\displaystyle G({\mathcal {J}}^{n}(P))}$ , где ${\displaystyle P}$ — геометрический модуль, будут представляющими объектами для функторов ${\displaystyle \mathrm {D} }$ и ${\displaystyle \mathrm {Diff} _{n}(P,\quad )}$ в категории геометрических модулей над ${\displaystyle A=C^{\infty }(M)}$ . Они оказываются изоморфными модулю "обычных" дифференциальных форм и модулю "обычных" джетов соответственно.

Градуированные алгебры

Эта теория легко переносятся на случай градуированных алгебр (в старой терминологии — супералгебр), где, в частности, дает новый взгляд на такие конструкции, как интегральные формы и интеграл Березина.

Приложения

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

Историческая справка

Определение ДО в категории модулей над коммутативными алгебрами появилось, независимо друг от друга, в работах П. Габриеля^[1], С. Судзуки^[2] и А. М. Виноградова^[3]. Однако всю важность алгебраического подхода к ДО, видимо, осознал только А. М. Виноградов и основной вклад в развитие этой теории внесен им и его учениками.

См. также

• Коммутативная алгебра
• Гамильтонова механика
• Дифференциальная алгебра
• Дифференциальное исчисление
• Связность (некоммутативная геометрия)

Примечания

Литература

• Джет Неструев, Гладкие многообразия и наблюдаемые, МЦНМО, Москва, 2000.
• А. М. Виноградов, И. С. Красильщик, Что такое гамильтонов формализм? // Успехи математических наук. — 1975. — Т. 30, выпуск 1(181), — стр. 173–198.
• А. М. Виноградов, И. С. Красильщик, В. В. Лычагин, Введение в геометрию нелинейных дифференциальных уравнений, Глава 1. Линейные дифференциальные операторы в коммутативных алгебрах М., Наука, 1986.
• А. М. Виноградов, Некоторые гомологические системы, связанные с дифференциальным исчислением в коммутативных алгебрах // Успехи математических наук. — 1979. — Т. 34, выпуск 6(210), — стр. 145–150.
• I. S. Krasil’shchik, Lectures on Linear Differential Operators over Commutative Algebras. Eprint DIPS-01/98
• Algebraic aspects of differential calculus, edited by Joseph Krasil'shchik and Alexandre Vinogradov, — Special Issue of Acta Applicandae Mathematicae, Volume 49, Issue 3, December 1997, 321 pages, ISSN: 0167-8019. (Статьи этого выпуска по отдельности доступны в электронном виде: DIPS-01/96, DIPS-02/96, DIPS-03/96, DIPS-04/96, DIPS-05/96, DIPS-06/96, DIPS-07/96, DIPS-08/96).
• I. S. Krasil’shchik, A. M. Verbovetsky, Homological Methods in Equations of Mathematical Physics, Open Ed. and Sciences, Opava (Czech Rep.), 1998; Eprint arXiv:math/9808130v2.
• Alexandre M. Vinogradov, Logic of differential calculus and the zoo of geometric strujctures, arXiv:1511.06861.
• A. M. Vinogradov, Cohomological Analysis of Partial Differential Equations and Secondary Calculus, — AMS "Translation of Mathematical Monographs" series, vol. 204, 247 pages, 2001.