Skip to main content
Jay Taylor's user avatar
Jay Taylor's user avatar
Jay Taylor's user avatar
Jay Taylor
  • Member for 14 years
  • Last seen more than a month ago
comment
learning Deligne-Lusztig theory
OK, I've given you a reduced road map given your new stipulations.
revised
learning Deligne-Lusztig theory
added 1030 characters in body
Loading…
awarded
comment
Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?
I see your problem now. I hadn't realised exactly what you were asking for. I still think it shouldn't be too difficult. It should follow from the fact that $-1 = w_0\sigma$ but I'll have to think about it. Sorry it's not yet a complete answer.
comment
learning Deligne-Lusztig theory
Thanks. That's a good point! I really like Isaacs' book but it can be pretty challenging for someone with only a passing interest in character theory.
revised
learning Deligne-Lusztig theory
added 2062 characters in body
Loading…
answered
Loading…
Loading…
comment
Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?
I would suggest this is very much related to the fact that the longest element of the Weyl group of type E6 is $-\sigma$ where $\sigma$ is the automorphism of the root system induced by the unique non-trivial automorphism of the Dynkin diagram. Thus the longest element acts as $-1$ on anything fixed by the diagram automorphism. The fixed point subgroup under $\sigma$ is the group obtained by the diagram fold, which is just the Weyl group of type F4.
answered
Loading…
awarded
revised
Loading…
Loading…
awarded
Loading…
awarded
comment
How do you *state* the Classification of finite simple groups?
Just curious but is this not the main aim of Rob Wilson's book "The finite simple groups"? On page 3 he states "It is the chief aim of this book to explain, as far as space allows, the statement of CFSG. Thus we seek to introduce all the finite simple groups, to provide concrete constructions whenever possible, to calculate the orders of the groups, prove simplicity, ..."
revised
Loading…
Loading…
comment
A bijection between Lusztig series induced by inflation
Sorry, just one final comment. The fact that the map is a bijective morphism of varieties is enough (you don't need it to be an isomorphism). Indeed Proposition 10.12(ii) in DM ensures that the Leftschetz traces of the quotients will coincide. Sorry this took me a while to remember this fact.
1
5 6
7
8 9
12