Observable actions of algebraic groups (Q848903)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Observable actions of algebraic groups
scientific article

    Statements

    Observable actions of algebraic groups (English)
    0 references
    0 references
    0 references
    23 February 2010
    0 references
    Let \(G\) be an affine algebraic group acting on an affine algebraic variety \(X\), all taken over an algebraically closed field \(k\). This action is called observable if for any \(G\)-stable proper closed subset \(Y\) in \(X\) there is a nonzero \(G\)-invariant regular function \(f\) on \(X\) such that \(f|_Y=0\). The authors prove that, for irreducible \(X\), the action is observable if and only if (1) it is stable (i.e., there is a nonempty open subset of \(X\) consisting of closed orbits); and (2) the field of \(G\)-invariant rational functions on \(X\) is equal to the quotient field of the algebra of \(G\)-invariant regular functions on \(X\). For a reductive \(G\), this implies the existence of a unique maximal \(G\)-stable closed subset \(X_{\text{soc}}\) in \(X\) such that the natural action of \(G\) on \(X_{\text{soc}}\) is observable.
    0 references
    affine algebraic group
    0 references
    affine algebraic variety
    0 references
    action
    0 references

    Identifiers