Quasi-split symmetric pairs of 𝑈(𝔰𝔩_{𝔫}) and Steinberg varieties of classical type

Abstract

We provide a Lagrangian construction for the fixed-point subalgebra, together with its idempotent form, in a quasi-split symmetric pair of type A n − 1 A_{n-1} . This is obtained inside the limit of a projective system of Borel-Moore homologies of the Steinberg varieties of n n -step isotropic flag varieties. Arising from the construction are a basis of homological origin for the idempotent form and a geometric realization of rational modules.