Singular lines of trilinear forms

DOI10.1016/J.LAA.2010.03.040MaRDI QIDQ977488zbMATH OpenOpenAlexFDO

Authors Jan Draisma, Ron Shaw

Publication date 22 June 2010

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0909.5676

zbMATH Keywords

geometry over finite fieldstrilinear forms

Mathematics Subject Classification ID

Quadratic and bilinear forms, inner products (15A63)

Abstract: We prove that an alternating e-form on a vector space over a quasi-algebraically closed field always has a singular (e-1)-dimensional subspace, provided that the dimension of the space is strictly greater than e. Here an (e-1)-dimensional subspace is called singular if pairing it with the e-form yields zero. By the theorem of Chevalley and Warning our result applies in particular to finite base fields. Our proof is most interesting in the case where e=3 and the space has odd dimension n; then it involves a beautiful equivariant map from alternating trilinear forms to polynomials of degree (n-3)/2. We also give a sharp upper bound on the dimension of subspaces all of whose 2-dimensional subspaces are singular for a non-degenerate trilinear form. In certain binomial dimensions the trilinear forms attaining this upper bound turn out to form a single orbit under the general linear group, and we classify their singular lines.

Review text

The alternating bilinear forms on an \(n\)-dimensional vector space \(V\) are well studied in terms of their ranks and orbits. But trilinear and higher alternating multilinear forms on \(V\) are not well studied. The paper under review settles a question about the geometry of trilinear forms in arbitrary dimension; this was conjectured in a previous work of the second author. Following is the main result of this paper: Let \(K\) be a quasi-algebraically closed field, that is, every non-constant homogeneous multivariate polynomial of degree less than the number of its variables has a non-zero \(k\)-valued root. Let \(e \geq 3\) be an integer, and \(V\) be a vector space over \(K\) of dimension at least \(e + 1\). Then every alternating \(e\)-form on \(V\) has a singular \((e - 1)\)-dimensional space. As a consequence the result is true in particular for finite fields, as it is known due to results by Chevalley and Warning that these fields are quasi- algebraically closed. By studying with an example of a real Euclidean space of dimension 7, the authors have observed that the condition ``quasi-algebraically closed field is necessary. They have also studied some auxiliary results for two-singular subspaces for a trilinear form on a vector space \(V\).

Recommendations

• Some noteworthy alternating trilinear forms
• The classification of (3, 3, 3) trilinear forms.
• Trilinear alternating forms on a vector space of dimension 7
• An easily computable invariant of trilinear alternating forms
• Classification of 9-dimensional trilinear alternating forms over \(\mathrm{GF}(2)\)

Cites work

• Bemerkung zur vorstehenden Arbeit von Herrn Chevalley
• Classification of trivectors of an eight-dimensional real vector space
• Closures of Equivalence Classes of Trivectors of an Eight-Dimensional Complex Vector Space
• Démonstration d'une hypothèse de M. Artin
• scientific article; zbMATH DE number 3687542 (Why is no real title available?)
• scientific article; zbMATH DE number 3018336 (Why is no real title available?)
• Klassifizierung der alternierenden Gröszen dritten Grades in 7 Dimensionen
• Metrics with exceptional holonomy
• Non-defectivity of Grassmannians of planes
• Orthogonal decompositions and canonical embeddings of multilinear alternating forms
• The octonions
• Trilinear alternating forms on a vector space of dimension 7
• Vector cross products

Cited in

(15)

• Non-degenerate bilinear alternating maps \(f:V\times V \to V\), \(\dim(V)=3\), over an algebraically closed field
• A geometric approach to alternating \(k\)-linear forms
• Geometries arising from trilinear forms on low-dimensional vector spaces
• Steiner forms
• On the vanishing of subspaces of alternating bilinear forms
• scientific article; zbMATH DE number 3964863 (Why is no real title available?)
• scientific article; zbMATH DE number 4093665 (Why is no real title available?)
• scientific article; zbMATH DE number 66116 (Why is no real title available?)
• scientific article; zbMATH DE number 2070405 (Why is no real title available?)
• Some noteworthy alternating trilinear forms
• THE CLASSIFICATION OF (3, 3, 4) TRILINEAR FOR
• Poincaré duality and resonance varieties
• Classification of 8-dimensional trilinear alternating forms over \(\mathrm{GF}(2)\)
• Trivectors and cubics: PG(5,2) aspects
• Rare structures in tensor graphs. Bermuda triangles for cryptosystems based on the tensor isomorphism problem

This page was built for publication: Singular lines of trilinear forms

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