MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Jan Weidner

6,118
Reputation
2511 views
Is this your account?

Registered User 

Name Jan Weidner
Member for 3 years
Seen 13 hours ago
Website
Location Freiburg
Age 25
19h
comment Weights on equivariant cohomology?
For $f_*=f_!$ you are right, but only in the case where $f$ is a map between two $G$-varieties. However in the most interesting examples this is not the case! For example the relevant map for equivariant cohomology $X//G\rightarrow pt$ does NOT fit into this framework!
19h
comment Weights on equivariant cohomology?
Thank you very much for your detailed discussion! By approxiamtions, I meant nice approximations, called "ABC" Olaf. Their most crucial property is, that they admit a nice stratification, such that the derived category of perverse sheaves equals the constructible derived category. It suffices to construct them for the group acting on a point and as you said, they are given by Stiefel varieties, if $G=GL_n$. Now the problem is, if you just take a subgroup of $GL_n$ and let it act on the Stiefel varieties, the resulting approximation won't be nice!
1d
asked Perverse sheaves for easy stratifications
1d
comment Weights on equivariant cohomology?
I have looked into the other references you suggest and one thing I am missing (though it could be hidden somewhere, I don't understand them very well...) would be the formula $f_!=f_∗$ for proper $f$. Without it, I can't even deduce that $H_G(pt)$ is pure. Do you know if $f_!=f_∗$ is in there or follows easily?
1d
comment Weights on equivariant cohomology?
Thanks for your comprehensive answer! One problem when working with approximations is, that you need to construct them. For example I would not know how to generalize O. Schnurer's thesis to the $P\G/Q$ case since I don't see how to construct the relevant approximations. Also approximations involve choices and choices usually lead to trouble in the long run.
Jun
11
asked Weights on equivariant cohomology?
May
28
comment Constructible derived category and fundamental category
Yes, this is actually one of the proofs I had in mind, when I wrote I never intuitively understood the description. I find constructible sheaves = reps of the fundamental category very convincing. On the other hand Beilinson's glueing is quite intransparent to me.
May
27
asked Constructible derived category and fundamental category
May
6
accepted Has there been any application of tensor species?
May
4
awarded  Notable Question
Apr
30
awarded  Notable Question
Apr
25
revised A_infinity structure on cohomology and the weight filtration
added 29 characters in body
Apr
24
comment A_infinity structure on cohomology and the weight filtration
Ok I better delete my nonsense comment before is causes confusion!
Apr
24
answered A_infinity structure on cohomology and the weight filtration
Apr
24
comment A_infinity structure on cohomology and the weight filtration
Yes of course, you are right Jeffrey.
Apr
18
comment Intersection of all normalizers
It is not obvious, whether the product of two Hamiltonian groups is Hamiltonian. In fact it is wrong, according to the classification in the wikipedia article.
Apr
18
answered Intersection of all normalizers
Feb
22
asked Definition of derived category of a stack
Feb
8
comment Nice algebraic approximations of classifying spaces
Thanks for your answer anyway. An $SL_k$ bundle is a k dimensional vector bundle, along with a non vanishing section of its top exterior power right? In what kind of trivial bundle can we embed these?
Feb
8
comment Nice algebraic approximations of classifying spaces
I think that all these properties hold for flag varieties. In BGS 4.4.3. this is stated and proven for full flag varieties but as far as I see the proof works also for partial flag varieites.
Feb
8
asked Nice algebraic approximations of classifying spaces
Feb
7
comment Rep Theory Consequences of Bott--Weil--Borel
I think one can regard the BWB theorem as a precursor of the Beilinson Bernstein localization theorem. The latter gives an equivalence between representations of the Lie algebra and D-modules on the flag variety. I think one can hardly overestimate the importance of the latter theorem. It allows to use a lot of geometric machinery to solve representation theoretic problems. For example it was a key ingredient in the original proof of the Kazhdan-Lusztig conjectures.
Feb
6
comment Ring with three binary operations
I think this answer contains an interesting perspective, +1.
Feb
3
comment Analogues of D-modules and constructible sheaves
Yes I know, that the functor from twisted D-modules to singular category O is not an equivalence. However I would also not expect the thing on the "constructible sheaves" side to be equivalent to category O. Also my question is not really representation theory, I only added this after Jim Humphreys question. So I think the flag manifold being affine for some TDOs is not part of the problem.
Feb
3
comment Analogues of D-modules and constructible sheaves
Thanks for your answer! However it is not yet quite what I am looking for! What I would prefer is some category of constructible sheaf like objects on $G/B$ and not some slightly different space. Is this possible?
Feb
3
revised Analogues of D-modules and constructible sheaves
added 338 characters in body; edited title
Feb
3
revised Analogues of D-modules and constructible sheaves
edited tags
Feb
2
asked Analogues of D-modules and constructible sheaves
Dec
27
awarded  Yearling
Dec
23
awarded  Necromancer