A detailed proof of a theorem of Aubin (Q254256)

The goal of this paper is to give a detailed proof of the following theorem of Aubin: Theorem. Let \((M, g)\) be a compact Riemannian manifold of dimension \(n\). Assume that, in a geodesic normal coordinate chart around a point \(x\in M\), one has \(\det(g)=1+O(r^N)\), with \(N\) sufficiently large, where \(r=d(x, \cdot )\). Let \(\omega \) denotes \(\omega :=\inf\{k\in \mathbb{N}: |\nabla ^k{\mathrm{Weyl}}_g(x)|\neq 0\}\). If \(|\nabla^{\omega }\mathrm{scal}(x)|=0\) then \(\Delta ^{\omega +1}\mathrm{scal}(x)<0\). In particular, \(\int _{\partial B_r(x)}\mathrm{scal} d\sigma <0\), for \(r\) sufficiently small.