Springer resolution
From Wikipedia, the free encyclopedia
In mathematics, the Springer resolution is a resolution of the variety of nilpotent elements in a semisimple Lie algebra,[1][2] or the unipotent elements of a reductive algebraic group, introduced by Tonny Albert Springer in 1969.[3] The fibers of this resolution are called Springer fibers.[4]
If U is the variety of unipotent elements in a reductive group G, and X the variety of Borel subgroups B, then the Springer resolution of U is the variety of pairs (u,B) of U×X such that u is in the Borel subgroup B. The map to U is the projection to the first factor. The Springer resolution for Lie algebras is similar, except that U is replaced by the nilpotent elements of the Lie algebra of G and X replaced by the variety of Borel subalgebras.[5]
The Grothendieck–Springer resolution is defined similarly, except that U is replaced by the whole group G (or the whole Lie algebra of G). When restricted to the unipotent elements of G it becomes the Springer resolution.[6][7]