Notes

User Tools

Site Tools

Trace:
weitzenboeck_identity

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
weitzenboeck_identity [2022/09/05 05:36] – spencerweitzenboeck_identity [2022/09/05 05:36] (current) – spencer
Line 7: Line 7:
 The second is the Bochner Laplacian $\nabla^* \nabla$, where $\nabla : \Omega^k(E) \to \Omega^1(M) \otimes \Omega^k(E)$ (see [[section_isomorphisms]]) is the induced connection on $\Lambda^k T^*M \otimes E$. The second is the Bochner Laplacian $\nabla^* \nabla$, where $\nabla : \Omega^k(E) \to \Omega^1(M) \otimes \Omega^k(E)$ (see [[section_isomorphisms]]) is the induced connection on $\Lambda^k T^*M \otimes E$.
 This differs by a sign from the Laplace–Beltrami operator $\mathrm{tr}\, \nabla^2$ which traces with respect to the metric on $M$ the bilinear form $T_p M \times T_p M \to (\Lambda^k T^*M \otimes E)_p$ given pointwise by two applications of the connection to an $E$-valued $k$-form at a point $p$; indeed, in a local orthonormal frame, This differs by a sign from the Laplace–Beltrami operator $\mathrm{tr}\, \nabla^2$ which traces with respect to the metric on $M$ the bilinear form $T_p M \times T_p M \to (\Lambda^k T^*M \otimes E)_p$ given pointwise by two applications of the connection to an $E$-valued $k$-form at a point $p$; indeed, in a local orthonormal frame,
-\[ \\mathrm{tr} \nabla^2 \omega = \sum (\nabla^2 \omega)(e_i, e_i) = e(\omega^i)^* \nabla_{e_i} \omega \]+\[ \mathrm{tr} \nabla^2 \omega = \sum (\nabla^2 \omega)(e_i, e_i) = e(\omega^i)^* \nabla_{e_i} \omega \]
 is precisely the negative of the adjoint to the [[exterior_derivative|exterior derivative]]. is precisely the negative of the adjoint to the [[exterior_derivative|exterior derivative]].
  
weitzenboeck_identity.1662370562.txt.gz · Last modified: by spencer