The paper studies a type of partial differential equation called a semilinear parabolic equation, which describes how a quantity evolves over time on a curved geometric space called a Riemannian manifold. The equation includes a variable coefficient, meaning one of its key ingredients can change from point to point and moment to moment, rather than being a fixed constant. The authors work under the assumption that the underlying space has curvature that is bounded in a specific technical sense, which is a common and natural geometric condition.
The main technical achievement is a set of "gradient estimates" of the Li-Yau type. Roughly speaking, these estimates put precise bounds on how rapidly a solution to the equation can vary in space and time. To derive these bounds, the authors use a technique called Nash-Moser iteration, which is a sophisticated method for bootstrapping rough information about a solution into sharper, more refined control. A notable feature of their approach is the careful introduction and tuning of two free parameters in an auxiliary quantity, which gives them the flexibility to handle the variable coefficient and also to push the method to work for a wider range of values of the exponent appearing in the equation.
As a payoff from these gradient estimates, the authors prove "Liouville theorems" for this equation. A Liouville theorem says, roughly, that solutions defined for all time and satisfying certain boundedness or positivity conditions must be trivially constant or must not exist at all. These results are proved for so-called ancient solutions, which exist for all past time, and eternal solutions, which exist for all past and future time, on spaces with non-negative curvature. The results generalize several classical theorems from the literature, extending them to the more flexible setting where the coefficient in the equation is allowed to vary.