On the equivariant cohomology of subvarieties of a \(\mathfrak{B}\)-regular variety (Q1024615): Difference between revisions

A smooth complex projective variety is called \(\mathcal{B}\)-regular if it admits an algebraic action of the upper triangular Borel subgroup \(\mathcal{B}\subset \text{SL}(2)\) such that the unipotent radical in \(\mathcal{B}\) has a unique fixed point. An important example of a regular variety is the variety of full flags \(G/B\), where \(G\) is a semisimple group and \(B\) is a Borel subgroup in \(G\); here \(\mathcal{B}\) is associated with a regular nilpotent element \(e\in\text{Lie}(G)\). It was proved by \textit{M.~Brion} and \textit{J. B.~Carrell} [Mich. Math. J. 52, No. 1, 189--203 (2004; Zbl 1084.14044)] that the equivariant cohomology algebra of a \(\mathcal{B}\)-regular variety \(X\) is the coordinate ring of a remarkable affine curve in \(X\times\mathbb{P}^1\). The main result of this paper uses this fact to classify the \(\mathcal{B}\)-invariant subvarieties \(Y\) of a \(\mathcal{B}\)-regular variety \(X\) for which the restriction map \(\imath_Y : H^*(X) \to H^*(Y)\) is surjective. This result may be applied to Schubert subvarieties, certain nulpotent Hessenberg varieties (including the Peterson variety) and certain Springer fibres in \(G/B\).