Computing invariants of algebraic group actions in arbitrary characteristic

dc.creatorDerksen, Harm
dc.creatorKemper, Gregor
dc.date2007-04-19
dc.date.accessioned2026-07-07T07:57:22Z
dc.date.available2026-07-07T07:57:22Z
dc.descriptionLet 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.
dc.description43 pages
dc.identifierhttps://arxiv.org/abs/0704.2594
dc.identifierhttp://arxiv.org/abs/0704.2594
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/127625
dc.subjectCommutative Algebra
dc.subjectAlgebraic Geometry
dc.subject13A50, 13P10, 14R20
dc.titleComputing invariants of algebraic group actions in arbitrary characteristic
dc.typetext

Files

Collections