The structured Gerstenhaber problem. III.

DOI10.1016/J.LAA.2020.04.021MaRDI QIDQ2187388zbMATH OpenOpenAlexFDO

Authors Clément de Seguins Pazzis

Publication date 2 June 2020

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

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

zbMATH Keywords

bilinear formsdimensionGerstenhaber theoremnilpotent matricessymmetric matrices

Mathematics Subject Classification ID

Vector spaces, linear dependence, rank, lineability (15A03) Algebraic systems of matrices (15A30) Quadratic and bilinear forms, inner products (15A63)

Abstract: Let $b$ be a symmetric bilinear form on a finite-dimensional vector space over a field with characteristic $2$. Here, we determine the greatest possible dimension of a linear subspace of nilpotent $b$-symmetric or $b$-alternating endomorphisms of $V$, expressing it as a function of the dimension, the rank, the Witt index of $b$, and an additional invariant in a very special case.

Review text

The author starts with an overview of the background motivating his research. Let \(\mathbb{F}\) be a field and let \(V\) be a finite-dimensional vector space over \(\mathbb{F}\), equipped with a bilinear form \(b\) which is either symmetric, i.e., \(\forall(x, y) \in V^2, b(x, y) = b(y, x)\), or alternating, i.e., \(\forall x \in V\), \(b(x,x) = 0\). An endomorphism \(u\) of \(V\) is called \(b\)-symmetric (respectively, \(b\)-alternating) whenever the bilinear form \((x, y) \in V^2\mapsto b(x, u(y))\) is symmetric (respectively, alternating). The set of all \(b\)-symmetric endomorphisms is denoted by \(\mathcal{S}_b\), and the set of all \(b\)-alternating ones is denoted by \(\mathcal{A}_b\). Moreover, \(\mathcal{A}_b \subset \mathcal{S}_b\) if \(\mathbb{F}\) has characteristic 2. The main result that the author obtains is the following theorem. Let \(\mathbb{F}\) be a field of characteristic \(2\). Let \(V\) be a finite-dimensional vector space over \(\mathbb{F}\) and \(b\) be a non-degenerate symmetric bilinear form on \(V,\) with corresponding quadratic form \(\mathrm{Q}\). Denote by \(\nu\) the Witt index of \(b\), and set \(n := \dim V\). (a) The greatest dimension of a nilpotent subspace of \(\mathcal{S}_b\) is \(\nu(n-\nu)\). (b) If \(n\neq 2\nu+1\), then the greatest dimension of a nilpotent subspace of \(\mathcal{A}_b\) is \(\nu(n-\nu-1).\) (c) If \(n = 2\nu + 1\), then the greatest dimension of a nilpotent subspace of \(\mathcal{A}_b\) is \(\nu(n-\nu)-\dim\mathrm{SKer} \, \mathrm{Q}\). Here the notation SKer stands for super-kernel. For Part I and II see [the author, ibid. 567, 263--298 (2019; Zbl 1415.15018); ibid. 569, 113--145 (2019; Zbl 1415.15024)].

Recommendations

• The structured Gerstenhaber problem. I.
• The structured Gerstenhaber problem. II.
• Space of invariant bilinear forms
• scientific article; zbMATH DE number 4125577
• scientific article; zbMATH DE number 67952
• When does a linear map belong to at least one orthogonal or symplectic group?
• Reductivity of the Lie algebra of a bilinear form
• scientific article; zbMATH DE number 1202446
• Galois extensions and subspaces of alternating bilinear forms with special rank properties
• scientific article; zbMATH DE number 3627266

Cites work

• scientific article; zbMATH DE number 3952966 (Why is no real title available?)
• scientific article; zbMATH DE number 3417551 (Why is no real title available?)
• Invitation to quadratic forms
• Linear spaces of nilpotent matrices
• Linear spaces of symmetric nilpotent matrices
• Nilpotent subspaces of maximal dimension in semi-simple Lie algebras
• On Gerstenhaber's theorem for spaces of nilpotent matrices over a skew field
• On linear subspaces of nilpotent elements in a Lie algebra
• On Nilalgebras and Linear Varieties of Nilpotent Matrices, I
• On the matrices of given rank in a large subspace
• Spaces of matrices without non-zero eigenvalues in their field of definition, and a question of Szechtman
• The structured Gerstenhaber problem. I.
• The structured Gerstenhaber problem. II.

Cited in

(11)

• An identity for symmetric bilinear forms
• The structured Gerstenhaber problem. I.
• The structured Gerstenhaber problem. II.
• Balanced spaces of forms and skew cyclic transformations
• On the vanishing of subspaces of alternating bilinear forms
• scientific article; zbMATH DE number 4125577 (Why is no real title available?)
• scientific article; zbMATH DE number 1202446 (Why is no real title available?)
• A counterexample to a conjecture on flat bilinear forms
• The quadratic sum problem for symplectic pairs
• The solution of the Loewy–Radwan conjecture
• On affine spaces of alternating matrices with constant rank

This page was built for publication: The structured Gerstenhaber problem. III.

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