Puneet Varma (Editor)

Hessenberg variety

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In geometry, Hessenberg varieties, first studied by De Mari, Procesi, and Shayman, are a family of subvarieties of the full flag variety which are defined by a Hessenberg function h and a linear transformation X. The study of Hessenberg varieties was first motivated by questions in numerical analysis in relation to algorithms for computing eigenvalues and eigenspaces of the linear operator X. Later work by Springer, Peterson, Kostant, among others, found connections with combinatorics, representation theory and cohomology.

Contents

Definitions

A Hessenberg function is a function of tuples

h : { 1 , 2 , … , n } → { 1 , 2 , … , n }

where

h ( i + 1 ) ≥ max  ( i , h ( i ) )  for all  1 ≤ i ≤ n − 1.

For example,

h ( 1 , 2 , 3 , 4 , 5 ) = ( 2 , 3 , 3 , 4 , 5 )

is a Hessenberg function.

For any Hessenberg function h and a linear transformation

X : C n → C n ,

the Hessenberg variety is the set of all flags F ∙ such that

X ⋅ F i ⊆ F ( h ( i ) )

for all i. Here F ( h ( i ) ) denotes the vector space spanned by the first h ( i ) vectors in the flag F ∙ .

H ( X , h ) = { F ∙ ∣ X F i ⊂ F ( h i )  for  1 ≤ i ≤ n }

Examples

Some examples of Hessenberg varieties (with their h function) include:

The Full Flag variety: h(i) = n for all i

The Peterson variety: h ( i ) = i + 1 for i = 1 , 2 , … , n − 1

The Springer variety: h ( i ) = i for all i .

References

Hessenberg variety Wikipedia
(Text) CC BY-SA