Homology of generalized Steinberg varieties and Weyl group invariants

DOI10.1090/S0002-9947-08-04570-4MaRDI QIDQ3532550zbMATH OpenOpenAlexFDO

Authors J. Matthew Douglass, Gerhard Röhrle

Publication date 28 October 2008

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0505567

parabolic subgroups Borel-Moore homology Borel subgroups Weyl group action generalized Steinberg varieties

Grassmannians, Schubert varieties, flag manifolds (14M15) Semisimple Lie groups and their representations (22E46) Linear algebraic groups and related topics (20G99) Sheaf cohomology in algebraic topology (55N30)

Abstract: Let

G

be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent elements,

m a t h c a l N

, of

o p e r a t o r n a m e L i e (G)

for the Steinberg variety

Z

of triples. Using a general specialization argument we show that for a parabolic subgroup

W_{P} i m e s W_{Q}

of

W i m e s W

the space of

W_{P} i m e s W_{Q}

-invariants and the space of

W_{P} i m e s W_{Q}

-anti-invariants of

H_{4 n} (Z)

are isomorphic to the top Borel-Moore homology groups of certain generalized Steinberg varieties introduced in [5]. The rational group algebra of the Weyl group

W

of

G

is isomorphic to the opposite of the top Borel-Moore homology

H_{4 n} (Z)

of

Z

, where

2 n = d i m m a t h c a l N

. Suppose

W_{P} i m e s W_{Q}

is a parabolic subgroup of

W i m e s W

. We show that the space of

W_{P} i m e s W_{Q}

-invariants of

H_{4 n} (Z)

is

e_{Q} m a t h b b Q W e_{P}

, where

e_{P}

is the idempotent in group algebra of

W_{P}

affording the trivial representation of

W_{P}

and

e_{Q}

is defined similarly. We also show that the space of

W_{P} i m e s W_{Q}

-anti-invariants of

H_{4 n} (Z)

is

e p s i l o n_{Q} m a t h b b Q W e p s i l o n_{P}

, where

e p s i l o n_{P}

is the idempotent in group algebra of

W_{P}

affording the sign representation of

W_{P}

and

e p s i l o n_{Q}

is defined similarly.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Homology of generalized Steinberg varieties and Weyl group invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532550)