Generic initial ideals of modular polynomial invariants (Q2301988)

Let \(K\) be a field, \(I\subset K[x_1,\ldots,x_n]\) be a homogeneous ideal and \(>\) a monomial ordering. There exists a Zariski open set \(U\subset \text{GL}_n(K)\) and a monomial ideal \(J\) such that in\(_>(\alpha(I))=J\) for all \(\alpha \in U\). \(J=:\text{gin}_>(I)\) is called the generic initial ideal with respect to \(>\). A permutation \(\pi\) of \(\{1,\ldots,n\}\) induces an automorphism \(\pi\) of \(K[x_1,\ldots,x_n]\) defined by \(\pi(x_i)=x_{\pi(i)}\) and a monomial ordering \(<_{\pi}\) defined by \(\pi(a)>_{\pi}\pi(b)\) iff \(a>b\). It is proved that \(\text{gin}_{>_{\pi}}(I)=\pi(\text{gin}_>(I))\).\\ Generic initial ideals are studied arising in invariant theory. Let \(V\) be a finite dimensional module of a group \(G\) over \(K\) (\(K\) assumed to be infinite of characteristic p) and \(K[V]=S(V^*)=K[x_1,\ldots,x_n]\). Let \(H(V)\) be the Hilbert ideal generated by the homogeneous invariants of positive degree of the canonical action of \(G\) on \(K[V]\). The case of being \(V\) a modular module, i.e. \(p\) divides the order of \(G\), is studied. Let \(G\) be the cyclic group of order \(p\). The cases where an explicite generating set for the Hilbert ideal is known are studied and the generic initial ideals of these Hilbert ideals are computed. In case of \(>\) being the upper triangular monomial ordering the generic initial ideal is equal to the initial ideal of the Hilbert ideal. Next the Klein four group is considered. Its Hilbert ideals are Borel fixed with certain orderings, i.e. the generic initial ideal is equal to the initial ideal with respect to these orderings. It is proved that in the cases considered there is always a monomial ordering such that the generic initial ideal of the Hilbert ideal is equal to the initial ideal.