Compactness of composition operator on weighted Bergman spaces of the polydisc

Anne Dorval (LMBP)

arxiv: 2606.29969 · v1 · pith:4IHHS2DYnew · submitted 2026-06-29 · 🧮 math.FA

Compactness of composition operator on weighted Bergman spaces of the polydisc

Anne Dorval (LMBP) This is my paper

Pith reviewed 2026-06-30 04:19 UTC · model grok-4.3

classification 🧮 math.FA

keywords composition operatorsweighted Bergman spacespolydisccompactnessdistinguished boundaryboundedness

0 comments

The pith

Compactness of composition operators on polydisc Bergman spaces can be checked using only the distinguished boundary.

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

The paper establishes a compactness criterion for composition operators induced by smooth symbols on weighted Bergman spaces of the polydisc that depends only on the operator's behavior on the distinguished boundary. It then derives simple geometric conditions that characterize boundedness and compactness in the spaces A^2_beta of the d-dimensional polydisc when beta exceeds d-3. A reader would care because these reductions turn a problem over a full domain into one over a lower-dimensional set, making verification more direct.

Core claim

A compactness criterion that only requires knowing what happens on the distinguished boundary, together with simple geometric characterizations of boundedness and compactness on A^2_beta(D^d) for beta > d-3.

What carries the argument

The compactness criterion that reduces the question to the distinguished boundary.

If this is right

Compactness verification reduces to checking behavior on the distinguished boundary.
For beta > d-3, boundedness and compactness are decided by explicit geometric properties of the symbol.
The same boundary-only test applies to the full family of weighted spaces under study.

Where Pith is reading between the lines

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

The boundary criterion might still hold after relaxing smoothness to a milder regularity condition.
The geometric characterizations could be compared directly with Carleson-type measures in several complex variables.

Load-bearing premise

The symbol is smooth.

What would settle it

A smooth symbol for which the distinguished-boundary condition holds but the induced composition operator fails to be compact on A^2_beta(D^d).

read the original abstract

We study composition operators induced by a smooth symbol between weighted Bergman spaces of the polydisc. We first prove a compactness criterion that only requires knowing what happens on the distinguished boundary. Then we prove simple geometric characterizations of boundedness and compactness on some $A^2_\beta(\mathbb{D}^d)$, particularly for $\beta > d-3$.

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 compactness criterion for composition operators on polydisc weighted Bergman spaces that reduces to distinguished-boundary behavior, plus geometric characterizations limited to beta > d-3.

read the letter

The main thing here is a compactness criterion for these composition operators that only needs the distinguished boundary, followed by geometric characterizations of boundedness and compactness for beta bigger than d-3.

The paper does well by focusing on smooth symbols and providing these characterizations in a direct way. The boundary reduction could be a useful tool if the details check out, and the geometric conditions might make verification simpler in the cases where they apply.

The soft spots are the weight restriction and the smoothness assumption. The results stop at beta > d-3, so they don't address lower weights where things might behave differently. Smoothness of the symbol is a reasonable starting point but narrows the reach. Without the full proofs it's tough to assess how robust the arguments are, but nothing in the abstract suggests a problem with circularity or overreach.

This is for specialists in operator theory on several complex variables. A reader already working on Bergman spaces or composition operators on polydiscs would get the most out of it.

It deserves peer review because the claims are precise and the topic is established enough that experts can evaluate the new criterion. I don't see any major red flags in the stated claims. The stress test didn't turn up inconsistencies either. If the proofs are clean, this could be a useful reference for people extending these ideas to other domains or weights. The citation pattern isn't visible from the abstract, but assuming it builds on standard work in the field, that should be fine.

Referee Report

0 major / 1 minor

Summary. The paper examines composition operators C_φ induced by smooth symbols φ on weighted Bergman spaces A²_β(𝔻^d) of the polydisc. It establishes a compactness criterion that depends only on the behavior of the operator on the distinguished boundary, followed by geometric characterizations of boundedness and compactness that hold specifically when β > d-3.

Significance. If the proofs are correct, the boundary-only compactness criterion would simplify verification in several complex variables, and the geometric conditions for β > d-3 would give concrete, checkable criteria for these operators on a range of weighted spaces.

minor comments (1)

[Abstract] The abstract refers to 'some A²_β(𝔻^d)' without specifying the precise range of β or the exact spaces beyond the condition β > d-3; this should be clarified in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The report notes the potential significance of the boundary-only compactness criterion and the geometric characterizations for β > d-3, conditional on the proofs being correct. No specific major comments or points of criticism are provided in the report. We are prepared to clarify any aspects of the proofs if the referee has particular questions.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract and reader's summary describe proofs of a compactness criterion (depending on distinguished-boundary behavior) and geometric characterizations of boundedness/compactness for β > d-3 on A²_β(𝔻^d) with smooth symbols. No equations, derivations, self-citations, fitted parameters, or ansatzes are visible. No load-bearing step reduces to its own inputs by construction, self-definition, or renaming. The derivation chain cannot be walked because none is exhibited; the paper is self-contained against external benchmarks in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities used in the proofs.

pith-pipeline@v0.9.1-grok · 5569 in / 1009 out tokens · 62611 ms · 2026-06-30T04:19:54.031936+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 5 canonical work pages · 1 internal anchor

[1]

Bayart, Composition operators on the polydisk induced by affine maps , J

F. Bayart, Composition operators on the polydisk induced by affine maps , J. Funct. Anal. 260 (2011), 1969–2003

2011
[2]

, Composition operators on the Hardy space of the tridisc , Indiana U. Math. J. to appear (2024), arXiv:2312.02565

work page arXiv 2024
[3]

Bayart and A

F. Bayart and A. Dorval, Composition operators on weighted Bergman spaces of the polydisc , preprint (2026), arXiv:2601.19308

work page arXiv 2026
[4]

Beslikas, A note on composition operators on the disc and bidisc , Canadian Math

A. Beslikas, A note on composition operators on the disc and bidisc , Canadian Math. Bull. to appear (2025)

2025
[5]

, Composition operators and Rational Inner Functions on the bidisc , Proc. Am. Math. Soc. 153 (2025), 3491–3502, arXiv:2412.16593

work page arXiv 2025
[6]

, Composition operators and Rational Inner Functions on the bidisc II: boundedness between two different Bergman spaces, preprint (2025), arXiv:2509.04366

work page arXiv 2025
[7]

, Composition operators and Rational Inner Functions on the bidisc : a geometric approach , preprint (2026), arXiv:2604.20330v1

work page internal anchor Pith review Pith/arXiv arXiv 2026
[8]

Clos, ˇZ

T.G. Clos, ˇZ. ˇCuˇ ckovi´ c, and S S ¸ahuto˘ glu,Compactness of composition operators on the Bergman space of the bidisc, Integr. Equ. Oper. Theory 97 (2025)

2025
[9]

Cowen and B

C. Cowen and B. Maccluer, Composition operators on spaces of analytic functions , CRC Press, 1995

1995
[10]

Jafari, Carleson measures in Hardy and weighted Bergman spaces of polydiscs , Proc

F. Jafari, Carleson measures in Hardy and weighted Bergman spaces of polydiscs , Proc. Amer. Math. Soc. 112 (1991), 771–781

1991
[11]

L Kosi´ nski,Composition operators on the polydisc , J. Funct. Anal. 284 (2023), 109801

2023
[12]

Shapiro, Composition Operators and Classical Function Theory , Springer, 1993

J.H. Shapiro, Composition Operators and Classical Function Theory , Springer, 1993

1993
[13]

Stessin and K

M. Stessin and K. Zhu, Composition operators induced by symbols defined on a polydisk , J. Math. Anal. Appl. 319 (2006), 815–829

2006
[14]

, Composition operators on embedded disks, J. Op. Th. 56 (2006), 423–449. Laboratoire de Math´ematiques Blaise Pascal UMR 6620 CNRS, Universit ´e Clermont Auvergne, Campus universitaire des C´ezeaux, 3 place Vasarely, 63178 Aubi`ere Cedex, France. Email address: anne.dorval@uca.fr

2006

[1] [1]

Bayart, Composition operators on the polydisk induced by affine maps , J

F. Bayart, Composition operators on the polydisk induced by affine maps , J. Funct. Anal. 260 (2011), 1969–2003

2011

[2] [2]

, Composition operators on the Hardy space of the tridisc , Indiana U. Math. J. to appear (2024), arXiv:2312.02565

work page arXiv 2024

[3] [3]

Bayart and A

F. Bayart and A. Dorval, Composition operators on weighted Bergman spaces of the polydisc , preprint (2026), arXiv:2601.19308

work page arXiv 2026

[4] [4]

Beslikas, A note on composition operators on the disc and bidisc , Canadian Math

A. Beslikas, A note on composition operators on the disc and bidisc , Canadian Math. Bull. to appear (2025)

2025

[5] [5]

, Composition operators and Rational Inner Functions on the bidisc , Proc. Am. Math. Soc. 153 (2025), 3491–3502, arXiv:2412.16593

work page arXiv 2025

[6] [6]

, Composition operators and Rational Inner Functions on the bidisc II: boundedness between two different Bergman spaces, preprint (2025), arXiv:2509.04366

work page arXiv 2025

[7] [7]

, Composition operators and Rational Inner Functions on the bidisc : a geometric approach , preprint (2026), arXiv:2604.20330v1

work page internal anchor Pith review Pith/arXiv arXiv 2026

[8] [8]

Clos, ˇZ

T.G. Clos, ˇZ. ˇCuˇ ckovi´ c, and S S ¸ahuto˘ glu,Compactness of composition operators on the Bergman space of the bidisc, Integr. Equ. Oper. Theory 97 (2025)

2025

[9] [9]

Cowen and B

C. Cowen and B. Maccluer, Composition operators on spaces of analytic functions , CRC Press, 1995

1995

[10] [10]

Jafari, Carleson measures in Hardy and weighted Bergman spaces of polydiscs , Proc

F. Jafari, Carleson measures in Hardy and weighted Bergman spaces of polydiscs , Proc. Amer. Math. Soc. 112 (1991), 771–781

1991

[11] [11]

L Kosi´ nski,Composition operators on the polydisc , J. Funct. Anal. 284 (2023), 109801

2023

[12] [12]

Shapiro, Composition Operators and Classical Function Theory , Springer, 1993

J.H. Shapiro, Composition Operators and Classical Function Theory , Springer, 1993

1993

[13] [13]

Stessin and K

M. Stessin and K. Zhu, Composition operators induced by symbols defined on a polydisk , J. Math. Anal. Appl. 319 (2006), 815–829

2006

[14] [14]

, Composition operators on embedded disks, J. Op. Th. 56 (2006), 423–449. Laboratoire de Math´ematiques Blaise Pascal UMR 6620 CNRS, Universit ´e Clermont Auvergne, Campus universitaire des C´ezeaux, 3 place Vasarely, 63178 Aubi`ere Cedex, France. Email address: anne.dorval@uca.fr

2006