Sharp rigidity for quasilinear Liouville equation on manifolds with nonnegative Ricci curvature

We study the quasilinear Liouville equation \[ -Δ_n u=e^u \] on complete noncompact Riemannian manifolds with nonnegative Ricci curvature. Our first result shows that, if a solution $u$ satisfies the optimal logarithmic lower bound \[ u(x)\ge -\frac{n^2}{n-1}\log r(x)+o(\log r(x)) \quad \text{as }r(x)\to+\infty, \] then the underlying manifold is isometric to the Euclidean space and $u$ is a standard bubble solution. Both the leading coefficient and the remainder term in the assumption are sharp. The key ingredient in the proof is the connection between the logarithmic lower bound and a sharp upper bound on the total volume of the solution. We also formulate a conjecture concerning the interaction between the sub-logarithmic decay of solutions and the underlying geometry, and prove it for $n=2$, as well as for $n\ge 3$ under a strengthened assumption.