siddhartha-gadgil/leanaide/bochner-technique

Skill: Bochner Technique

Pre-condition: Do not apply this skill unless the problem involves a Riemannian manifold with curvature bounds (e.g., Ricci curvature, sectional curvature) and global properties (e.g., harmonic forms, Betti numbers, Killing fields).

Goal: Relate the topology of a manifold to its curvature via the Weitzenböck formula and the Bochner-Weitzenböck identity.

Instructions:

1. Select the Section: Identify the relevant tensor field (e.g., a harmonic 1-form, a Killing vector field).
2. Apply the Bochner Identity: Write the relationship $\Delta \frac{1}{2}|\omega|^2 = |\nabla \omega|^2 + \langle \Delta \omega, \omega \rangle + \text{Curvature Term}$.
3. Curvature Integration: Integrate over the manifold (assuming it is closed) and use the Divergence Theorem: $0 = \int_M (|\nabla \omega|^2 + \text{Curvature Term}) dV$.
4. Deduce Rigidity: If the curvature term is positive/negative, show that $\nabla \omega = 0$ and the section must be parallel or vanish.