The sharp type Chern-Gauss-Bonnet integral and asymptotic behavior (Q6562861)

The main result of this paper is the following Chern-Gauss-Bonnet-type estimate: If \((\mathbb R^n, g)\) with \(g = e^{2u} \, dx\) is a complete manifold of even dimension and finite total \(Q\)-curvature \(Q_g \in L^1(\mathbb R^n, dV_g)\) such that \(e^{-o_+(1)|x|^2} \leq Q_g(x)\) as \(|x| \to \infty\), then\N\[\N\int_{\mathbb R^n} Q_g \, d V_g \leq \frac{1}{2} |\mathbb S^n| Q_{g_{\mathbb S^n}} =: c_n.\N\]\NMoreover, the deficit of this inequality describes the isoperimetric ratio of \((\mathbb R^n, g)\) at \(\infty\), that is,\N\[\N1 - \frac{1}{c_n} \int_{\mathbb R^n} Q_g \, d V_g = \lim_{r \to \infty} \frac{|\partial B_r(0)|_g^\frac{n}{n-1}}{ n |\mathbb S^{n-1}|^\frac{1}{n-1}|B_r(0)|_g}.\N\]\NUnlike previous results of this kind, the assumptions here are formulated in terms of the \(Q\)-curvature \(Q_g\) only. In particular, no positivity assumption on the scalar curvature \(R_g\) is required.\N\NUnder the same assumptions, the author also describes the asymptotics at \(\infty\) of \(u\) in terms of \(Q_g\).