Mixing
How should I think about the Grothendieck-Springer alteration?
Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
Given a simple complex Lie algebra $mathfrakg$, recall the Springer resolution of its nilpotent cone $widetildemathcalNto mathcalN$. Several times I have seen someone explaining Springer theory in terms of perverse sheaves, and each time the existence of the Grothendieck-Springer alteration $pi: widetildemathfrakgtomathfrakg$ along with the diagram
$$requireAMScdbeginCD
widetildemathcalN @>>> widetildemathfrakg @>>>mathfrakt\
@VVV @VVV @VVV\
mathcalN @>>> mathfrakg@>>>mathfrakt/W
endCD$$
is magically pulled out of a hat (eg: There also exist this other thing that...), where $mathfrakt$ is the universal Cartan and $W$ is the Weyl group. Then one uses the fact that $pi$ is a small map, giving an IC sheaf $pi_astunderlinemathbbQ_widetildemathfrakg$ with a natural $W$-action, which in turn induces a $W$-action on the Springer sheaf by some functoriality. I find this unsatisfying because it seems like $widetildemathfrakg$ is kept mysterious.
My vague question is how should I think about the Grothendieck-Springer resolution and what is its role in modern representation theory? I know this is not a good question, so let me try to refine it by asking the two following questions.
1) Is there a broader theoretical context to fit the above diagram into where I am given a resolution of singularities $X_0to Y_0$ (maybe with $X$ symplectic?), and can find a smooth family $Xto T$ and a proper map of smooth varieties $Xto Y$ fitting into the diagram
$$requireAMScdbeginCD
X_0 @>>> X \
@VVV @VVV\
Y_0 @>>> Y,
endCD$$
or is the Springer map special in a sense I don't understand?
Aside from applications to proving a generalized Springer correspondence, are there other examples where the existence and properties of this remarkable space are used in representation theory?
2) What are other applications of the Grothendieck-Springer resolution?
For example, the Springer resolution can be interpreted as a moment map, and David Ben-Zvi's answer to this question shows how this may be interpreted as the semiclassical shadow to Beilinson-Bernstein localization. Is there an analogous quantization of $widetildemathfrakgto mathfrakg$? EDIT: I would be particularly interested in applications which are not so closely connected with the Springer resolution.
I'll stop here, since I have probably already asked too many questions. I would greatly appreciate any references to a modern understanding of $widetildemathfrakg$.
reference-request rt.representation-theory algebraic-groups geometric-representation-theory springer-fibres
asked 5 hours ago
WSL
744515
add a comment |Â
up vote
4
down vote
favorite
Given a simple complex Lie algebra $mathfrakg$, recall the Springer resolution of its nilpotent cone $widetildemathcalNto mathcalN$. Several times I have seen someone explaining Springer theory in terms of perverse sheaves, and each time the existence of the Grothendieck-Springer alteration $pi: widetildemathfrakgtomathfrakg$ along with the diagram
$$requireAMScdbeginCD
widetildemathcalN @>>> widetildemathfrakg @>>>mathfrakt\
@VVV @VVV @VVV\
mathcalN @>>> mathfrakg@>>>mathfrakt/W
endCD$$
is magically pulled out of a hat (eg: There also exist this other thing that...), where $mathfrakt$ is the universal Cartan and $W$ is the Weyl group. Then one uses the fact that $pi$ is a small map, giving an IC sheaf $pi_astunderlinemathbbQ_widetildemathfrakg$ with a natural $W$-action, which in turn induces a $W$-action on the Springer sheaf by some functoriality. I find this unsatisfying because it seems like $widetildemathfrakg$ is kept mysterious.
My vague question is how should I think about the Grothendieck-Springer resolution and what is its role in modern representation theory? I know this is not a good question, so let me try to refine it by asking the two following questions.
1) Is there a broader theoretical context to fit the above diagram into where I am given a resolution of singularities $X_0to Y_0$ (maybe with $X$ symplectic?), and can find a smooth family $Xto T$ and a proper map of smooth varieties $Xto Y$ fitting into the diagram
$$requireAMScdbeginCD
X_0 @>>> X \
@VVV @VVV\
Y_0 @>>> Y,
endCD$$
or is the Springer map special in a sense I don't understand?
Aside from applications to proving a generalized Springer correspondence, are there other examples where the existence and properties of this remarkable space are used in representation theory?
2) What are other applications of the Grothendieck-Springer resolution?
For example, the Springer resolution can be interpreted as a moment map, and David Ben-Zvi's answer to this question shows how this may be interpreted as the semiclassical shadow to Beilinson-Bernstein localization. Is there an analogous quantization of $widetildemathfrakgto mathfrakg$? EDIT: I would be particularly interested in applications which are not so closely connected with the Springer resolution.
I'll stop here, since I have probably already asked too many questions. I would greatly appreciate any references to a modern understanding of $widetildemathfrakg$.
reference-request rt.representation-theory algebraic-groups geometric-representation-theory springer-fibres
asked 5 hours ago
WSL
744515
1
That last quantization question.
– AHusain
2 hours ago
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
Given a simple complex Lie algebra $mathfrakg$, recall the Springer resolution of its nilpotent cone $widetildemathcalNto mathcalN$. Several times I have seen someone explaining Springer theory in terms of perverse sheaves, and each time the existence of the Grothendieck-Springer alteration $pi: widetildemathfrakgtomathfrakg$ along with the diagram
$$requireAMScdbeginCD
widetildemathcalN @>>> widetildemathfrakg @>>>mathfrakt\
@VVV @VVV @VVV\
mathcalN @>>> mathfrakg@>>>mathfrakt/W
endCD$$
is magically pulled out of a hat (eg: There also exist this other thing that...), where $mathfrakt$ is the universal Cartan and $W$ is the Weyl group. Then one uses the fact that $pi$ is a small map, giving an IC sheaf $pi_astunderlinemathbbQ_widetildemathfrakg$ with a natural $W$-action, which in turn induces a $W$-action on the Springer sheaf by some functoriality. I find this unsatisfying because it seems like $widetildemathfrakg$ is kept mysterious.
My vague question is how should I think about the Grothendieck-Springer resolution and what is its role in modern representation theory? I know this is not a good question, so let me try to refine it by asking the two following questions.
1) Is there a broader theoretical context to fit the above diagram into where I am given a resolution of singularities $X_0to Y_0$ (maybe with $X$ symplectic?), and can find a smooth family $Xto T$ and a proper map of smooth varieties $Xto Y$ fitting into the diagram
$$requireAMScdbeginCD
X_0 @>>> X \
@VVV @VVV\
Y_0 @>>> Y,
endCD$$
or is the Springer map special in a sense I don't understand?
Aside from applications to proving a generalized Springer correspondence, are there other examples where the existence and properties of this remarkable space are used in representation theory?
2) What are other applications of the Grothendieck-Springer resolution?
For example, the Springer resolution can be interpreted as a moment map, and David Ben-Zvi's answer to this question shows how this may be interpreted as the semiclassical shadow to Beilinson-Bernstein localization. Is there an analogous quantization of $widetildemathfrakgto mathfrakg$? EDIT: I would be particularly interested in applications which are not so closely connected with the Springer resolution.
I'll stop here, since I have probably already asked too many questions. I would greatly appreciate any references to a modern understanding of $widetildemathfrakg$.
reference-request rt.representation-theory algebraic-groups geometric-representation-theory springer-fibres
asked 5 hours ago
WSL
744515
Given a simple complex Lie algebra $mathfrakg$, recall the Springer resolution of its nilpotent cone $widetildemathcalNto mathcalN$. Several times I have seen someone explaining Springer theory in terms of perverse sheaves, and each time the existence of the Grothendieck-Springer alteration $pi: widetildemathfrakgtomathfrakg$ along with the diagram
$$requireAMScdbeginCD
widetildemathcalN @>>> widetildemathfrakg @>>>mathfrakt\
@VVV @VVV @VVV\
mathcalN @>>> mathfrakg@>>>mathfrakt/W
endCD$$
is magically pulled out of a hat (eg: There also exist this other thing that...), where $mathfrakt$ is the universal Cartan and $W$ is the Weyl group. Then one uses the fact that $pi$ is a small map, giving an IC sheaf $pi_astunderlinemathbbQ_widetildemathfrakg$ with a natural $W$-action, which in turn induces a $W$-action on the Springer sheaf by some functoriality. I find this unsatisfying because it seems like $widetildemathfrakg$ is kept mysterious.
My vague question is how should I think about the Grothendieck-Springer resolution and what is its role in modern representation theory? I know this is not a good question, so let me try to refine it by asking the two following questions.
1) Is there a broader theoretical context to fit the above diagram into where I am given a resolution of singularities $X_0to Y_0$ (maybe with $X$ symplectic?), and can find a smooth family $Xto T$ and a proper map of smooth varieties $Xto Y$ fitting into the diagram
$$requireAMScdbeginCD
X_0 @>>> X \
@VVV @VVV\
Y_0 @>>> Y,
endCD$$
or is the Springer map special in a sense I don't understand?
Aside from applications to proving a generalized Springer correspondence, are there other examples where the existence and properties of this remarkable space are used in representation theory?
2) What are other applications of the Grothendieck-Springer resolution?
For example, the Springer resolution can be interpreted as a moment map, and David Ben-Zvi's answer to this question shows how this may be interpreted as the semiclassical shadow to Beilinson-Bernstein localization. Is there an analogous quantization of $widetildemathfrakgto mathfrakg$? EDIT: I would be particularly interested in applications which are not so closely connected with the Springer resolution.
I'll stop here, since I have probably already asked too many questions. I would greatly appreciate any references to a modern understanding of $widetildemathfrakg$.
reference-request rt.representation-theory algebraic-groups geometric-representation-theory springer-fibres
reference-request rt.representation-theory algebraic-groups geometric-representation-theory springer-fibres
asked 5 hours ago
WSL
744515
asked 5 hours ago
WSL
744515
edited 1 hour ago
asked 5 hours ago
WSL
744515
asked 5 hours ago
WSL
744515
asked 5 hours ago
WSL
744515
744515
1
That last quantization question.
– AHusain
2 hours ago
add a comment |Â
1
That last quantization question.
– AHusain
2 hours ago
1
1
That last quantization question.
– AHusain
2 hours ago
That last quantization question.
– AHusain
2 hours ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
3
down vote
The answer to 1) is that this is a special case of a broader phenomenon for symplectic resolutions (though I think some features are specific to the Grothendieck-Springer case.) For instance you have such a deformation for quiver varieties. I'm not sure what general results have been proven, but I think you can find some statements in papers of Namikawa, e.g. https://arxiv.org/abs/0902.2832. In any case, there are people on this website who are much better suited for answering this question - hopefully one of them can elaborate.
For 2), the Grothendieck-Springer resolution also naturally arises in the context of Beilinson-Bernstein. Namely, note that the usual versions of Beilinson-Bernstein involve fixing an integral Harish-Chandra central character and
(at an imprecise level) relate the category of $Umathfrakg$ modules at that central character and a category of $mathcalD$-modules at the corresponding dominant twist. These two sides roughly come from quantizing the nilpotent cone and the cotangent bundle of the flag variety (this is the "semiclassical shadow" you mention.)
One the other hand, you can consider all possible twists at once. On the $mathcalD$-module side, you have a $mathfrakh^*$'s worth of twists, but on the universal enveloping algebra side, you only have a $mathfrakh^*/W$'s worth of twists. That's because this situation corresponds exactly to quantizing the Grothendieck-Springer resolution, with its natural Poisson structure (instead of a symplectic structure). More explicitly, you have a sheaf $tildemathcalD,$ with center $operatornameSym(mathfrakh)$, on $G/B$ such that if you take the quotient with central character $lambda$, you get the sheaf of $lambda$-twisted differential operators. Taking associated graded transforms $tildemathcalD$ into the symmetric algebra associated to $tildemathfrakg$, viewed as a vector bundle on $G/B.$ On the other side, taking associated graded of $Umathfrakg$ recovers functions on $mathfrakg$. Therefore, if you consider the big (i.e. simulatneously w.r.t. all twists) localization functor $Mmapsto Motimes_UmathfrakgtildemathcalD,$ this quantizes pullback along the Grothendieck-Springer resolution. Because of the $|W|$-to-$1$ nature of the map, the geometry here is well-suited for the study of intertwining functors (which compare localization at weights in the same Weyl group orbit), and is used e.g. in Beilinson-Ginzburg https://arxiv.org/abs/alg-geom/9709022.
BTW, you can explicitly see this "semiclassical limit" in the characteristic $p$ setting, where quantum is much closer to classical. For this see the sequence of papers starting with Bezrukavnikov-Mirkovic-Rumynin, https://arxiv.org/abs/math/0205144. Again, there the difference between Grothendieck-Springer and Springer comes from what versions of central character conditions you want to impose. When you want to study all central characters at once (or even if you just care about the formal neighborhood of one central character, i.e. requiring the Harish-Chandra center to act via a generalized central character instead of strict equality), you need Grothendieck-Springer.
Let me mention one last setting where the difference between Springer and Grothendieck-Springer appears, when you want to relate equivariant coherent (derived) categories of Springer-like gadgets and categories of perverse sheaves on affine flag varieties/grassmannians (you can think of these theorems as cases of geometric Langlands on $P^1$ with points of tame ramification, composed with the long intertwining functor.) The decategorified version is a a theorem of Kazhdan-Lusztig computing equivariant K-theory of the Steinberg variety to be the affine hecke algebra (see chapter 7 of Chriss-Ginzburg.)
There are many similar such theorems in papers of Bezrukavnikov and others - let me take a specific such theorem which appears in https://arxiv.org/abs/1209.0403v4. Recall that Beilinson & Bernstein relate category O to perverse sheaves on the flag variety constant along the Schubert stratification. There are various versions of this latter category, e.g. I can take perverse sheaves on $G/B$ equivariant with respect to either $N$ or $B$,. Now let me move to the affine setting, so that $G$ and $B$ get replaced by the loop group $G(K)$ and the Iwahori $I.$ I can take either $I$- or $I_0$- (the unipotent radical of $I$) equivariant perverse sheaves on $G(K)/I$, the affine flag variety, and these two categories (or rather their derived versions) I will denote by $D_II$ and $D_I_0I$. Now Bezrukavnikov's theorem matches $D_II$ and $D_I_0I$ up with the derived categories of $G_L$-equivariant sheaves on $tildemathcalN_L x_mathfrakg_LtildemathcalN_L$ and $tildemathcalN_L x_mathfrakg_Ltildemathfrakg_L$, respectively. So here which one to use between Springer and Grothendieck-Springer depends on whether you are considering $I-$ or $I_0$-equivariant sheaves.
answered 3 hours ago
dhy
2,76011228
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
The answer to 1) is that this is a special case of a broader phenomenon for symplectic resolutions (though I think some features are specific to the Grothendieck-Springer case.) For instance you have such a deformation for quiver varieties. I'm not sure what general results have been proven, but I think you can find some statements in papers of Namikawa, e.g. https://arxiv.org/abs/0902.2832. In any case, there are people on this website who are much better suited for answering this question - hopefully one of them can elaborate.
For 2), the Grothendieck-Springer resolution also naturally arises in the context of Beilinson-Bernstein. Namely, note that the usual versions of Beilinson-Bernstein involve fixing an integral Harish-Chandra central character and
(at an imprecise level) relate the category of $Umathfrakg$ modules at that central character and a category of $mathcalD$-modules at the corresponding dominant twist. These two sides roughly come from quantizing the nilpotent cone and the cotangent bundle of the flag variety (this is the "semiclassical shadow" you mention.)
One the other hand, you can consider all possible twists at once. On the $mathcalD$-module side, you have a $mathfrakh^*$'s worth of twists, but on the universal enveloping algebra side, you only have a $mathfrakh^*/W$'s worth of twists. That's because this situation corresponds exactly to quantizing the Grothendieck-Springer resolution, with its natural Poisson structure (instead of a symplectic structure). More explicitly, you have a sheaf $tildemathcalD,$ with center $operatornameSym(mathfrakh)$, on $G/B$ such that if you take the quotient with central character $lambda$, you get the sheaf of $lambda$-twisted differential operators. Taking associated graded transforms $tildemathcalD$ into the symmetric algebra associated to $tildemathfrakg$, viewed as a vector bundle on $G/B.$ On the other side, taking associated graded of $Umathfrakg$ recovers functions on $mathfrakg$. Therefore, if you consider the big (i.e. simulatneously w.r.t. all twists) localization functor $Mmapsto Motimes_UmathfrakgtildemathcalD,$ this quantizes pullback along the Grothendieck-Springer resolution. Because of the $|W|$-to-$1$ nature of the map, the geometry here is well-suited for the study of intertwining functors (which compare localization at weights in the same Weyl group orbit), and is used e.g. in Beilinson-Ginzburg https://arxiv.org/abs/alg-geom/9709022.
BTW, you can explicitly see this "semiclassical limit" in the characteristic $p$ setting, where quantum is much closer to classical. For this see the sequence of papers starting with Bezrukavnikov-Mirkovic-Rumynin, https://arxiv.org/abs/math/0205144. Again, there the difference between Grothendieck-Springer and Springer comes from what versions of central character conditions you want to impose. When you want to study all central characters at once (or even if you just care about the formal neighborhood of one central character, i.e. requiring the Harish-Chandra center to act via a generalized central character instead of strict equality), you need Grothendieck-Springer.
Let me mention one last setting where the difference between Springer and Grothendieck-Springer appears, when you want to relate equivariant coherent (derived) categories of Springer-like gadgets and categories of perverse sheaves on affine flag varieties/grassmannians (you can think of these theorems as cases of geometric Langlands on $P^1$ with points of tame ramification, composed with the long intertwining functor.) The decategorified version is a a theorem of Kazhdan-Lusztig computing equivariant K-theory of the Steinberg variety to be the affine hecke algebra (see chapter 7 of Chriss-Ginzburg.)
There are many similar such theorems in papers of Bezrukavnikov and others - let me take a specific such theorem which appears in https://arxiv.org/abs/1209.0403v4. Recall that Beilinson & Bernstein relate category O to perverse sheaves on the flag variety constant along the Schubert stratification. There are various versions of this latter category, e.g. I can take perverse sheaves on $G/B$ equivariant with respect to either $N$ or $B$,. Now let me move to the affine setting, so that $G$ and $B$ get replaced by the loop group $G(K)$ and the Iwahori $I.$ I can take either $I$- or $I_0$- (the unipotent radical of $I$) equivariant perverse sheaves on $G(K)/I$, the affine flag variety, and these two categories (or rather their derived versions) I will denote by $D_II$ and $D_I_0I$. Now Bezrukavnikov's theorem matches $D_II$ and $D_I_0I$ up with the derived categories of $G_L$-equivariant sheaves on $tildemathcalN_L x_mathfrakg_LtildemathcalN_L$ and $tildemathcalN_L x_mathfrakg_Ltildemathfrakg_L$, respectively. So here which one to use between Springer and Grothendieck-Springer depends on whether you are considering $I-$ or $I_0$-equivariant sheaves.
answered 3 hours ago
dhy
2,76011228
add a comment |Â
up vote
3
down vote
The answer to 1) is that this is a special case of a broader phenomenon for symplectic resolutions (though I think some features are specific to the Grothendieck-Springer case.) For instance you have such a deformation for quiver varieties. I'm not sure what general results have been proven, but I think you can find some statements in papers of Namikawa, e.g. https://arxiv.org/abs/0902.2832. In any case, there are people on this website who are much better suited for answering this question - hopefully one of them can elaborate.
For 2), the Grothendieck-Springer resolution also naturally arises in the context of Beilinson-Bernstein. Namely, note that the usual versions of Beilinson-Bernstein involve fixing an integral Harish-Chandra central character and
(at an imprecise level) relate the category of $Umathfrakg$ modules at that central character and a category of $mathcalD$-modules at the corresponding dominant twist. These two sides roughly come from quantizing the nilpotent cone and the cotangent bundle of the flag variety (this is the "semiclassical shadow" you mention.)
One the other hand, you can consider all possible twists at once. On the $mathcalD$-module side, you have a $mathfrakh^*$'s worth of twists, but on the universal enveloping algebra side, you only have a $mathfrakh^*/W$'s worth of twists. That's because this situation corresponds exactly to quantizing the Grothendieck-Springer resolution, with its natural Poisson structure (instead of a symplectic structure). More explicitly, you have a sheaf $tildemathcalD,$ with center $operatornameSym(mathfrakh)$, on $G/B$ such that if you take the quotient with central character $lambda$, you get the sheaf of $lambda$-twisted differential operators. Taking associated graded transforms $tildemathcalD$ into the symmetric algebra associated to $tildemathfrakg$, viewed as a vector bundle on $G/B.$ On the other side, taking associated graded of $Umathfrakg$ recovers functions on $mathfrakg$. Therefore, if you consider the big (i.e. simulatneously w.r.t. all twists) localization functor $Mmapsto Motimes_UmathfrakgtildemathcalD,$ this quantizes pullback along the Grothendieck-Springer resolution. Because of the $|W|$-to-$1$ nature of the map, the geometry here is well-suited for the study of intertwining functors (which compare localization at weights in the same Weyl group orbit), and is used e.g. in Beilinson-Ginzburg https://arxiv.org/abs/alg-geom/9709022.
BTW, you can explicitly see this "semiclassical limit" in the characteristic $p$ setting, where quantum is much closer to classical. For this see the sequence of papers starting with Bezrukavnikov-Mirkovic-Rumynin, https://arxiv.org/abs/math/0205144. Again, there the difference between Grothendieck-Springer and Springer comes from what versions of central character conditions you want to impose. When you want to study all central characters at once (or even if you just care about the formal neighborhood of one central character, i.e. requiring the Harish-Chandra center to act via a generalized central character instead of strict equality), you need Grothendieck-Springer.
Let me mention one last setting where the difference between Springer and Grothendieck-Springer appears, when you want to relate equivariant coherent (derived) categories of Springer-like gadgets and categories of perverse sheaves on affine flag varieties/grassmannians (you can think of these theorems as cases of geometric Langlands on $P^1$ with points of tame ramification, composed with the long intertwining functor.) The decategorified version is a a theorem of Kazhdan-Lusztig computing equivariant K-theory of the Steinberg variety to be the affine hecke algebra (see chapter 7 of Chriss-Ginzburg.)
There are many similar such theorems in papers of Bezrukavnikov and others - let me take a specific such theorem which appears in https://arxiv.org/abs/1209.0403v4. Recall that Beilinson & Bernstein relate category O to perverse sheaves on the flag variety constant along the Schubert stratification. There are various versions of this latter category, e.g. I can take perverse sheaves on $G/B$ equivariant with respect to either $N$ or $B$,. Now let me move to the affine setting, so that $G$ and $B$ get replaced by the loop group $G(K)$ and the Iwahori $I.$ I can take either $I$- or $I_0$- (the unipotent radical of $I$) equivariant perverse sheaves on $G(K)/I$, the affine flag variety, and these two categories (or rather their derived versions) I will denote by $D_II$ and $D_I_0I$. Now Bezrukavnikov's theorem matches $D_II$ and $D_I_0I$ up with the derived categories of $G_L$-equivariant sheaves on $tildemathcalN_L x_mathfrakg_LtildemathcalN_L$ and $tildemathcalN_L x_mathfrakg_Ltildemathfrakg_L$, respectively. So here which one to use between Springer and Grothendieck-Springer depends on whether you are considering $I-$ or $I_0$-equivariant sheaves.
answered 3 hours ago
dhy
2,76011228
add a comment |Â
up vote
3
down vote
up vote
3
down vote
The answer to 1) is that this is a special case of a broader phenomenon for symplectic resolutions (though I think some features are specific to the Grothendieck-Springer case.) For instance you have such a deformation for quiver varieties. I'm not sure what general results have been proven, but I think you can find some statements in papers of Namikawa, e.g. https://arxiv.org/abs/0902.2832. In any case, there are people on this website who are much better suited for answering this question - hopefully one of them can elaborate.
For 2), the Grothendieck-Springer resolution also naturally arises in the context of Beilinson-Bernstein. Namely, note that the usual versions of Beilinson-Bernstein involve fixing an integral Harish-Chandra central character and
(at an imprecise level) relate the category of $Umathfrakg$ modules at that central character and a category of $mathcalD$-modules at the corresponding dominant twist. These two sides roughly come from quantizing the nilpotent cone and the cotangent bundle of the flag variety (this is the "semiclassical shadow" you mention.)
One the other hand, you can consider all possible twists at once. On the $mathcalD$-module side, you have a $mathfrakh^*$'s worth of twists, but on the universal enveloping algebra side, you only have a $mathfrakh^*/W$'s worth of twists. That's because this situation corresponds exactly to quantizing the Grothendieck-Springer resolution, with its natural Poisson structure (instead of a symplectic structure). More explicitly, you have a sheaf $tildemathcalD,$ with center $operatornameSym(mathfrakh)$, on $G/B$ such that if you take the quotient with central character $lambda$, you get the sheaf of $lambda$-twisted differential operators. Taking associated graded transforms $tildemathcalD$ into the symmetric algebra associated to $tildemathfrakg$, viewed as a vector bundle on $G/B.$ On the other side, taking associated graded of $Umathfrakg$ recovers functions on $mathfrakg$. Therefore, if you consider the big (i.e. simulatneously w.r.t. all twists) localization functor $Mmapsto Motimes_UmathfrakgtildemathcalD,$ this quantizes pullback along the Grothendieck-Springer resolution. Because of the $|W|$-to-$1$ nature of the map, the geometry here is well-suited for the study of intertwining functors (which compare localization at weights in the same Weyl group orbit), and is used e.g. in Beilinson-Ginzburg https://arxiv.org/abs/alg-geom/9709022.
BTW, you can explicitly see this "semiclassical limit" in the characteristic $p$ setting, where quantum is much closer to classical. For this see the sequence of papers starting with Bezrukavnikov-Mirkovic-Rumynin, https://arxiv.org/abs/math/0205144. Again, there the difference between Grothendieck-Springer and Springer comes from what versions of central character conditions you want to impose. When you want to study all central characters at once (or even if you just care about the formal neighborhood of one central character, i.e. requiring the Harish-Chandra center to act via a generalized central character instead of strict equality), you need Grothendieck-Springer.
Let me mention one last setting where the difference between Springer and Grothendieck-Springer appears, when you want to relate equivariant coherent (derived) categories of Springer-like gadgets and categories of perverse sheaves on affine flag varieties/grassmannians (you can think of these theorems as cases of geometric Langlands on $P^1$ with points of tame ramification, composed with the long intertwining functor.) The decategorified version is a a theorem of Kazhdan-Lusztig computing equivariant K-theory of the Steinberg variety to be the affine hecke algebra (see chapter 7 of Chriss-Ginzburg.)
There are many similar such theorems in papers of Bezrukavnikov and others - let me take a specific such theorem which appears in https://arxiv.org/abs/1209.0403v4. Recall that Beilinson & Bernstein relate category O to perverse sheaves on the flag variety constant along the Schubert stratification. There are various versions of this latter category, e.g. I can take perverse sheaves on $G/B$ equivariant with respect to either $N$ or $B$,. Now let me move to the affine setting, so that $G$ and $B$ get replaced by the loop group $G(K)$ and the Iwahori $I.$ I can take either $I$- or $I_0$- (the unipotent radical of $I$) equivariant perverse sheaves on $G(K)/I$, the affine flag variety, and these two categories (or rather their derived versions) I will denote by $D_II$ and $D_I_0I$. Now Bezrukavnikov's theorem matches $D_II$ and $D_I_0I$ up with the derived categories of $G_L$-equivariant sheaves on $tildemathcalN_L x_mathfrakg_LtildemathcalN_L$ and $tildemathcalN_L x_mathfrakg_Ltildemathfrakg_L$, respectively. So here which one to use between Springer and Grothendieck-Springer depends on whether you are considering $I-$ or $I_0$-equivariant sheaves.
answered 3 hours ago
dhy
2,76011228
The answer to 1) is that this is a special case of a broader phenomenon for symplectic resolutions (though I think some features are specific to the Grothendieck-Springer case.) For instance you have such a deformation for quiver varieties. I'm not sure what general results have been proven, but I think you can find some statements in papers of Namikawa, e.g. https://arxiv.org/abs/0902.2832. In any case, there are people on this website who are much better suited for answering this question - hopefully one of them can elaborate.
For 2), the Grothendieck-Springer resolution also naturally arises in the context of Beilinson-Bernstein. Namely, note that the usual versions of Beilinson-Bernstein involve fixing an integral Harish-Chandra central character and
(at an imprecise level) relate the category of $Umathfrakg$ modules at that central character and a category of $mathcalD$-modules at the corresponding dominant twist. These two sides roughly come from quantizing the nilpotent cone and the cotangent bundle of the flag variety (this is the "semiclassical shadow" you mention.)
One the other hand, you can consider all possible twists at once. On the $mathcalD$-module side, you have a $mathfrakh^*$'s worth of twists, but on the universal enveloping algebra side, you only have a $mathfrakh^*/W$'s worth of twists. That's because this situation corresponds exactly to quantizing the Grothendieck-Springer resolution, with its natural Poisson structure (instead of a symplectic structure). More explicitly, you have a sheaf $tildemathcalD,$ with center $operatornameSym(mathfrakh)$, on $G/B$ such that if you take the quotient with central character $lambda$, you get the sheaf of $lambda$-twisted differential operators. Taking associated graded transforms $tildemathcalD$ into the symmetric algebra associated to $tildemathfrakg$, viewed as a vector bundle on $G/B.$ On the other side, taking associated graded of $Umathfrakg$ recovers functions on $mathfrakg$. Therefore, if you consider the big (i.e. simulatneously w.r.t. all twists) localization functor $Mmapsto Motimes_UmathfrakgtildemathcalD,$ this quantizes pullback along the Grothendieck-Springer resolution. Because of the $|W|$-to-$1$ nature of the map, the geometry here is well-suited for the study of intertwining functors (which compare localization at weights in the same Weyl group orbit), and is used e.g. in Beilinson-Ginzburg https://arxiv.org/abs/alg-geom/9709022.
BTW, you can explicitly see this "semiclassical limit" in the characteristic $p$ setting, where quantum is much closer to classical. For this see the sequence of papers starting with Bezrukavnikov-Mirkovic-Rumynin, https://arxiv.org/abs/math/0205144. Again, there the difference between Grothendieck-Springer and Springer comes from what versions of central character conditions you want to impose. When you want to study all central characters at once (or even if you just care about the formal neighborhood of one central character, i.e. requiring the Harish-Chandra center to act via a generalized central character instead of strict equality), you need Grothendieck-Springer.
Let me mention one last setting where the difference between Springer and Grothendieck-Springer appears, when you want to relate equivariant coherent (derived) categories of Springer-like gadgets and categories of perverse sheaves on affine flag varieties/grassmannians (you can think of these theorems as cases of geometric Langlands on $P^1$ with points of tame ramification, composed with the long intertwining functor.) The decategorified version is a a theorem of Kazhdan-Lusztig computing equivariant K-theory of the Steinberg variety to be the affine hecke algebra (see chapter 7 of Chriss-Ginzburg.)
There are many similar such theorems in papers of Bezrukavnikov and others - let me take a specific such theorem which appears in https://arxiv.org/abs/1209.0403v4. Recall that Beilinson & Bernstein relate category O to perverse sheaves on the flag variety constant along the Schubert stratification. There are various versions of this latter category, e.g. I can take perverse sheaves on $G/B$ equivariant with respect to either $N$ or $B$,. Now let me move to the affine setting, so that $G$ and $B$ get replaced by the loop group $G(K)$ and the Iwahori $I.$ I can take either $I$- or $I_0$- (the unipotent radical of $I$) equivariant perverse sheaves on $G(K)/I$, the affine flag variety, and these two categories (or rather their derived versions) I will denote by $D_II$ and $D_I_0I$. Now Bezrukavnikov's theorem matches $D_II$ and $D_I_0I$ up with the derived categories of $G_L$-equivariant sheaves on $tildemathcalN_L x_mathfrakg_LtildemathcalN_L$ and $tildemathcalN_L x_mathfrakg_Ltildemathfrakg_L$, respectively. So here which one to use between Springer and Grothendieck-Springer depends on whether you are considering $I-$ or $I_0$-equivariant sheaves.
answered 3 hours ago
dhy
2,76011228
answered 3 hours ago
dhy
2,76011228
answered 3 hours ago
dhy
2,76011228
answered 3 hours ago
dhy
2,76011228
2,76011228
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f314485%2fhow-should-i-think-about-the-grothendieck-springer-alteration%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
1
That last quantization question.
– AHusain
2 hours ago