Skip to main content
fixed arxiv front-end link and gave many more links to citations
Source Link
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv: hereGeometric Methods in Representation Theory of Hecke Algebras and Quantum Groups). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

  • MR847727 (87k:17014) Ginsburg, V., $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

"The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at: Ginzburg, http://www.mathunion.org/ICM/Geometrical Aspects of Representation Theory; Borho, Nilpotent Orbits, Primitive Ideals,
and Characteristic Classes (A Survey)
) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986) (MathReviews, Google Books), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts Ipart I, IIIpart III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78, doi:10.1007/978-1-4612-4558-2. TheThe moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv here). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at http://www.mathunion.org/ICM/) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts I, III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv: Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet):

  • MR847727 (87k:17014) Ginsburg, V., $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark:

"The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online: Ginzburg, Geometrical Aspects of Representation Theory; Borho, Nilpotent Orbits, Primitive Ideals,
and Characteristic Classes (A Survey)
) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986) (MathReviews, Google Books), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (part I, part III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78, doi:10.1007/978-1-4612-4558-2. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

added 892 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv here). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at http://www.mathunion.org/ICM/) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts I, III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

[ADDED] After taking another look at Borho's notes, my understanding is that the moment map is used initially to place the construction of the Springer resolution into an already understood classical picture. Here the flag variety is a complete variety $X$ with a natural action of the Lie algebra (viewed as vector fields). The action induces $\mu: T^*X \rightarrow \mathfrak{g^*}$ (identified with $\mathfrak{g}$ via the Killing form). In turn, some of the general theory allows one to see in the special case that the image of $\mu$ is precisely the nilpotent cone $\mathcal{N}$ (using the orthogonality of the nilradical of a Borel subalgebra to that algebra under the Killing form and taking the saturation of the nilradical under the reductive group). Similarly one sees that $\mathcal{N}$ is normal (Kostant) and that $\mu$ is a resolution of singularities.

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv here). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at http://www.mathunion.org/ICM/) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts I, III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv here). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at http://www.mathunion.org/ICM/) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts I, III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.

[ADDED] After taking another look at Borho's notes, my understanding is that the moment map is used initially to place the construction of the Springer resolution into an already understood classical picture. Here the flag variety is a complete variety $X$ with a natural action of the Lie algebra (viewed as vector fields). The action induces $\mu: T^*X \rightarrow \mathfrak{g^*}$ (identified with $\mathfrak{g}$ via the Killing form). In turn, some of the general theory allows one to see in the special case that the image of $\mu$ is precisely the nilpotent cone $\mathcal{N}$ (using the orthogonality of the nilradical of a Borel subalgebra to that algebra under the Killing form and taking the saturation of the nilradical under the reductive group). Similarly one sees that $\mathcal{N}$ is normal (Kostant) and that $\mu$ is a resolution of singularities.

Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

The short answer might be that this viewpoint provides an attractive alternative way to construct the Springer resolution as a special case in a broader geometric framework, following ideas of Kostant and Souriau. I'm not at all qualified to attempt a deeper explanation of the significance of this viewpoint, but what I can do is encourage you to explore the literature beyond what Ginzburg does in his book with Chriss or in his summary lecture notes you quote from the proceedings of the 1997 conference at U. Montreal (posted on arXiv here). In expositions it is convenient for people to use the special linear case as the main example, but this is of course misleading as to the delicate complications in the general case which encourage the development of multiple approaches.

In particular, during the 1980s there was important parallel work being done on several related problems by Walter Borho, Jean-Luc Brylinski, Robert MacPherson, and others. Some detailed references occur in my attempted review of a paper by Ginzburg (as posted on MathSciNet): MR847727 (87k:17014) 17B35 Ginsburg, V. [Ginzburg, Victor], $\mathfrak{g}$-modules, Springer’s representations and bivariant Chern classes. Adv. in Math. 61 (1986), no. 1, 1–48. [Note that the first symbol in the title was originally printed upper-case but refers to a Lie algebra.]

I guess it's legal to quote my concluding reviewer's remark: "The subject matter spills over many of the conventional dividing lines between disciplines. In their abstracts prepared for the International Congress of Mathematicians in Berkeley (1986), the author and Borho deal with many of the same issues, but the author’s occurs in the section “Lie groups and representations”, while Borho’s occurs in the section “Algebra”. Both might equally well be placed in the section “Algebraic geometry”."

It's useful to look at those ICM reports (now available online at http://www.mathunion.org/ICM/) as well as Borho's incomplete lecture notes in the Canad. Math. Soc. Conf. Proc. 5 (1986), whose interesting Part II wasn't published. The more technical research papers by Borho and Brylinski in Invent. Math. 1982 and 1985 (parts I, III with a gap between) give a clearer idea of how they fit the pieces together. Then there is the 1989 B-B-M monograph Nilpotent Orbits, Primitive Ideals, and Characteristic Classes, Birkhauser series Progress in Mathematics, 78. The moral of the story seems to be that more than just the isolated construction of the Springer resolution is at stake here. I realize this doesn't directly answer your question, but may only complicate it further.