BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jonathan Elmer 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 consider a finite dimensional $\kk G$-module $V$ of a $p$-group $G$ over a field $\kk$ of characteristic $p$. We describe a generating set for the corresponding Hilbert Ideal. In case $G$ is cyclic this yields that the algebra $\kk[V]_G$ of coinvariants is a free module over its subalgebra generated by $\kk G$-module generators of $V^*$. This subalgebra is a quotient of a polynomial ring by pure powers of its variables. The coinvariant ring was known to have this property only when $G$ was cyclic of prime order, \cite{SezerCoinv}. In addition, we show that if $G$ is the Klein 4-group and $V$ does not contain an indecomposable summand isomorphic to the regular module, then the Hilbert Ideal is a complete intersection, extending a result of the second author and R. J. Shank \cite{SezerShank}.
Assume a fixed point v in a G-module V can be separated from zero by a homogeneous invariant of degree dp^r where p>0 is the characteristic of the ground field k and p, d are coprime. We show that then v can also be separated from zero by an invariant of degree p^r , which we obtain explicitly from f. It follows that the minimal degree of a homogeneous invariant separating v from zero is a p-power.
Let $G$ be a linear algebraic group over a field $k$, and let $V$ be a $G$-module. Recall that the nullcone of $(G,V)$ is the set of points $v$ in $V$ with the property that $f(v)=0$ for every positive degree homogeneous invariant $f$ in $k[V]^G$. We define numbers $δ(G,V)$ and $σ(G,V)$ associated with a given representation as follows: $δ(G,V)$ is the smallest number $d$ such that, for any point $v$ in $V^G$ outside the nullcone, there exists an invariant $f$ of degree at most $d$ such that $f(v)$ is not zero; $σ(G,V)$ is the same thing with $V^G$ replaced by $V$. If k has positive characteristic, we show that $δ(G,V)$ is infinite for all subgroups of $GL_2(k)$ containing a unipotent subgroup, and that $σ(G,V)$ is finite if and only if $G$ is finite. If $k$ has characteristic zero we show that $δ(G,V)=1$ for all linear algebraic groups and that if $σ(G,V)$ is finite then the connected component of $G$ is unipotent.
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.
We fix a field $\kk$ of characteristic $p$. For a finite group $G$ denote by $δ(G)$ and $σ(G)$ respectively the minimal number $d$, such that for any finite dimensional representation $V$ of $G$ over $\kk$ and any $v\in V^{G}\setminus\{0\}$ or $v\in V\setminus\{0\}$ respectively, there exists a homogeneous invariant $f\in\kk[V]^{G}$ of positive degree at most $d$ such that $f(v)\ne 0$. Let $P$ be a Sylow-$p$-subgroup of $G$ (which we take to be trivial if the group order is not divisble by $p$). We show that $δ(G)=|P|$. If $N_{G}(P)/P$ is cyclic, we show $σ(G)\ge|N_{G}(P)|$. If $G$ is $p$-nilpotent and $P$ is not normal in $G$, we show $σ(G)\le \frac{|G|}{l}$, where $l$ is the smallest prime divisor of $|G|$. These results extend known results in the non-modular case to the modular case.
We explicitly construct a finite set of separating invariants for the basic $\Ga$-actions. These are the finite dimensional indecomposable rational linear representations of the additive group $\Ga$ of a field of characteristic zero, and their invariants are the kernel of the Weitzenböck derivation $D_{n}=x_{0}\frac{\partial}{\partial{x_{1}}}+...+ x_{n-1}\frac{\partial}{\partial{x_{n}}}$.
In the case of finite groups, a separating algebra is a subalgebra of the ring of invariants which separates the orbits. Although separating algebras are often better behaved than the ring of invariants, we show that many of the criteria which imply that the ring of invariants is non Cohen-Macaulay actually imply that no graded separating algebra is Cohen-Macaulay. For example, we show that, over a field of positive characteristic p, given sufficiently many copies of a faithful modular representation, no graded separating algebra is Cohen-Macaulay. Furthermore, we show that, for a p-group, the existence of a Cohen-Macaulay graded separating algebra implies the group is generated by bireflections. Furthermore, we show that, for a $p$-group, the existence of a Cohen-Macaulay graded separating algebra implies the group is generated by bireflections. Additionally, we give an example which shows that Cohen-Macaulay separating algebras can occur when the ring of invariants is not Cohen-Macaulay.