−Table of Contents
2023-07-24
- reading Chriss-Ginzburg the whole morning
- watched a youtube video 8 traits of successful people
- try to fix the annoying keyboard on a macbook pro, which turns out to be not my (or my wife's) fault.
- found an interesting lecture note of Teleman on rep theory. Never really understood what is character formula.
Chriss-Ginzburg and Bez-Finkelberg-Mirkovic
I should know what is expected to be true, and what is the story.
I should also know what is known to be true, i.e. proven. And I should know how the proof goes.
I should also know what is known to be false, and counter examples.
Q1: from to
For our flag variety, why is it true that, -equivariant homology and -equivariant homology only differ by Weyl covering.
(1) (what is T? no, not the diagonal, but a quotient) First of all, why is that for any Borel of , the abstract Cartan for different are identified? Well, we may consider conjugation action of on the set of . Suppose for some , the ambiguity of : is right multiplication by , left multiplication by . For any , maybe consider the induced map on.
What is conjugation action on ? Fix a , we can send . So, thing in the same conjugacy class in are also in the same unipotent orbit.
A conjugacy class of is contained in the unipotent orbit. But not the other way around. For example, identity matrix is its own conjugacy class (even under conjugation). However, multiplying by gives a lot.
(2) is a free -mod. So is the multiplicative case.
Not trivial, Steinberg-Pittie proved this. It turns out not be about permutation representation.
Ex: can you show that is a free module? Well,let's choose some generator in , say . Well, that is a bit arbitrary, how about , so under action, they are eigenvectors. Then, for any polynomial , we can do Well, one can find as symmetric functions.
How about ?
Well, we need a theorem of Pittie-Steinberg theorem. In the case for type group, we should be able to check explicitly.
You have a coordinate ring, of the torus, or of the plane. And you have the action. You pass to the invariant subring. Then, the original ring turns out to be a free module of finite rank over the W-invariant ring.
You have a bunch of fundamental weight, they are element in the weight lattice, that are dual to the coroots. (ok, what are roots and coroots? Just do . you pick a cartan subalgebra, and let the cartan acts on Lie algebra. I guess I am just not used to having a family of commuting operator acting on something. (how about module over a commutative ring?) ok fine. ok, as h-mod, lives over a bunch of points on . So far, these are canonical, we don't have Killing form. Let's assume 'semi-simple', which says, the root vectors span . Take a half-plane, and take some primitive roots, call them simple root. read this note https://math.mit.edu/~dav/roots.pdf for what is coroot)
So, we have and . The first one is the 'integral form'. What does a 'coordinate ring over ' even mean? And, how much information did I lose?