Кодифференциал (дифференциальная геометрия)

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

Гладкое отображение ${\displaystyle \varphi :M\to N}$ между дифференцируемыми многообразиями определяет отображение ${\displaystyle \varphi ^{*}:T^{*}N\to T^{*}M}$ между кокасательными расслоениями ${\displaystyle T^{*}N}$ и ${\displaystyle T^{*}M}$, направленное в обратную сторону, по формуле ${\displaystyle (\varphi ^{*}\omega )(X)=\omega (\varphi _{*}X)}$.

Это отображение один раз менее гладко, чем исходное отображение ${\displaystyle \varphi }$. Оно продолжается на ковариантные тензорные поля на ${\displaystyle N}$, в том числе на тензорные степени ${\displaystyle (T^{*}N)^{\otimes n}}$ и внешние степени ${\displaystyle \bigwedge ^{n}T^{*}N}$ кокасательного расслоения для любого натурального ${\displaystyle n}$. Поскольку последние являются в точности дифференциальными формами ${\displaystyle \Omega ^{n}N=\bigwedge ^{n}T^{*}N}$, получается обратный образ дифференциальных форм ${\displaystyle \varphi ^{*}:\Omega ^{n}N\to \Omega ^{n}M}$.

ифференциал не является обратным к дифференциалу дифференциальных форм, которое вообще задано для одного многообразия и не связано с каким-либо отображением.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 14 октября 2019 года.