On the existence of an invariant non-degenerate bilinear form under a linear map

DOI10.1016/J.LAA.2010.08.009MaRDI QIDQ609484zbMATH OpenOpenAlexFDO

Authors Krishnendu Gongopadhyay, Ravindra S. Kulkarni

Publication date 1 December 2010

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

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

zbMATH Keywords

bilinear forminvariant subspacelinear maporthogonally indecomposable subspacesreal elementsunipotents

Mathematics Subject Classification ID

Linear transformations, semilinear transformations (15A04) Quadratic and bilinear forms, inner products (15A63) Conjugacy classes for groups (20E45) Representation theory for linear algebraic groups (20G05)

Abstract: Let $V$ be a vector space over a field $F$. Assume that the characteristic of $F$ is emph{large}, i.e. $char(F)>dimV$. Let $T:VoV$ be an invertible linear map. We answer the following question in this paper: When does $V$ admit a $T$-invariant non-degenerate symmetric (resp. skew-symmetric) bilinear form? We also answer the infinitesimal version of this question. Following Feit-Zuckerman cite{fz}, an element $g$ in a group $G$ is called real if it is conjugate in $G$ to its own inverse. So it is important to characterize real elements in $G(V,F)$. As a consequence of the answers to the above question, we offer a characterization of the real elements in $G(V,F)$. Suppose $V$ is equipped with a non-degenerate symmetric (resp. skew-symmetric) bilinear form $B$. Let $S$ be an element in the isometry group $I(V,B)$. A non-degenerate $S$-invariant subspace $W$ of $(V,B)$ is called orthogonally indecomposable with respect to $S$ if it is not an orthogonal sum of proper $S$-invariant subspaces. We classify the orthogonally indecomposable subspaces. This problem is nontrivial for the unipotent elements in $I(V,B)$. The level of a unipotent $T$ is the least integer $k$ such that $(T-I{)}^k=0$. We also classify the levels of unipotents in $I(V,B)$.

Review text

Let \(\mathbb V\) be a vector space over a field \(\mathbb F\). Assume that the characteristic of \(\mathbb F\) is large, i.e. \(\text{char}(\mathbb F) > \dim \mathbb V\). Let \(T : \mathbb V \to \mathbb V\) be an invertible linear map. The authors answer the following question in this paper. When does \(\mathbb V\) admit a \(T\)-invariant non-degenerate symmetric (resp. skew-symmetric) bilinear form? They also answer the infinitesimal version of this question. Following \textit{W. Feit} and \textit{G. J. Zuckerman}, [Contemp. Math. 13, 239--253 (1982; Zbl 0511.20035)], an element \(g\) in a group \(G\) is called real if it is conjugate in \(G\) to its own inverse. So it is important to characterize real elements in \(\mathbb GL(V, \mathbb F)\). As a consequence of the answers to the above question, the authors offer a characterization of the real elements in \(\mathbb GL(\mathbb V, \mathbb F)\). Suppose \(\mathbb V\) is equipped with a non-degenerate symmetric (resp. skew-symmetric) bilinear form \(B\). Let \(S\) be an element in the isometry group \(I(\mathbb V, B)\). A non-degenerate \(S\)-invariant subspace \(\mathbb W\) of \((\mathbb V, B)\) is called orthogonally indecomposable with respect to \(S\) if it is not an orthogonal sum of proper \(S\)-invariant subspaces. The authors classify the orthogonally indecomposable subspaces. This problem is non-trivial for the unipotent elements in \(I(\mathbb V, B)\). The level of a unipotent \(T\) is the least integer \(k\) such that \((T-I)^k=0\). They also classify the levels of unipotents in \(I(\mathbb V, B)\).

Recommendations

• Existence of an invariant form under a linear map
• The non-degeneracy of the bilinear form of \(m\)-quasi-invariants.
• Non-degenerate invariant bilinear forms on Leibniz algebras
• scientific article; zbMATH DE number 1332348
• Non-degenerate invariant bilinear forms on nonassociative triple systems
• Symmetric, invariant, non-degenerate bilinear form on a Lie algebra
• Invariants of vector-valued bilinear and sesquilinear forms
• scientific article; zbMATH DE number 1405342
• scientific article; zbMATH DE number 1765004

Cites work

• Dynamics of linear and affine maps
• Field Theory
• Howe correspondences on a p-adic field
• scientific article; zbMATH DE number 3269118 (Why is no real title available?)
• Nilpotency in classical groups over a field of characteristic 2
• On isometries of inner product spaces
• On the conjugacy classes in the orthogonal and symplectic groups over algebraically closed fields.
• On the conjugacy classes in the unitary, symplectic and orthogonal groups
• Real conjugacy classes in algebraic groups and finite groups of Lie type
• Reality properties of conjugacy classes in G₂.
• Reality properties of conjugacy classes in algebraic groups.
• Reality properties of conjugacy classes in spin groups and symplectic groups
• Seminar on algebraic groups and related finite groups. Held at the Institute for Advanced Study, Princeton/N.J., 1968/69
• Sur une classe de sous-groupes compacts maximaux des groupes de Chevalley sur un corps p-adique. (A class of maximal compact subgroups of Chevalley groups on p-adic fields)

Cited in

(12)

• Quasisymmetric and quasiantisymmetric bilinear forms over a field
• Existence of an invariant form under a linear map
• Space of invariant bilinear forms
• Bilinear forms on matrix algebras vanishing on zero products of xy and yx
• The Eta Invariant and Non-Singular Bilinear Products on Rⁿ
• scientific article; zbMATH DE number 617913 (Why is no real title available?)
• scientific article; zbMATH DE number 7528067 (Why is no real title available?)
• Conjugate real classes in general linear groups
• Invariant bilinear forms under the operator group of order p³ with odd prime p
• When does a linear map belong to at least one orthogonal or symplectic group?
• Invariant bilinear forms under the rigid motions of a regular polygon
• Computations for invariant bilinear forms under an invertible linear transformation: an expository article

This page was built for publication: On the existence of an invariant non-degenerate bilinear form under a linear map

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