Source author record

Martin Kohls

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG

Catalog footprint

Research overview

14works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

On Cohen-Macaulayness and depth of ideals in invariant rings

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.

preprint2015arXiv

On separating fixed points from zero by invariants

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.

preprint2014arXiv

Zero-separating invariants for linear algebraic groups

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.

preprint2013arXiv

Zero-separating invariants for finite groups

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.

preprint2012arXiv

On the Top Degree of Coinvariants

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.

preprint2012arXiv

The separating variety for the basic representations of the additive group

For a group $G$ acting on an affine variety $X$ , the separating variety is the closed subvariety of $X\times X$ encoding which points of $X$ are separated by invariants. We concentrate on the indecomposable rational linear representations $V_n$ of dimension $n+1$ of the additive group of a field of characteristic zero, and decompose the separating variety into the union of irreducible components. We show that if $n$ is odd, divisible by four, or equal to two, the closure of the graph of the action, which has dimension $n+2$ , is the only component of the separating variety. In the remaining cases, there is a second irreducible component of dimension $n+1$ . We conclude that in these cases, there are no polynomial separating algebras.

preprint2011arXiv

Gröbner bases for the Hilbert ideal and coinvariants of the Dihedral group $D_{2p}$ }

We consider a finite dimensional representation of the dihedral group $D_{2p}$ over a field of characteristic two where $p$ is an odd prime and study the corresponding Hilbert ideal $I_H$ . We show that $I_H$ has a universal Gr\" {o}bner basis consisting of invariants and monomials only. We provide sharp bounds for the degree of an element in this basis and in a minimal generating set for $I_H$ . We also compute the top degree of coinvariants.

preprint2010arXiv

Degree bounds for separating invariants

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f from S such that f(v) is different from f(v'). It is known that there always exist finite separating sets. Moreover, if the group G is finite, then the invariant functions of degree <= |G| form a separating set. We show that for a non-finite linear algebraic group G such an upper bound for the degrees of a separating set does not exist. If G is finite, we define b(G) to be the minimal number d such that for every G-module V there is a separating set of degree less or equal to d. We show that for a subgroup H of G we have b(H) <= b(G) <= [G:H] b(H) $, and that b(G) <= b(G/H) b(H)$ in case H is normal. Moreover, we calculate b(G) for some specific finite groups.

preprint2010arXiv

Invariants of the dihedral group $D_{2p}$ in characteristic two

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.

preprint2010arXiv

Separating invariants for the basic G_a-actions

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}}}$ .

preprint2010arXiv

Separating invariants for the klein four group and cyclic groups

We consider indecomposable representations of the Klein four group over a field of characteristic $2$ and of a cyclic group of order $pm$ with $p,m$ coprime over a field of characteristic $p$ . For each representation we explicitly describe a separating set in the corresponding ring of invariants. Our construction is recursive and the separating sets we obtain consist of almost entirely orbit sums and products.

preprint2009arXiv

A finite separating set for Daigle and Freudenburg's counterexample to Hilbert's Fourteenth Problem

This paper gives the first explicit example of a finite separating set in an invariant ring which is not finitely generated, namely, for Daigle and Freudenburg's 5-dimensional counterexample to Hilbert's Fourteenth Problem.

preprint2009arXiv

The Cohen-Macaulay property of separating invariants of finite groups

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.

preprint2008arXiv

On the depth of invariant rings of infinite groups

Let K be an algebraically closed field. For a finitely generated graded K algebra R, let cmdef R := dim R - depth R denote the Cohen-Macaulay-defect of R. Let G be a linear algebraic group over K that is reductive but not linearly reductive. We show that there exists a faithful rational representation V of G (which we will give explicitly) such that cmdef K[\sum_i=1^k V]^G >= k-2 for all k. We give refinements in the case G = SL2.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Martin Kohls

Research overview

Is this your work?

14 publications

On Cohen-Macaulayness and depth of ideals in invariant rings

On separating fixed points from zero by invariants

Zero-separating invariants for linear algebraic groups

Zero-separating invariants for finite groups

On the Top Degree of Coinvariants

The separating variety for the basic representations of the additive group

Gröbner bases for the Hilbert ideal and coinvariants of the Dihedral group $D_{2p}$ }

Degree bounds for separating invariants

Invariants of the dihedral group $D_{2p}$ in characteristic two

Separating invariants for the basic G_a-actions

Separating invariants for the klein four group and cyclic groups

A finite separating set for Daigle and Freudenburg's counterexample to Hilbert's Fourteenth Problem

The Cohen-Macaulay property of separating invariants of finite groups

On the depth of invariant rings of infinite groups

See the researcher in context

Building this map preview

Martin Kohls

Research overview

Is this your work?

14 publications

On Cohen-Macaulayness and depth of ideals in invariant rings

On separating fixed points from zero by invariants

Zero-separating invariants for linear algebraic groups

Zero-separating invariants for finite groups

On the Top Degree of Coinvariants

The separating variety for the basic representations of the additive group

Gröbner bases for the Hilbert ideal and coinvariants of the Dihedral group D2pD_{2p}D2p​}

Degree bounds for separating invariants

Invariants of the dihedral group D2pD_{2p}D2p​ in characteristic two

Separating invariants for the basic G_a-actions

Separating invariants for the klein four group and cyclic groups

A finite separating set for Daigle and Freudenburg's counterexample to Hilbert's Fourteenth Problem

The Cohen-Macaulay property of separating invariants of finite groups

On the depth of invariant rings of infinite groups

See the researcher in context

Building this map preview

Gröbner bases for the Hilbert ideal and coinvariants of the Dihedral group $D_{2p}$ }

Invariants of the dihedral group $D_{2p}$ in characteristic two