Summary
LetG be a semi-simple complex algebraic group with Lie algebra ϱ and flag varietyX=G/B. For each primitive idealJ with trivial central character in the enveloping algebraU(ϱ) we define a characteristic variety in the cotangent bundle ofX, which projects under the Springer resolution mapT * X→ϱ onto the closure of a nilpotent orbit. We prove that this characteristic variety is theG-saturation of the characteristic variety of a highest weight module with annihilatorJ. We conjecture that it is irreducible forG=SL n . Our conjecture would provide a geometrical explanation for the classification of primitive ideals in terms of Weyl group representations, as achieved by A. Joseph. The presentation of these ideas here is simultaneously used to some extent as an opportunity to continue our more general systematic discussion of differential operators on a complete homogeneous space, and to study more generally characteristic varieties of Harish-Chandra modules.
Similar content being viewed by others
References
[Av] Alvis, D.: Induce/restrict matrices for exceptional Weyl groups. Manuscr., M.I.T., Cambridge, Ma 1981
[AL] Alvis, D., Lusztig, G.: On Springer's correspondence for simple groups of typeE n (n=6, 7, 8). Math. Proc. Camb. Philos. Soc.92, 65–78 (1982)
[BV1] Barbasch, D., Vogan, D.: Primitive ideals and orbital integrals in complex classical groups. Math. Ann.259, 153–199 (1982)
[BV2] Barbasch, D., Vogan, D.: Primitive ideals and orbital integrals in complex exceptional groups. J. Algebra80, 350–382 (1983)
[BeBe] Beilinson, A., Bernstein, J.: Localisation de ϱ-modules C.R. Acad. Sci. Paris292, 15–18 (1981)
[Be1] Bernstein, I.: Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients. Funct. Anal. Appl.5, 98–101 (1971)
[Be2] Bernstein, J.: Algebraic theory ofD-modules (after Beilinson and Bernstein). Lecture Notes distributed at Marseille-Luminy 1983
[BeGe] Bernstein, J., Gelfand, S.I.: Tensor products of finite and infinite dimensional representations of semisimple Lie algebras. Compos. Math.41, 245–285 (1980)
[Bj] Björk, J.-E.: Rings of differential operators. Amsterdam-New York-Oxford: North Holland 1979
[Bo] Borho, W.: Recent advances in enveloping algebras of semisimple Lie algebras. Semin. Bourbaki 1976/77, Lect. Notes Math.677, 1–19 (1978)
[Bo2] Borho, W.: On the Joseph-Small additivity principle for Goldie ranks. Compos. Math.47, 3–29 (1982)
[Bo3] Borho, W.: Über Schichten halbeinfacher Lie-Algebren. Invent. Math.65, 283–317 (1981)
[BoB] Borho, W., Brylinsky, J.-L.: Differential operators on homogeneous spaces I. Invent. Math.69, 437–476 (1982)
[BBM] Borho, W., Brylinski, J.-L., MacPherson, R.: Open problems in algebraic groups. Proc. Conf. “Algebraic groups and their representations”. (R. Hotta, N. Kawanaka, eds.) The Taniguchi Foundation, Katata (Japan) 1983
[BoJ] Borho, W., Jantzen, J.C.: Über primitive Ideale in der Einhüllenden einer halbeinfachen Lie-Algebra. Invent. Math.39, 1–53 (1977)
[BoM] Borho, w., MacPherson, R.: Représentations des groupes de Weyl et homologie d'intersection pour les variétés nilpotentes. C.R. Acad. Sci. Paris (A)292, 707–710 (1981)
[Bou] Bourbaki, N.: Groupes et algebres de Lie. Chap. IV–VI. Paris: Hermann 1968
[B1] Brylinski, J.-L.: Differential operators on the flag varieties. In: Young tableaux and Schur functors in algebra and geometry. Asterisque87–88, 43–60 (1981)
[B2] Brylinski, J.-L.: Transformations canoniques, dualité projective, théorie de Lefschetz, transformation de Fourier, et sommes trigonometriques. Asterisque (To appear)
[BDK] Brylinski, J.-L., Dubson, A.S., Kashiwara, M.: Formule de l'indice pour les modules holonomes et obstruction d'Euler locale. C.R. Acad. Sci. Paris293, 573–576 (1981)
[BK] Brylinski, J.-L., Kashiwara, M.: Kazhdan-Lusztig conjecture and holonomic systems. Invent. Math.64, 387–410 (1981)
[CD] Conze-Berline, N., Duflo, M.: Sur les représentations induites des groupes semi-simples complexes. Compos. Math.34, 307–336 (1977)
[De] Demazure, M.: Désingularization des variétés de Schubert généralisées. Ann. Sci. ENS7, 53–88 (1974)
[DG] Demazure, M., Gabriel, P.: Groupes algébriques. Paris-Amsterdam: North-Holland 1970
[EGA] Diendonné, J., Grothendieck, A.: Eléments de Géometrie Algébrique III (Etude cohomologique des faisceaux coherentes). Publ. Math. IHES11 (1961) and17 (1963)
[Di] Dixmier, J.: Algèbres enveloppantes. Paris: Gauthier-Villars 1974
[D] Duflo, M.: Sur la classification des idéaux primitifs dans l'algèbre enveloppante d'une algèbre de Lie semi-simple. Ann. Math.105, 107–120 (1977)
[E1] Elkik, R.: Désingularisation des adhérences d'orbites polarisables et des nappes dans les algèbres de Lie réductives. Preprint, Paris 1978
[E] Enright, T.J.: Lectures on representations of complex semi-simple Lie groups. Tata Institute Lectures on Math. Berlin-Heidelberg-New York: Springer 1981
[Ga] Gabber, O.: The integrability of the characteristic variety. Am. J. Math.103, 445–468 (1981)
[Gi] Ginsburg, V.: Symplectic geometry and representations. Preprint, Moscow State University 1981
[GoM] Gorosky, M., MacPherson, R.: Intersection homology theory II. Invent. Math.72, 77–130 (1983)
[Ha] Hartshorne, R.: Algebraic Geometry. New York-Heidelberg-Berlin: Springer 1977
[H] Hotta, R.: On Joseph's construction of Weyl group representations. Tôhoku Math. J.36, 49–74 (1984)
[HK] Hotta, R., Kashiwara, M.: The invariant holonomic system on a semi-simple Lie algebra. Invent. Math.75, 327–358 (1984)
[Ja] Jantzen, J.C.: Einhüllende Algebren halbeinfacher Lie-Algebren. Berlin-Heidelberg-New York-Tokyo: Springer 1983
[J1] Joseph, A.: Dixmier's problem for Verma and principla series submodules. J. Lond. Math. Soc.20, 193–204 (1979)
[J2] Joseph, A.: Goldie rank in the enveloping algebra of a semisimple Lie algebra I, II. J. Algebra65, 269–306 (1980)
[J3] Joseph, A.: On the variety of a highest weight module. Preprint, Paris 1982
[J4] Joseph, A.: On the associated variety of a primitive ideal. Preprint, Paris 1983
[J5] Joseph, A.: Gelfand-Kirillov dimension for the annihilators of simple quotients of Verma modules. J. Lond. Math. Soc.18, 50–60 (1978)
[J6] Joseph, A.: The Enright functor on the Bernstein-Gelfand-Gelfand category ϑ. Invent. Math.67, 423–445 (1982)
[Ka] Kashiwara, M.: The Riemann-Hilbert problem. Preprint, R.I.M.S., Kyoto 1983
[KK] Kashiwara, M., Kawai, T.: On the holonomic systems of linear differential equations III (systems with regular singularities). Kyoto Univ.: Publ. R.I.M.S.17, 813–979 (1981)
[KT] Kashiwara, M., Tanizaki, T.: The characteristic cycles of holonomic systems on a flag manifold-related to the Weyl group algebra. Preprint, Kyoto 1983
[KL] Kazhdan, D.A., Lusztig, G.: Representations of Coxeter groups and Hecke algebras. Invent. Math.53, 165–184 (1979)
[KL2] Kazhdan, D., Lusztig, G.: A topological approach to Springer's representations. Adv. Math.38, 222–228 (1980)
[Ko] Kostant, B.: Lie group representations on polynomial rings. Am. J. Math.85, 327–404 (1963)
[KP] Kraft, H., Procesi, C.: Closures of conjugacy classes of matrices are normal. Invent. Math.53, 227–247 (1979)
[Lv] Levasseur: Unpublished exposé of a lecture of O. Gabber. Paris: 1982
[LS] Lusztig, G., Spaltenstein, N.: Induced unipotent classes. J. Lond. Math. Soc.19, 41–52 (1979)
[Me] Mebkhout, Z.: Thesis. Paris 1979
[GAGA] Serre, J.: Géométrie algébrique et géométrie analytique. Ann. Inst. Fourier6, 1–42 (1956)
[Sh] Shoji, T.: On the Springer representation of Chevalley groups of typeF 4. Commun. Algebra8, 409–440 (1980)
[Sp1] Spaltenstein, N.: On the fixed point set of a unipotent element on the variety of Borel subgroups. Topology16, 203–204 (1977)
[Sp2] Spaltenstein, N.: Remarques sur certaines relations d'équivalence dans les groupes de Weyl. Preprint, Warwick 1977
[Sp3] Spaltenstein, N.: A property of special representations of Weyl groups. J. reine u. angew. Mathematik343, 212–220 (1983)
[Sp4] Spaltenstein, N.: Classes Unipotentes et Sous-groupes de Borel. Lect. Notes Math.946. Berlin-Heidelberg-New York: Springer 1982
[S] Springer, T.A.: Trigonometric sums, Green functions of finite groups and representations of Weyl groups. Invent. Math.36, 173–207 (1976)
[S2] Springer, T.A.: Geometric questions arising in the study of unipotent elements. Proc. Symp. Pure Math.37, 255–264 (1980)
[St] Steinberg, R.: On the desingularization of the unipotent variety. Invent. Math.36, 209–224 (1976)
[St2] Steinberg, R.: Conjugacy classes in algebraic groups. Leet: Notes Math.366, Springer 1974
[Ve] Verdier, J.L.: Categories derivées, etat 0. In: SGA 41 Lect. Notes Math.569, 262–312. Berlin-Heidelberg-New York: Springer 1977
[V] Vogan, D.: A generalized τ-invariant for the primitive spectrum of a semisimple Lie algebra. Math. Ann.242, 209–224 (1979)
[V2] Vogan, D.: Ordering of the primitive spectrum of a semi-simple Lie algebra. Math. Ann.248, 195–203 (1980)
Author information
Authors and Affiliations
Additional information
Partially supported by N.S.F. research grant
Rights and permissions
About this article
Cite this article
Borho, W., Brylinski, J.L. Differential operators on homogeneous spaces. III. Invent Math 80, 1–68 (1985). https://doi.org/10.1007/BF01388547
Issue Date:
DOI: https://doi.org/10.1007/BF01388547