arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1005.3082math.RTmath.AG
收藏

分离轨道的不变函数的多项式界

Polynomial Bounds for Invariant Functions Separating Orbits

Harlan Kadish

摘要:

考虑一个代数群G的表示。一般来说,多项式不变函数可能无法分离轨道。不变子环可能不会被直接生成,或者生成元的数量和复杂性可能会随着表示的大小而快速增长。相反,我们研究“可构造”的功能定义的直线程序中的多项式环,与一个新的“准逆”,计算一个函数的逆定义。我们编写直线程序,定义分离G的轨道的可构造函数。这些程序的数量和它们的长度在表示的参数中具有多项式界限。

英文摘要:

Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow rapidly with the size of the representation. We instead study "constructible" functions defined by straight line programs in the polynomial ring, with a new "quasi-inverse" that computes the inverse of a function where defined. We write straight line programs defining constructible functions that separate the orbits of G. The number of these programs and their length have polynomial bounds in the parameters of the representation.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑