Higher syzygy degree bounds for finite-group invariants

Let GG be a finite group in the nonmodular case acting on a finite-dimensional representation VV. Let βGi(V)\beta_G^i(V) denote the degree bound for the ii-th syzygies of the invariant ring, and let τG(V)\tau_G(V) be the smallest integer dd such that every homogeneous polynomial of degree dd lies in the ideal generated by all homogeneous invariants of positive degree. Higher syzygy bound conjecture. If GG is a finite group in the nonmodular case, then

βGi(V)(i+1)τG(V)(i+1)G.\beta_G^i(V)\leq (i+1)\tau_G(V)\leq (i+1)|G|.

The preceding theorem proves the corresponding bound for the syzygy ideal, but the authors state that its proof does not seem to extend to higher syzygies. The conjecture proposes analogous bounds for all higher syzygies, using Fogarty's inequality τG(V)G\tau_G(V)\leq |G|.

Sources & referencesView supporting material

Primary source

Harm Derksen, “Degree Bounds for Syzygies of Invariants”, arXiv:math/0205174 (2003).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.