Smooth geometric shapes (manifolds) are extensively studied and used in mathematics, physics, computer science, etc. Often a geometric shape (variety), for example, the one given by an equation f(x,y,z) in the three-dimensional space, is singular: it may contain self-intersections, cusps, pinch points, etc. Resolution of singularities is a classical branch of algebraic geometry which studies how a variety can be modified to a smooth manifold, and such modifications are a very useful tool for working with general varieties. When achieved, resolution results have numerous applications in mathematics and related areas (such as math physics), so any serious advance in constructing new methods, improving old ones, etc. is of high importance.
The first resolution of singularities in all dimensions over fields containing the rational numbers (the characteristic zero case) was obtained by Hironaka in 1964 and awarded him a Fields medal. Until very recently, Hironaka's method was tremendously polished and improved, but mathematicians have known essentially a unique resolution algorithm. Over fields containing a finite subfield (the so-called positive characteristic case) resolution is only known in dimensions 2 and 3, and this is a major roadblock in study of various questions about algebraic varieties in positive characteristic.
The goal of this project was to design new resolution methods both in the classical setting of varieties and in other settings, such as resolution of maps between varieties, resolution of varieties with boundaries, etc. and to try to achieve any progress over fields of positive characteristics.