Pith. sign in

REVIEW 3 major objections 5 minor 11 references

Quasi-Fredholm spectrum and compact perturbations

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that SVEP survives every compact perturbation of a Hilbert-space operator exactly when the quasi-Fredholm resolvent is connected and the quasi-Fredholm spectrum has empty interior.

desk verdict Solid component theory for the quasi-Fredholm resolvent, but the permanence theorem rests on an unstated import from [9] and needs a major revision. read the letter →

arxiv 1908.04105 v1 pith:AYR26QFC submitted 2019-08-12 math.SP

Anuradha Gupta , Ankit Kumar This is my paper · ORCID
classification math.SP MSC 47A1047A5547B15
keywords quasi-FredholmspectrumresolventtopologicaluniformdescentSVEPcompactperturbationsemiB-Fredholm
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies the quasi-Fredholm resolvent set $\rho_{qf}(T)$, the points where $\lambda I - T$ is quasi-Fredholm, and uses it to decide when the single-valued extension property (SVEP) survives compact perturbations. The main Hilbert-space theorem states that for a bounded operator $T$, the operator $T+K$ has SVEP for every compact $K$ if and only if $\rho_{qf}(T)$ is connected and the quasi-Fredholm spectrum $\sigma_{qf}(T)$ has empty interior; the same condition is shown equivalent to analogous connectedness-plus-empty-interior conditions for the semi-Fredholm, semi-B-Fredholm, and topological-uniform-descent resolvent sets. On Banach spaces, the paper establishes a structural result: when the semi-B-Fredholm spectrum has empty interior, the bounded components of $\rho_{sbf}(T)$ and $\rho_{qf}(T)$ correspond one-to-one. A sympathetic reader would care because it gives a spectral-shape criterion, with no extra parameters, for a robust local spectral property under the broadest class of compact perturbations.

What carries the argument

The load-bearing object is the quasi-Fredholm resolvent set $\rho_{qf}(T)=\mathbb{C}\setminus\sigma_{qf}(T)$, where $\lambda I-T$ is quasi-Fredholm when its iterated ranges are closed from some point on and satisfy a finite stable-descent condition; the paper also uses the larger semi-B-Fredholm resolvent $\rho_{sbf}(T)$ and the topological-uniform-descent resolvent $\rho_{\Gamma}(T)$, which sit between $\rho_{qf}(T)$ and the semi-Fredholm resolvent $\rho_{sf}(T)$. The identity doing the work, imported as a cited theorem, is that connectedness of $\rho_{qf}(T)$ forces $\rho_{qf}(T)=\rho(T)\cup\Pi(T)$, with $\Pi(T)$ the poles of the resolvent; this converts a question about connected components into a question about where the operator is invertible, and that conversion is what lets compact perturbations, which preserve semi-Fredholm spectra, be controlled.

What would settle it

A decisive check would be to exhibit a bounded Hilbert-space operator $T$ with $\rho_{qf}(T)$ connected and $\operatorname{int}\sigma_{qf}(T)=\emptyset$ but some compact $K$ making $T+K$ fail SVEP, for instance by having a non-isolated point in its point spectrum; Theorem 3.6 says no such pair exists. A less computational check is to test the step in Theorem 2.2 that a bounded component of $\rho_{sbf}(T)$ contained in $\sigma_{sf}(T)$ is isolated in $\sigma_{sf}(T)$, since Theorem 2.13 and hence Theorem 3.6 depend on that inference.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.6: for $T \in B(H)$ on a Hilbert space, the following are equivalent: $T+K$ has SVEP for every compact operator $K$; the adjoint $T^*+K$ has SVEP for every compact $K$; and each of the four resolvent sets $\rho_{sf}(T)$, $\rho_{sbf}(T)$, $\rho_{qf}(T)$, and $\rho_{\Gamma}(T)$ is connected with the corresponding spectrum having empty interior; moreover the same four conditions hold after any compact perturbation. The paper argues that connectedness of the quasi-Fredholm resolvent is the organizing fact: it forces $\rho_{qf}(T)=\rho(T)\cup\Pi(T)$, so the quasi-Fredholm resolvent differs from the ordinary resolvent only by poles, and this equality is preserved under compact perturbations in a way that makes SVEP stable. If the theorem is right, the behavior of SVEP under compact perturbations is completely controlled by a short list of spectral shape conditions.

Load-bearing premise

The proof depends on a cited result that connectedness of the quasi-Fredholm resolvent already gives SVEP there and forces $\rho_{qf}(T)=\rho(T)\cup\Pi(T)$; the paper invokes that result without verifying its hypotheses, and if it needs extra conditions the main equivalences no longer follow.

Editorial extensions

If this is right

  • For Hilbert-space operators, SVEP is stable under every compact perturbation exactly when any one, hence all, of the four resolvent sets is connected and the corresponding spectrum has empty interior (Theorem 3.6).
  • If a compact perturbation destroys SVEP, then the quasi-Fredholm resolvent is disconnected or its spectrum has interior; no finer invariant is needed.
  • When $\rho_{qf}(T)$ is connected, the spectrum of $T+K$ splits as $\sigma_{qf}(T+K)\cup\Pi(T+K)\cup(\sigma_{sbf}(T+K)\setminus\sigma_{qf}(T+K))$ for every compact $K$ (Theorem 3.1).
  • If $\sigma_{qf}(T)=\emptyset$, then every compact perturbation has spectrum consisting only of isolated semi-B-Fredholm points plus poles (Theorem 3.8).
  • On Banach spaces, if the semi-B-Fredholm spectrum has empty interior, the bounded components of $\rho_{sbf}(T)$ and $\rho_{qf}(T)$ are in bijection (Theorem 2.7).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural testable extension is whether the same four-way equivalence survives for Riesz perturbations or for operators on Banach spaces with a localized SVEP assumption; the paper itself states the characterization only for compact perturbations on Hilbert space.
  • The unilateral-shift example shows that SVEP on each point of $\rho_{qf}$ does not force connectedness, so the equivalence in Theorem 3.5 is not a tautology; relaxing the compact perturbations to, say, perturbations small in norm may still be governed by the same resolvent shape.
  • A careful reader should audit the step in Theorem 2.2 where a bounded component of $\rho_{sbf}(T)$ contained in $\sigma_{sf}(T)$ is concluded to be isolated in $\sigma_{sf}(T)$; if that step needs repair, the exact statement of Theorem 2.13 and hence the 'if and only if' in Theorem 3.6 may narrow.
  • Because compact perturbations preserve semi-Fredholm spectra, the result suggests that the quasi-Fredholm resolvent is the right object through which to study stability of local spectral properties under the ideal of compact operators; a computational check on concrete operators such as weighted shifts or diagonal-plus-rank-one operators would test the sharpness of the empty-interior condition.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the quasi-Fredholm resolvent set ρ_qf(T)=C\σ_qf(T) for bounded operators on Banach and Hilbert spaces. Section 2 establishes relations between the components of ρ_sf(T), ρ_sbf(T), ρ_qf(T), and ρ_Γ(T): Theorem 2.2 asserts that connectedness of ρ_sbf(T) and ρ_sf(T) are equivalent; Theorems 2.4–2.9 relate bounded components of the four resolvent sets and prove a one-to-one correspondence under empty-interior assumptions; Theorem 2.13 gives a four-way equivalence of connectedness plus empty interior for the four spectra. Section 3 applies these results to compact perturbations: Theorem 3.1 gives a decomposition of σ(T+K) when ρ_qf(T) is connected, Theorem 3.5 characterizes when T+K has SVEP on ρ_qf(T+K) for every compact K, Theorem 3.6 gives an equivalence between stability of SVEP under all compact perturbations and connectedness plus empty interior of the relevant resolvent spectra, and Theorem 3.8 treats the case σ_qf(T)=∅.

Significance. If the main results are valid, the paper gives a clean spectral characterization of when SVEP is permanent under compact perturbations, extending and unifying work of Shi [8] and Zhu–Li [10]. The component-correspondence results in Section 2 are concrete and testable, and the paper is organized around a natural and worthwhile question. A visible strength is that the arguments are mostly built from standard Fredholm theory rather than from ad hoc constructions. The significance is, however, conditional: the central equivalence in Section 3 depends on an imported assertion from [9] whose hypotheses are never stated or verified in the manuscript, so the main theorem cannot currently be checked by a reader.

major comments (3)
  1. [Lemma 2.11; Theorem 3.1] The load-bearing step is the assertion that connectedness of ρ_qf(T) implies ρ_qf(T)=ρ(T)∪Π(T). In Lemma 2.11 the text reads 'As ρ_qf(T) is connected and ρ(T)⊂ρ_qf(T), by [9, Theorems 3.6, 3.7] p(λI−T)=q(λI−T)<∞ for all λ∈ρ_qf(T)', and Theorem 3.1 uses the same implication for T and for T+K. The manuscript never states the exact content of [9, Theorems 3.6 and 3.7], nor verifies that their hypotheses are satisfied. If those theorems require, for instance, SVEP on the component in question, the arguments in Lemma 2.11 and Theorem 3.1 have no such hypothesis available. This gap must be repaired by quoting the theorems and providing a verification, or by adding the missing hypotheses to the statements of Lemma 2.11, Theorem 3.1, Theorem 3.5, and Theorem 3.6.
  2. [Theorem 2.2, second paragraph] The sentence 'If Ω∩ρ_sf(T)=∅, then Ω⊂σ_sf(T) which implies that Ω⊂iso σ_sf(T)' is not justified as written: an open connected subset of σ_sf(T) need not consist of isolated points. The intended inference is that Ω⊂ρ_sbf(T), and since σ_sf(T)=σ_sbf(T)∪iso σ_sf(T), the intersection σ_sf(T)∩ρ_sbf(T) is exactly iso σ_sf(T). This additional argument should be stated explicitly. In the first paragraph of the same proof, the removal of the at-most-countable set iso σ_sf(T) from a connected open set is asserted to preserve connectedness; this is plausible only because iso σ_sf(T) is discrete inside ρ_sbf(T), and the authors should justify it.
  3. [Theorem 3.8] The proof applies Theorem 2.16 to conclude that ρ_qf(T+K) is connected, but Theorem 2.16 has as an explicit hypothesis int σ_p(T)=∅. No argument is given that σ_qf(T)=∅ implies int σ_p(T)=∅, and the line 'As int σ_qf(T)=∅' supplies only a different condition that is automatically true when σ_qf(T)=∅. This step needs either a proof of the missing implication or a different argument for connectedness of ρ_qf(T+K).
minor comments (5)
  1. [Theorem 3.8] The statement says 'for any compact operator K∈K(X)' in a Hilbert-space result; it should be K(H).
  2. [Remark 2.15] The conclusion 'if ρ_qf(T) consists of finite bounded components, then ρ_Γ(T) consists of bounded components' should read 'consists of finitely many bounded components', and the claim that distinct bounded components of ρ_Γ(T) yield distinct components of ρ_qf(T) is asserted in one sentence and needs a short proof.
  3. [Throughout] There are several typographical errors, including 'opeartor', 'F redholm' in the abstract, 'if is a lower semi B-Fredholm', 'rhosf' in the proof of Theorem 2.13, and 'σusbb' in Example 3.4, which should be corrected.
  4. [Theorem 3.5] The switch from 'T+K has SVEP at every point of ρ_qf(T+K) for any K' to 'T+K+K1 has SVEP at every point of ρ_qf(T+K+K1)' should be made explicit: the latter follows only because K+K1 is again an arbitrary compact perturbation, and the text should say so.
  5. [Theorem 2.3] The proof is described as 'following the lines of the proof of Theorem 2.2'; since Theorem 2.2 needs the repair described in the major comments, the same repair should be applied to the two parts of Theorem 2.3.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation imports hard steps from external prior work (Aiena, Shi, Zeng–Zhong–Jiang) and fits no parameters, so no claimed result reduces to its own input.

full rationale

The paper contains no fitted parameters, no self-citation chain, and no empirical regularity repackaged as a derivation. The load-bearing facts are imported from published external sources: the quasi-Fredholm inclusions from Aiena's books ([2, Theorems 1.96, 1.116, 1.117, 1.142]), the topological-uniform-descent decomposition from Shi ([8, Theorem 1, Proposition 2, Corollary 4]), and the connectedness-to-poles implication from Zeng, Zhong and Jiang ([9, Theorems 3.6, 3.7]). None of these authors is an author of the present paper, so the 'uniqueness imported from authors' and 'self-citation load-bearing' patterns do not apply. The proof of Theorem 3.6 is admittedly compressed ('follows from [8, Proposition 6, Corollary 4] and Theorem 2.13'), and Theorem 3.5 leans on [9, Theorem 3.6] in both directions, but that is reliance on an external theorem rather than a circular reduction: the manuscript does not define its spectra in terms of the conclusions, nor fit the conclusions to data. The questionable inference in Theorem 2.2 ('Ω ⊂ σsf(T) implies Ω ⊂ iso σsf(T)') is a potential correctness error, not a circularity. Accordingly no circular step can be exhibited with the required specificity; score 0.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No free parameters or invented entities. The paper's content is entirely derived from prior literature; the most fragile imported assumption is the unverified use of [9, Theorems 3.6 and 3.7].

assumptions (8)
  • standard math Semi B-Fredholm operators are quasi-Fredholm, so σ_Γ ⊂ σ_qf ⊂ σ_sbf ⊂ σ_sf.
    Cited as [2, Theorem 1.96 and 1.116]; used throughout to compare spectra and resolvent sets.
  • standard math Every semi B-Fredholm operator at λ has a punctured neighborhood of semi-Fredholm points with constant index.
    Cited as [2, Theorem 1.117]; used in Lemma 2.1, Theorem 2.2, and Lemma 3.2.
  • standard math If ρ_Γ(T) is connected, then ρ_Γ(T) = ρ(T) ∪ Π(T).
    Cited as [8, Proposition 2]; used in Lemma 2.12 and Theorem 2.13 to show interior emptiness transfers.
  • domain assumption Connectedness of ρ_qf(T) implies T has SVEP at every point of ρ_qf(T) and ρ_qf(T) = ρ(T) ∪ Π(T).
    Cited to [9, Theorems 3.6 and 3.7] but the hypotheses are never stated; this is the paper's weakest load-bearing imported assumption.
  • standard math If T has SVEP, then int σ_sf(T) = ∅.
    Cited as [8, Proposition]; used in Theorem 2.16(iv)⇒(i) and in the SVEP characterizations.
  • standard math The spectra σ_sf, σ_uw, σ_w are invariant under compact perturbations.
    Standard Fredholm theory; used to transfer connectedness from T to T+K in Section 3.
  • standard math Zhu-Li characterization: there exists a compact K with T+K having SVEP iff ρ_sf^+(T) is empty.
    Cited as [10, Theorem 1.1]; used in Theorem 3.3.
  • standard math Zhu-Li small perturbation theorem: if int σ_p(T)=∅, int σ_sf(T)=∅ and ρ_sf(T) has finitely many holes, then T+K has SVEP for small compact K.
    Cited as [10, Theorem 1.2]; used in Theorem 3.7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasi-Fredholm spectrum and compact perturbations." pith.science (2026). https://pith.science/paper/AYR26QFC

@misc{pith2026190804105,
  author       = {Pith},
  title        = {Pith review of: Quasi-Fredholm spectrum and compact perturbations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AYR26QFC}},
  note         = {Machine review of arXiv:1908.04105}
}
abstract

In this paper we explore some characteristics of the quasi-Fredholm resolvent set $\rho_{qf}(T)$ of an operator $T$ defined on an infinite dimensional Banach space $X$. Moreover, in the case of Hilbert space $H$, we study the stability of the SVEP and describe the operators for which the SVEP is preserved under compact perturbations using quasi-Fredholm spectrum and $\rho_{qf}(T)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [9]

    Q. Zeng, H. Zhong and Q. Jiang, Localized SVEP and the components of quasi-Fredholm resolvent set, Glas. Mat. Ser. III 50(70) (2015), no. 2, 429–440

    work page 2015

  2. [8]

    Shi, Topological uniform descent and compact perturbations , Rev

    W. Shi, Topological uniform descent and compact perturbations , Rev. R. Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A Mat. RACSAM113 (2019), no. 3, 2221–2233

    work page 2019

  3. [10]

    Zhu and C

    S. Zhu and C. G. Li, SVEP and compact perturbations , J. Math. Anal. Appl. 380 (2011), no. 1, 69–75

    work page 2011

  4. [1]

    Aiena, Fredholm and local spectral theory, with applications to mu ltipliers, Kluwer Academic Publishers, Dordrecht, 2004

    P. Aiena, Fredholm and local spectral theory, with applications to mu ltipliers, Kluwer Academic Publishers, Dordrecht, 2004

    work page 2004

  5. [2]

    Aiena, Fredholm and local spectral theory II , Lecture Notes in Mathematics, 2235, Springer, Cham, 2018

    P. Aiena, Fredholm and local spectral theory II , Lecture Notes in Mathematics, 2235, Springer, Cham, 2018

    work page 2018

  6. [3]

    Aiena and S

    P. Aiena and S. Triolo, Weyl-type theorems on Banach spaces und er compact perturbations, Mediterr. J. Math. 15 (2018), no. 3, Art. 126, 18 pp

    work page 2018

  7. [4]

    Berkani, On a class of quasi-Fredholm operators , Integral Equations Operator Theory 34 (1999), no

    M. Berkani, On a class of quasi-Fredholm operators , Integral Equations Operator Theory 34 (1999), no. 2, 244–249

    work page 1999

  8. [5]

    Berkani and H

    M. Berkani and H. Zariouh, B-Fredholm spectra and Riesz perturbations, Mat. Vesnik 67 (2015), no. 3, 155–165

    work page 2015

Show all 11 references
  1. [6]

    B. P. Duggal and I. H. Kim, Generalized Browder, Weyl spectra a nd the polaroid property under compact perturbations, J. Korean Math. Soc. 54 (2017), no. 1, 281–302

    2017

  2. [7]

    Jia and Y

    B. Jia and Y. Feng, Weyl type theorems under compact perturb ations, Mediterr. J. Math. 15 (2018), no. 1, Art. 3, 13 pp

    2018

  3. [11]

    ˇZivkovi´ c-Zlatanovi´ c and M

    S. ˇZivkovi´ c-Zlatanovi´ c and M. Berkani,Topological Uniform Descent, Quasi-Fredholmness and Operators Originated from Semi-B-Fredholm Theory , Complex Analysis and Operator Theory, doi: 10.1007/s11785-019-00920-3. 9 Anuradha Gupta Department of Mathematics, Delhi College of...

    doi

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.