codifferential

English

Etymology

co- +‎ differential

Noun

codifferential (plural codifferentials)

1. (mathematics) The projected differential of an extensor field.
   • 2016, Terence Tao, “Finite time blowup for Lagrangian modifications of the three-dimensional Euler equation”, in arXiv‎^[1]:

     In the language of differential geometry, the incompressible inviscid Euler equations can be written in vorticity-vector potential form as ${\begin{matrix}\partial _{t}\omega +{\mathcal {L}}_{u}\omega &=0\\u&=\delta {\tilde {\eta }}^{-1}\Delta ^{-1}\omega \end{matrix}}$ where $\omega$ is the vorticity $2$-form, ${\mathcal {L}}_{u}$ denotes the Lie derivative with respect to the velocity field $u$, $\Delta$ is the Hodge Laplacian, $\delta$ is the codifferential (the negative of the divergence operator), and ${\tilde {\eta }}^{-1}$ is the canonical map from $2$-forms to $2$-vector fields induced by the Euclidean metric $\eta$.

2. (differential geometry) the formal adjoint of the exterior derivative; a differential-geometric version of the divergence operator; the exterior derivative sandwiched between two Hodge star operators with some additional factor(s) that take(s) care of the sign; the Hermitian conjugate of the exterior derivative under the inner product for k-form fields over some manifold M: $(\alpha ,\beta )=\int _{M}\alpha \wedge \star \beta$, so that $(\alpha ,d\beta )=(\delta \alpha ,\beta )$.
   • 2015, 1:19:34 from the start, in 2 Tangent Space, Differential Forms, Metric (Mathematics for Theoretical Physicists - Hirosi Ooguri)‎^[2], spoken by Hiroshi Ooguri (Hiroshi Ooguri), K Raviteja (YouTube):

     One important concept is the introduction of codifferential operator

Further reading

• Hodge star operator on Wikipedia.Wikipedia
• Weitzenböck identity on Wikipedia.Wikipedia