The shape of some linear transformations (Q603138): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Hessenberg pairs of linear transformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Thin Hessenberg pairs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sharp tridiagonal pairs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2717204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-inverting pairs of linear transformations and the \(q\)-tetrahedron algebra / rank | |||
Normal rank |
Latest revision as of 11:03, 3 July 2024
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
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
shape of linear transformations
0 references
linear preserver
0 references
Hessenberg pair
0 references
split decomposition
0 references
bilinear form
0 references