bio | website | people.maths.ox.ac.uk/… |
---|---|---|
location | ||
age | ||
visits | member for | 5 years, 5 months |
seen | 14 mins ago | |
stats | profile views | 1,814 |
Feb 27 |
revised |
Residual finiteness: why do we care?
added 1 character in body |
Dec 12 |
answered | Example to show that the inverse image under a finite morphism is not t-exact with respect to the perverse t-structure |
Dec 9 |
answered | Representation of GL(n, F_p) over F_p, for n small |
Dec 9 |
answered | counting points on nilpotent Springer fiber |
Dec 9 |
comment |
counting points on nilpotent Springer fiber
One should be a little careful here. De Concini, Lusztig and Procesi do not show the existence of an affine paving in exceptional type. Moreover I think that the argument with a torus having finitely many fixed points only works in type $A$. |
Dec 3 |
awarded | Necromancer |
Dec 2 |
revised |
Motivation behind the construction of Deligne and Lusztig
edited body |
Dec 2 |
answered | Motivation behind the construction of Deligne and Lusztig |
Nov 24 |
comment |
Stability conditions of coherent sheaves on abelian 3-folds
there has recently been big progress here. See Maciocia, Piyaratne "Fourier-Mukai transforms and Bridgeland stability conditions on abelian threefolds" I and II and "The space of stability conditions for abelian threefolds, and some Calabi-Yau threefolds" by Beyer, Macri and Stellari. (I am not an expert and so could have missed an important reference, but you certainly should be aware of these papers.) |
Nov 7 |
comment |
Unitary dual of $Sp_4(\mathbb{R})$
Did you try google? Vogan, "The unitary dual of G2", Invent. math. (1994). |
Nov 5 |
comment |
Why is Klein's representation of $PSL_2(\mathbb{F}_7)$ hard to obtain?
Perhaps section 11.4.4 in "Representations of $SL_2(\mathbb{F}_q)$" by Cédric Bonnafé is interesting to you. He identifies $PSL_2(\mathbb{F}_7) \times \mathbb{Z}/2\mathbb{Z}$ as an exceptional complex reflection group of rank 3 ($G_{24}$ on the Shephard-Todd list). |
Oct 21 |
comment |
Various definitions of the Bruhat decomposition of the affine Grassmannian
Yes I would guess these orbits are the same (not only topologically equivalent). As each $t^\lambda$ is a $T$-fixed point the $J$ and $I$ orbit through it are the same. The finite dimensional version of your question is whether one considers $N^+$ orbits or $B$-orbits. This seems to be a matter of taste (as long as you are not worrying about equivariant cohomology / sheaves, where the difference can matter.) |
Oct 21 |
awarded | Yearling |
Sep 13 |
awarded | Nice Answer |
Sep 12 |
comment |
Reference request: Beilinson-Bernstein for finite-dimensional reps and category O
Having associated variety the zero section is the same thing as being a vector bundle with flat connection. Now $\pi_1(G/B)$ is trivial, and so there are only trivial bundles whose global sections give direct sums of the trivial rep. To get all reps (and recover Borel-Weil) one instead should consider twisted $D$-modules. One possible ref for all of this is Gaitsgory's notes on geometric rep theory (on his web-page I think). |
Aug 15 |
comment |
Embed one Coxeter System into another
@Jim: I would be very interested in a reference earlier than the Lusztig ref (as would Lusztig I guess). I think it is clear that Lusztig is aware of the general pattern that such embeddings follow. I agree the history is murky! Also +1 for "misleadingly named"! |
Aug 15 |
comment |
Embed one Coxeter System into another
I don't think that this is what he means. The embedding of e.g. H_3 into D_6 doubles lengths, and so doesn't send simple reflections to reflections. |
Aug 15 |
comment |
Embed one Coxeter System into another
If I remember correctly these embeddings are discussed (for the first time?) in Lusztig, "Some examples of square integrable representations of a p-adic group". See discussion around p. 636 and lovely diagram... |
Jul 4 |
awarded | Revival |
Jul 2 |
awarded | Curious |