arxiv: 2605.01526 · v1 · submitted 2026-05-02 · 🧮 math.CV

Recognition: unknown

Conformally Invariant Besov Spaces on Chord-Arc Domains

Liu Tailiang, Shen Yuliang, Yang Yaosong

Pith reviewed 2026-05-10 15:47 UTC · model grok-4.3

classification 🧮 math.CV

keywords Besov spaceschord-arc domainsconformal invariancesimply connected domainshigher-order derivativesisomorphismscomplex analysisgeometric function theory

0 comments

The pith

Chord-arc domains are characterized by isomorphisms among adapted Besov spaces that inherit conformal invariance.

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

The paper defines Besov-type spaces on simply connected domains by adapting the classical definition that uses higher-order derivatives on the upper half-plane. It explores how the shape of the domain relates to properties of these spaces and establishes that chord-arc domains are precisely those for which the spaces are isomorphic in the natural manner. On chord-arc domains the spaces also remain invariant under conformal mappings, extending the classical behavior. A reader would care because this turns a boundary regularity condition into an equivalence of function spaces, offering an analytic handle on domains with rough boundaries.

Core claim

Inspired by the classical Besov p-space (1<p<∞) defined by means of higher-order derivatives on the upper half-plane, we introduce Besov-type spaces on simply connected domains. We study the relation between the geometric properties of the domain and these spaces, and characterize chord-arc domains in terms of the isomorphisms among these Besov spaces. Furthermore, we obtain that these spaces on chord-arc domains inherit the conformal invariance from the classical setting.

What carries the argument

Besov-type spaces on simply connected domains defined via adapted higher-order derivatives, which support the isomorphisms that identify chord-arc domains and preserve conformal invariance.

If this is right

Chord-arc domains become recognizable through the existence of isomorphisms between these Besov spaces without measuring the boundary directly.
Conformal mappings between chord-arc domains induce isomorphisms of the corresponding Besov spaces.
Analytic properties such as operator boundedness can be transferred across chord-arc domains via conformal maps.
The geometric chord-arc condition admits a purely functional-analytic characterization in the plane.

Where Pith is reading between the lines

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

The same construction could be attempted on multiply connected domains to see whether analogous characterizations hold.
The isomorphisms might supply new tools for proving regularity of solutions to boundary-value problems on chord-arc domains.
Numerical checks on concrete chord-arc examples, such as certain Jordan curves with controlled turning, could confirm the isomorphism constants.
Links to other geometric classes, such as quasicircles, may appear once the Besov-space viewpoint is adopted.

Load-bearing premise

The domains are simply connected so that Besov-type spaces can be defined by adapting higher-order derivatives from the upper half-plane setting.

What would settle it

A simply connected domain that is not chord-arc yet has isomorphic Besov spaces under the adapted definition, or a chord-arc domain on which the spaces fail to be conformally invariant.

read the original abstract

Inspired by the classical Besov $p$-space ($1<p<\infty$) defined by means of higher-order derivatives on the upper half-plane, we introduce Besov-type spaces on simply connected domains. We study the relation between the geometric properties of the domain and these spaces, and characterize chord-arc domains in terms of the isomorphisms among these Besov spaces. Furthermore, we obtain that these spaces on chord-arc domains inherit the conformal invariance from the classical setting.

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 defines Besov-type spaces on simply connected domains by pulling back higher-order derivative seminorms via Riemann maps, then claims isomorphisms between them characterize chord-arc domains and that conformal invariance holds exactly there.

read the letter

The main takeaway is that the authors extend the classical Besov p-spaces from the half-plane to general simply connected domains and tie their isomorphism properties directly to the chord-arc condition on the boundary. They also recover conformal invariance for these spaces when the domain is chord-arc. This is the core new piece: a function-space characterization of a geometric class that sits between rectifiable and quasiconformal boundaries. It builds cleanly on the existing literature for the half-plane case and gives a concrete way to link analytic norms to domain geometry, which is useful for people tracking boundary behavior in complex analysis. The setup is straightforward and the claims are stated without extra fluff. The soft spot is the one the stress-test note flags. The spaces are defined by transporting the seminorm through a conformal map, so the construction is only intrinsic if the resulting norm is independent of the map chosen. If the proof that isomorphisms detect chord-arc domains leans on known mapping properties (such as the derivative lying in BMO), the result risks restating geometry already in the literature rather than giving a fresh characterization. The abstract does not show the independence argument or the details of the isomorphism proof, so it is impossible to judge how much circularity is actually present. Readers working on quasiconformal mappings, invariant function spaces, or boundary regularity in the plane would get the most from this. It is narrow enough that only specialists will care, but the topic is central enough that a careful referee could improve the clarity of the definitions and check the independence step. I would send it to peer review rather than desk-reject, with the referee asked to verify that the pulled-back norms are well-defined and that the characterization does not presuppose the chord-arc conclusion.

Referee Report

2 major / 2 minor

Summary. The paper introduces Besov-type spaces on simply connected domains by adapting the higher-order derivative seminorm of the classical Besov p-spaces (1 < p < ∞) on the upper half-plane via a Riemann mapping. It studies the dependence of these spaces on the geometry of the domain and claims two main results: (i) chord-arc domains are characterized by the existence of isomorphisms between the Besov spaces on different domains, and (ii) the spaces inherit conformal invariance precisely when the domain is chord-arc.

Significance. If the definitions are shown to be independent of the choice of Riemann mapping and the isomorphism characterization is intrinsic (rather than a restatement of known mapping properties such as the derivative lying in BMO), the work would supply a new analytic tool for detecting chord-arc geometry. This extends classical conformal invariance results from the half-plane and could be useful in quasiconformal mapping theory and boundary regularity questions.

major comments (2)

[§2] §2 (Definition of the Besov-type space): The seminorm is pulled back from the upper half-plane via a fixed Riemann map φ. The manuscript must explicitly verify that this seminorm is independent of the choice of φ for arbitrary simply connected domains; otherwise the subsequent isomorphism statement in §4 risks circularity, as the space itself may already encode the chord-arc property through the mapping.
[Theorem 4.1] Theorem 4.1 (isomorphism characterization): The proof that isomorphisms between the spaces on Ω and Ω' imply that both domains are chord-arc appears to rely on the fact that chord-arc domains have Riemann maps with derivative in BMO. If this geometric fact is invoked to establish the isomorphism, the characterization reduces to a restatement rather than a new intrinsic criterion; a direct argument avoiding prior knowledge of the BMO property is needed.

minor comments (2)

[Abstract] The abstract and introduction should clarify the precise range of p and the order of the derivatives used in the seminorm, as these are left implicit.
[§2] Notation for the pulled-back seminorm (e.g., ||·||_{B^p(Ω)}) should be introduced once and used consistently; several places use slightly varying symbols for the same quantity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below. Where the concerns identify gaps in explicit verification or proof clarity, we will revise the manuscript accordingly while preserving the core contributions.

read point-by-point responses

Referee: [§2] §2 (Definition of the Besov-type space): The seminorm is pulled back from the upper half-plane via a fixed Riemann map φ. The manuscript must explicitly verify that this seminorm is independent of the choice of φ for arbitrary simply connected domains; otherwise the subsequent isomorphism statement in §4 risks circularity, as the space itself may already encode the chord-arc property through the mapping.

Authors: We agree that independence from the choice of Riemann map must be addressed explicitly to prevent any perception of circularity. The definition in §2 uses a fixed φ for each domain, and for general simply connected domains the seminorm can depend on φ. In the revised version we will insert a new paragraph in §2 stating this dependence for arbitrary domains and then proving independence precisely when the domain is chord-arc (via the BMO property of φ′). This separates the general definition from the chord-arc case where conformal invariance holds, so that the isomorphism results of §4 apply only to these intrinsically defined spaces and do not presuppose the geometric conclusion. revision: partial
Referee: [Theorem 4.1] Theorem 4.1 (isomorphism characterization): The proof that isomorphisms between the spaces on Ω and Ω' imply that both domains are chord-arc appears to rely on the fact that chord-arc domains have Riemann maps with derivative in BMO. If this geometric fact is invoked to establish the isomorphism, the characterization reduces to a restatement rather than a new intrinsic criterion; a direct argument avoiding prior knowledge of the BMO property is needed.

Authors: The proof of the converse direction does invoke the known equivalence between chord-arc geometry and φ′ ∈ BMO. We do not claim the result is entirely free of this classical fact; rather, the novelty consists in recasting the detection of that property as an isomorphism between analytically defined Besov spaces. To meet the referee’s request for a more direct argument, we will restructure the proof of Theorem 4.1 to derive the BMO condition directly from the equivalence of seminorms before recalling the geometric characterization. This makes the logical flow self-contained and emphasizes the new analytic criterion without altering the underlying mathematics. revision: partial

Circularity Check

0 steps flagged

No significant circularity; characterization and invariance claims remain independent of input definitions

full rationale

The abstract describes introducing Besov-type spaces on simply connected domains by adapting classical higher-order derivative seminorms from the upper half-plane, then relating these spaces to domain geometry to characterize chord-arc domains via isomorphisms and to establish conformal invariance on those domains. No equations, self-citations, or explicit reductions are visible in the provided text that would make the isomorphism condition equivalent by construction to the geometric definition of chord-arc domains or to properties of a chosen Riemann map. The derivation chain therefore presents new relations between function-space isomorphisms and domain geometry rather than renaming or tautologically recovering the inputs, keeping the central claims self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the new definitions of Besov-type spaces adapted from the classical setting and on the geometric assumption that the domains are simply connected; no free parameters or invented physical entities are mentioned.

axioms (2)

standard math Classical Besov p-spaces on the upper half-plane are defined via higher-order derivatives
The paper states it is inspired by and extends this construction.
domain assumption The domains considered are simply connected
Explicitly stated in the abstract as the setting for the new spaces.

invented entities (1)

Besov-type spaces on simply connected domains no independent evidence
purpose: To study the relation between domain geometry and function-space properties
Newly introduced in the paper as an extension of the classical construction.

pith-pipeline@v0.9.0 · 5366 in / 1313 out tokens · 36049 ms · 2026-05-10T15:47:05.536238+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 20 canonical work pages

[1]

and Shen, Y

Liu, T. and Shen, Y. , TITLE =. Chinese Ann. Math. Ser. B , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s11401-024-0048-y , URL =

work page doi:10.1007/s11401-024-0048-y 2024
[2]

and Zinsmeister, M

Wei, H. and Zinsmeister, M. , TITLE =. Math. Ann. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00208-024-02946-1 , URL =

work page doi:10.1007/s00208-024-02946-1 2025
[3]

and Fisher, S

Arazy, J. and Fisher, S. D. and Peetre, J. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1985 , PAGES =. doi:10.1515/crll.1985.363.110 , URL =

work page doi:10.1515/crll.1985.363.110 1985
[4]

, TITLE =

Triebel, H. , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-0346-0419-2 , URL =

work page doi:10.1007/978-3-0346-0419-2 1992
[5]

2007 , PAGES =

Zhu, K. , TITLE =. 2007 , PAGES =. doi:10.1090/surv/138 , URL =

work page doi:10.1090/surv/138 2007
[6]

Nikolsky, S. M. and Lions, J.-L. and Lizorkin, P. I. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , FJOURNAL =. 1965 , PAGES =

1965
[7]

Peller, V. V. , TITLE =. Russian Math. Surveys , FJOURNAL =. 2024 , NUMBER =. doi:10.4213/rm10140e , URL =

work page doi:10.4213/rm10140e 2024
[8]

, TITLE =

Yanagishita, M. , TITLE =. Ann. Acad. Sci. Fenn. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.5186/aasfm.2014.3952 , URL =

work page doi:10.5186/aasfm.2014.3952 2014
[9]

, TITLE =

Guo, H. , TITLE =. Sci. China Ser. A , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/BF02903847 , URL =

work page doi:10.1007/bf02903847 2000
[10]

, TITLE =

Tang, S. , TITLE =. Sci. China Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11425-012-4472-1 , URL =

work page doi:10.1007/s11425-012-4472-1 2013
[11]

, TITLE =

Shen, Y. , TITLE =. Amer. J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1353/ajm.2018.0023 , URL =

work page doi:10.1353/ajm.2018.0023 2018
[12]

Peller, V. V. , TITLE =. 2003 , PAGES =. doi:10.1007/978-0-387-21681-2 , URL =

work page doi:10.1007/978-0-387-21681-2 2003
[13]

and Ahlfors, L

Beurling, A. and Ahlfors, L. V. , TITLE =. Acta Math. , FJOURNAL =. 1956 , PAGES =. doi:10.1007/BF02392360 , URL =

work page doi:10.1007/bf02392360 1956
[14]

Ahlfors, L. V. , TITLE =. Acta Math. , FJOURNAL =. 1963 , PAGES =. doi:10.1007/BF02391816 , URL =

work page doi:10.1007/bf02391816 1963
[15]

, TITLE =

Pommerenke, Ch. , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-662-02770-7 , URL =

work page doi:10.1007/978-3-662-02770-7 1992
[16]

Jerison, D. S. and Kenig, C. E. , TITLE =. Math. Scand. , FJOURNAL =. 1982 , NUMBER =. doi:10.7146/math.scand.a-11956 , URL =

work page doi:10.7146/math.scand.a-11956 1982
[17]

, TITLE =

Pfluger, A. , TITLE =. J. Indian Math. Soc. (N.S.) , FJOURNAL =. 1960 , PAGES =

1960
[18]

and Shen, Y

Liu, T. and Shen, Y. , TITLE =. Math. Z. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00209-024-03462-3 , URL =

work page doi:10.1007/s00209-024-03462-3 2024
[19]

and Sullivan, D

Nag, S. and Sullivan, D. , TITLE =. Osaka J. Math. , FJOURNAL =. 1995 , NUMBER =

1995
[20]

, TITLE =

Bourdaud, G. , TITLE =. Forum Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1515/form.2000.018 , URL =

work page doi:10.1515/form.2000.018 2000
[21]

, TITLE =

David, G. , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1984 , NUMBER =

1984
[22]

, TITLE =

Semmes, S. , TITLE =. Integral Equations Operator Theory , FJOURNAL =. 1984 , NUMBER =

1984
[23]

Zinsmeister, M. , year=. Domaines de
[24]

and Gonz\'alez, M

Bruna, J. and Gonz\'alez, M. J. , TITLE =. Pacific J. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.2140/pjm.1999.190.225 , URL =

work page doi:10.2140/pjm.1999.190.225 1999
[25]

Stein, E. M. , TITLE =. 1970 , PAGES =

1970
[26]

Garnett, J. B. , TITLE =. 2007 , PAGES =

2007
[27]

, TITLE =

Girela, D. , TITLE =. Complex function spaces (. 2001 , MRCLASS =

2001
[28]

Lectures on

V. Lectures on. 1971 , PAGES =. doi:10.1007/BFb0061216 , URL =

work page doi:10.1007/bfb0061216 1971
[29]

Duren, P. L. , TITLE =. 1970 , PAGES =

1970
[30]

and Zinsmeister, M

Wei, H. and Zinsmeister, M. , TITLE =. arXiv preprint arXiv:2410.02183 , YEAR =

work page arXiv
[31]

, title =

Meyer, Y. , title =. 1983 , note =

1983