Symbolic powers of Derksen ideals (Q6170635)

Let \(R = k[x_1, \ldots,x_d]\) be a polynomial ring over a field \(k\) and \(G\) a finite group acting on \(R\). The Derksen ideal of \(S = k[x_1,\ldots,x_d,y_1,\ldots,y_d]\) is defined by \[ I_G = \bigcap_{g \in G} (y_1 - g(x_1),\ldots,y_d - g(x_d)). \] By [\textit{H. Derksen}, Adv. Math. 141, No. 2, 366--384 (1999; Zbl 0927.13007)], the generators of the Derksen ideal give the generators of the invariant ring \(R^G\). Jeffries raised the following question. Assume that \(G\) is a finite group acting linearly on \(R\). Is it true that \[ I_G^s = I_G^{(s)}, \] for all \(s \ge 1\)? where \(I^{(s)}\) denotes the \(s\)th symbolic power of \(I\). In the paper under review, the author answers affirmative this question in the following cases: \(d = 1\), \(G = \mathbb{Z}/2\) or \(G\) has \(a\le d\) generators and \(g_i\) acts by simply scaling \(\omega_i\) on the \(i\)th coordinate only, and \(\omega_i\) are roots of unity. In the first case, the author showed that \(I_G\) is principal. In the case \(G = \mathbb{Z}/2\), by a change of variables, the author showed that \(I\) becomes the intersection of two monomial prime ideals. In the final case the author identify the invariant ring \(R^G\) and use the result of [\textit{E. Dufresne}, Adv. Math. 221, 1979--1989 (2009; Zbl 1173.13004)] to show that \(I_G\) is generated by a regular sequence.