The paper extends a classical tool in algebra called a "flasque resolution" to a broader setting. Originally developed by Colliot-Thélène for algebraic groups over a field, flasque resolutions are a way of breaking down a complicated group into simpler, more manageable pieces. The authors generalize this construction to work over much more general base spaces, called schemes, rather than just over a field. This is technically demanding because the usual ingredients and arguments rely heavily on working over a field, and replacing that with an arbitrary base introduces significant complications.
To carry out this generalization, the authors draw on two main tools. The first is Borovoi's fundamental group, which is an algebraic object that captures important structural information about reductive groups. The second is descent theory, which is a way of building global mathematical objects by carefully gluing together local pieces, here applied to symmetries of a special class of groups called Chevalley groups. Together, these tools allow the authors to prove that flasque resolutions exist for reductive group schemes over a wide range of base spaces, including connected ones and a broad technical class called quasi-compact, quasi-separated schemes.
The payoff of this work comes in its applications. One key application concerns R-equivalence, which is a notion of when two solutions to an algebraic equation can be connected through a chain of rational paths. The authors use their generalized flasque resolutions to study R-equivalence for reductive group schemes defined over rings and over fields of a certain arithmetic simplicity, measured by a quantity called cohomological dimension being at most 2. This extends what was previously known only over fields to a more general algebraic context.