pith. sign in

arxiv: 2606.25649 · v1 · pith:2JTSRCDBnew · submitted 2026-06-24 · 🧮 math.FA · math.CV

Essentially commuting projections onto shift-invariant subspaces

Rounak Biswas , Srijan Sarkar This is my paper

Pith reviewed 2026-06-25 20:11 UTC · model grok-4.3

classification 🧮 math.FA math.CV
keywords essential commutativityshift-invariant subspacesinner functionsHardy spaceorthogonal projectionstruncated Toeplitz operatorsFredholmnesspolydisc
0
0 comments X

The pith

Essential commutativity of projections onto two shift-invariant Hardy subspaces is equivalent to local conditions on their inner functions.

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

The paper applies Halmos' two projections theorem to characterize when the orthogonal projections onto the subspaces generated by inner functions ϕ1 and ϕ2 essentially commute. The resulting local conditions on ϕ1 and ϕ2 give a complete description, and the same methods characterize when the commutator has finite rank. This matters because the characterization links directly to whether the pair of projections is Fredholm and refines known criteria for compactness of truncated Toeplitz operators with inner symbols. The work also produces corresponding statements on the polydisc and uses the Sz.-Nagy--Foias model to characterize compactness for certain contractions.

Core claim

Using Halmos' two projections theorem, the essential commutativity of the orthogonal projections onto the shift-invariant subspaces ϕ₁ H²(𝔻) and ϕ₂ H²(𝔻) of the Hardy space H²(𝔻) is completely characterized via local conditions on the inner functions ϕ₁ and ϕ₂. Finite-rank commutators [P_ϕ₁, P_ϕ₂] are characterized as well. The essential commutativity is connected to the Fredholmness of the pair (P_ϕ₁, P_ϕ₂), and the methods yield refined compactness conditions for truncated Toeplitz operators with inner symbols together with characterizations of compactness for certain contractions via the Sz.-Nagy--Foias model. Several characterizations are given on the polydisc.

What carries the argument

Halmos' two projections theorem applied to the orthogonal projections P_ϕ₁ and P_ϕ₂ onto shift-invariant subspaces generated by inner functions.

If this is right

  • The commutator [P_ϕ1, P_ϕ2] has finite rank precisely when additional conditions on the inner functions are met.
  • The pair (P_ϕ1, P_ϕ2) is Fredholm if and only if the projections essentially commute under the local conditions derived from Halmos' theorem.
  • Existing conditions for compactness of truncated Toeplitz operators with inner symbols are refined.
  • Compactness of certain contractions is characterized using the Sz.-Nagy--Foias model theory.
  • Analogous characterizations of essential commutativity hold for projections on the polydisc.

Where Pith is reading between the lines

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

  • The local conditions may simplify explicit checks of essential commutativity for concrete families of inner functions such as finite Blaschke products.
  • The connection to the Sz.-Nagy--Foias model suggests the same local conditions could classify essential commutativity for a wider class of contractions whose models live on the Hardy space.
  • Similar projection-theoretic arguments might extend the characterization to invariant subspaces in other reproducing-kernel Hilbert spaces if an analogue of Halmos' theorem is available.
  • On the polydisc the local conditions could interact with multi-variable commutator problems that arise in several complex variables.

Load-bearing premise

Halmos' two projections theorem applies directly to these specific projections onto shift-invariant subspaces and produces the stated local conditions on the inner functions.

What would settle it

A pair of inner functions ϕ1 and ϕ2 for which the local conditions hold but the commutator [P_ϕ1, P_ϕ2] fails to be compact, or for which the local conditions fail but the projections commute essentially.

read the original abstract

In this article, using Halmos' two projections theorem, we completely characterize the essential commutativity of the orthogonal projections onto the shift-invariant subspaces $\phi_1 H^2(\mathbb{D})$ and $\phi_2 H^2(\mathbb{D})$ of the Hardy space $H^2(\mathbb{D})$ via local conditions on the inner functions $\phi_1$ and $\phi_2$. Finite-rank commutators $[P_{\phi_1}, P_{\phi_2}]$ are also characterized. Using our methods, we connect the essential commutativity with the Fredholmness of the projections $(P_{\phi_1}, P_{\phi_2})$ as introduced by Avron, Seiler and Simon. Applications include refining existing conditions for compactness of truncated Toeplitz operators corresponding to inner symbols and thereby characterizing the compactness of certain contractions using the Sz.-Nagy--Foias model theory. We conclude with several characterizations on the polydisc.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript uses Halmos' two projections theorem to completely characterize the essential commutativity of the orthogonal projections P_φ₁ and P_φ₂ onto the Beurling subspaces φ₁H²(𝔻) and φ₂H²(𝔻) in terms of local conditions on the inner functions φ₁ and φ₂. It further characterizes when the commutator [P_φ₁, P_φ₂] has finite rank, relates essential commutativity to the Fredholmness of the pair (P_φ₁, P_φ₂) in the sense of Avron-Seiler-Simon, and applies the results to refine compactness criteria for truncated Toeplitz operators with inner symbols as well as to contractions via the Sz.-Nagy--Foias model theory; additional characterizations are provided on the polydisc.

Significance. If the claimed reduction to local conditions holds with full justification, the result supplies a concrete, usable criterion for essential commutativity of these specific projections and strengthens links between projection commutators, Fredholm pairs, and model-theoretic compactness questions. The explicit invocation of Halmos' theorem together with the cited prior results on Fredholm pairs and Sz.-Nagy--Foias theory provides independent grounding and is a methodological strength.

major comments (2)
  1. [Abstract] Abstract and introduction: the assertion that Halmos' two-projections theorem directly yields explicit local conditions on φ₁ and φ₂ for compactness of [P_φ₁, P_φ₂] requires an intermediate identification of the essential spectrum of T = P_φ₁ P_φ₂ P_φ₁ (or the essential angles between the ranges) with a function of the boundary values of φ₁ and φ₂; this identification is not an immediate corollary of Halmos' theorem and must be supplied explicitly to support the central claim.
  2. [Applications section] § on applications to truncated Toeplitz operators: the refinement of existing compactness conditions for operators with inner symbols is load-bearing on the essential-commutativity characterization; any gap in the reduction step from Halmos' theorem to the local conditions on φ₁, φ₂ would propagate directly to these applications.
minor comments (2)
  1. Clarify the precise meaning of 'local conditions' with at least one concrete example (e.g., for Blaschke factors or singular inner functions) early in the text.
  2. Ensure every invocation of external results (Halmos, Avron-Seiler-Simon, Sz.-Nagy--Foias) cites the specific theorem or corollary employed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for explicit justification in the reduction from Halmos' theorem. We will revise the manuscript to supply the missing intermediate identification of the essential spectrum, which strengthens rather than alters the main results. The applications will be updated accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract and introduction: the assertion that Halmos' two-projections theorem directly yields explicit local conditions on φ₁ and φ₂ for compactness of [P_φ₁, P_φ₂] requires an intermediate identification of the essential spectrum of T = P_φ₁ P_φ₂ P_φ₁ (or the essential angles between the ranges) with a function of the boundary values of φ₁ and φ₂; this identification is not an immediate corollary of Halmos' theorem and must be supplied explicitly to support the central claim.

    Authors: We agree that the link requires an explicit intermediate step and that this was not sufficiently detailed. The revised manuscript will add a dedicated lemma deriving the essential spectrum of T = P_φ₁ P_φ₂ P_φ₁ from the essential range of a function built from the boundary values |φ₁| and |φ₂| on the circle (via the standard identification of the essential angles with the essential range of the associated symbol). This makes the invocation of Halmos' theorem fully rigorous while preserving the local conditions on the inner functions. revision: yes

  2. Referee: [Applications section] § on applications to truncated Toeplitz operators: the refinement of existing compactness conditions for operators with inner symbols is load-bearing on the essential-commutativity characterization; any gap in the reduction step from Halmos' theorem to the local conditions on φ₁, φ₂ would propagate directly to these applications.

    Authors: We acknowledge the dependence. Once the explicit identification is inserted in the main theorem (as described above), the applications section will be revised to cite the new lemma directly when refining the compactness criteria for truncated Toeplitz operators with inner symbols. This removes any potential propagation of gaps. revision: yes

Circularity Check

0 steps flagged

No circularity; central claim rests on external Halmos theorem and independent citations

full rationale

The paper applies Halmos' two-projections theorem (an external, classical result) to obtain local conditions on inner functions φ1, φ2 for essential commutativity of the associated projections. It further connects the result to the independent Fredholm-pair framework of Avron-Seiler-Simon and to Sz.-Nagy–Foias model theory. No self-definitional steps, fitted-input predictions, or load-bearing self-citations appear in the derivation chain; the characterization is obtained by combining these external tools with the concrete form of Beurling subspaces rather than by renaming or re-deriving its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of Halmos' two projections theorem to these projections and the standard identification of shift-invariant subspaces with inner functions in Hardy space.

axioms (1)
  • standard math Halmos' two projections theorem
    Invoked as the tool to derive the local conditions for essential commutativity.

pith-pipeline@v0.9.1-grok · 5689 in / 1269 out tokens · 26938 ms · 2026-06-25T20:11:07.801673+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Ahern, D.N

    P. Ahern, D.N. Clark,Invariant subspaces and analytic continuation in several variables, J. Math. Mech. 19 (1969/70), 963–969

    1969

  2. [2]

    Agler, Jim and J.E

    J. Agler, Jim and J.E. McCarthy,Pick interpolation and Hilbert function spaces.(English summary) Grad. Stud. Math., 44 American Mathematical Society, Providence, RI, 2002. xx+308 pp. ISBN:0-8218-2898-3

    2002

  3. [3]

    B¨ ottcher, I.M

    A. B¨ ottcher, I.M. Spitkovsky,A gentle guide to the basics of two projections theory, Linear Algebra and its Applications, Volume 432, Issue 6, 2010, Pages 1412–1459, ISSN 0024-3795

    2010

  4. [4]

    Andruchow, E

    E. Andruchow, E. Chiumiento, M.E. Di Iorio y Lucero,Essentially commuting projections, Journal of Functional Analysis, Volume 268, Issue 2, 2015, Pages 336–362

    2015

  5. [5]

    Andruchow, E

    E. Andruchow, E. Chiumiento, G. Larotonda,Geometric significance of Toeplitz kernels.J. Funct. Anal. 275 (2018), no. 2, 329–355

    2018

  6. [6]

    Amrein, K

    W.O. Amrein, K. B. Sinha,On pairs of projections in a Hilbert space.Linear Algebra Appl. 208/209 (1994), 425–435. ESSENTIAL COMMUTING PROJECTIONS 25

    1994

  7. [7]

    Avron, R

    J. Avron, R. Seiler, B. Simon,The index of a pair of projections, Journal of functional analysis 120 (1) (1994) 220–237

    1994

  8. [8]

    Axler, S.-Y

    S. Axler, S.-Y. A. Chang, D. Sarason,Product of Toeplitz operators, Integral Equations and Operator Theory, 1 (1978), 285–309

    1978

  9. [9]

    Bessonov,Fredholmness and compactness of truncated toeplitz and hankel operators, Integral Equations and Operator Theory 82 (4) (2015), 451–467

    R. Bessonov,Fredholmness and compactness of truncated toeplitz and hankel operators, Integral Equations and Operator Theory 82 (4) (2015), 451–467

    2015

  10. [10]

    Beurling,On two problems concerning linear transformations in Hilbert space.Acta Math

    A. Beurling,On two problems concerning linear transformations in Hilbert space.Acta Math. 81 (1948), 239–255

    1948

  11. [11]

    B¨ ottcher, B

    A. B¨ ottcher, B. Simon, I. Spitkovsky, Similarity between two projections. Integral Equations Operator Theory 89 (2017), no. 4, 507–518

    2017

  12. [12]

    Carleson,Interpolations by bounded analytic functions and the corona problem,Annals of Mathematics 76 (3) (1962) 547–559

    L. Carleson,Interpolations by bounded analytic functions and the corona problem,Annals of Mathematics 76 (3) (1962) 547–559

    1962

  13. [13]

    Coburn,Weyl’s theorem for nonnormal operators.Michigan mathematical journal 13.3 (1966): 285–288

    LA. Coburn,Weyl’s theorem for nonnormal operators.Michigan mathematical journal 13.3 (1966): 285–288

    1966

  14. [14]

    Chu,Compact product of hankel and toeplitz operators on the hardy space, Indiana University Math- ematics Journal (2015) 973–982

    C. Chu,Compact product of hankel and toeplitz operators on the hardy space, Indiana University Math- ematics Journal (2015) 973–982

    2015

  15. [15]

    Davidson,On operators commuting with Toeplitz operators modulo the compact operators.J

    K.R. Davidson,On operators commuting with Toeplitz operators modulo the compact operators.J. Func- tional Analysis 24 (1977), no. 3, 291–302

    1977

  16. [16]

    Davis,Separation of two linear subspaces.Acta Sci

    C. Davis,Separation of two linear subspaces.Acta Sci. Math. (Szeged) 19 (1958), 172–187

    1958

  17. [17]

    Debnath, D

    R. Debnath, D. K. Pradhan, J. Sarkar,Pairs of inner projections and two applications, Journal of Functional Analysis. 286 (2024), no. 2, Paper No. 110216, 26 pp

    2024

  18. [18]

    R. G. Douglas,Banach algebra techniques in operator theory,Vol. 179, Springer Science & Business Media, 1998

    1998

  19. [19]

    Ding,The finite rank perturbations of the product of hankel and Toeplitz operators, Journal of math- ematical analysis and applications 337 (1) (2008) 726–738

    X. Ding,The finite rank perturbations of the product of hankel and Toeplitz operators, Journal of math- ematical analysis and applications 337 (1) (2008) 726–738

    2008

  20. [20]

    S. R. Garcia, J. Mashreghi, W. T. Ross,Introduction to model spaces and their operators, Vol. 148, Cambridge University Press, 2016

    2016

  21. [21]

    Gorkin, D

    P. Gorkin, D. Zheng,Essentially commuting toeplitz operators, Pacific Journal of Mathematics 190 (1) (1999) 87–109

    1999

  22. [22]

    Gu,Some algebraic properties of Toeplitz and Hankel operators on polydisk.Arch.Math

    C. Gu,Some algebraic properties of Toeplitz and Hankel operators on polydisk.Arch.Math. 80, 393–405 (2003)

    2003

  23. [23]

    Guo and P

    K. Guo and P. Wang,Defect operators and Fredholmness for Toeplitz pairs with inner symbols. J. Operator Theory 58 (2007), no. 2, 251–268

    2007

  24. [24]

    P. R. Halmos,Two subspaces, Transactions of the American Mathemat- ical Society 144 (1969) 381–389

    1969

  25. [25]

    Hoffman,Banach spaces of analytic functions, Courier Corporation, 2007

    K. Hoffman,Banach spaces of analytic functions, Courier Corporation, 2007

    2007

  26. [26]

    Garnett,Bounded analytic functions, Vol

    J. Garnett,Bounded analytic functions, Vol. 236, Springer Science & Business Media, 2006

    2006

  27. [27]

    C. Gu, D. Zheng,The semi-commutator of Toeplitz operators on the bidisc. J. Operator Theory 38 (1997), no. 1, 173–193

    1997

  28. [28]

    Guo and D

    K. Guo and D. Zheng,Essentially commuting Hankel and Toeplitz operators,J. Funct. Anal. 201 (2003), 121–147

    2003

  29. [29]

    Knese,Rational inner functions on the polydisk – a survey, 2024

    G. Knese,Rational inner functions on the polydisk – a survey, 2024. Living reference In: Alpay, D., Sabadini, I., Colombo, F. (eds) Operator Theory. Springer,

    2024

  30. [30]

    P. Ma, D. Zheng,Compact truncated toeplitz operators, Journal of Functional Analysis 270 (11) (2016) 4256–4279

    2016

  31. [31]

    Nakazi,Commutator of two projections in prediction theory.Bull

    T. Nakazi,Commutator of two projections in prediction theory.Bull. Austral. Math. Soc. 34 (1986), no. 1, 65–71

    1986

  32. [32]

    Sz.-Nagy, C

    B. Sz.-Nagy, C. Foias, H. Bercovici, L. K´ erchy,Harmonic analysis of operators on Hilbert space. Second edition. Revised and enlarged edition. Universitext Springer, New York, 2010. xiv+474 pp. ISBN:978-1- 4419-6093-1

    2010

  33. [33]

    von Neumann,On rings of operators

    J. von Neumann,On rings of operators. Reduction theory,Ann. of Math. 50 (1949), 401–485

    1949

  34. [34]

    V. V. Peller, et al.,Hankel operators and their applications, Vol. 15, Springer, 2003

    2003

  35. [35]

    Richman,A new proof of a result about Hankel operators.Integral Equations Operator Theory 5 (1982), no

    D.R. Richman,A new proof of a result about Hankel operators.Integral Equations Operator Theory 5 (1982), no. 6, 892–900

    1982

  36. [36]

    Rudin,Function theory in polydiscs.W

    W. Rudin,Function theory in polydiscs.W. A. Benjamin, Inc., New York-Amsterdam, 1969. vii+188 pp. 26 BISW AS AND SARKAR

    1969

  37. [37]

    Volberg,Two remarks concerning the theorem of S

    A. Volberg,Two remarks concerning the theorem of S. Axler, S.-Y. A. Chang, and D. Sarason, J. Operator Theory, 8 (1982), 209–218

    1982

  38. [38]

    Compactness of products and commutators of inner projections

    P. Zhang, R. Tian, Y. Lu, Y. Yang, C. Zu,Compactness of products and commutators of inner projections, https://doi.org/10.48550/arXiv.2604.22284. Department of Mathematics, Indian Institute of Technology Palakkad, Kerala - 678623, India. Email address:xyzrounak3@gmail.com Department of Mathematics, Indian Institute of Technology Palakkad, Kerala - 678623,...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.22284