Compactness of products and commutators of inner projections

arxiv: 2604.22284 · v2 · submitted 2026-04-24 · 🧮 math.FA

Compactness of products and commutators of inner projections

Peiran Zhang , Roumei Tian , Yufeng Lu , Yixin Yang , Chao Zu This is my paper

Pith reviewed 2026-05-08 09:35 UTC · model grok-4.3

classification 🧮 math.FA

keywords inner projectionscompactnessHardy spacesbidiscpolydisccommutatorsDouglas algebrarigidity

0 comments p. Extension

The pith

On the bidisc the product of two inner projections is compact if and only if it has finite rank, while on higher-dimensional polydiscs any compact product is trivial.

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

The paper characterizes when the commutator of two inner projections is compact on the Hardy space of the disk using Douglas algebra. It then establishes a rigidity result for their products on polydiscs: compactness holds only for finite-rank operators on the bidisc and only for the zero operator in dimensions three and higher. This distinction highlights how operator compactness behaves differently in one versus several complex variables. Sympathetic readers would care because it clarifies the structure of compact operators arising from inner functions in multivariable settings.

Core claim

For inner projections on the Hardy space of the unit disk, the commutator of two such projections is compact if and only if their difference lies in the Douglas algebra in a certain way. On the bidisc, the product of two inner projections is compact precisely when the product operator has finite rank. On the polydisc of dimension greater than two, the only compact product of two inner projections is the zero operator.

What carries the argument

The rigidity phenomenon in the compactness of products of inner projections on polydiscs of varying dimensions, analyzed through properties of Hardy spaces and Douglas algebras.

If this is right

The characterization in one variable provides a complete criterion for commutator compactness via Douglas algebra membership.
Compact products on the bidisc are necessarily finite-rank operators.
In polydiscs of dimension at least three, no non-trivial compact products of inner projections exist.
These results extend the understanding of compactness in projections defined by inner functions in several variables.

Where Pith is reading between the lines

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

This rigidity may indicate that higher-dimensional polydiscs impose stricter conditions for compactness due to increased independence of the variables.
Similar phenomena could be explored for other classes of operators, such as products involving more than two projections or different types of invariant subspaces.
The results suggest testing specific inner functions like finite Blaschke products to verify the finite-rank condition explicitly on the bidisc.

Load-bearing premise

The standard properties of inner functions, Hardy spaces, and the Douglas algebra extend without change to the setting of the polydisc.

What would settle it

Constructing two inner functions on the bidisc such that their associated projections have a compact infinite-rank product, or finding a non-zero compact product on the tridisc, would disprove the claims.

read the original abstract

In this paper, we study the compactness of the product and the commutator of two inner projections on the Hardy spaces over the unit disk and the polydisc. For the single-variable case, we provide a complete characterization of the compactness of the commutator of two inner projections by means of Douglas algebra. In the multivariable setting, we discover a rigidity phenomenon: on the bidisc, the product of two inner projections is compact if and only if it has finite rank, whereas on the polydisc of dimension strictly greater than two, any such compact product must be trivial.

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

The paper gives a clean Douglas-algebra characterization for compact commutators in one variable and a sharp rigidity result for products on the polydisc.

read the letter

The paper gives a clean Douglas-algebra characterization for compact commutators in one variable and a sharp rigidity result for products on the polydisc: finite rank on the bidisc and only the zero operator when dimension exceeds two. That is the core contribution worth noting first. The single-variable characterization appears to be the more substantial piece. It applies the standard Douglas algebra machinery to produce an explicit if-and-only-if condition, which organizes the compactness question without adding new technical overhead. The multivariable rigidity statement is also new on its face and draws a clear line between dimension two and higher, consistent with how some other phenomena split in several complex variables. The work stays within established Hardy-space tools, so the foundations do not look shaky from the abstract. No obvious circularity or invented objects show up in the claims. The main soft spot is the multivariable extension. The abstract states the dichotomy cleanly, but the proofs will have to verify that the inner-function and projection properties carry over without extra restrictions on the symbols in the polydisc setting. The bidisc finite-rank claim in particular could turn on some two-variable specifics that need explicit checking. This is a paper for specialists in operator theory on Hardy spaces. Readers who track compactness criteria or rigidity phenomena in one and several variables will get direct value from the characterizations. It deserves a serious referee because the results are concrete, the one-variable part ties to known facts, and the multi-variable claims are falsifiable. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The manuscript studies compactness of products and commutators of inner projections on Hardy spaces H² over the unit disk and polydiscs. In the single-variable setting it gives a complete characterization of when the commutator of two inner projections is compact, expressed in terms of membership in the Douglas algebra. In the multivariable setting it establishes a rigidity dichotomy: on the bidisc the product of two inner projections is compact if and only if it has finite rank, while on the polydisc of dimension n>2 any compact product must be the zero operator.

Significance. If the stated characterizations and rigidity results hold, the work supplies a clean multivariable extension of classical one-variable results on inner projections and Douglas algebras, together with a dimension-dependent dichotomy that is likely to be of interest to researchers in multivariable operator theory and function algebras on polydiscs. The explicit use of Douglas-algebra techniques for the commutator characterization is a natural and verifiable approach.

minor comments (2)

[Abstract] Abstract: the phrase 'any such compact product must be trivial' should be replaced by an explicit statement that the product is the zero operator, to avoid ambiguity in terminology.
[Introduction] The manuscript would benefit from a brief remark in the introduction or §2 explaining why the standard one-variable Douglas-algebra criteria extend without modification to the polydisc setting for the commutator result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on standard, externally established facts from Hardy space theory and Douglas algebras for the one-variable commutator characterization, without any reduction of the claimed compactness criteria to fitted parameters, self-definitions, or load-bearing self-citations. The multivariable rigidity result (finite-rank on the bidisc, trivial for dim>2) is presented as a derived phenomenon from those standard tools rather than an input renamed as output. No equations or steps in the provided claims equate a prediction to its own construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on established structures in complex analysis and operator theory without introducing new fitted parameters or postulated entities.

axioms (2)

domain assumption Standard definition and properties of Hardy spaces on the unit disk and polydisc
The paper works directly with these spaces without re-deriving their basic features.
domain assumption Inner functions and the associated inner projections are well-defined bounded operators
Central objects of study whose properties are taken from prior literature.

pith-pipeline@v0.9.0 · 5391 in / 1284 out tokens · 87260 ms · 2026-05-08T09:35:03.560585+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

29 extracted references

[1]

Ahern and D.N

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

1969
[2]

Axler, S.Y

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

1978
[3]

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), 17 pp

1948
[4]

C. A. Berger, L. A. Coburn and A. Lebow, Representation and index theory for C ∗-algebras generated by commuting isometries, J. Functional Analysis 27 (1978), no. 1, 51–99

1978
[5]

Bickel and C

K. Bickel and C. Liaw, Properties of Beurling-type submodules via Agler decompositions, J. Funct. Anal. 272 (2017), no. 1, 83–111

2017
[6]

Böttcher and I

A. Böttcher and I. M. Spitkovsky, A gentle guide to the basics of two projections theory , Linear Algebra and its Applications 432 (2010), no. 6, 1412–1459

2010
[7]

Chu, Compact product of Hankel and Toeplitz operators on the Hardy space , Indiana University Mathematics Journal (2015), 973–982

C. Chu, Compact product of Hankel and Toeplitz operators on the Hardy space , Indiana University Mathematics Journal (2015), 973–982

2015
[8]

Davis, Separation of two linear subspaces , Acta Scientiarum Mathematicarum (Szeged) 19 (1958), 172–187

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

1958
[9]

Debnath, D

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

2024
[10]

K. D. Deepak, D. K. Pradhan and J. Sarkar, Partially isometric Toeplitz operators on the polydisc, Bull. Lond. Math. Soc. 54 (2022), no. 4, 1350–1362

2022
[11]

X. H. Ding, Products of Toeplitz operators on the polydisk , Integral Equations Operator Theory 45 (2003), no. 4, 389–403

2003
[12]

Dixmier, Position relative de deux variétés linéaires fermées dans un espace de Hilbert , Revue Scien- tifique 86 (1948), 387–399

J. Dixmier, Position relative de deux variétés linéaires fermées dans un espace de Hilbert , Revue Scien- tifique 86 (1948), 387–399. 12

1948
[13]

R. G. Douglas, Banach algebra techniques in the theory of Toeplitz operators , CBMS, vol. 15, A.M.S, Providence, 1973

1973
[14]

J. B. Garnett, Bounded Analytic Functions , Academic Press, New York, 1981

1981
[15]

P. B. Gorkin, Singular functions and division in H ∞ + C, Proc. Amer. Math. Soc. 92 (1984), no. 2, 268–270

1984
[16]

C. J. Guillory and D. E. Sarason, Division in H ∞ + C, Michigan Math. J. 28 (1981), no. 2, 173–181

1981
[17]

K. Y. Guo, Defect operators, defect functions and defect indices for analytic submodules, J. Funct. Anal. 213 (2004), no. 2, 380–411

2004
[18]

Guo and P.H

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

2007
[19]

Guo and P.H

K.Y. Guo and P.H. Wang, Essentially normal Hilbert modules and K-homology. III. Homogenous quo- tient modules of Hardy modules on the bidisk, Sci. China Ser. A 50 (2007), no.3, 387–411

2007
[20]

K. Y. Guo and R. Yang, The core function of submodules over the bidisk, Indiana Univ. Math. J. 53 (2004), no. 1, 205–222

2004
[21]

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

1969
[22]

K. M. Hoffman, Bounded analytic functions and Gleason parts, Ann. of Math. (2) 86 (1967), 74–111

1967
[23]

K. J. Izuchi, Outer and inner vanishing measures and division in H ∞ + C, Rev. Mat. Iberoamericana 18 (2002), no. 3, 511–540

2002
[24]

Rudin, Function theory in polydiscs , Benjamin, New York, 1969

W. Rudin, Function theory in polydiscs , Benjamin, New York, 1969

1969
[25]

Rudin, Function Theory in the unit ball of Cn, Springer Verlag, 1980

W. Rudin, Function Theory in the unit ball of Cn, Springer Verlag, 1980

1980
[26]

Sarason, Generalized interpolation in H ∞, Transactions of the American Mathematical Society 127 (1967), no

D. Sarason, Generalized interpolation in H ∞, Transactions of the American Mathematical Society 127 (1967), no. 2, 179–203

1967
[27]

P. H. Wang and Z. Zhu, Fredholm index of Toeplitz pairs with H ∞ symbols, Canad. Math. Bull. 68 (2025), no. 1, 166–176

2025
[28]

Yang, The core operator and congruent submodules, J

R. Yang, The core operator and congruent submodules, J. Funct. Anal. 228 (2005), no. 2, 469–489

2005
[29]

Yang, Operator theory in the Hardy space over the bidisk

R. Yang, Operator theory in the Hardy space over the bidisk. II, Integral Equations Operator Theory 42 (2002), no. 1, 99–124. School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, Peo- ple’s Republic of China Email address : 1196358033@qq.com School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, Peo- p...

2002

[1] [1]

Ahern and D.N

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

1969

[2] [2]

Axler, S.Y

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

1978

[3] [3]

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), 17 pp

1948

[4] [4]

C. A. Berger, L. A. Coburn and A. Lebow, Representation and index theory for C ∗-algebras generated by commuting isometries, J. Functional Analysis 27 (1978), no. 1, 51–99

1978

[5] [5]

Bickel and C

K. Bickel and C. Liaw, Properties of Beurling-type submodules via Agler decompositions, J. Funct. Anal. 272 (2017), no. 1, 83–111

2017

[6] [6]

Böttcher and I

A. Böttcher and I. M. Spitkovsky, A gentle guide to the basics of two projections theory , Linear Algebra and its Applications 432 (2010), no. 6, 1412–1459

2010

[7] [7]

Chu, Compact product of Hankel and Toeplitz operators on the Hardy space , Indiana University Mathematics Journal (2015), 973–982

C. Chu, Compact product of Hankel and Toeplitz operators on the Hardy space , Indiana University Mathematics Journal (2015), 973–982

2015

[8] [8]

Davis, Separation of two linear subspaces , Acta Scientiarum Mathematicarum (Szeged) 19 (1958), 172–187

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

1958

[9] [9]

Debnath, D

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

2024

[10] [10]

K. D. Deepak, D. K. Pradhan and J. Sarkar, Partially isometric Toeplitz operators on the polydisc, Bull. Lond. Math. Soc. 54 (2022), no. 4, 1350–1362

2022

[11] [11]

X. H. Ding, Products of Toeplitz operators on the polydisk , Integral Equations Operator Theory 45 (2003), no. 4, 389–403

2003

[12] [12]

Dixmier, Position relative de deux variétés linéaires fermées dans un espace de Hilbert , Revue Scien- tifique 86 (1948), 387–399

J. Dixmier, Position relative de deux variétés linéaires fermées dans un espace de Hilbert , Revue Scien- tifique 86 (1948), 387–399. 12

1948

[13] [13]

R. G. Douglas, Banach algebra techniques in the theory of Toeplitz operators , CBMS, vol. 15, A.M.S, Providence, 1973

1973

[14] [14]

J. B. Garnett, Bounded Analytic Functions , Academic Press, New York, 1981

1981

[15] [15]

P. B. Gorkin, Singular functions and division in H ∞ + C, Proc. Amer. Math. Soc. 92 (1984), no. 2, 268–270

1984

[16] [16]

C. J. Guillory and D. E. Sarason, Division in H ∞ + C, Michigan Math. J. 28 (1981), no. 2, 173–181

1981

[17] [17]

K. Y. Guo, Defect operators, defect functions and defect indices for analytic submodules, J. Funct. Anal. 213 (2004), no. 2, 380–411

2004

[18] [18]

Guo and P.H

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

2007

[19] [19]

Guo and P.H

K.Y. Guo and P.H. Wang, Essentially normal Hilbert modules and K-homology. III. Homogenous quo- tient modules of Hardy modules on the bidisk, Sci. China Ser. A 50 (2007), no.3, 387–411

2007

[20] [20]

K. Y. Guo and R. Yang, The core function of submodules over the bidisk, Indiana Univ. Math. J. 53 (2004), no. 1, 205–222

2004

[21] [21]

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

1969

[22] [22]

K. M. Hoffman, Bounded analytic functions and Gleason parts, Ann. of Math. (2) 86 (1967), 74–111

1967

[23] [23]

K. J. Izuchi, Outer and inner vanishing measures and division in H ∞ + C, Rev. Mat. Iberoamericana 18 (2002), no. 3, 511–540

2002

[24] [24]

Rudin, Function theory in polydiscs , Benjamin, New York, 1969

W. Rudin, Function theory in polydiscs , Benjamin, New York, 1969

1969

[25] [25]

Rudin, Function Theory in the unit ball of Cn, Springer Verlag, 1980

W. Rudin, Function Theory in the unit ball of Cn, Springer Verlag, 1980

1980

[26] [26]

Sarason, Generalized interpolation in H ∞, Transactions of the American Mathematical Society 127 (1967), no

D. Sarason, Generalized interpolation in H ∞, Transactions of the American Mathematical Society 127 (1967), no. 2, 179–203

1967

[27] [27]

P. H. Wang and Z. Zhu, Fredholm index of Toeplitz pairs with H ∞ symbols, Canad. Math. Bull. 68 (2025), no. 1, 166–176

2025

[28] [28]

Yang, The core operator and congruent submodules, J

R. Yang, The core operator and congruent submodules, J. Funct. Anal. 228 (2005), no. 2, 469–489

2005

[29] [29]

Yang, Operator theory in the Hardy space over the bidisk

R. Yang, Operator theory in the Hardy space over the bidisk. II, Integral Equations Operator Theory 42 (2002), no. 1, 99–124. School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, Peo- ple’s Republic of China Email address : 1196358033@qq.com School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, Peo- p...

2002