The paper studies geometric objects called cotangent bundles of partial flag varieties. A flag variety is a space that organizes nested sequences of vector subspaces, and its cotangent bundle is a space that also encodes derivative-like information at each point. The central question is how certain algebraic structures called vector bundles, which attach a vector space to each point of the flag variety, behave when lifted to the cotangent bundle. The authors compute the cohomology of these lifted bundles, which is a way of measuring how complicated the bundle's global structure is. The key result is that the higher cohomology vanishes, meaning the bundle is simpler than it might appear, and that the global sections (the globally defined algebraic functions) are controlled entirely by their lowest-degree part, which is a representation of the group SL_n.
To prove these results, the authors connect the geometry of the cotangent bundle to a seemingly unrelated object: a Bott-Samelson variety associated to an infinite-dimensional Lie group called an affine Kac-Moody group. By expressing cohomology on the cotangent bundle as a direct limit of cohomology of line bundles on these Bott-Samelson varieties, they are able to import known vanishing theorems from that setting. This is a technically sophisticated bridge between finite-dimensional and infinite-dimensional geometry, and it is one of the main novelties of the paper.
The paper then applies these cohomological results to a more concrete problem: finding explicit generators for the ring of algebraic functions on a related space, built from the group SL_n and a certain subgroup derived from a parabolic subgroup P. Using tools called Braverman-Kazhdan intertwiners, developed in prior joint work, the authors write down an explicit generating set for this function ring. In an appendix written with Tom Gannon, they use all of these results together to show that the natural geometric space associated to this function ring has what are called terminal singularities, a mild and well-behaved type of singularity that plays an important role in the classification of algebraic varieties.