arXiv reader

Adjacent cross-sections of the commutant of Hilbert space operators

László Kérchy

arXiv
2605.23846v1 · PDF · 22 May 2026
Categories
math.FA
Licence
CC BY 4.0 The site shows the text.

Abstract

Applying the techniques resulting the existence of almost invariant half-spaces, similarity models \wh T can be given for upper triangular operator-matrices T= \left[\begin{matrix}A&C\\ 0&B\end{matrix}\right]. The model \wh T is also an operator-matrix, containing two diagonal operators in the general case [ker25], and the unilateral shift S together with a diagonal operator in the particular case when A is similar to S [ker26]. Well-chosen compressions of operators in the commutant \{\wh T\}' form a linear manifold \wh\L satisfying the condition that every \wh X\in\wh \L is transformed into \wh Y with \rank\wh Y\le 2 by a canonical mapping. Furthermore, a cyclcity property of \{T\}' yields transitivity of \wh\L. In [ker25] and [ker26] the 3-dimensional cross-sections of \wh\L have been investigated characterizing the canonical bases occurring in the corresponding subspaces of the matrix-algebra M_3[\C]. In this paper new conditions are provided by studying matching of adjacent cross-sections.

Items 6

Question

Question 1

8PRV

Does T have a nontrivial hyperinvariant subspace, that is a subspace {\cal M}\in \hbox{\rm Lat}({\cal H}_1\oplus{\cal H}_2), different from \{0\}\oplus\{0\} and {\cal H}_1\oplus{\cal H}_2, which is invariant for every Q\in\{T\}' :\, Q{\cal M}\subset{\cal M}?

Lemma

Lemma 2

806W

We have \; C_{{\cal E},{\cal F}} \circ C_{{\cal H},{\cal E}} = C_{{\cal H},{\cal F}}.

Lemma

Lemma 3

2N6P

For every r\in\mathbb{N}, we have

P_{1,1}\circ M_{3,r}\circ C_{{\cal H},{\cal E}_{3,r}}= M_{2,r+1}\circ C_{{\cal H},{\cal F}_{2,r+1}}= P_{3,3}\circ M_{3,r+1}\circ C_{{\cal H},{\cal E}_{3,r+1}}.
Theorem

Theorem 4

4MAJ

For every r\in\mathbb{N}, we have

  • (i) \; q_{3,r}= q_{2,r} q_{2,r+1} \rho(C^{r+1}_{3,1}),

  • (ii) \; p_{1,r+1}= p_{2,r}p_{2,r+1} \rho(C^r_{1,1}).

Theorem

Theorem 5

1OF6

If \widehat{\cal L} is D-normal, then M_{3,r}(\widehat{\cal L}_r) is of type (T2), for every r\in\mathbb{N}.

Theorem

Theorem 6

CGS3

The linear manifold \widehat{\cal L} is strongly D-normal, which means that the subspace M_{3,r}(\widehat{\cal L}_r) is strongly \Delta_r-normal for every r\in\mathbb{N}, with parameters x_r, y_r, q_r\in\mathbb{C}_0. Furthermore, we have

x_{r+1}= \frac{y_r}{x_r} \quad (r\in\mathbb{N}).

Source and licence

The text on this page is from arXiv:2605.23846v1 by László Kérchy, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2605/2605.23846.jsonl.