Separating invariants for arbitrary linear actions of the additive group

From MaRDI portal
Publication:2436636



Abstract: We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.


Let \(\Bbbk\) be a field of characteristic zero and \(\mathbb{G}_a\) its additive group. Consider a finite-dimensional representation \(V\) of \(\mathbb{G}_a\) and denote by \(\Bbbk[V]\) the algebra of polynomial function on \(V\) and by \(\Bbbk[V]^{\mathbb{G}_a}\) its subalgebra of \textit{invariant elements}. Following Derksen and Kemper, a \textit{separating set} for the ring of the invariants \(\Bbbk[V]^{\mathbb{G}_a}\) is a subset \(S \subset \Bbbk[V]^{\mathbb{G}_a}\) with the following property: given \(v, w \in V\), if there exists an invariant \(f\) such that \(f(v)\neq f(w)\) (separates the points), then there also exists \(s \in S\) which separates \(v\) and \(w\). The main result of the paper says: For a finite-dimensional representation \(V\) (not necessarily indecomposable) of \(\mathbb{G}_a\) with \(\dim_{\mathbb k}(V)=n\). There exists a separating set \(S \subset \Bbbk[V]^{\mathbb{G}_a}\) with the following three properties: (1) \(S\) consists of invariants of degree at most \(2n-1\). (2) the size of \(S\) is quadratic in \(n\). (3) \(S\) consists of invariants which involve variables coming from at most \(2\) indecomposable summands.











This page was built for publication: Separating invariants for arbitrary linear actions of the additive group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2436636)