location:  Publications → journals → CMB
Abstract view

# Springer's Weyl Group Representation via Localization

Published:2017-05-03
Printed: Sep 2017
• Jim Carrell,
Department of Mathematics, University of British Columbia, Vancouver, B.C.
• Kiumars Kaveh,
Department of Mathematics, University of Pittsburgh, Pittsburgh, PA, USA
 Format: LaTeX MathJax PDF

## Abstract

Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomology of $\mathcal{B}_x$ even though $W$ rarely acts on $\mathcal{B}_x$ itself. Well-known constructions of this action due to Springer et al use technical machinery from algebraic geometry. The purpose of this note is to describe an elementary approach that gives this action when $x$ is what we call parabolic-surjective. The idea is to use localization to construct an action of $W$ on the equivariant cohomology algebra $H_S^*(\mathcal{B}_x)$, where $S$ is a certain algebraic subtorus of $G$. This action descends to $H^*(\mathcal{B}_x)$ via the forgetful map and gives the desired representation. The parabolic-surjective case includes all nilpotents of type $A$ and, more generally, all nilpotents for which it is known that $W$ acts on $H_S^*(\mathcal{B}_x)$ for some torus $S$. Our result is deduced from a general theorem describing when a group action on the cohomology of the fixed point set of a torus action on a space lifts to the full cohomology algebra of the space.
 Keywords: Springer variety, Weyl group action, equivariant cohomology
 MSC Classifications: 14M15 - Grassmannians, Schubert varieties, flag manifolds [See also 32M10, 51M35] 14F43 - Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) 55N91 - Equivariant homology and cohomology [See also 19L47]

 top of page | contact us | privacy | site map |