Adjacent cross-sections of the commutant of Hilbert space operators

L\'aszl\'o K\'erchy

arxiv: 2605.23846 · v1 · pith:A7UXQ52Bnew · submitted 2026-05-22 · 🧮 math.FA

Adjacent cross-sections of the commutant of Hilbert space operators

L\'aszl\'o K\'erchy This is my paper

Pith reviewed 2026-05-25 02:36 UTC · model grok-4.3

classification 🧮 math.FA

keywords commutantsimilarity modelupper triangular operator-matrixcross-sectionlinear manifoldcyclicitytransitivityHilbert space operator

0 comments

The pith

Studying matching of adjacent cross-sections of the commutant manifold provides new conditions for upper triangular Hilbert space operators.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies techniques from almost invariant half-spaces to build similarity models for upper triangular operator-matrices. These models produce a linear manifold of commutant compressions that satisfy a rank condition under a canonical mapping. Cyclicity in the original commutant implies transitivity in this manifold. Earlier papers analyzed individual three-dimensional cross-sections and their bases in three-by-three complex matrices. This work derives additional conditions by investigating how adjacent cross-sections match each other.

Core claim

Similarity models wh T are constructed for T = [A C; 0 B] as operator-matrices with diagonal operators or the unilateral shift plus a diagonal. Compressions of operators from the commutant {wh T}' form the linear manifold wh L such that every element is mapped by a canonical mapping to an operator of rank at most 2. The cyclicity property of {T}' implies that wh L is transitive. New conditions are obtained by studying the matching of adjacent cross-sections of wh L, extending the characterization of canonical bases in the corresponding subspaces of M_3(C).

What carries the argument

The linear manifold wh L consisting of well-chosen compressions from the commutant of the similarity model, together with the canonical mapping to rank-at-most-two operators and the matching between its adjacent three-dimensional cross-sections.

If this is right

The matching of adjacent cross-sections yields new conditions on the commutant and the operators.
Transitivity of wh L follows directly from the cyclicity of {T}'.
The approach covers both the general case with two diagonal operators and the special case with the unilateral shift.
Characterization of the canonical bases occurring in three-dimensional cross-sections is refined through adjacency considerations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This matching analysis could connect to broader questions about the structure of commutants for triangular operators.
Such conditions might allow for explicit construction of invariant subspaces in certain cases.
Extending the method to non-adjacent sections or higher-dimensional analogs could be possible.

Load-bearing premise

The similarity models for the upper triangular operator-matrices can be built using the almost invariant half-spaces techniques, leading to the described commutant manifold.

What would settle it

Finding an upper triangular operator-matrix where the adjacent cross-sections of the corresponding wh L do not match according to the new conditions derived would disprove the claims.

read the original 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 \cite{ker25}, and the unilateral shift $S$ together with a diagonal operator in the particular case when $A$ is similar to $S$ \cite{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 \cite{ker25} and \cite{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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a narrow, incremental extension of the author's own prior papers on 3D cross-sections of the commutant manifold, now adding matching conditions for adjacent sections.

read the letter

The punchline is that the paper takes the similarity models and the linear manifold wh L from ker25 and ker26, keeps the rank-at-most-2 mapping and the transitivity from cyclicity, and adds conditions that come from requiring the adjacent 3D cross-sections to match consistently. That matching step is presented as the new contribution. The framework itself stays the same: upper triangular block operators get modeled by matrices containing diagonals or the unilateral shift, compressions of commutant elements form wh L, and the earlier work already classified the canonical bases in the 3-by-3 matrix algebras. The extension is therefore local and technical rather than a change in method or scope. It does a clean job of carrying the prior constructions forward without introducing visible contradictions or new free parameters. The abstract states the matching conditions follow directly once the adjacent sections are compared, and the stress-test note finds no internal inconsistency in the setup. The main limitation is dependence on the two self-cited papers; anyone wanting to check the new conditions has to reconstruct the models from ker25 and ker26 first. That makes the advance feel small and specialized. The paper is written for the small group already working on commutants of block operators and almost-invariant subspaces. A reader outside that circle will not find standalone value. The math is formally grounded in the author's earlier results, so the work is coherent on its own terms even if the overall novelty is modest. I would send it to a specialized journal for refereeing rather than desk-reject; the technical thread is continuous and the claims are stated precisely enough to be checked.

Referee Report

2 major / 2 minor

Summary. The manuscript extends prior constructions of similarity models wh T for upper triangular operator-matrices T using almost-invariant half-spaces. It defines a linear manifold wh L in the commutant {wh T}' such that a canonical mapping sends every wh X in wh L to an operator wh Y of rank at most 2, establishes transitivity of wh L from the cyclicity of {T}', and claims that new conditions arise from the study of matching between adjacent 3-dimensional cross-sections of wh L (building on the characterization of canonical bases in M_3(C) from the cited works ker25 and ker26).

Significance. If the matching conditions for adjacent cross-sections are shown to be independent of the prior models and yield verifiable new structural information about the commutant, the work could add incremental value to the analysis of commutants for operators admitting almost-invariant half-spaces. The explicit use of rank-at-most-2 images and cyclicity-derived transitivity is a clear technical thread, though its novelty rests entirely on the self-cited constructions.

major comments (2)

[Abstract] The abstract asserts that 'new conditions are provided by studying matching of adjacent cross-sections,' yet the manuscript does not isolate or state these conditions explicitly (e.g., as a numbered theorem or proposition) separate from the constructions in ker25 and ker26; this makes it impossible to assess whether the matching step is load-bearing or merely rephrases prior results.
The rank-at-most-2 property and the canonical mapping are invoked as given from the similarity model; without an explicit verification (even a reference to a specific equation in ker25) that these properties survive the passage to adjacent cross-sections, the claim that matching yields independent conditions cannot be checked for circularity.

minor comments (2)

Notation: the hats on wh T, wh L, and wh X are used without an introductory definition or typographical distinction from the original operators; a short notational paragraph would improve readability.
The paper should include a brief comparison table or paragraph contrasting the new matching conditions with the 3-dimensional cross-section results already obtained in ker25 and ker26.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the major comments point by point below and will revise the manuscript to improve explicitness and verifiability.

read point-by-point responses

Referee: [Abstract] The abstract asserts that 'new conditions are provided by studying matching of adjacent cross-sections,' yet the manuscript does not isolate or state these conditions explicitly (e.g., as a numbered theorem or proposition) separate from the constructions in ker25 and ker26; this makes it impossible to assess whether the matching step is load-bearing or merely rephrases prior results.

Authors: We agree that the new matching conditions should be isolated for clarity. The current text describes the approach but does not extract the resulting conditions as a standalone statement. In the revised manuscript we will add a numbered theorem that states the matching conditions for adjacent cross-sections explicitly, indicating how they extend the characterizations in ker25 and ker26. revision: yes
Referee: [—] The rank-at-most-2 property and the canonical mapping are invoked as given from the similarity model; without an explicit verification (even a reference to a specific equation in ker25) that these properties survive the passage to adjacent cross-sections, the claim that matching yields independent conditions cannot be checked for circularity.

Authors: The rank-at-most-2 property is inherited from the canonical mapping defined in the similarity model of ker25. We acknowledge that the manuscript does not supply an explicit reference or verification for its preservation under the passage to adjacent cross-sections. The revision will include a direct citation to the relevant equation in ker25 together with a short argument confirming that the property continues to hold for the adjacent 3-dimensional cross-sections of wh L. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new matching conditions extend prior self-cited framework independently

full rationale

The paper applies techniques from self-cited prior works (ker25, ker26) to construct similarity models wh T and the manifold wh L with its rank <=2 and transitivity properties. The central new contribution is the study of matching adjacent cross-sections to provide new conditions, which adds independent mathematical content beyond the cited setup. No self-definitional equivalence, fitted input renamed as prediction, uniqueness theorem imported from self-work, or other enumerated circular patterns appear. Self-citations supply background constructions that are external to this paper and do not reduce the new matching analysis to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract invokes the existence of almost invariant half-spaces and the construction of similarity models from prior self-citations; no new free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5757 in / 1128 out tokens · 25604 ms · 2026-05-25T02:36:10.726402+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Androulakis , A.I

G. Androulakis , A.I. Popov , A. Tcaciuc , V.G. Troitsky : Almost invariant half-spaces of operators on Banach spaces, Integral Equations Operator Theory 65 (2009), 473--484

work page 2009
[2]

Hamid and C

S. Hamid and C. Pearcy : On restrictions of operators on Hilbert space to a half-space, Acta Sci. Math. (Szeged), 91 (2025), 219--225

work page 2025
[3]

Jung , E

I.B. Jung , E. Ko , C. Pearcy : Almost invariant half-spaces for operators on Hilbert space, Bull. Aust. Math. Soc. 97 (2018), 133-140

work page 2018
[4]

K\'erchy : Transitive subspaces of 3 3 complex matrices, Anal

L. K\'erchy : Transitive subspaces of 3 3 complex matrices, Anal. Math., 51 (2025), 1345--1374

work page 2025
[5]

K\'erchy : On hyperinvariant subspaces of operators containing unilateral shifts, submitted

L. K\'erchy : On hyperinvariant subspaces of operators containing unilateral shifts, submitted

work page
[6]

Tcaciuc : The invariant subspace problem for rank-one perturbations, Duke Math

A. Tcaciuc : The invariant subspace problem for rank-one perturbations, Duke Math. J. 168 (2019), 1539--1550

work page 2019

[1] [1]

Androulakis , A.I

G. Androulakis , A.I. Popov , A. Tcaciuc , V.G. Troitsky : Almost invariant half-spaces of operators on Banach spaces, Integral Equations Operator Theory 65 (2009), 473--484

work page 2009

[2] [2]

Hamid and C

S. Hamid and C. Pearcy : On restrictions of operators on Hilbert space to a half-space, Acta Sci. Math. (Szeged), 91 (2025), 219--225

work page 2025

[3] [3]

Jung , E

I.B. Jung , E. Ko , C. Pearcy : Almost invariant half-spaces for operators on Hilbert space, Bull. Aust. Math. Soc. 97 (2018), 133-140

work page 2018

[4] [4]

K\'erchy : Transitive subspaces of 3 3 complex matrices, Anal

L. K\'erchy : Transitive subspaces of 3 3 complex matrices, Anal. Math., 51 (2025), 1345--1374

work page 2025

[5] [5]

K\'erchy : On hyperinvariant subspaces of operators containing unilateral shifts, submitted

L. K\'erchy : On hyperinvariant subspaces of operators containing unilateral shifts, submitted

work page

[6] [6]

Tcaciuc : The invariant subspace problem for rank-one perturbations, Duke Math

A. Tcaciuc : The invariant subspace problem for rank-one perturbations, Duke Math. J. 168 (2019), 1539--1550

work page 2019