The Cohen-Macaulay property of separating invariants of finite groups

DOI10.1007/S00031-009-9072-YzbMATH Open1184.13019arXiv0904.1069OpenAlexW2012322162MaRDI QIDQ848901FDOQ848901

Martin Kohls, Jon Elmer, Emilie Dufresne

Publication date: 23 February 2010

Published in: Transformation Groups (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/0904.1069

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Magma algebra system. I: The user language
• Computational invariant theory
• Lectures on introduction to moduli problems and orbit spaces
• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Separating invariants
• Lectures on Frobenius splittings and \(B\)-modules
• Certain representation algebras
• Vector invariants in arbitrary characteristic
• Polarization of Separating Invariants
• Typical separating invariants
• On the Cohen-Macaulay property of modular invariant rings
• Separating invariants and finite reflection groups
• Computing invariants of reductive groups in positive characteristic
• Computing invariants of algebraic groups in arbitrary characteristic
• Finite linear groups whose ring of invariants is a complete intersection
• Depth of modular invariant rings
• On the Depth of Modular Invariant Rings for the Groups C p × C p
• Associated primes for cohomology modules
• A characterization of linearly reductive groups by their invariants

Cited In (14)

• Modular invariants of finite gluing groups
• The Noether number of the non-abelian group of order \(3p\)
• Separating invariants of finite groups
• When are permutation invariants Cohen-Macaulay over all fields?
• A Finite Separating Set for Daigle and Freudenburg's Counterexample to Hilbert's Fourteenth Problem
• Constructing modular separating invariants
• A rotation group whose subspace arrangement is not from a real reflection group
• On the depth of separating algebras for finite groups
• Separating invariants for \(2 \times 2\) matrices
• Separating monomials for diagonalizable actions
• Separating invariants and local cohomology
• Explicit separating invariants for cyclic \(P\)-groups.
• Separating invariants for the Klein four group and cyclic groups
• Degree bounds for fields of rational invariants of \(\mathbb{Z}/p\mathbb{Z}\) and other finite groups

Uses Software

• Magma

This page was built for publication: The Cohen-Macaulay property of separating invariants of finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848901)