arXiv subjects
Publications and source records attributed to Müfit Sezer.
For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the field of rational invariants. A similar result is proven for decomposable representations of $G$.
We consider a finite permutation group acting naturally on a vector space $V$ over a field $\Bbbk$. A well known theorem of Göbel asserts that the corresponding ring of invariants $\Bbbk[V]^G$ is generated by invariants of degree at most $\binom{\dim V}{2}$. In this note we show that if the characteristic of $\Bbbk$ is zero then the top degree of vector coinvariants $\Bbbk[V^m]_G$ is also bounded above by $\binom{\dim V}{2}$, which implies the degree bound $\binom{\dim V}{2}+ 1$ for the ring of vector invariants $\Bbbk[V^m]^G$. So Göbel's bound almost holds for vector invariants in characteristic zero as well.
We study the generic initial ideals (gin) of certain ideals that arise in modular invariant theory. For all cases an explicit generating set is known we calculate the generic initial ideal of the Hilbert ideal of a cyclic group of prime order for all monomial orders. We also clarify the Klein four group and note that its Hilbert ideals are Borel fixed with certain orderings of the variables. In all situations we consider, there is a monomial order such that the gin of the Hilbert ideal is equal to its initial ideal. Along the way we show that gin respects a permutation of the variables in the monomial order.
Let $V,W$ be representations of a cyclic group $G$ of prime order $p$ over a field $k$ of characteristic $p$. The module of covariants $k[V,W]^G$ is the set of $G$-equivariant polynomial maps $V \rightarrow W$, and is a module over $k[V]^G$. We give a formula for the Noether bound $β(k[V,W]^G,k[V]^G)$, i.e. the minimal degree $d$ such that $k[V,W]^G$ is generated over $k[V]^G$ by elements of degree at most $d$.
Let $G$ be a finite group, and $V$ a finite dimensional vector space over a field $k$ of characteristic dividing the order of $G$. Let $H \leq G$. The transfer map $k[V]^H \rightarrow k[V]^G$ is an important feature of modular invariant theory. Its image is called a transfer ideal $I^G_H$ of $k[V]^G$, and this ideal, along with the quotients $k[V]^G/I^G_H$ are widely studied. In this article we study $k[V]^G/I$, where $I$ is any sum of transfer ideals. Our main result gives an explicit regular sequence of length $\dim(V^G)$ in $k[V]^G/I$ when $G$ is a $p$-group. We identify situations where this is sufficient to compute the depth of $k[V]^G/I$, in particular recovering a result of Totaro. We also study the cases where $G$ is cyclic or isomorphic to the Klein 4 group in greater detail. In particular we use our results to compute the depth of $k[V]^G/I^G_{\{1\}}$ for an arbitrary indecomposable representation of the Klein 4-group.
We investigate the presence of Cohen-Macaulay ideals in invariant rings and show that an ideal of an invariant ring corresponding to a modular representation of a $p$-group is not Cohen-Macaulay unless the invariant ring itself is. As an intermediate result, we obtain that non-Cohen-Macaulay factorial rings cannot contain Cohen-Macaulay ideals. For modular cyclic groups of prime order, we show that the quotient of the invariant ring modulo the transfer ideal is always Cohen-Macaulay, extending a result of Fleischmann.
For a finite dimensional representation $V$ of a group $G$ over a field $F$, the degree of reductivity $δ(G,V)$ is the smallest degree $d$ such that every nonzero fixed point $v\in V^{G}\setminus\{0\}$ can be separated from zero by a homogeneous invariant of degree at most $d$. We compute $δ(G,V)$ explicitly for several classes of modular groups and representations. We also demonstrate that the maximal size of a cyclic subgroup is a sharp lower bound for this number in the case of modular abelian $p$-groups.
We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.
For a finite group $G$ acting faithfully on a finite dimensional $F$-vector space $V$, we show that in the modular case, the top degree of the vector coinvariants grows unboundedly: $\lim_{m\to\infty} \topdeg F[V^{m}]_{G}=\infty$. In contrast, in the non-modular case we identify a situation where the top degree of the vector coinvariants remains constant. Furthermore, we present a more elementary proof of Steinberg's theorem which says that the group order is a lower bound for the dimension of the coinvariants which is sharp if and only if the invariant ring is polynomial.
A homogeneous set of monomials in a quotient of the polynomial ring $S:=F[x_1, \..., x_n]$ is called Gotzmann if the size of this set grows minimally when multiplied with the variables. We note that Gotzmann sets in the quotient $R:=F[x_1, \..., x_n]/(x_1^a)$ arise from certain Gotzmann sets in $S$. Then we partition the monomials in a Gotzmann set in $S$ with respect to the multiplicity of $x_i$ and show that if the growth of the size of a component is larger than the size of a neighboring component, then this component is a multiple of a Gotzmann set in $F[x_1, \..., x_{i-1}, x_{i+1}, \...,x_n]$. We also adopt some properties of the minimal growth of the Hilbert function in $S$ to $R$.
We consider finite dimensional representations of the dihedral group $D_{2p}$ over an algebraically closed field of characteristic two where $p$ is an odd integer and study the degrees of generating and separating polynomials in the corresponding ring of invariants. We give an upper bound for the degrees of the polynomials in a minimal generating set that does not depend on $p$ when the dimension of the representation is sufficiently large. We also show that $p+1$ is the minimal number such that the invariants up to that degree always form a separating set. As well, we give an explicit description of a separating set when $p$ is prime.
We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gröbner basis for the Hilbert ideal and the corresponding monomial basis for the coinvariants. We also describe the decomposition of the coinvariants as a module over the group ring. For one family of representations, we are able to describe the coinvariants despite the fact that an explicit generating set for the invariants is not known. In all cases our results confirm the conjecture of Harm Derksen and Gregor Kemper on degree bounds for generators of the Hilbert ideal. As an incidental result, we identify the coefficients of the monomials appearing in the orbit product of a terminal variable for the three dimensional indecomposable representation.