Mathematics – Commutative Algebra
Scientific paper
2007-04-19
Mathematics
Commutative Algebra
43 pages
Scientific paper
Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and unipotent, so the invariant ring need not be finitely generated. For this case, we develop an algorithm which computes K[X]^G in terms of a so-called colon-operation. From this, generators of K[X]^G can be obtained in finite time if it is finitely generated. Under the additional hypothesis that K[X] is factorial, we present an algorithm that finds a quasi-affine variety whose coordinate ring is K[X]^G. Along the way, we develop some techniques for dealing with non-finitely generated algebras. In particular, we introduce the finite generation locus ideal.
Derksen Harm
Kemper Gregor
No associations
LandOfFree
Computing invariants of algebraic group actions in arbitrary characteristic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Computing invariants of algebraic group actions in arbitrary characteristic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computing invariants of algebraic group actions in arbitrary characteristic will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-213511