English

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

Commutative Algebra 2013-08-14 v3

Abstract

Let \V\V be a vector space over a field \F\F. Assume that the characteristic of \F\F is \emph{large}, i.e. char(\F)>dim\Vchar(\F)>\dim \V. Let T:\V\VT: \V \to \V be an invertible linear map. We answer the following question in this paper: When does \V\V admit a TT-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 gg in a group GG is called real if it is conjugate in GG to its own inverse. So it is important to characterize real elements in \G(\V,\F)\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)\G(V, \F). Suppose \V\V is equipped with a non-degenerate symmetric (resp. skew-symmetric) bilinear form BB. Let SS be an element in the isometry group I(\V,B)I(\V, B). A non-degenerate SS-invariant subspace \W\W of (\V,B)(\V, B) is called orthogonally indecomposable with respect to SS if it is not an orthogonal sum of proper SS-invariant subspaces. We classify the orthogonally indecomposable subspaces. This problem is nontrivial for the unipotent elements in I(\V,B)I(\V, B). The level of a unipotent TT is the least integer kk such that (TI)k=0(T-I)^k=0. We also classify the levels of unipotents in I(\V,B)I(\V, B).

Keywords

Cite

@article{arxiv.0903.0826,
  title  = {On the existence of an invariant non-degenerate bilinear form under a linear map},
  author = {Krishnendu Gongopadhyay and Ravi S. Kulkarni},
  journal= {arXiv preprint arXiv:0903.0826},
  year   = {2013}
}

Comments

completely revised version