arxiv: 2604.20330 · v1 · submitted 2026-04-22 · 🧮 math.CV

Recognition: unknown

Composition operators and Rational Inner Functions on the bidisc: A geometric approach

Athanasios Beslikas

Pith reviewed 2026-05-09 22:57 UTC · model grok-4.3

classification 🧮 math.CV

keywords composition operatorsrational inner functionsbidiscweighted Bergman spacesboundednesslevel setsClark measuresPuiseux factorization

0 comments

The pith

Boundedness of composition operators on bidisc weighted Bergman spaces equals transversal level set intersections for non-smooth rational inner symbols, assuming high-order tangencies at singularities.

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

The paper develops a geometric criterion for boundedness of composition operators C_Φ on the spaces A²_β(D²) where β ranges over (-1,0]. For symbols Φ coming from rational inner functions or combinations with smooth maps, the operator is bounded if and only if the level sets intersect transversally, with the added condition that tangential meetings at singular points happen at high order. This provides a uniform result across the weight range and extends prior work on smooth symbols to the non-smooth setting by drawing on Clark measures and Puiseux factorizations of rational inner functions.

Core claim

The main discovery is that boundedness of C_Φ : A²_β(D²) → A²_β(D²) holds exactly when the level sets of Φ intersect transversally. Whenever a tangential intersection arises on the singular set, it must be of high order. The equivalence is uniform in β ∈ (-1,0] and applies to both RIF-induced maps and mixed RIF-smooth maps. The argument proceeds geometrically by invoking Clark measures for the rational inner functions and their Puiseux factorizations.

What carries the argument

The condition of transversal intersection of the level sets of the symbol, with high-order requirement for any tangential intersections at singularities, supported by Clark measures and Puiseux factorizations.

If this is right

This gives a uniform boundedness criterion for all β in (-1,0].
The criterion applies to both pure RIF symbols and mixed RIF-smooth symbols.
It extends the characterization of Bayart and Kosiński to non-smooth self-maps of the bidisc.
Boundedness reduces to a checkable geometric property of level set intersections.

Where Pith is reading between the lines

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

The geometric method could be adapted to study composition operators on other function spaces or domains.
Refining the notion of high-order tangential intersections might yield sharper conditions or classifications.
Similar techniques may help analyze the essential norms or compactness of these operators.

Load-bearing premise

The requirement that tangential intersections at singularities be of high order, along with the applicability of known results on Clark measures and Puiseux factorizations to the rational inner functions involved.

What would settle it

Construction of a specific rational inner function inducing a bounded composition operator despite a low-order tangential intersection at a singularity, or an unbounded operator with only transversal intersections.

Figures

Figures reproduced from arXiv: 2604.20330 by Athanasios Beslikas.

**Figure 1.** Figure 1: A case in which Cα1 (ϕ1) (left) and Cα2 (ϕ2) (right) share common vertical and horizontal line. The composition operator in such a case is not bounded [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗

**Figure 2.** Figure 2: A case in which Cα1 (ϕ1) (left) and Cα2 (ϕ2) (right) share a curve (antidiagonal), γ = (e it, e−it) ⊂ T 2 and a common vertical line. The composition operator in such a case is also not bounded. 8 [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗

read the original abstract

We study composition operators acting on the weighted Bergman spaces on the bidisc, i.e. $C_{\Phi}:A^2_{\beta}(\mathbb{D}^2)\to A^2_{\beta}(\mathbb{D}^2)$ where $\Phi$ is induced by rational inner functions (RIFs) or a RIF and a smooth function (mixed case). Our approach is geometric. Our main result is a uniform criterion for all $\beta\in(-1,0]$ that can be summarized as follows: Boundedness of the composition operator is equivalent to transversal intersection of the level sets for non-smooth symbols, under the assumption that if any tangential intersection occurs on the singularity it must be of high order. This extends the characterization of Bayart-Kosi\'nski to the non-smooth self maps of the bidisc. To reach our conclusions, we utilize results obtained by Anderson, Bergqvist, Bickel, Cima and Sola on Clark measures associated to RIFs and Puiseux factorizations.

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 geometric boundedness criterion for composition operators by RIFs on weighted bidisc Bergman spaces, extending Bayart-Kosiński, but the high-order tangential contact assumption is stated without derivation or uniform verification.

read the letter

The main takeaway is that this work supplies a uniform geometric test for boundedness of C_Φ on A²_β(D²) when Φ is a rational inner function or a mixed RIF-smooth map, for all β in (-1,0]. Boundedness holds precisely when level sets intersect transversally, provided any tangential contact at singularities is high order. It extends the Bayart-Kosiński result to non-smooth symbols by importing Clark measures and Puiseux factorizations from Anderson-Bergqvist-Bickel-Cima-Sola and applying them consistently across the weight range and both pure and mixed cases. That reuse is the clearest strength: it avoids reinventing the factorization machinery and gives a single statement that covers the weighted setting without case-by-case adjustments. The geometric language on level sets also offers a clean way to visualize the condition. The soft spot is exactly the high-order assumption. It appears as a prerequisite rather than something proved from the geometric analysis or checked against the cited external results for every symbol and every β. If a low-order tangential contact exists at a singularity, the equivalence between the geometric condition and operator boundedness can fail while the factorization still holds, so the criterion is incomplete until that gap is closed. The abstract supplies no proof sketch or explicit verification, which makes the central claim hard to assess at present. This is narrow but targeted work for people already working on composition operators and function theory on the bidisc. A reader who wants geometric criteria or needs to handle non-smooth symbols in weighted spaces will find the statement useful as a starting point, though the limited scope and the unverified assumption keep it from being broadly applicable. The citations look appropriate and non-circular. It deserves a serious referee to check whether the proofs actually establish the high-order condition uniformly or whether the assumption can be removed.

Referee Report

2 major / 2 minor

Summary. The paper develops a geometric approach to boundedness of composition operators C_Φ induced by rational inner functions (RIFs) or mixed RIF-smooth symbols on the weighted Bergman spaces A²_β(D²) for β ∈ (-1,0]. The central claim is that boundedness is equivalent to transversal intersection of the level sets of the symbol, provided that any tangential intersection at a singularity is of sufficiently high order; this extends the Bayart-Kosiński characterization to non-smooth self-maps of the bidisc and relies on cited results of Anderson-Bergqvist-Bickel-Cima-Sola concerning Clark measures and Puiseux factorizations of RIFs.

Significance. If the high-order assumption can be verified uniformly and the geometric criterion is shown to be equivalent without circularity, the result would supply a concrete, checkable test for operator boundedness on these spaces that applies uniformly across the indicated range of β and to both pure RIF and mixed symbols. The use of Clark measures and Puiseux series to control contact orders at singularities is a natural bridge between function-theoretic and geometric data.

major comments (2)

[Main theorem / §3-4] Main theorem (presumably §3 or §4): the stated equivalence between boundedness of C_Φ and transversal level-set intersection is conditioned on the unproven prerequisite that 'if any tangential intersection occurs on the singularity it must be of high order.' No derivation of this order threshold from the geometric level-set analysis, nor explicit verification via the cited Clark-measure/Puiseux results, is supplied for the full range β ∈ (-1,0] or for mixed symbols. If a low-order tangential contact exists, the geometric condition can fail to imply boundedness while the external factorization still holds, rendering the criterion incomplete.
[§2] §2 (preliminaries on Clark measures and Puiseux factorizations): the manuscript invokes the Anderson-Bergqvist-Bickel-Cima-Sola theorems but does not include an explicit check that the contact order at singular points meets the high-order threshold uniformly for the symbols under consideration. This verification is load-bearing for the claimed equivalence.

minor comments (2)

[Abstract / Introduction] The abstract and introduction should clarify whether the high-order assumption is proved in the paper or remains an external hypothesis; the current phrasing leaves this ambiguous.
[§1] Notation for the weighted spaces A²_β(D²) and the precise definition of 'transversal intersection' for non-smooth symbols should be fixed early and used consistently.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments correctly identify that the high-order tangential intersection assumption requires explicit justification and verification to make the main criterion complete and non-circular. We will revise the paper to address both points by adding the necessary derivations and checks.

read point-by-point responses

Referee: [Main theorem / §3-4] Main theorem (presumably §3 or §4): the stated equivalence between boundedness of C_Φ and transversal level-set intersection is conditioned on the unproven prerequisite that 'if any tangential intersection occurs on the singularity it must be of high order.' No derivation of this order threshold from the geometric level-set analysis, nor explicit verification via the cited Clark-measure/Puiseux results, is supplied for the full range β ∈ (-1,0] or for mixed symbols. If a low-order tangential contact exists, the geometric condition can fail to imply boundedness while the external factorization still holds, rendering the criterion incomplete.

Authors: We agree that the high-order condition is stated as a prerequisite without a self-contained derivation or verification in the current manuscript. The geometric analysis in §§3-4 establishes that transversal intersections yield boundedness of C_Φ, while low-order tangential contacts at singularities can produce unbounded operators even when the cited factorization holds. In revision we will add an explicit derivation of the minimal contact order threshold directly from the level-set estimates (using the weighted Bergman norm for β ∈ (-1,0]), followed by a uniform verification that this threshold is attained for all RIFs and mixed symbols under consideration. The verification will invoke the Puiseux factorization and Clark-measure results of Anderson-Bergqvist-Bickel-Cima-Sola in a dedicated lemma in §3, ensuring the equivalence is complete and free of circularity. revision: yes
Referee: [§2] §2 (preliminaries on Clark measures and Puiseux factorizations): the manuscript invokes the Anderson-Bergqvist-Bickel-Cima-Sola theorems but does not include an explicit check that the contact order at singular points meets the high-order threshold uniformly for the symbols under consideration. This verification is load-bearing for the claimed equivalence.

Authors: We acknowledge that §2 currently cites the theorems without performing the explicit uniform check for contact orders. In the revised manuscript we will expand the preliminaries with a short proposition that applies the Anderson-Bergqvist-Bickel-Cima-Sola results on Puiseux series and Clark measures to the specific class of rational inner functions and mixed symbols appearing in the paper. This will confirm that the tangential contact orders at singularities satisfy the high-order threshold uniformly for the full range β ∈ (-1,0], thereby making the load-bearing step explicit and supporting the main theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation conditions on explicit assumption and relies on independent external results.

full rationale

The paper states its main boundedness criterion explicitly 'under the assumption that if any tangential intersection occurs on the singularity it must be of high order' and invokes Clark measures and Puiseux factorizations from the independent work of Anderson, Bergqvist, Bickel, Cima and Sola. No self-citations appear in the load-bearing steps, no parameters are fitted then renamed as predictions, and no ansatz or uniqueness result is smuggled via prior author work. The geometric level-set analysis therefore remains self-contained against these external benchmarks, with the assumption serving as a transparent prerequisite rather than a hidden definitional reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of rational inner functions, Clark measures, and level-set geometry in the bidisc; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Rational inner functions admit Puiseux factorizations and associated Clark measures with the properties established in the cited works of Anderson et al.
Invoked to reach conclusions about level-set intersections.
domain assumption Transversal intersection of level sets controls boundedness of composition operators on weighted Bergman spaces for β in (-1,0].
Core geometric assumption underlying the equivalence.

pith-pipeline@v0.9.0 · 5474 in / 1347 out tokens · 39887 ms · 2026-05-09T22:57:51.447094+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Agler and J

J. Agler and J. E. McCarthy,Pick interpolation and Hilbert function spaces, Graduate Studies in Math- ematics, Vol.44, American Mathematical Society, Providence, RI, 2002. MR1774853

2002
[2]

Agler and J

J. Agler and J. E. McCarthy,Distinguished varieties, Acta Math.194(2005), no. 2, 133–153. MR 2231339

2005
[3]

Agler and J

J. Agler and J. E. McCarthy,Nevanlinna–Pick interpolation on the bidisk, J. Reine Angew. Math.506 (1999), 191–204. MR1665697

1999
[4]

J. T. Anderson, L. Bergqvist, K. Bickel, J. A. Cima, and A. A. Sola,Clark measures for rational inner functions. II. General bidegrees and higher dimensions, Ark. Mat.62(2024), no. 2, 331–368. MR 4816871

2024
[5]

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), no. 7, 1969–2003. MR2756146

2011
[6]

Bayart,Composition operators on the Hardy space of the tridisc, to appear in Indiana Univ

F. Bayart,Composition operators on the Hardy space of the tridisc, to appear in Indiana Univ. Math. J. MR unavailable
[7]

Bayart and A

F. Bayart and A. Dorval,Composition operators on weighted Bergman spaces of the polydisc, preprint,
[8]

MR unavailable

doi:10.48550/arXiv.2601.19308. MR unavailable

work page doi:10.48550/arxiv.2601.19308
[9]

Beslikas,Characterizing the RIFs that induce bounded composition operators on the Bergman space of the bidisc, Concrete Operators13(2026), no

A. Beslikas,Characterizing the RIFs that induce bounded composition operators on the Bergman space of the bidisc, Concrete Operators13(2026), no. 1, Article 20250018. doi:10.1515/conop-2025-0018. MR unavailable

work page doi:10.1515/conop-2025-0018 2026
[10]

Beslikas,Composition operators and rational inner functions on the bidisc, Proc

A. Beslikas,Composition operators and rational inner functions on the bidisc, Proc. Amer. Math. Soc. 153(2025), no. 8, 3491–3502. MR unavailable

2025
[11]

On the membership of two-variable Rational Inner Functions in spaces of Dirichlet-type

A. Beslikas and A. Sola,On the membership of two-variable rational inner functions in spaces of Dirichlet-type, preprint, 2025. doi:10.48550/arXiv.2512.17388. MR unavailable

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2512.17388 2025
[12]

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

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

1949
[13]

S.-Y. A. Chang,Carleson measure on the bi-disc, Ann. of Math. (2)109(1979), no. 3, 613–620. MR unavailable

1979
[14]

Bickel, J

K. Bickel, J. A. Cima, and A. A. Sola,Clark measures for rational inner functions, Michigan Math. J. 73(2024), no. 5, 1021–1057. MR unavailable

2024
[15]

Bickel and G

K. Bickel and G. Knese,Inner functions on the bidisk and associated Hilbert spaces, J. Funct. Anal.265 (2013), no. 11, 2753–2790. MR3096989

2013
[16]

Bickel, G

K. Bickel, G. Knese, J. E. Pascoe, and A. A. Sola,Local theory of stable polynomials and bounded rational functions of several variables, Ann. Polon. Math.133(2024), no. 2, 95–169. MR4839351

2024
[17]

Bickel, J

K. Bickel, J. E. Pascoe, and A. A. Sola,Derivatives of rational inner functions: geometry of singularities and integrability at the boundary, Proc. Lond. Math. Soc. (3)116(2018), no. 2, 281–329. MR unavailable

2018
[18]

Bickel, J

K. Bickel, J. E. Pascoe, and A. A. Sola,Level curve portraits of rational inner functions, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)21(2020), 449–494. MR unavailable

2020
[19]

Bickel, J

K. Bickel, J. E. Pascoe, and A. A. Sola,Singularities of rational inner functions in higher dimensions, Amer. J. Math.144(2022), no. 4, 1115–1157. MR unavailable

2022
[20]

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. Theory97(2025), Article 21. MR unavailable

2025
[21]

Fulton,Algebraic curves, Advanced Book Classics, Addison–Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989

W. Fulton,Algebraic curves, Advanced Book Classics, Addison–Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989. Reprint of the 1969 original; notes written with the collabo- ration of Richard Weiss. MR1042981. 29

1989
[22]

Hedenmalm, B

H. Hedenmalm, B. Korenblum, and K. Zhu,Theory of Bergman spaces, Graduate Texts in Mathematics, Vol.199, Springer, New York, 2000. MR unavailable

2000
[23]

Jafari,On bounded and compact composition operators in polydiscs, Can

F. Jafari,On bounded and compact composition operators in polydiscs, Can. J. Math.42(1990), no. 5, 869–889. MR unavailable

1990
[24]

Knese,Rational inner functions in the Schur–Agler class of the polydisk, Publ

G. Knese,Rational inner functions in the Schur–Agler class of the polydisk, Publ. Mat.55(2011), no. 2, 343–357. MR unavailable

2011
[25]

Knese,Integrability and regularity of rational functions, Proc

G. Knese,Integrability and regularity of rational functions, Proc. Lond. Math. Soc. (3)111(2015), no. 6, 1261–1306. MR unavailable

2015
[26]

Knese,Boundary local integrability of rational functions in two variables, to appear in Trans

G. Knese,Boundary local integrability of rational functions in two variables, to appear in Trans. Amer. Math. Soc. doi:10.48550/arXiv.2404.05042. MR unavailable

work page doi:10.48550/arxiv.2404.05042
[27]

H. Koo, M. Stessin, and K. Zhu,Composition operators on the polydisc induced by smooth symbols, J. Funct. Anal.254(2008), no. 11, 2911–2925. MR unavailable

2008
[28]

Kosi´ nski,Three-point Nevanlinna–Pick problem in the polydisc, Proc

L. Kosi´ nski,Three-point Nevanlinna–Pick problem in the polydisc, Proc. Lond. Math. Soc. (3)111 (2015), no. 4, 887–910. MR3407188

2015
[29]

Kosi´ nski,Composition operators on the polydisc, J

L. Kosi´ nski,Composition operators on the polydisc, J. Funct. Anal.284(2023), no. 5, Article 109801. MR unavailable

2023
[30]

Kummert,Synthesis of two-dimensional losslessm-ports with prescribed scattering matrix, Circuits Syst

A. Kummert,Synthesis of two-dimensional losslessm-ports with prescribed scattering matrix, Circuits Syst. Signal Process.8(1989), no. 1, 97–119. MR unavailable

1989
[31]

Pfister, ¨Uber das Koeffizientenproblem der beschr¨ ankten Funktionen von zwei Ver¨ anderlichen, Math

A. Pfister, ¨Uber das Koeffizientenproblem der beschr¨ ankten Funktionen von zwei Ver¨ anderlichen, Math. Ann.146(1962), 249–262. MR unavailable

1962
[32]

Rudin,Function theory in polydiscs, W

W. Rudin,Function theory in polydiscs, W. A. Benjamin, New York–Amsterdam, 1969. MR0255841

1969
[33]

J. H. Shapiro,Composition operators and classical function theory, Universitext, Springer, New York,
[34]

A. A. Sola and R. Tully-Doyle,Dynamics of low-degree rational inner skew-products onT 2, Ann. Polon. Math.128(2022), no. 3, 263–285. doi:10.4064/ap211108-28-2. MR unavailable. Doctoral School of Exact and Natural Studies, Institute of Mathematics, Faculty of Mathematics and Computer Science, Jagiellonian University, Lojasiewicza 6, PL30348, Cra- cow, Pola...

work page doi:10.4064/ap211108-28-2 2022