Bases for fixed points of unipotent elements acting on the tensor square and the spaces of alternating and symmetric 2-tensors
type: Item
instance of: scholarly article
title: Bases for fixed points of unipotent elements acting on the tensor square and the spaces of alternating and symmetric 2-tensors
zbMATH Open document ID: 1003.20039
author: Michael J. J. Barry
published in: Journal of Algebra
publication date: 2002-09-08T00:00:00Z
review text: Let \(V\) be a finite-dimensional vector space over a field \(K\) and let \(g\) be a unipotent automorphism of \(V\). In the paper under review, the author investigates the action of \(g\) on \(V\otimes V\) and certain related modules. Let \(G\) be the cyclic group generated by \(g\) and let \(V=V_1\oplus\cdots\oplus V_r\) be a decomposition of \(V\) into indecomposable \(G\)-submodules. If \(\dim V_i=m_i\), then the elementary divisors of \(g\) acting on \(V\) are \((x-1)^{m_1},\dots,(x-1)^{m_r}\). Clearly, \(V\otimes V\) is the direct sum of the \(G\)-submodules \(V_i\otimes V_j\), and to describe the elementary divisors of \(g\) acting on \(V\otimes V\), it suffices to describe the elementary divisors of \(g\) acting on \(V_i\otimes V_j\). In general, the elementary divisors for the action of \(g\) on \(V_i\otimes V_j\) depend on the characteristic of \(K\) and no concise description of them is available or can be expected. The author's main result is that there is a uniform description of the subspace of fixed points of \(g\) in \(V_i\otimes V_j\), and he gives a field-independent basis for the subspace. If we assume that \(\dim V_j\leq\dim V_i\), the dimension of the subspace of fixed points is \(m_j=\dim V_j\). This tells us that \(V_i\otimes V_j\) is the direct sum of \(m_j\) indecomposable \(G\)-submodules, but their dimensions, and hence the elementary divisors for the action of \(g\), depend on the characteristic of \(K\). The author gives similar formulae for the action of \(g\) on the subspaces of alternating and symmetric tensors in \(V\otimes V\). He also notes that no analogous results can be obtained for the action of \(g\) on \(V\otimes V\otimes V\), since the dimension of the subspace of fixed points is now field-dependent.
reviewed by: Rod Gow
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 15A69
Mathematics Subject Classification ID: 15A21
zbMATH DE Number: 1797479
zbMATH Keywords: unipotent elements
zbMATH Keywords: tensor squares
zbMATH Keywords: Jordan canonical form
zbMATH Keywords: fixed point subspaces
zbMATH Keywords: indecomposable modules
zbMATH Keywords: elementary divisors
MaRDI profile type: Publication
full work available at URL: jabr.2001.9149
OpenAlex ID: W2023017736
cites work: Q3934684
cites work: Q3222326
cites work: Groups with a T. I. cyclic Sylow subgroup
cites work: On the jordan form of the tensor product over fields of prime characteristic
cites work: The Modular Representation Ring of a Cyclic p -Group
DOI: 10.1006/JABR.2001.9149
description: scientific article; zbMATH DE number 1797479