# zbMATH — the first resource for mathematics

Intersections of polynomial rings and modules with applications. (English) Zbl 1145.13300
Informatik. Aachen: Shaker Verlag; München: Tech. Univ. München, Fak. für Informatik (Diss.) (ISBN 978-3-8322-5349-3/pbk). 120 p. (2006).
Preface: We are concerned with two problems, namely with computing the intersection of (some) graded structures of commutative algebra and computing the stratification of linear actions of compact Lie groups. The connection between these seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental invariants and, additionally, of fundamental equivariants of compact Lie groups. The principle of symmetry breaking allows to decompose in a unique way the representation and orbit space in finitely many disjoint basic open semi-algebraic sets, called strata. A set of fundamental invariants allows to construct this stratification of the representation- and the orbit space.
We provide algorithms for computing the intersection of finitely generated graded subalgebras, which can be specialized to compute invariants of algebraic groups and invariant rings of compact Lie groups, and for computing the intersection of graded submodules, which can be specialized to compute equivariants of algebraic groups. Moreover we propose a new approach for stratifying actions of compact Lie groups and we present algorithms for computing s stratification of the representation space and of all or selected strata (and their closures) of the orbit space. In addition, we show that the dimension of a stratum of the orbit space is an upper and lower bound for the number of inequalities needed for a description. Finally we describe the computer algebra package STRATIFY for computing stratifications of compact Lie groups.
##### MSC:
 13-02 Research exposition (monographs, survey articles) pertaining to commutative algebra 22-02 Research exposition (monographs, survey articles) pertaining to topological groups 13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) 22E45 Representations of Lie and linear algebraic groups over real fields: analytic methods
STRATIFY