On the generalized Davenport constant and the Noether number (Q386406)

Let \(\mathbb{F}\) be a base field. Given a commutative \(\mathbb{N}\)-graded \(\mathbb{F}\)-algebra \(R\), with \(R_0=\mathbb{F}\) and \(R_{+}\) is the associated augmented ideal, for any positive integer \(k\) and an \(\mathbb{N}\)-graded \(R\)-module \(M\), denote by \( \beta_{k}(M, R):=\beta(M,R_+^{k})\) the minimal non-negative integer \(s\) such that \(M=M_{\leq s} + M_{\leq s}R_+^k\) and set \(\beta_k(R)=\beta_{k}(R_+,R)\). On the other hand, the minimal integer \(d\) such that \(\beta_1(R_+,\mathbb{F}[R_{\leq d}])\) is \textit{finite}, is denoted by \(\sigma(R)\). Let \(G\) be a finite group of order not divisible by \(\mathrm{char}(\mathbb{F})\). Take a finite dimensional \(G\)-representation \(V\) and set \(\beta_k(,V)=\beta_k(\mathbb{F}[V]^{G})\), where \(\mathbb{F}[V]=\mathrm{Sym}_{\mathbb{F}}(V^*)\) is the symmetric algebra of the dual representation \(V^*\). The algebra \(\mathbb{F}[V]\) is canonically endowed with a \(G\)-action and \(\mathbb{F}[V]^G\) is its subalgebra of invariant elements. \textit{The generalized Noether numbers} of \(G\) is defined by \(\beta_{k}(G)\) as the supremum of the \(\beta_k(G,V)\)'s when \(V\) runs over all finite dimensional \(G\)-representations over \(\mathbb{F}\). When \(G\) is abelian this is \textit{the generalized Davenport constant}. The first result of the paper says that in characteristic zero, the function \(k \mapsto \beta_k(G)/k\) converges to \(\sigma(G)\) the supremum of all the \(\sigma(\mathbb{F}[V]^G)\) when \(V\) runs all \(G\)-modules. The second result shows that \(\sigma(G) \leq |G|/q\), for any non-cyclic group with \(q\) the smallest prime divisor of \(|G|\). Let \(\mathcal{C}_q\) be the set of isomorphism classes of non-cyclic finite groups of order not divisible by \(\text{char}(\mathbb{F})\) and with smallest prime divisor \(q\). The authors conjectured the following equality \[ \underset{G \, \in \, \mathcal{C}_q}{\lim \sup} \frac{\beta_k(G)}{|G|}\,\,=\,\, \frac{1}{q}, \] for \(q >2\).