BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Martin Kohls

Martin Kohls contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

13 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39; 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&#39;). 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.

0 citations0 reviewsNo code linkedOpen access
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}}}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access