BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Müfit Sezer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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$.
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.
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.
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.
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.
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$.