I am looking for a cool and simple (but not worn-out) application of Bochner--Weitzenböck type formulas which could be usedin comparison geometry. (I want to use it as a motivation for students.)
What is your favourite example?
The vanishing theorems and estimates for eigenvalues are too standard.
P.S. Here One of my favorite examples is one whichthe result of Fengbo Hang and Xiaodong Wang on rigidity of manifolds with boundary isometric to a unit sphere [see Rigidity Theorems for Compact Manifolds with Boundary and Positive Ricci Curvature].
By accident I like, but want morefound the following simpler example: Assume two discs $\Delta_1$$D$ and $\Delta_2$$D'$ with common boundary $\gamma$ bound a convex set in a positively curved three-dimensional manifold $M$. Then $\int_{\Delta_1}k_1\cdot k_2$$\int_{D}k_1\cdot k_2$ is small if the maximal angle between the discs on $\gamma$ is small; here $k_i$ denote the principle curvatures of $\Delta_1$$D$.
Do you know more examples of that type?