03.09.14 · modern-geometry / spin-geometry

Generalised Dirac bundles and the Bochner-Weitzenböck identity

shipped3 tiersLean: partial

Anchor (Master): Lawson-Michelsohn §II.6 + §II.8.3–II.8.4; Berline-Getzler-Vergne *Heat Kernels and Dirac Operators* Ch. 3; Bochner 1946 *Vector fields and Ricci curvature*

Intuition [Beginner]

A Dirac bundle is the abstract setting in which a single first-order differential operator $D$ behaves like the Dirac operator on spinors — so that taking $D$ twice always gives a Laplacian plus a curvature term, with no extra ingredients beyond the curvature of the manifold and the bundle.

The remarkable fact is that the same recipe works in three apparently different settings: the spinor bundle on a spin manifold, the bundle of differential forms with $d + d^{*}$ as the Dirac operator, and twisted versions where an auxiliary bundle is tensored in. Each is a Dirac bundle in its own right, and each obeys the same square-equals-Laplacian-plus-curvature law. The law is what Bochner discovered for harmonic forms in 1946 and what Lichnerowicz extended to spinors in 1963.

Why bother with the abstraction? Because once you recognise the pattern, every vanishing theorem in geometry — no harmonic 1-forms when Ricci is positive, no harmonic spinors when scalar curvature is positive, no holomorphic sections when curvature is negative — becomes an instance of one identity, applied to one Dirac bundle.

Visual [Beginner]

A curved manifold with three different bundles attached: a spinor bundle (carrying the Dirac operator), a differential-form bundle (carrying $d + d^{*}$ ), and a twisted bundle (carrying a coupled Dirac operator). Each fibre carries a Clifford action of the cotangent space — the structure that makes the whole picture work uniformly.

The Bochner-Weitzenböck identity is what you discover when you square any of these Dirac operators: a connection Laplacian plus a fixed curvature endomorphism that depends on the bundle.

Worked example [Beginner]

Take a 2-sphere $S^{2}$ with its round metric. Form the bundle of complex-valued differential forms: rank-1 in degrees 0 and 2, rank-2 in degree 1, total rank 4. Equip it with the Hodge inner product, the Levi-Civita connection extended to forms, and the Clifford action $ξ \cdot ω = ξ \land ω - ι_{ξ^{♯}} ω$ (one-form wedge minus interior product). This data makes the form bundle a Dirac bundle, with Dirac operator $D = d + d^{*}$ .

Square it. The result is the Hodge Laplacian. Bochner's 1946 calculation expressed this Laplacian as a connection Laplacian (a quadratic-in-derivatives piece) plus the Ricci tensor acting on 1-forms. On the round sphere of curvature $1$ , Ricci is the identity on 1-forms, so the curvature endomorphism contributes $+ 1$ pointwise. A harmonic 1-form would have to balance these two non-negative contributions to zero — impossible unless the form itself vanishes.

What this tells us: the Dirac-bundle abstraction recovers, in one move, both the existence of the operator $d + d^{*}$ on forms and the Bochner vanishing theorem that $S^{2}$ admits no harmonic 1-forms. The same recipe applied to the spinor bundle gives the Lichnerowicz formula and rules out harmonic spinors when scalar curvature is positive.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $(M, g)$ be a Riemannian manifold of dimension $n$ . A Dirac bundle over $M$ is a quadruple $(E, ⟨ \cdot, \cdot ⟩, c, \nabla^{E})$ consisting of

(i) a smooth Hermitian vector bundle $E \to M$ with fibrewise Hermitian inner product $⟨ \cdot, \cdot ⟩$ ;

(ii) a bundle map (Clifford multiplication) $c : T^{*} M \otimes E \to E$ satisfying the Clifford relation $$ c(\xi)c(\eta) + c(\eta)c(\xi) = -2\langle \xi, \eta\rangle_g , \mathrm{id}_{\mathfrak{E}} \qquad \forall \xi, \eta \in T^\ast_x M; $$

(iii) a metric-compatible connection $\nabla^{E} : Γ (E) \to Γ (T^{*} M \otimes E)$ ;

(iv) compatibility: Clifford multiplication is parallel, $$ \nabla^{\mathfrak{E}}_X (c(\xi) \psi) = c(\nabla^{LC}_X \xi)\psi + c(\xi) \nabla^{\mathfrak{E}}_X \psi, $$ and Clifford multiplication by a unit covector is skew-Hermitian: $c (ξ)^{*} = - c (ξ)$ for $∣ ξ ∣_{g} = 1$ .

The Dirac operator $D = D_{E}$ associated to a Dirac bundle is the composition $$ D := c \circ \nabla^{\mathfrak{E}}: \Gamma(\mathfrak{E}) \to \Gamma(\mathfrak{E}). $$ In a local orthonormal frame $e_{1}, \dots, e_{n}$ with dual coframe $e^{1}, \dots, e^{n}$ , $$ D\psi = \sum_{j=1}^n c(e^j) \nabla^{\mathfrak{E}}_{e_j}\psi. $$ The construction in §II.5 of Lawson-Michelsohn for spinors is the special case $E = S$ 03.09.05, the spinor bundle ^{[Lawson-Michelsohn §II.6]}.

Examples. Three load-bearing Dirac bundles, each with the Clifford relation and metric compatibility verified directly:

Spinor bundle. $E = S$ , the spinor bundle of a spin manifold; $c$ is the spin Clifford action; $\nabla^{E} = \nabla^{S}$ is the spin connection 03.09.05. The Dirac operator is the classical $D$ .
Form bundle (de Rham Dirac bundle). $E = Λ^{*} T^{*} M \otimes C$ ; Clifford multiplication is $c (ξ) ω = ξ \land ω - ι_{ξ^{♯}} ω$ ; $\nabla^{E}$ is the Levi-Civita connection extended to forms. The Dirac operator is $D = d + d^{*}$ .
Twisted spinor bundle. $E = S \otimes E$ for an auxiliary Hermitian bundle $E$ with metric connection $\nabla^{E}$ ; Clifford multiplication acts on the spinor factor; $\nabla^{E} = \nabla^{S} \otimes 1 + 1 \otimes \nabla^{E}$ . The Dirac operator is the twisted Dirac operator $D_{E}$ central to Atiyah-Singer in its index-twisted form 03.09.10.

A $Z /2$ -graded Dirac bundle is a Dirac bundle with a parallel splitting $E = E^{+} \oplus E^{-}$ for which Clifford multiplication is odd (interchanges the summands). The Dirac operator then has the chiral block form $D = D^{+} \oplus D^{-}$ with $D^{\pm} : Γ (E^{\pm}) \to Γ (E^{\mp})$ . The square of any Dirac operator is exactly the connection Laplacian plus a curvature endomorphism; this is precisely the universal Bochner-Weitzenböck identity, putting these together gives the foundational identity of every Dirac-type calculation.

Key theorem with proof [Intermediate+]

Theorem (Bochner-Weitzenböck identity). Let $(E, c, \nabla^{E})$ be a Dirac bundle on a Riemannian manifold $(M, g)$ , and let $D$ be its Dirac operator. There exists a self-adjoint bundle endomorphism $R^{E} \in Γ (End (E))$ , the Clifford-curvature endomorphism, such that $$ D^2 = (\nabla^{\mathfrak{E}})^\ast \nabla^{\mathfrak{E}} + \mathcal{R}^{\mathfrak{E}}. $$ The endomorphism $R^{E}$ is given in a local orthonormal frame by $$ \mathcal{R}^{\mathfrak{E}} = \tfrac{1}{2}\sum_{j,k} c(e^j),c(e^k),R^{\mathfrak{E}}(e_j, e_k), $$ where $R^{E}$ is the curvature 2-form of $\nabla^{E}$ acting on $E$ .

Proof. Choose a point $p \in M$ and a local oriented orthonormal frame ${e_{j}}$ that is parallel at $p$ (so $\nabla_{e_{i}}^{L C} e_{j}$ vanishes at $p$ ). At $p$ , $$ D^2\psi = \sum_{j,k} c(e^j) \nabla^{\mathfrak{E}}{e_j} \big(c(e^k) \nabla^{\mathfrak{E}}{e_k}\psi\big). $$ The compatibility (iv) lets the connection pass through Clifford multiplication, with the Levi-Civita derivative of $e^{k}$ vanishing at $p$ . So at $p$ , $$ D^2\psi = \sum_{j,k} c(e^j) c(e^k) \nabla^{\mathfrak{E}}{e_j} \nabla^{\mathfrak{E}}{e_k} \psi. $$ Decompose the double sum into its symmetric and antisymmetric parts in $(j, k)$ . The symmetric part uses $c (e^{j}) c (e^{k}) + c (e^{k}) c (e^{j}) = - 2 δ_{j k} id$ : $$ \tfrac{1}{2}\sum_{j,k} \big(c(e^j)c(e^k) + c(e^k)c(e^j)\big)\nabla^{\mathfrak{E}}{e_j}\nabla^{\mathfrak{E}}{e_k}\psi = -\sum_j (\nabla^{\mathfrak{E}}{e_j})^2\psi = (\nabla^{\mathfrak{E}})^\ast \nabla^{\mathfrak{E}}\psi $$ at $p$ , since the frame is parallel and $(\nabla^{\mathfrak{E}})^\ast \nabla^{\mathfrak{E}} = -\sum_j (\nabla^{\mathfrak{E}}{e_j})^2$ in such a frame.

The antisymmetric part is $$ \tfrac{1}{2}\sum_{j,k} c(e^j)c(e^k),\big[\nabla^{\mathfrak{E}}{e_j}, \nabla^{\mathfrak{E}}{e_k}\big]\psi = \tfrac{1}{2}\sum_{j,k} c(e^j)c(e^k),R^{\mathfrak{E}}(e_j, e_k)\psi, $$ the bracket being the curvature of $\nabla^{E}$ in a parallel frame. Both sides of the resulting identity are tensorial in $ψ$ , so the local identity at $p$ extends to a global identity of operators. The endomorphism $R^{E}$ is self-adjoint because $c (e^{j}) c (e^{k}) R^{E} (e_{j}, e_{k}) + c (e^{k}) c (e^{j}) R^{E} (e_{k}, e_{j})$ symmetrises to a self-adjoint expression after the antisymmetry of $R^{E}$ is used. $□$

Specialisations. Substituting the three Dirac bundles above into the universal identity yields:

Spinor bundle. $R^{S} = \frac{1}{4} Scal$ — Lichnerowicz's formula, recovered as the curvature endomorphism on $S$ ^{[Lawson-Michelsohn §II.5; Lichnerowicz 1963]}.
Form bundle. On 1-forms, $R^{Λ^{1}}$ acts as the Ricci tensor — Bochner's 1946 identity. On $k$ -forms, $R^{Λ^{k}}$ is the Weitzenböck curvature operator built from Ricci and the Riemann tensor ^{[Lawson-Michelsohn §II.8.4]}.
Twisted spinor bundle. $R^{S \otimes E} = \frac{1}{4} Scal \cdot id + F^{E}$ , where $F^{E}$ is the Clifford-contracted curvature of $\nabla^{E}$ — the formula at the heart of the Atiyah-Singer twist.

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Exercise 3 (medium, proof).

Show that the Clifford-curvature endomorphism on a $Z /2$ -graded Dirac bundle preserves the grading (i.e., is even).

Hint

Each $c (e^{j}) c (e^{k})$ is a product of two odd elements, hence even. The connection $\nabla^{E}$ preserves the grading.

Answer

In the local expression $$ \mathcal{R}^{\mathfrak{E}} = \tfrac{1}{2}\sum_{j,k} c(e^j)c(e^k),R^{\mathfrak{E}}(e_j,e_k), $$ each $c (e^{j})$ is odd (interchanges $E^{+}$ and $E^{-}$ ). The product $c (e^{j}) c (e^{k})$ is therefore even (preserves the grading). The curvature $R^{E} (e_{j}, e_{k})$ is a commutator of two even operators (the connection preserves the grading), hence even. The full sum is even. So $R^{E}$ commutes with the chirality operator and acts diagonally on $E^{+} \oplus E^{-}$ . $□$

This is why $D^{2}$ acts diagonally on a graded Dirac bundle, with $D^{+} D^{-} : Γ (E^{-}) \to Γ (E^{-})$ and $D^{-} D^{+} : Γ (E^{+}) \to Γ (E^{+})$ each carrying its own Bochner identity.

Exercise 4 (medium, symbolic).

For the twisted spinor bundle $E = S \otimes E$ , compute the Clifford-curvature endomorphism in terms of $Scal$ and $F^{E} := \frac{1}{2} \sum_{j, k} c (e^{j}) c (e^{k}) R^{E} (e_{j}, e_{k})$ .

Hint

The curvature of a tensor connection is $R^{S \otimes E} = R^{S} \otimes 1 + 1 \otimes R^{E}$ .

Answer

Substituting into the universal Bochner-Weitzenböck identity, $$ \mathcal{R}^{\mathfrak{S}\otimes E} = \mathcal{R}^{\mathfrak{S}} \otimes 1 + 1 \otimes F^E = \tfrac{1}{4},\mathrm{Scal}\cdot\mathrm{id} + F^E, $$ using Lichnerowicz's specialisation $R^{S} = \frac{1}{4} Scal$ . The twisted Dirac square is therefore $$ D_E^2 = (\nabla^{\mathfrak{S}\otimes E})^\ast \nabla^{\mathfrak{S}\otimes E} + \tfrac{1}{4}\mathrm{Scal} + F^E. $$ This is the formula that drives Atiyah-Singer in its index-twisted form: the Chern-character contribution of $E$ enters through $F^{E}$ when one computes the heat-kernel asymptotics of $D_{E}^{2}$ .

Exercise 5 (medium, proof).

Prove that $D = d + d^{*}$ is a self-adjoint Dirac operator on the de Rham Dirac bundle $Λ^{*} T^{*} M \otimes C$ .

Hint

Use $d^{*} = \pm ⋆ d ⋆$ and the integration-by-parts pairing $⟨ d α, β ⟩ = ⟨ α, d^{*} β ⟩$ .

Answer

The Hodge inner product makes $d$ and $d^{*}$ formal adjoints of each other on a closed Riemannian manifold. Their sum $d + d^{*}$ is therefore formally self-adjoint: $$ \langle (d+d^\ast)\alpha, \beta\rangle = \langle d\alpha,\beta\rangle + \langle d^\ast\alpha,\beta\rangle = \langle\alpha, d^\ast\beta\rangle + \langle\alpha, d\beta\rangle = \langle\alpha, (d+d^\ast)\beta\rangle. $$

To identify it as the Dirac operator of the de Rham Dirac bundle, expand in a parallel frame: $D = \sum_{j} c (e^{j}) \nabla_{e_{j}}^{E}$ with $c (ξ) = ξ \land - ι_{ξ^{♯}}$ . The wedge half assembles to $d$ and the interior half to $- d^{*}$ in the Riemannian convention, and signs work out to $D = d + d^{*}$ on the standardised orientation. The square is the Hodge Laplacian $Δ = (d + d^{*})^{2} = d d^{*} + d^{*} d$ .

The Bochner-Weitzenböck identity then reads $Δ = \nabla^{*} \nabla + R^{Λ^{*}}$ , with $R^{Λ^{*}}$ acting as Ricci on degree 1 and as the Weitzenböck curvature operator more generally. $□$

Exercise 6 (hard, proof).

Show that on a closed Riemannian manifold with positive Ricci curvature, the first Betti number is zero.

Hint

Apply Bochner's 1946 identity to a harmonic 1-form. Use $⟨ D^{2} ω, ω ⟩ = ∥\nabla ω ∥^{2} + ⟨ Ric ω, ω ⟩$ when $D^{2} ω = 0$ .

Answer

Let $ω$ be a harmonic 1-form, so $d ω = 0$ and $d^{*} ω = 0$ , hence $D ω = 0$ . Apply Bochner's identity: $$ 0 = \langle D^2\omega, \omega\rangle_{L^2} = |\nabla\omega|^2_{L^2} + \int_M \langle \mathrm{Ric},\omega, \omega\rangle,\mathrm{vol}. $$ On a closed manifold both terms are non-negative when $Ric$ is positive semi-definite. With $Ric$ strictly positive, the second integral vanishes only when $ω = 0$ pointwise. So every harmonic 1-form vanishes. By Hodge theory, $H^{1} (M; R) ≅ H^{1} (M)$ is zero, so $b_{1} (M) = 0$ . $□$

This is the original 1946 Bochner vanishing theorem ^{[Bochner Bull. AMS 52, 1946, §3]}, and the prototype for every subsequent Bochner-Lichnerowicz vanishing argument.

Exercise 7 (hard, proof).

Show that the formula $D = c \circ \nabla^{E}$ is independent of the local frame used to express it.

Hint

The composition is invariantly defined as a section of $Hom (E, E)$ ; the local formula is one expression of this invariant.

Answer

The covariant derivative $\nabla^{E} : Γ (E) \to Γ (T^{*} M \otimes E)$ is a globally defined first-order differential operator. Clifford multiplication $c : T^{*} M \otimes E \to E$ is a globally defined bundle map (datum (ii) of the Dirac-bundle structure). Their composition is therefore a globally defined first-order operator $Γ (E) \to Γ (E)$ , independent of any local frame.

The local expression $D ψ = \sum_{j} c (e^{j}) \nabla_{e_{j}}^{E} ψ$ is one way of evaluating $c \circ \nabla^{E}$ using the resolution of identity $\sum_{j} e_{j} \otimes e^{j} = id_{T M}$ . Under a change of orthonormal frame $\tilde{e}_{j} = A_{j}^{k} e_{k}$ with $A \in O (n)$ , the dual coframe transforms as $\tilde{e}^{j} = (A^{- 1})_{k}^{j} e^{k}$ , and the contraction $\sum_{j} c (\tilde{e}^{j}) \nabla_{\tilde{e}_{j}}^{E} = \sum_{k, l} (A^{- 1})_{k}^{j} A_{j}^{l} c (e^{k}) \nabla_{e_{l}}^{E} = \sum_{l} c (e^{l}) \nabla_{e_{l}}^{E}$ since $\sum_{j} (A^{- 1})_{k}^{j} A_{j}^{l} = δ_{k}^{l}$ . So the local formula is independent of the choice of orthonormal frame, as expected from the global definition. $□$

Lean formalization [Intermediate+]

lean_status: partial — Mathlib lacks the abstract Dirac-bundle structure. The theorem statement compiles via stub types; the proof is sorry-gated pending the bundle-of-Clifford-modules infrastructure.

[object Promise]

The Mathlib gap is the bundle-of-Clifford-modules concept: a vector bundle whose fibres are Clifford modules and whose connection is compatible with the Clifford action. Once this lands, the Bochner-Weitzenböck identity becomes a stateable theorem.

Advanced results [Master]

Lichnerowicz on the spinor bundle. Specialisation of the Bochner-Weitzenböck identity to $E = S$ yields $$ D^2 = (\nabla^{\mathfrak{S}})^\ast \nabla^{\mathfrak{S}} + \tfrac{1}{4},\mathrm{Scal}. $$ The clean coefficient $\frac{1}{4}$ is forced by the spin Clifford action: the curvature endomorphism reduces to scalar curvature after Clifford contraction and Bianchi identity ^{[Lawson-Michelsohn §II.8.2]}. This is the foundational obstruction to positive scalar curvature on closed spin manifolds with non-zero Â-genus and the source of every subsequent psc obstruction theorem.

Bochner on $b_{1}$ . Specialisation to $E = Λ^{1} T^{*} M \otimes C$ recovers Bochner's 1946 result: harmonic 1-forms vanish on closed manifolds with positive Ricci curvature, hence $b_{1} = 0$ . Bochner's calculation predates the abstract Dirac-bundle framing by four decades; the modern presentation reads it as the universal identity applied to one specific bundle. The same argument adapted to higher-degree forms gives the Bochner-Weitzenböck operator $R^{Λ^{k}}$ — a curvature operator on $k$ -forms whose positivity rules out harmonic $k$ -forms ^{[Lawson-Michelsohn §II.8.3–II.8.4]}.

Hodge-Dirac as $d + d^{*}$ . The de Rham complex $(Λ^{*} T^{*} M, d)$ is recovered as the Dirac operator $D = d + d^{*}$ on the de Rham Dirac bundle. The Bochner-Weitzenböck identity is the Bochner-Weitzenböck-Lichnerowicz formula on forms, and Hodge theory's $dim H^{k} (M; R) = dim ker Δ_{k}$ becomes a special case of the Dirac-bundle vanishing-theorem schema. Lateral connection to Hodge-theoretic data on a manifold: the Hodge Laplacian is exactly the Dirac square on this Dirac bundle, and the Bochner curvature operator is the obstruction-tensor to the existence of harmonic forms.

Twist by an auxiliary bundle. Twisting any Dirac bundle by an auxiliary Hermitian bundle $E$ with metric connection produces a new Dirac bundle whose Clifford-curvature endomorphism gains a $Cl$ -contracted curvature term $F^{E}$ . This twist is what couples Atiyah-Singer to characteristic classes of $E$ via the Chern character; without the Dirac-bundle abstraction, this twist would be a separate ad-hoc construction for spinors versus forms versus other bundles.

Generalised Lichnerowicz formula. On any Dirac bundle, the curvature endomorphism $R^{E}$ depends only on the Riemann curvature, the Clifford action, and the auxiliary curvature of $\nabla^{E}$ relative to its Clifford-induced part. Lawson-Michelsohn §II.8 gives the general formula in components; the underlying statement is the universal Bochner-Weitzenböck above.

Heat-kernel input. The curvature endomorphism $R^{E}$ controls the second-order term in the heat-kernel expansion of $e^{- t D^{2}}$ , hence the second Seeley-deWitt coefficient on the diagonal. This is the route through which the Dirac-bundle data enters Atiyah-Singer via the heat-equation method ^{[Berline-Getzler-Vergne Ch. 4]}.

Synthesis. This construction generalises the pattern fixed in 03.09.05 (spinor bundle), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Bochner-Weitzenböck identity. Proved in §"Key theorem with proof" above.

Lichnerowicz specialisation. From the universal formula $R^{E} = \frac{1}{2} \sum_{j, k} c (e^{j}) c (e^{k}) R^{E} (e_{j}, e_{k})$ and the spin curvature $R^{S} (e_{j}, e_{k}) = \frac{1}{4} \sum_{l, m} R_{j k l m} c (e^{l}) c (e^{m})$ , expand: $$ \mathcal{R}^{\mathfrak{S}} = \tfrac{1}{8}\sum_{j,k,l,m} R_{jklm},c(e^j)c(e^k)c(e^l)c(e^m). $$ The Clifford product of four vectors splits by the first Bianchi identity $R_{j [k l m]} = 0$ into a scalar piece (corresponding to Clifford contraction $\sum_{j} c (e^{j}) c (e^{j}) = - n$ ) and a higher-degree piece that vanishes against the Bianchi-symmetric Riemann tensor. After the algebraic dust settles, $$ \mathcal{R}^{\mathfrak{S}} = \tfrac{1}{4}\sum_{j,k} R_{jkkj},\mathrm{id} = \tfrac{1}{4},\mathrm{Scal}. $$

Bochner on 1-forms. Apply the universal identity to $E = Λ^{1} T^{*} M$ . The Clifford-curvature endomorphism evaluated on a 1-form $ω$ pairs with the Riemann tensor in such a way that, after Clifford contraction, $$ \mathcal{R}^{\Lambda^1}\omega = \mathrm{Ric}(\omega^\sharp)^\flat, $$ the Ricci tensor acting on 1-forms (via the metric duality $♯/♭$ ). This reproduces Bochner's 1946 calculation. For higher-degree forms, the Weitzenböck curvature operator $R^{Λ^{k}}$ is the Riemann-tensor-derived endomorphism whose explicit form is computed in Lawson-Michelsohn §II.8.4 and Berger-Ebin 1969.

Self-adjointness of $D$ . On a closed manifold with metric-compatible connection and skew-Hermitian Clifford action, integration by parts yields $⟨ D ψ, ϕ ⟩ = ⟨ ψ, D ϕ ⟩$ . The boundary terms vanish because $M$ is closed. With boundary, boundary conditions enter via Atiyah-Patodi-Singer theory. (Sketched in 03.09.08.)

Frame independence. Proved in Exercise 7.

Connections [Master]

Spinor bundle 03.09.05 — the prototypical Dirac bundle; Lichnerowicz on $S$ is one specialisation. Foundation-of: Dirac operator built on spinor bundle [conn:175, anchor: Dirac operator built on spinor bundle].
Dirac operator 03.09.08 — the Dirac operator on $S$ is the special case from which the Dirac-bundle abstraction is generalised. Foundation-of: elliptic operators built on Dirac operator [conn:172, anchor: elliptic operators built on Dirac operator].
De Rham complex / Hodge Laplacian 03.04.04 — recovered as a Dirac bundle on the form bundle, with $D = d + d^{*}$ and $D^{2} = Δ$ the Hodge Laplacian. Lateral specialisation: Hodge Laplacian as Dirac square of the de Rham Dirac bundle, with the Bochner curvature operator the obstruction tensor for harmonic forms [conn:416.dirac-bundle-hodge, anchor: Hodge Laplacian as Dirac square of the de Rham Dirac bundle].
Connection on a principal bundle 03.05.07 — supplies the metric-compatible connection $\nabla^{E}$ .
Atiyah-Singer index theorem 03.09.10 — twisted Dirac bundles are how characteristic classes of auxiliary bundles enter the index formula via the Chern character.
Riemann curvature and Ricci tensor 03.05.09 — supplies the curvature data feeding the Clifford-curvature endomorphism $R^{E}$ .
Thom global angular form 03.04.09 — by conn:434.global-angular-form-spin, spin-geometry Â-genus machinery built on the global angular form (foundation-of). On a spin manifold the global angular form $ψ$ on the spinor unit-sphere bundle, with sign $d ψ = - π^{*} e (E)$ , is the structural input for the $A$ -genus density; both the Bismut superconnection formalism and the Getzler rescaling rely on this convention.

We will see in 03.09.15 the Cl_k-linear refinement promote this Dirac bundle to a graded Cl_k-module, and this builds toward the Lichnerowicz vanishing theorem of 03.09.16 and the Witten positive-mass argument of 03.09.17. Every spinor-Bochner argument in the chapter recurs through this universal identity. In the next chapter on heat-kernel proofs we will see the Bochner-Weitzenböck identity drive the entire small- $t$ asymptotic, and this pattern recurs in the family-index calculations of 03.09.21. We will later use the universal identity to organise every analytic argument that follows. The foundational insight is that the square of any Dirac operator on a Dirac bundle is exactly the connection Laplacian plus a curvature endomorphism — this is precisely the universal Bochner-Weitzenböck identity. Putting this together with metric compatibility gives the bridge between bundle curvature and harmonic-section vanishing. Every named Bochner identity is an instance of this universal identity specialised to a particular Dirac bundle.

Historical & philosophical context [Master]

Salomon Bochner's 1946 Vector fields and Ricci curvature (Bull. AMS 52, 776–797) introduced the prototype Bochner identity. Bochner was working before the bundle-theoretic vocabulary of the 1950s — for him the identity was a calculation about harmonic 1-forms on a closed Riemannian manifold, expressed in coordinates. He proved that on a closed manifold with positive Ricci curvature, every harmonic 1-form vanishes pointwise, and concluded that the first Betti number is zero. The identity in his paper reads, for a 1-form $ω = ω_{i} d x^{i}$ , $$ \Delta\omega_i = \nabla^k\nabla_k,\omega_i + R_i^{,k}\omega_k, $$ the Laplacian as connection-Laplacian plus a Ricci correction — a direct precursor to the abstract Bochner-Weitzenböck identity. Bochner's framing was geometric and global from the start: his stated motivation in §1 of the paper was "to give analytical proofs of theorems on Betti numbers from curvature hypotheses."

The general Weitzenböck-style identity on $k$ -forms appeared in Roland Weitzenböck's 1923 Invariantentheorie, and the Lichnerowicz extension to spinors followed in 1963 (Spineurs harmoniques, C. R. Acad. Sci. Paris 257). The synthesis as the Dirac-bundle abstraction is due to Atiyah-Singer (in their Index of Elliptic Operators sequence, 1968–71) and Lawson-Michelsohn (1989), who extracted the universal identity from the spinor-and-form examples and gave it the modern axiomatic form in §II.6.

The modern reading inverts Bochner's emphasis. For Bochner, the Ricci term was a curvature correction to the naive Laplacian; for Lawson-Michelsohn, the Ricci term is the Clifford-curvature endomorphism of one specific Dirac bundle, and the universal identity is what predicts its existence. The same framework simultaneously generates Bochner-on-forms, Lichnerowicz-on-spinors, and the Atiyah-Singer twist as instances of a single calculation — an organising principle Bochner could not have stated in 1946 and that Weitzenböck did not pursue beyond differential forms.

Bibliography [Master]

Bochner, S., "Vector fields and Ricci curvature", Bulletin of the American Mathematical Society 52 (1946), 776–797.
Weitzenböck, R., Invariantentheorie, P. Noordhoff, Groningen, 1923.
Lichnerowicz, A., "Spineurs harmoniques", Comptes Rendus de l'Académie des Sciences Paris 257 (1963), 7–9.
Lawson, H. B. & Michelsohn, M.-L., Spin Geometry, Princeton University Press, 1989. §II.6, §II.8.
Berline, N., Getzler, E. & Vergne, M., Heat Kernels and Dirac Operators, Springer, 1992. Ch. 3.
Atiyah, M. F. & Singer, I. M., "The Index of Elliptic Operators IV", Annals of Mathematics 93 (1971), 119–138.
Berger, M. & Ebin, D., "Some decompositions of the space of symmetric tensors on a Riemannian manifold", Journal of Differential Geometry 3 (1969), 379–392.

Prerequisites

03.09.05
03.09.08
03.05.07
03.04.04

Tier anchors

beginner: Strogatz / 3Blue1Brown analogous level for the curvature-vs-Laplacian intuition
intermediate: Lawson-Michelsohn §II.6, with Berline-Getzler-Vergne §3.5 as parallel reading
master: Lawson-Michelsohn §II.6 + §II.8.3–II.8.4; Berline-Getzler-Vergne *Heat Kernels and Dirac Operators* Ch. 3; Bochner 1946 *Vector fields and Ricci curvature*

References

TODO_REF
Lawson-Michelsohn — Spin Geometry · §II.6 (generalised Dirac bundles, Definition II.6.1, Theorem II.6.2) and §II.8.3–II.8.4 (Bochner identities on forms)
TODO_REF
Berline-Getzler-Vergne — Heat Kernels and Dirac Operators · Ch. 3.5, Clifford modules and the Lichnerowicz formula
TODO_REF
Bochner — Vector fields and Ricci curvature · Bull. AMS 52 (1946), 776–797 — the original Bochner identity on harmonic 1-forms
TODO_REF
Weitzenböck — Invariantentheorie · 1923, the prototypical curvature-formula identity

Lean module

Codex.SpinGeometry.DiracBundle

Mathlib gap

Mathlib has `Bundle.SmoothVectorBundle`, `RiemannianManifold`, and a partial
`CliffordAlgebra` library, but it does not yet have the abstract notion of a
Dirac bundle: a Hermitian vector bundle equipped with a fibrewise Clifford
action of $T^\ast M$ and a metric-compatible connection whose curvature
tensor satisfies the Clifford-multiplication Leibniz rule. The square-of-Dirac
decomposition into connection Laplacian plus curvature endomorphism — the
Bochner-Weitzenböck identity — therefore cannot be stated abstractly until
this bundle structure is in place. The Lean stub captures the API shape;
the upstream contribution roadmap targets `CliffordAlgebra.module-bundle`,
`DiracBundle`, `BochnerWeitzenbockEndomorphism`.

Reviewer

TBD

Estimated time

beginner: 18m
intermediate: 50m
master: 90m