Overview
Research published on arXiv presents a resolution to the cyclicity conjecture. This conjecture pertains to the peripheral spectrum of positive operators on complex Banach lattices. The authors report that the peripheral spectrum of every positive operator on such a lattice is cyclic, with the proof not relying on additional growth assumptions.
Research Context
The cyclicity conjecture, as addressed in this work, concerns the properties of positive operators within the framework of complex Banach lattices. The concept of a 'peripheral spectrum' refers to the part of the spectrum of an operator that lies on the spectral circle (i.e., has maximal modulus). The conjecture postulates a specific cyclic structure for this peripheral spectrum under certain conditions. Previous work by Räbiger and Wolff is cited as an earlier result relevant to the context.
Approach
The proof strategy for resolving the cyclicity conjecture is founded on a spectral domination theorem. This theorem itself is derived from Vesentini's theorem, which addresses the subharmonicity of the spectral radius. The spectral domination theorem establishes that when two positive operators share the same spectral radius, and one operator dominates the other, the peripheral spectrum of the smaller operator is contained within that of the larger operator.
The methodology involves several steps:
- Initial application of the spectral domination theorem.
- Transition to a suitable lattice extension.
- Implementation of an averaging procedure utilizing torsion operators. This procedure generates a decreasing sequence of positive minorants. These minorants are described as retaining the spectral radius and progressively becoming asymptotically rotationally self-similar.
- Subsequent application of an ultrapower argument. This argument transforms the asymptotic rotational self-similarity into an exact rotational self-similarity.
- The deduction of cyclicity is then achieved from this exact rotational self-similarity in conjunction with the initial spectral domination principle.
The authors also note that this same approach provides an alternative proof for Lotz's cyclicity theorem, specifically for Abel solvable operators.
Findings
The central finding is the proof that the peripheral spectrum of every positive operator on a complex Banach lattice is cyclic. This proof was accomplished without the need for additional growth assumptions. The mechanism for this proof is the derived spectral domination theorem. This theorem states that if two positive operators possess an identical spectral radius and one operator dominates the other, then the peripheral spectrum of the dominated operator is a subset of the dominating operator's peripheral spectrum.
The research also yielded an alternative proof for Lotz's cyclicity theorem for Abel solvable operators, employing the same methodological framework.
Why This Matters
The resolution of the cyclicity conjecture contributes to the theoretical understanding of positive operators on complex Banach lattices. This work extends prior results and offers new avenues for proving established theorems in operator theory, such as Lotz's cyclicity theorem.