Round forms of higher degree
type: Item
instance of: scholarly article
title: Round forms of higher degree
zbMATH Open document ID: 1282.11023
author: Susanne Pumplün
published in: Results in Mathematics
publication date: 2013-02-08T00:00:00Z
review text: In this paper, the author considers finite-dimensional forms of degree \(d\geq 2\) over fields \(k\) of characteristic \(0\) or \(>d\), in other words homogeneous polynomials of degree \(d\) in \(n<\infty\) variables that are assumed to be nondegenerate, i.e. the symmetric \(d\)-linear map that is naturally associated to such a form is nondegenerate. \(n\) is called the dimension of the form. There are the usual notions of isomorphism, orthogonal sum, and tensor product of forms. A form of degree \(d\) in the variables \(x_i\), \(1\leq i\leq n\), is called diagonal if it is of the shape \(a_1x_1^d+\ldots +a_nx_n^d\), \(a_i\in k\), and one writes \(\langle a_1,\ldots,a_n\rangle\). For a form \(\varphi\) defined on the \(k\)-vector space \(V\) one defines its value set to be \(D_k(\varphi)=\{\varphi(x)\,|\,x\in V\}\cap k^*\) and one calls \(\varphi\) \(s\)-round for a positive integer \(s\) if \(\varphi\cong a^s\varphi\) for all \(a\in D_k(\varphi)\). Round forms are just \(1\)-round forms, i.e. \(D_k(\varphi)\) is contained in the group of similarity factors \(G_k(\varphi)=\{ a\in k^*\,|\,\varphi\cong a\varphi\}\). Round quadratic forms (the case \(d=2\)) play an important role in the theory of quadratic forms and have been studied extensively. Therefore, the present paper only deals with the case \(d>2\). Various basic properties of round forms are investigated and presented. It is shown that \(|G_k(\varphi)/k^{*d}|\leq n\) for \(\varphi\cong\langle a_1,\ldots,a_n\rangle\) (Theorem 1). For those \(s\)-round forms that satisfy that \(D_k(\varphi)/k^{*d}\) is a nontrivial subgroup of \(k^*/k^{*d}\), the author derives an orthogonal decomposition into certain types of indecomposable forms (Theorems 3 and 4). The paper concludes with some examples and some methods how to construct round forms, for example by using norms of field extensions or norms of structurable algebras.
Mathematics Subject Classification ID: 11E76
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 12E05
Mathematics Subject Classification ID: 17A30
zbMATH DE Number: 6135273
zbMATH Keywords: forms of higher degree
zbMATH Keywords: multilinear forms
zbMATH Keywords: homogeneous forms
zbMATH Keywords: diagonal forms
zbMATH Keywords: indecomposable forms
zbMATH Keywords: round forms
zbMATH Keywords: structurable algebra
reviewed by: Detlev Hoffmann
MaRDI profile type: Publication
full work available at URL: s00025-011-0224-8
OpenAlex ID: W2079734053
cites work: A Cayley-Dickson Process for a Class of Structurable Algebras
cites work: Round quadratic forms
cites work: Round quadratic forms under algebraic extensions
cites work: Reduzierte quadratische Formen und Semiordnungen reeller Körper
cites work: Pfister forms and \(K\)-theory of fields
cites work: Q3985444
cites work: A Grothendieck ring of higher degree forms
cites work: Witt rings of higher degree forms
cites work: Q4665009
cites work: Forms of low degree in finite fields
cites work: On the similarity group of forms of higher degree
cites work: Indecomposable forms of higher degree
cites work: Some Classes of Multiplicative Forms of Higher Degree
cites work: Forms permitting composition
cites work: Q3277502
cites work: Q3708857
cites work: Hintereinanderausführung von Formen.
DOI: 10.1007/S00025-011-0224-8
description: scientific article; zbMATH DE number 6135273