BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jonathan Elmer contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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$.
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}}}$.