Symmetries of polynomials
type: Item
instance of: scholarly article
title: Symmetries of polynomials
zbMATH Open document ID: 0970.15023
author: Irina Berchenko
author: Peter J. Olver
published in: Journal of Symbolic Computation
publication date: 2000-09-28T00:00:00Z
review text: Let \(Q(x,y) = \sum_{i=0}^n a_ix^i y^{n-i}\) be a binary form of degree~\(n\) with real or complex coefficients \(a_i\). Classical invariant theory deals with the invariants of binary forms under the action of SL\(_2\). The article under review takes a different point of view. For \(Q(x,y)\) as above with fixed coefficients \(a_i\), the goal is to determine the symmetry group of \(Q(x,y)\), i.e., the group of all invertible \(2 \times 2\) matrices with entries \(\alpha,\beta,\gamma,\delta\) such that \(Q(\alpha x + \beta y,\gamma x + \delta y) = Q(x,y)\). The authors present a new algorithm for finding the symmetry group. An implementation of the algorithm in Maple is described. The algorithm relies on certain covariants, such as the Hessian \(H = Q_{x x} Q_{y y} - Q_{x y}^2\) and the Jacobian \(J[Q,H] = Q_x H_y - Q_y H_x\). From these (and one other) covariants, a set of equations is derived whose solutions correspond to the symmetries of \(Q(x,y)\). It is well-known that the projective symmetry group is either a two-parameter group, a one-parameter group, or a finite group from a list given by \textit{H. F. Blichfeldt} (1917). The Maple code decides which of these cases applies for a given binary form.
reviewed by: Gregor Kemper
Mathematics Subject Classification ID: 15A72
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 20B30
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1471043
zbMATH Keywords: binary forms
zbMATH Keywords: covariants
zbMATH Keywords: moving frames
zbMATH Keywords: invariant theory
zbMATH Keywords: algorithm
zbMATH Keywords: projective symmetry group
describes a project that uses: Maple
MaRDI profile type: Publication
OpenAlex ID: W4212849548
DOI: 10.1006/JSCO.1999.0307
description: scientific article; zbMATH DE number 1471043