Invariants of hyperplane groups and vanishing ideals of finite sets of points

DOI10.1017/S0013091508001107MaRDI QIDQ2891989zbMATH OpenOpenAlexFDO

Authors H. E. A. Campbell, Jianjun Chuai

Publication date 18 June 2012

Published in Proceedings of the Edinburgh Mathematical Society. Series II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0013091508001107

zbMATH Keywords

hyperplane groupinvariant differential 1-forminvariant ringvanishing ideal

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Affine geometry (14R99)

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)].

Recommendations

• On Hilbert ideals for a class of 𝑝-groups in characteristic 𝑝
• scientific article; zbMATH DE number 488084
• \(p\)-groups and the polynomial ring of invariants question
• Hypersurfaces in modular invariant theory
• On generators of the Hilbert ideal for cyclic groups in modular invariant theory

Cites work

• Calculating invariant rings of finite groups over arbitrary fields
• Finite Unitary Reflection Groups
• scientific article; zbMATH DE number 770727 (Why is no real title available?)
• Invariants of Finite Groups Generated by Reflections
• Jacobians of reflection groups
• Reflection groups and differential forms
• Relative invariants of finite groups

Cited in

(5)

• Minimal relative Hilbert-Kunz multiplicity
• Modular invariants of finite gluing groups
• The vanishing ideal of a finite set of closed points in affine space
• scientific article; zbMATH DE number 218328 (Why is no real title available?)
• The ideal of relations for the ring of invariants of n points on the line

This page was built for publication: Invariants of hyperplane groups and vanishing ideals of finite sets of points

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