On the representations of the full matrix semigroup on homogeneous polynomials (Q1073189): Difference between revisions

This paper deals with a study of representations of the full matrix semigroups M(n,p) of \(n\times n\) matrices with entries in the prime field \(Z_ p\) over a field of characteristic \(p>0\). Most of the results presented here are concerned with the representations of M(n,p) given by the spaces of homogeneous polynomials. To fix the notations, let B be a finite dimensional vector space over \(Z_ p\), k be a field of characteristic p. Define \(W^{(d)}\), the vector space of all homogeneous polynomials of degree d in \(x_ 1,x_ 2,...,x_ n\) (the basis of B) over k, and lift the representation of M(n,p) to \(W^{(d)}\), \((d=1,2,...)\). The main problem of the discussion of the paper is the question: Under what conditions on d and n the lattice of all M(n,p)- submodules of \(W^{(d)}\) is distributive. Associate with an M(n,p)- module V the symmetric submodule \(V^ e\) of V. To avoid certain difficulties over the prime fields, let \(V_{\max}\) denote the part of V corresponding to a weight of maximal support (multilinear elements and epimorphisms of lattices \(\Lambda (V)\to \Lambda^{sym}(V_{\max})\), where \(\Lambda\) (V) denotes the lattice of all M(n,n)-submodules of V and \(\Lambda^{sym}\) denotes the lattice of all symmetric submodules of \(V_{\max})\). Let \(\lambda =(\lambda_ 0,\lambda_ 1,...,\lambda_{e- 1})\) by an e-tuple of natural numbers, \(J^{\lambda}\) be the corresponding submodule and its unique maximal submodule \(r(J^{\lambda})\). Let \(W^{\lambda}\) denote the quotient \(J^{\lambda}/r(J^{\lambda})\). Denote by \(\Phi^{\lambda}\) the Frobenius permutation module associated with \(\lambda\). The author proves a large number of results in this context. We mention the following important results. (I) If \(\Lambda (W^{(d)})\) is distributive then \(d<p(p+1)\), except perhaps, for \(d=(p-1)+p(p+1)\). (II) If \(\lambda =(\ell,m)\) is a regular partition with \(m<p\) then \(\Lambda (W^{\lambda})\cong \Lambda^{sym}(\Phi)\). The structure of \(W^{\lambda}\) in the singular case is described in another paper by the author [cf. the following review].