pith. sign in

arxiv: 2605.21279 · v1 · pith:TKM4D6AOnew · submitted 2026-05-20 · 🧮 math.FA · math.OA

Composition operators for holomorphic Lipschitz functions

Ver\'onica Dimant , Luis C. Garc\'ia-Lirola , Juan Guerrero-Viu , Anton\'in Proch\'azka This is my paper

Pith reviewed 2026-05-21 03:42 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords composition operatorsholomorphic Lipschitz functionsLipschitz-free spacesbounded approximation propertycompactnessBanach spacesoperator iteratesisomorphisms
0
0 comments X

The pith

For Banach spaces with the bounded approximation property, composition operators on holomorphic Lipschitz functions vanishing at the origin are characterized as adjoints of linear operators via free space linearization.

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

The paper establishes a characterization of composition operators on spaces of holomorphic Lipschitz functions defined on the open unit ball of complex Banach spaces, with a focus on functions vanishing at the origin. By linearizing the symbol using holomorphic Lipschitz-free spaces, these nonlinear operators are realized as adjoints of linear operators. This framework is particularly effective for spaces possessing the bounded approximation property, where the authors describe the operators and identify when they act as onto isomorphisms. The work also addresses compactness and weak compactness, showing they coincide in finite dimensions with a symbol-based characterization, and analyzes the convergence of operator iterates to zero when the symbol's supremum norm is less than one, extending some results to non-vanishing functions.

Core claim

The authors prove that composition operators on holomorphic Lipschitz functions vanishing at the origin can be realized as adjoints of linear operators between the associated holomorphic Lipschitz-free spaces. For Banach spaces with the bounded approximation property this leads to a characterization of the composition operators and the conditions under which they are onto isomorphisms. Compactness and weak compactness of these operators coincide in the finite-dimensional setting, where they are completely characterized by the symbol. The iterates converge to zero whenever the supremum norm of the symbol is less than one, and the results are extended to the non-vanishing case.

What carries the argument

The linearization of the composition symbol through holomorphic Lipschitz-free spaces, which represents the composition operator as the adjoint of a linear operator on these free spaces.

If this is right

  • The characterization holds for Banach spaces with the bounded approximation property.
  • Compactness and weak compactness coincide for composition operators in finite-dimensional spaces.
  • A complete characterization of compact composition operators is obtained in terms of the symbol in finite dimensions.
  • The iterates of the composition operator converge to zero if the supremum norm of the symbol is less than one.
  • Results on iterates and other properties extend to holomorphic Lipschitz functions not vanishing at the origin.

Where Pith is reading between the lines

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

  • The linearization approach may extend to composition operators on other types of holomorphic functions on Banach spaces.
  • These characterizations could inform the study of dynamical properties and fixed points of composition operators in infinite-dimensional holomorphy.
  • Similar free space techniques might apply to related operator classes like weighted composition operators or on different function spaces.

Load-bearing premise

The linearization of the symbol through the holomorphic Lipschitz-free spaces is valid and allows the composition operators to be expressed as adjoints of linear operators.

What would settle it

A concrete falsifier would be a Banach space with the bounded approximation property and a holomorphic symbol for which the induced composition operator on the space of holomorphic Lipschitz functions vanishing at the origin is not the adjoint of any linear operator between the corresponding free spaces.

Figures

Figures reproduced from arXiv: 2605.21279 by Anton\'in Proch\'azka, Juan Guerrero-Viu, Luis C. Garc\'ia-Lirola, Ver\'onica Dimant.

Figure 1
Figure 1. Figure 1: All downward implications are trivial. The only upward implication follows from the injectivity of ℓ∞. Clearly, when T fixes a complemented copy of Z, then T ∗ fixes a complemented copy of Z ∗ . The converse statement is true for Z = ℓ1. The following slightly stronger result is probably well known but we struggle to find a proper reference. Lemma 2.5. If T ∗ : X∗ → Y ∗ fixes a copy of c0 then T : Y → X fi… view at source ↗
read the original abstract

We study composition operators on spaces of holomorphic Lipschitz functions defined on the open unit ball of a complex Banach space. Our approach is based on the linearization of the symbol through the holomorphic Lipschitz-free spaces, which allow composition operators to be realized as adjoints of linear operators. For spaces with the bounded approximation property, we characterize composition operators between spaces of holomorphic Lipschitz functions vanishing at the origin and describe when composition operators are onto isomorphisms. We further investigate compactness and weak compactness properties of composition operators. In the finite-dimensional setting, compactness and weak compactness are shown to coincide, and a complete characterization is obtained in terms of the symbol. Finally, we analyze the asymptotic behavior of the iterates of composition operators, proving convergence to zero whenever the supremum norm of the symbol is less than one, and we extend several results to the case not vanishing at 0.

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 paper studies composition operators on spaces of holomorphic Lipschitz functions on the open unit ball of a complex Banach space. It employs linearization of the symbol via holomorphic Lipschitz-free spaces to realize composition operators as adjoints of linear operators. For Banach spaces possessing the bounded approximation property, the authors characterize composition operators between spaces of holomorphic Lipschitz functions vanishing at the origin and identify conditions under which these operators are onto isomorphisms. Additional results address compactness and weak compactness (coinciding in finite dimensions with a symbol-based characterization), asymptotic behavior of iterates (convergence to zero when the symbol has supremum norm less than one), and extensions to the non-vanishing-at-origin case.

Significance. If the characterizations and duality identifications hold, the work would advance the study of composition operators in infinite-dimensional holomorphic settings by adapting Lipschitz-free space techniques for linearization and adjoint realizations. The BAP-restricted characterizations, finite-dimensional compactness equivalence, and iterate convergence results could provide useful tools and benchmarks for related problems in functional analysis, particularly where approximation properties interact with holomorphic function spaces.

major comments (2)
  1. [§3] §3 (linearization construction): The claim that holomorphic Lipschitz-free spaces yield a dual isometrically equal to the space of holomorphic Lipschitz functions vanishing at the origin, allowing all bounded composition operators to be realized as adjoints, is load-bearing for the main characterizations. The argument invokes BAP for approximations but does not explicitly confirm that this suffices for the duality to be onto or for the induced free-space map to be well-defined without additional assumptions such as separability.
  2. [§5] §5, Theorem on onto isomorphisms: The description of when composition operators are onto isomorphisms depends on the adjoint realization from the free-space linearization. It is unclear whether the BAP hypothesis alone guarantees that the induced operator on the free space preserves the necessary surjectivity properties for all admissible symbols, or if hidden reflexivity conditions are implicitly used.
minor comments (2)
  1. [Preliminaries] The notation for the holomorphic Lipschitz seminorm and the precise definition of the free space in the preliminaries section could be expanded with an explicit formula to improve readability for readers unfamiliar with the Lipschitz-free space literature.
  2. [References] A few citations to foundational works on Lipschitz-free spaces and holomorphic function spaces on Banach spaces appear to be missing or incomplete in the references.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below, providing clarifications on the role of the bounded approximation property (BAP) and indicating revisions that will be incorporated to make the arguments more explicit.

read point-by-point responses

  1. Referee: [§3] §3 (linearization construction): The claim that holomorphic Lipschitz-free spaces yield a dual isometrically equal to the space of holomorphic Lipschitz functions vanishing at the origin, allowing all bounded composition operators to be realized as adjoints, is load-bearing for the main characterizations. The argument invokes BAP for approximations but does not explicitly confirm that this suffices for the duality to be onto or for the induced free-space map to be well-defined without additional assumptions such as separability.

    Authors: We appreciate the referee pointing out the need for greater explicitness in the linearization argument of §3. The holomorphic Lipschitz-free space is constructed so that its dual is isometrically isomorphic to the space of holomorphic Lipschitz functions vanishing at the origin precisely when the underlying Banach space has the BAP. The BAP supplies a net of finite-rank operators that approximate the identity uniformly on compact sets, which directly ensures that the duality pairing is surjective onto the dual without any separability assumption on the space. The induced map on the free space associated to a holomorphic Lipschitz symbol is well-defined because the symbol preserves the relevant Lipschitz seminorm by the very definition of the space. We will insert a short clarifying paragraph after the main duality statement in §3 that spells out these steps and confirms that BAP alone suffices. revision: yes

  2. Referee: [§5] §5, Theorem on onto isomorphisms: The description of when composition operators are onto isomorphisms depends on the adjoint realization from the free-space linearization. It is unclear whether the BAP hypothesis alone guarantees that the induced operator on the free space preserves the necessary surjectivity properties for all admissible symbols, or if hidden reflexivity conditions are implicitly used.

    Authors: We thank the referee for this observation on the surjectivity argument in §5. The proof that a composition operator is an onto isomorphism (under the stated conditions on the symbol) proceeds by showing that the corresponding operator on the free space is surjective. Surjectivity follows from the BAP by using the approximating net to verify that the range is both dense and closed; the argument never invokes reflexivity of the space or of the free space. We will revise the proof of the theorem to include an explicit lemma that isolates the use of BAP for the density and closed-range steps, thereby removing any ambiguity about hidden assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: standard linearization via free spaces yields independent characterization

full rationale

The paper's central claims rest on realizing composition operators as adjoints of linear maps on holomorphic Lipschitz-free spaces, then using the bounded approximation property to characterize boundedness, surjectivity, compactness, and iterates. This construction is a standard duality technique in Lipschitz and holomorphic function spaces; the resulting characterizations are derived from the universal property of the free space and BAP approximations rather than by redefining the target space in terms of the operators or fitting parameters to the conclusions. No self-definitional equations, fitted-input predictions, or load-bearing self-citations appear in the derivation chain. The argument remains externally falsifiable via explicit symbols and finite-dimensional reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the existence and properties of holomorphic Lipschitz-free spaces and on the bounded approximation property for the target spaces; no free parameters or new invented entities are indicated in the abstract.

axioms (2)
  • domain assumption The holomorphic Lipschitz-free spaces exist and allow linearization of composition operators as adjoints
    Invoked in the abstract as the foundational approach for all subsequent characterizations.
  • domain assumption The underlying Banach spaces possess the bounded approximation property
    Explicitly required for the characterization of composition operators and onto isomorphisms.

pith-pipeline@v0.9.0 · 5687 in / 1325 out tokens · 44482 ms · 2026-05-21T03:42:28.476239+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Abbar, C

    A. Abbar, C. Coine, C. Petitjean.Compact and weakly compact Lipschitz operators. Proc. Roy. Soc. Edinburgh Sect. A153(2023), no. 3, 1002–1020

    work page 2023

  2. [2]

    Albiac and N

    F. Albiac and N. J. Kalton.Topics in Banach space theory, Second edition, Grad. Texts in Math., 233 Springer, [Cham], 2016

    work page 2016

  3. [3]

    Arazy.An application of infinite-dimensional holomorphy to the geometry of Banach spaces

    J. Arazy.An application of infinite-dimensional holomorphy to the geometry of Banach spaces. Ge- ometrical aspects of functional analysis (1985/86), 122–150, Lecture Notes in Math., 1267, Springer, Berlin-New York, 1987

    work page 1985

  4. [4]

    Aron.Algebras of analytic functions on Banach spaces

    R. Aron.Algebras of analytic functions on Banach spaces. In Seminar of Mathematical Analysis: Proceedings, Universities of Malaga and Seville (Spain), September 2002-February 2003. Universidad de Sevilla, 2003. p. 41

    work page 2002

  5. [5]

    R. Aron, P. Berner.A Hahn-Banach extension theorem for analytic mappings. Bull. Soc. Math. France 106(1978), 3–24

    work page 1978

  6. [6]

    R. Aron, D. Carando, S. Lassalle, M. Maestre.Cluster values of holomorphic functions of bounded type. Trans. Am. Math. Soc.368(2016), no. 4, 2355–2369

    work page 2016

  7. [7]

    R. Aron, B. J. Cole, T. W. Gamelin.Spectra of algebras of analytic functions on a Banach space. J. Reine Angew. Math.415(1991), 51–93

    work page 1991

  8. [8]

    R. Aron, V. Dimant, L. C. Garc´ ıa-Lirola, M. Maestre.Linearization of holomorphic Lipschitz functions. Math. Nachr.297(2024), no. 8, 3024–3051

    work page 2024

  9. [9]

    R. Aron, J. Falc´ o, D. Garc´ ıa, M. Maestre.Analytic structure in fibers. Stud. Math.240(2018), 101–121

    work page 2018

  10. [10]

    R. Aron, P. Galindo, M. Lindstr¨ om.Compact homomorphisms between algebras of analytic functions. Studia Math.123(1997), no. 3, 235–247

    work page 1997

  11. [11]

    R. Aron, C. Herv´ es, M. Valdivia.Weakly continuous mappings on Banach spaces.J. Funct. Anal.52 (1983), 189-204

    work page 1983

  12. [12]

    Behrouzi, H

    F. Behrouzi, H. Mahyar.Compact endomorphisms of certain analytic Lipschitz algebras. Bull. Belg. Math. Soc. Simon Stevin12(2005), no. 2, 301–312

    work page 2005

  13. [13]

    Behrouzi, H

    S. Behrouzi, H. Mahyar.Fredholm weighted composition operators on analytic Lipschitz algebras. J. Math. Anal. Appl.551(2025), no. 1, Paper No. 129643, 15 pp

    work page 2025

  14. [14]

    Bessaga, A

    C. Bessaga, A. Pe lczy´ nski,On bases and unconditional convergence of series in Banach spaces. Studia Math.17(1958), 151–164

    work page 1958

  15. [15]

    Bonet, P

    J. Bonet, P. Doma´ nski, M. Lindstr¨ om.Essential norm and weak compactness of composition operators on weighted Banach spaces of analytic functions. Canad. Math. Bull.42(1999), no. 2, 139—148

    work page 1999

  16. [16]

    Bourgain.H ∞ is a Grothendieck space

    J. Bourgain.H ∞ is a Grothendieck space. Studia Math.75(1983), no. 2, 193–216

    work page 1983

  17. [17]

    M. G. Cabrera-Padilla, A. Jim´ enez-Vargas.A new approach on Lipschitz compact operators. Topology Appl.203(2016), 22–31

    work page 2016

  18. [18]

    Carando.A characterization of composition operators on algebras of analytic functions

    D. Carando.A characterization of composition operators on algebras of analytic functions. Proc. Edinb. Math. Soc. (2)51(2008), no. 2, 305–313

    work page 2008

  19. [19]

    Carando, D

    D. Carando, D. Garc´ ıa, M. Maestre, P. Sevilla-Peris.On the spectra of algebras of analytic functions. Topics in complex analysis and operator theory. Contemp. Math.561(2012) 165–198

    work page 2012

  20. [20]

    P. G. Casazza.Approximation properties. Handbook of the geometry of Banach spaces, Vol. I, 271–316, North-Holland, Amsterdam, 2001

    work page 2001

  21. [21]

    C. C. Cowen, C. Pommerenke.Inequalities for the angular derivative of an analytic function in the unit disk. J. London Math. Soc. (2)26(1982), no. 2, 271–289

    work page 1982

  22. [22]

    Defant, K

    A. Defant, K. Floret.Tensor norms and operator ideals. North Holland Mathematics Studies, 1993

    work page 1993

  23. [23]

    Defant, D

    A. Defant, D. Garc´ ıa, M. Maestre, P. Sevilla-Peris.Dirichlet Series and Holomorphic Functions in High Dimensions. New Mathematical Monographs, vol. 37, Cambridge University Press, 2019

    work page 2019

  24. [24]

    Dimant, S

    V. Dimant, S. Lassalle, M. Maestre.Fibers and Gleason parts for the maximal ideal space of Au(Bℓp). Banach J. Math. Anal.19(2025), no. 1

    work page 2025

  25. [25]

    R. G. Douglas.Banach algebra techniques in operator theory. Grad. Texts in Math., vol. 179. Springer- Verlag, New York, 1998

    work page 1998

  26. [26]

    Fabian, P

    M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, J. Pelant, V. Zizler,Functional Analysis and Infinite- Dimensional Geometry, CMS Books in Mathematics. Springer-Verlag New York 2001

    work page 2001

  27. [27]

    Fabian, P

    M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, V. Zizler,Banach space theory. Springer, New York 2011

    work page 2011

  28. [28]

    M. Fekete. ¨Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahlingen Koeffizienten. Math. Z.17(1923), 228–249. 42 V. DIMANT, L. C. GARC ´IA-LIROLA, J. GUERRERO-VIU, AND A. PROCH ´AZKA

    work page 1923

  29. [29]

    Garc´ ıa-S´ anchez, D

    E. Garc´ ıa-S´ anchez, D. de Hevia, P. Tradacete.Free objects in Banach space theory. RSME Springer Ser., 13. Springer, Cham, 2024, 100–124

    work page 2024

  30. [30]

    J. B. Garnett.Bounded analytic functions, Graduate Texts in Mathematics, vol. 236. Springer, New York, 2007, xiv+459 pp

    work page 2007

  31. [31]

    Godefroy, N

    G. Godefroy, N. Kalton.Lipschitz-free Banach spaces. Studia Math.159(2003), 121–141

    work page 2003

  32. [32]

    Gonzalo, J

    R. Gonzalo, J. A. Jaramillo.Compact polynomials between Banach spaces.Proc. R. Ir. Acad. Sec. A95 (1995), 213–226

    work page 1995

  33. [33]

    H´ ajek, M

    P. H´ ajek, M. Johanis.Smooth analysis in Banach spaces. Walter de Gruyter, 2014

    work page 2014

  34. [34]

    Jim´ enez-Vargas, M

    A. Jim´ enez-Vargas, M. Villegas-Vallecillos.Compact composition operators on noncompact Lipschitz spaces. J. Math. Anal. Appl.398(2013), no. 1, 221–229

    work page 2013

  35. [35]

    Kamowitz, S

    H. Kamowitz, S. Scheinberg.Some properties of endomorphisms of Lipschitz algebras. Studia Math.96 (1990) 61–67

    work page 1990

  36. [36]

    Kania, N

    T. Kania, N. J. Laustsen.Uniqueness of the maximal ideal of operators on the ℓp-sum of ℓn ∞ (n∈N ) for1< p <∞. Math. Proc. Camb. Philos. Soc.160(2016), no. 3, 413–421

    work page 2016

  37. [37]

    Lemay.Equivalences between certain properties of weighted Lipschitz operators

    M. Lemay.Equivalences between certain properties of weighted Lipschitz operators. Preprint, arXiv:2601.19355

    work page arXiv

  38. [38]

    Lindenstrauss, L

    J. Lindenstrauss, L. Tzafriri.Classical Banach spaces I. Springer 1996

    work page 1996

  39. [39]

    Mankiewicz.On extension of isometries in normed linear spaces

    P. Mankiewicz.On extension of isometries in normed linear spaces. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys.20(1972) 367–371

    work page 1972

  40. [40]

    Mujica.Complex Analysis in Banach Spaces: Holomorphic Functions and Domains of Holomorphy in Finite and Infinite Dimensions

    J. Mujica.Complex Analysis in Banach Spaces: Holomorphic Functions and Domains of Holomorphy in Finite and Infinite Dimensions. North-Holland Mathematics Studies, 120. Notas de Matem´ atica [Mathematical Notes], 107. North-Holland Publishing Co., Amsterdam, 1986

    work page 1986

  41. [41]

    Mujica.Linearization of bounded holomorphic mappings on Banach spaces

    J. Mujica.Linearization of bounded holomorphic mappings on Banach spaces. Trans. Amer. Math. Soc. 324(1991), no. 2, 867–887

    work page 1991

  42. [42]

    E. A. Nordgren.Composition operators. Canadian J. Math.20(1968), 442–449

    work page 1968

  43. [43]

    Pietsch,Operator Ideals

    A. Pietsch,Operator Ideals. North-Holland Publishing Company, Mathematical Studies, 1980

    work page 1980

  44. [44]

    Racher.On the tensor product of weakly compact operators

    G. Racher.On the tensor product of weakly compact operators. Math. Ann.294(1992), no. 2, 267–275

    work page 1992

  45. [45]

    H. P. Rosenthal.On relatively disjoint families of measures, with some applications to Banach space theory. Studia Math.37(1970), no. 1, 13–36

    work page 1970

  46. [46]

    J. H. Shapiro.Compact composition operators on spaces of boundary-regular holomorphic functions. Proc. Amer. Math. Soc.100(1987), no. 1, 49–57

    work page 1987

  47. [47]

    J. H. Shapiro.Composition operators: and classical function theory. Springer Science & Business Media, 2012

    work page 2012

  48. [48]

    T. J. Suffridge.A holomorphic function having a discontinuous inverse. Proc. Amer. Math. Soc.31 (1972), 629–630

    work page 1972

  49. [49]

    Weaver,Lipschitz algebras, 2nd ed., World Scientific Publishing Co., River Edge, NJ, 2018

    N. Weaver,Lipschitz algebras, 2nd ed., World Scientific Publishing Co., River Edge, NJ, 2018

    work page 2018

  50. [50]

    Wojtaszczyk,Banach spaces for analysts, Cambridge Studies in Advanced Mathematics 25 (Cambridge University Press, Cambridge, 1991)

    P. Wojtaszczyk,Banach spaces for analysts, Cambridge Studies in Advanced Mathematics 25 (Cambridge University Press, Cambridge, 1991). (V. Dimant)Departamento de Matem ´atica y Ciencias, Universidad de San Andr ´es, Vito Dumas 284, (B1644BID) Victoria, Buenos Aires, Argentina and CONICET Email address:vero@udesa.edu.ar (L. C. Garc´ ıa-Lirola)Departamento ...

    work page 1991