Let E→ME\to M be a smooth with connection ∇E\nabla^E, and let gg be a with ∇LC\nabla^{\mathrm{LC}}. The second ss is

(∇E)X,Y2s=∇XE∇YEs−∇∇XLCYEs.(\nabla^E)^2_{X,Y}s =\nabla^E_X\nabla^E_Ys-\nabla^E_{\nabla^{\mathrm{LC}}_X Y}s.

In the sign convention of this collection, the connection Laplacian is

Δ∇Es=−tr⁡g((∇E)2s).\Delta_{\nabla^E}s=-\operatorname{tr}_g\bigl((\nabla^E)^2s\bigr).

In a local pseudo-orthonormal frame eie_i, with g(ei,ei)=εi∈{+1,−1}g(e_i,e_i)=\varepsilon_i\in\{+1,-1\}, this is

Δ∇Es=−∑iεi(∇eiE∇eiEs−∇∇eiLCeiEs).\Delta_{\nabla^E}s=-\sum_i\varepsilon_i\Bigl(\nabla^E_{e_i}\nabla^E_{e_i}s-\nabla^E_{\nabla^{\mathrm{LC}}_{e_i}e_i}s\Bigr).
Special cases

For a Riemannian metric and a metric connection, this is also called the rough or Bochner Laplacian and has nonnegative leading sign. For a Lorentzian metric it is a connection wave operator and is . On the trivial line bundle with its trivial connection, it reduces to the scalar .

References
  1. Peter Petersen, Riemannian Geometry, 3rd ed., Springer, 2016. Publisher record. Relevant: Chapter 4.
  2. Christian Bär, Nicolas Ginoux, and Frank Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization, European Mathematical Society, 2007. Publisher record. Relevant: §1.5.