The resolution of singularities is a classical problem in mathematics. When you have a geometric object defined by polynomial equations, it can have "singular" points where the shape is not smooth, like a sharp corner or a self-intersection. The goal is to find a way to systematically replace or "resolve" these bad points with smooth ones, through a structured sequence of geometric transformations. This was solved for curves and surfaces long ago, and in the 1960s Heisuke Hironaka famously proved it works in all dimensions, but only when you are working over fields of characteristic zero, meaning roughly fields related to the ordinary rational numbers. The long-standing open problem was whether the same result holds in "positive characteristic," which covers settings like arithmetic and number theory where you work modulo a prime number.
The key difficulty in positive characteristic is that the standard tools used to measure and track how singular a point is behave badly. The classical approach uses certain invariants that are sensitive to the characteristic of the field, and the usual inductive strategies break down in unpredictable ways. This paper surveys a new approach centered on what the authors call "universal equations," which are polynomial expressions that capture the geometry of singularities in a way that is independent of the characteristic. The idea is to find a description of singularities that works uniformly across all settings, rather than tailoring the argument to a specific characteristic.
The paper announces and outlines a proof that resolution of singularities works in all characteristics, which would be a landmark result decades in the making. Rather than presenting all the technical details, the article is written as an accessible overview meant to convey the motivating ideas and the structure of the argument. It introduces the new conceptual ingredients, explains why earlier approaches fell short, and sketches how the universal equation framework allows the authors to build a resolution process that does not depend on the characteristic of the underlying field.