Invariants of hyperplane groups and vanishing ideals of finite sets of points
type: Item
instance of: scholarly article
title: Invariants of hyperplane groups and vanishing ideals of finite sets of points
zbMATH Open document ID: 1243.13004
DOI: 10.1017/S0013091508001107
author: H. E. A. Campbell
author: Jianjun Chuai
publication date: 2012-06-18T00:00:00Z
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 14R99
zbMATH DE Number: 6047106
zbMATH Keywords: hyperplane group
zbMATH Keywords: invariant ring
zbMATH Keywords: vanishing ideal
zbMATH Keywords: invariant differential 1-form
MaRDI profile type: Publication
cites work: Reflection groups and differential forms
cites work: Invariants of Finite Groups Generated by Reflections
cites work: Jacobians of reflection groups
cites work: Finite Unitary Reflection Groups
cites work: Relative invariants of finite groups
cites work: Calculating invariant rings of finite groups over arbitrary fields
cites work: Q4838154
full work available at URL: s0013091508001107
OpenAlex ID: W1996717256
published in: Proceedings of the Edinburgh Mathematical Society. Series II
review text: A \textit{hyperplane group} \(G\) is a finite linear group acting on an \(n\)-dimensional vector space \(V\) over a field \(\mathbb{F}\) such that every group element is fixing the same hyperplane pointwise. This paper describes the ring of polynomial invariants \(\mathbb{F}[V]^G\) in the modular case, i.e. when the characteristic of \(\mathbb{F}\) divides the order of \(G\). Earlier it was proved by \textit{P. S. Landweber} and \textit{R. E. Stong} that in this case \(\mathbb{F}[V]^G\) must be a polynomial ring [Lect. Notes Math. 1240, 259--274 (1987; Zbl 0623.55007)] and subsequently \textit{J. Hartmann} and \textit{A. V. Shepler} gave an algorithm for constructing its generators [Trans. Am. Math. Soc. 360, No. 1, 123--133 (2008; Zbl 1129.13003)]. Based on a refined version of this algorithm, the explicit form of these generators is given in Theorem 2.3 in this paper.NEWLINENEWLINEAs a first application it is shown that by identifying \(G\) with a finite additive subgroup \(W \subset \mathbb{F}^n\), the vanishing ideal of \(W\) will be generated by polynomials which are obtained from the generators of \(\mathbb{F}[V]^G\) by a simple substitution. As a second application an explicit list of basis elements of \((\Omega^1)^G\), the \(\mathbb{F}[V]^G\)-module of the \(G\)-invariant differential \(1\)-forms is given in Theorem 2.6., which leads to a simpler proof of the fact that this module is free, which was originally proved by \textit{J. Hartmann} and \textit{A. V. Shepler}, Theorem 7 in [Math. Res. Lett. 14, No. 5--6, 955--971 (2007; Zbl 1151.58300)].
description: scientific article; zbMATH DE number 6047106