The paper studies a class of mathematical operators called Grushin operators, which are a type of "degenerate elliptic operator." These operators behave like ordinary smooth differential operators in most of space, but become singular or degenerate along a special set, typically a lower-dimensional surface like a hyperplane. The central object of study is the Riesz transform, a fundamental tool in harmonic analysis that roughly measures how well one can control the derivatives of a function in terms of the function itself. Understanding when the Riesz transform is well-behaved, specifically when it is bounded on the standard Lp function spaces, is important for solving partial differential equations and understanding the geometry associated with these operators.
The main results identify precisely for which values of p the Riesz transform remains bounded, and the answer turns out to depend delicately on the geometry near the singular set. When the degenerate direction involves two or more spatial dimensions, boundedness holds across the full expected range of p. But when the degenerate direction is one-dimensional, the story splits into two cases. In the "weakly degenerate" case, there is a sharp cutoff where boundedness fails at a critical value of p, and the paper identifies exactly where that failure occurs. Surprisingly, in the "strongly degenerate" one-dimensional case, full-range boundedness is restored, revealing an unexpected transition in behavior as the strength of the degeneracy changes.
To prove these results, the authors develop new technical machinery tailored to the singular geometry of Grushin operators. They construct explicit formulas for the Poisson kernel and Green's function, which describe how solutions to the associated equations behave near the singular set. They also introduce what they call a "harmonic annihilation method," which isolates the most delicate part of the Riesz kernel and allows precise analysis of where boundedness can break down. Together these tools also yield sharp inequalities going in the reverse direction, controlling the operator applied to a function in terms of the function's derivatives, completing a coherent picture of how these singular operators behave analytically.