The Cohen-Macaulay property of separating invariants of finite groups

Emilie Dufresne*, Jonathan Elmer, Martin Kohls

*Corresponding author for this work

Research output: Contribution to journalArticle

10 Citations (Scopus)

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 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 bireections. Additionally, we give an example which shows that Cohen-Macaulay separating algebras can occur when the ring of invariants is not Cohen-Macaulay.

Original languageEnglish
Pages (from-to)771-785
Number of pages15
JournalTransformation Groups
Volume14
Issue number4
Early online date14 Nov 2009
DOIs
Publication statusPublished - Dec 2009

Keywords

  • COMPUTING INVARIANTS
  • REDUCTIVE GROUPS
  • RINGS

Cite this

The Cohen-Macaulay property of separating invariants of finite groups. / Dufresne, Emilie; Elmer, Jonathan; Kohls, Martin.

In: Transformation Groups, Vol. 14, No. 4, 12.2009, p. 771-785.

Research output: Contribution to journalArticle

Dufresne, Emilie ; Elmer, Jonathan ; Kohls, Martin. / The Cohen-Macaulay property of separating invariants of finite groups. In: Transformation Groups. 2009 ; Vol. 14, No. 4. pp. 771-785.
@article{51b802811d564ba69f36e04bde46fcae,
title = "The Cohen-Macaulay property of separating invariants of finite groups",
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 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 bireections. Additionally, we give an example which shows that Cohen-Macaulay separating algebras can occur when the ring of invariants is not Cohen-Macaulay.",
keywords = "COMPUTING INVARIANTS, REDUCTIVE GROUPS, RINGS",
author = "Emilie Dufresne and Jonathan Elmer and Martin Kohls",
year = "2009",
month = "12",
doi = "10.1007/s00031-009-9072-y",
language = "English",
volume = "14",
pages = "771--785",
journal = "Transformation Groups",
issn = "1083-4362",
publisher = "BIRKHAUSER BOSTON INC",
number = "4",

}

TY - JOUR

T1 - The Cohen-Macaulay property of separating invariants of finite groups

AU - Dufresne, Emilie

AU - Elmer, Jonathan

AU - Kohls, Martin

PY - 2009/12

Y1 - 2009/12

N2 - 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 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 bireections. Additionally, we give an example which shows that Cohen-Macaulay separating algebras can occur when the ring of invariants is not Cohen-Macaulay.

AB - 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 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 bireections. Additionally, we give an example which shows that Cohen-Macaulay separating algebras can occur when the ring of invariants is not Cohen-Macaulay.

KW - COMPUTING INVARIANTS

KW - REDUCTIVE GROUPS

KW - RINGS

U2 - 10.1007/s00031-009-9072-y

DO - 10.1007/s00031-009-9072-y

M3 - Article

VL - 14

SP - 771

EP - 785

JO - Transformation Groups

JF - Transformation Groups

SN - 1083-4362

IS - 4

ER -