The minimal realization from deformation theory (Q1271007)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The minimal realization from deformation theory
scientific article

    Statements

    The minimal realization from deformation theory (English)
    0 references
    0 references
    0 references
    14 March 1999
    0 references
    Let \(\mathfrak g\) be a complex simple Lie algebra not of type \(A_n\). Then \(\mathfrak g\) has a unique coadjoint orbit \(\mathcal O\) of minimal nonzero dimension and the enveloping algebra \(U(\mathfrak g)\) of \(\mathfrak g\) has a unique completely prime primitive ideal \(J\) whose associated variety is the Zariski closure \(\overline{\mathcal O}\) of \(\mathcal O\) [Ann. Sci. Éc. Norm. Supér. (4) 9, 1-29 (1976; Zbl 0346.17008)]. The purpose of this paper is to give a realization of \(J\) via Gerstenhaber deformation of the coordinate ring \(A:=S(\mathfrak g)/I\) of the variety \(\overline{\mathcal O}\). This is greatly simplified by the fact that \(A\) is a Koszul algebra, as shown by Bezrukavnikov and Imandar-Mehta. At the same time, the author is able to construct modules for the deformed algebra \(U(\mathfrak g)/J\) and in particular to realize \(J\) in a uniform way as the annihilator of a simple highest weight module. He also recovers an old result of Garfinkle that the graded ideal \(\text{gr }J\) in \(\text{gr }U(\mathfrak g)=S(\mathfrak g)\) coincides with \(I\), using a result of Kostant that \(I\) is generated by quadratic polynomials.
    0 references
    0 references
    Gerstenhaber deformation
    0 references
    minimal nilpotent orbit
    0 references
    Koszul algebra
    0 references
    BGG variety
    0 references
    primitive ideal
    0 references
    enveloping algebra
    0 references
    graded ideal
    0 references
    0 references