The shape of some linear transformations (Q603138)

From MaRDI portal
Revision as of 11:03, 3 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The shape of some linear transformations
scientific article

    Statements

    The shape of some linear transformations (English)
    0 references
    0 references
    0 references
    5 November 2010
    0 references
    Let \(V\) be a finite dimensional vector space over a field \(\mathbb{F}\). Consider \(V=\sum_{i=0}^dV_i\), a direct sum of nonzero subspaces \(\{V_i\}_{i=0}^d\). The \text{shape} of the decomposition is \(\{\rho_i\}_{i=0}^d\) where \(\rho_i=\dim V_i\), and there is a corresponding commutative algebra \(D\) generated by the projections from \(V\) onto \(V_i\). Suppose there exists another decomposition \(\{V_i^*\}_{i=0}^\delta\) with shape \(\{\rho_i^*\}_{i=0}^\delta\) and commutative algebra \(D^*\). If there exist linear transformations \(A_+\), \(A_-\), \(A_+^*\) and \(A_-^*\) such that {\parindent7.5mm \begin{itemize}\item[(i)] \(D\) has a generator \(A_+\) such that \(A_+V_i^*\subseteq V_0^*+\cdots+ V_{i+1}^*\) (\(0\leq i\leq \delta\)); \item[(ii)] \(D\) has a generator \(A_-\) such that \(A_-V_i^*\subseteq V_{i-1}^*+\cdots+ V_\delta^*\) (\(0\leq i\leq \delta\)); \item[(iii)] \(D^*\) has a generator \(A_+^*\) such that \(A_+^*V_i\subseteq V_0+\cdots+ V_{i+1}\) (\(0\leq i\leq d\)); \item[(iv)] \(D^*\) has a generator \(A_-^*\) such that \(A_-^*V_i\subseteq V_{i-1}+\cdots+ V_\delta\) (\(0\leq i\leq d\)) \end{itemize}} then the authors prove that \(\delta=d\), \(\rho_i=\rho_i^*\), \(\rho_{i-1}\leq \rho_i\) for \(1\leq i\leq \frac{d}2\) and \(\rho_i=\rho_{d-i}\) for \(0\leq i\leq d\). The problem was first discussed by \textit{T. Ito} and \textit{P. Terwilliger} [ibid. 426, No.~2--3, 516--532 (2007; Zbl 1146.17009)]. The authors also prove that this relation among \(A_+\), \(A_-\), \(A_+^*\) and \(A_-^*\) is preserved under an anti-isomorphism from \(\text{End}(V)\) to \(\text{End}(V')\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    shape of linear transformations
    0 references
    linear preserver
    0 references
    Hessenberg pair
    0 references
    split decomposition
    0 references
    bilinear form
    0 references
    0 references