Polynomial bounds for invariant functions separating orbits

JOURNAL OF ALGEBRA

卷:359

Article

Kadish, Harlan

关键词: Algebraic group;    Representation;    Action;    Orbit;    Straight line program;   

DOI  :  10.1016/j.jalgebra.2012.03.008

来源: Elsevier

【 摘 要 】

In a representation of a linear algebraic group G, polynomial invariant functions almost always fail to separate orbits. Unless G is reductive, the ring of invariant polynomials may not be finitely generated. Also the number and complexity of the generators may grow rapidly with the size of the representation. We instead consider an extension of the polynomial ring by introducing a quasi-inverse that computes the inverse of a function where defined. With the addition of the quasi-inverse, we write straight line programs defining functions that separate the orbits of any linear algebraic group G. The number of these programs and their length have polynomial bounds in the parameters of the representation. (C) 2012 Elsevier Inc. All rights reserved.

【 授权许可】

Free