Degree bounds for separating invariants

DOI10.4310/MRL.2010.V17.N6.A15zbMATH Open1230.13010arXiv1001.5216OpenAlexW3102548535MaRDI QIDQ2275764FDOQ2275764

Authors: Martin Kohls, Hanspeter Kraft 

Publication date: 9 August 2011

Published in: Mathematical Research Letters (Search for Journal in Brave)

Abstract: If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f from S such that f(v) is different from f(v'). It is known that there always exist finite separating sets. Moreover, if the group G is finite, then the invariant functions of degree <= |G| form a separating set. We show that for a non-finite linear algebraic group G such an upper bound for the degrees of a separating set does not exist. If G is finite, we define b(G) to be the minimal number d such that for every G-module V there is a separating set of degree less or equal to d. We show that for a subgroup H of G we have b(H) <= b(G) <= [G:H] b(H)$,andthatb(G)<=b(G/H)b(H)$ in case H is normal. Moreover, we calculate b(G) for some specific finite groups.

Full work available at URL: https://arxiv.org/abs/1001.5216

Recommendations

• Degree bound for separating invariants of abelian groups
• Separating invariants
• Separating invariants and finite reflection groups
• Separating invariants of finite groups
• Separating invariants over finite fields

zbMATH Keywords

linear algebraic grouppolynomial invariantseparating setaffine \(G\)-variety

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Group actions on varieties or schemes (quotients) (14L30) Geometric invariant theory (14L24)

Cited In (26)

• The Noether number of the non-abelian group of order \(3p\)
• Zero-separating invariants for finite groups
• Separating invariants
• Degree bounds -- an invitation to postmodern invariant theory
• Typical separating invariants
• Estimation under group actions: recovering orbits from invariants
• Degree bound for separating invariants of abelian groups
• Polynomial bounds for invariant functions separating orbits
• Degree bounds for syzygies of invariants
• The separating Noether number of abelian groups of rank two
• Separating monomials for diagonalizable actions
• Zero-separating invariants for linear algebraic groups
• Invariants of the dihedral group D_2p in characteristic two
• A Splitting with Infimum in the d-c. e. Degrees
• Separating invariants and local cohomology
• Explicit separating invariants for cyclic \(P\)-groups.
• The separating Noether number of the direct sum of several copies of a cyclic group
• Polarization of Separating Invariants
• Separating invariants and finite reflection groups
• Separation indices of irreducible root systems
• Separating invariants for the Klein four group and cyclic groups
• Separating invariants over finite fields
• Degree bounds for fields of rational invariants of \(\mathbb{Z}/p\mathbb{Z}\) and other finite groups
• On the generalized Davenport constant and the Noether number
• Title not available (Why is that?)
• Separating invariants for the basic \(\mathbb G_{a}\)-actions

This page was built for publication: Degree bounds for separating invariants

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