Pith. sign in

REVIEW 6 minor 19 references

Special Toeplitz operators on a class of bounded Hartogs domains

T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves a sharp criterion, depending on the exponent t and the domain parameters n, k, b, for when the Toeplitz operator with symbol K^{-t} is bounded between L^p and L^q on a class of bounded Hartogs domains.

desk verdict Solid sharp Lp-Lq Toeplitz result on a new Hartogs family; the b-dependence is real and the proof checks out. read the letter →

arxiv 1908.02192 v1 pith:ZVVZN6DX submitted 2019-08-06 math.CV

Yanyan Tang , Zhenhan Tu This is my paper · ORCID
classification math.CV MSC 32A3632A2532A07
keywords HartogsdomainsToeplitzoperatorsBergmanprojectionkernelLp-LqboundednessSchurtestpluricomplexGreenfunctionsharpestimates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a sharp answer to a "gain" question for Toeplitz operators: on a wide class of bounded Hartogs domains, the operator with symbol $K^{{-t}}$ (the t-th power of the reciprocal of the Bergman kernel on the diagonal) is bounded from L^p to L^q exactly when t clears an explicit threshold that depends on p, q, the dimension n, the number k, and the power b appearing in the domain definition. This matters because the answer shows how a boundary singularity, not just smoothness, controls how much integrability a Bergman-type projection can gain. The result unifies and extends the known L^p ranges for the Bergman projection on the classical Hartogs triangle and its fat and power-generalized versions. Setting t=0 and p=q recovers a sharp range for the Bergman projection itself, and the range shrinks toward p=2 as b grows.

What carries the argument

The proof is carried by four pieces. First, a biholomorphism $\Phi$ sends the general domain $H^n_{k_j,\varphi_j,b}$ to the special domain $H^n_{k_j,b}$ where all $\varphi_j$ are identity maps, and a uniform two-sided bound on $|\det \Phi'|$ transfers $L^p$-$L^q$ boundedness of the Toeplitz operators between the two domains. Second, an explicit biholomorphism $\Psi$ to a product of unit balls and punctured disks normalizes the Bergman kernel on the diagonal to a product formula involving $1-\|\eta_j\|^2$ and $1-|\eta_j|^2$, so the kernel's singular structure is visible. Third, a generalized Schur test with power weights $h_1$, $h_2$, $f$ turns the desired boundedness into two integral estimates on balls and disks. Fourth, necessity is forced by testing against monomials and by lower bounds from the pluricomplex Green function, which show that if $t$ is below the stated threshold the operator cannot be bounded.

What would settle it

On the special domain $H^n_{k,b}$, take the monomial $f(z)=z_n^{1-n-k(b-1)}$. The proof shows it is in $A^2$ and that $T_{K^{-t}}$ sends it to a nonzero constant multiple of itself; a direct calculation gives $f \in L^q$ exactly when $q < \frac{2n+2k(b-1)}{n-1+k(b-1)}$. If one could exhibit any $q$ at or above that threshold for which $T_{K^{-t}}$ is bounded on all of $L^p$, the theorem's first part would be false.

Watch

Extended reading notes

Core claim

On the domain $H^n_{k_j,\varphi_j,b}$, defined by $\max_j \|\varphi_j(\tilde z_j)\| < |z_{k+1}|^b < \cdots < |z_n|^b < 1$, the paper proves that $T_{K^{-t}}: L^p \to L^q$ is bounded if and only if one of three mutually exclusive regimes holds. For $q \geq \frac{2n+2k(b-1)}{n-1+k(b-1)}$, the operator is unbounded for every $t \geq 0$. For $q$ strictly between $\frac{2(n-1)+2k(b-1)}{n+1+k(b-1)-2/p}$ and the upper threshold, boundedness holds exactly when $t \geq \frac{1}{p} - \frac{1}{q}$. For $q$ from $p$ up to that middle interval, boundedness holds exactly when $t > \frac{1}{2p} + \frac{1-p}{2p}\cdot\frac{n+1+k(b-1)}{n-1+k(b-1)}$. Thus the exponent $t$ is the only adjustable knob: once it clears the stated threshold, the operator gains the full $L^p$-to-$L^q$ integrability that the geometry permits.

Load-bearing premise

The whole transfer from the general domains to the special ones rests on the uniform bound $0 < c \leq |\det \Phi'(z)| \leq d$ for the biholomorphism $\Phi$; if that bound fails, the equivalence of boundedness between the two families of domains could break, and the computations on the special domain would no longer say anything about the general one.

Editorial extensions

If this is right

  • The Bergman projection on $H^n_{k_j,\varphi_j,b}$ is $L^p$-bounded exactly for $p$ in $\left(\frac{2n+2k(b-1)}{n+1+k(b-1)}, \frac{2n+2k(b-1)}{n-1+k(b-1)}\right)$, so the admissible $p$-range shrinks as $b$ increases and collapses to $\{2\}$ as $b \to \infty$.
  • For any fixed $p,q$ in the middle regime, taking $t \geq \frac{1}{p} - \frac{1}{q}$ makes $T_{K^{-t}}$ bounded, so a sufficiently negative power of the Bergman kernel always buys the full possible gain in integrability.
  • The boundedness criterion is unchanged when the biholomorphisms $\varphi_j$ are replaced by any other biholomorphisms from the same smooth domains onto unit balls, because only the uniform determinant bound matters.
  • Corollary 1.4 recovers the known dimension-only interval for $b=1$ and the known power-generalized Hartogs triangle range when $l=1$, $k=n-1$, $\varphi_1$ is the identity; in that sense the new statement contains the earlier sharp results as endpoints.
  • The sharp ranges in the theorem apply to the special Toeplitz operator with symbol $K^{-t}$ on every domain in this class, not just to the Bergman projection, so the result gives a complete $L^p$-$L^q$ picture for these operators.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural testable extension is to let $b$ be a positive real number instead of an integer; the biholomorphism $\Psi$ would no longer be single-valued, so the paper's method does not directly apply, and the sharp threshold may change or require a different normalization.
  • Because the proof isolates the role of the parameter $C_{b,k}=k(b-1)$ as an effective exponent shift, one can expect analogous $L^p$-$L^q$ thresholds for other radial symbols, such as powers of the distance to the boundary, with $C_{b,k}$ replaced by a suitable boundary-order parameter.
  • The necessity argument via the pluricomplex Green function could also yield two-sided estimates of the operator norm near the critical exponents, a quantitative question the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper introduces a class of bounded Hartogs domains H^n_{ {k_j, φ_j, b} } in C^n, defined by max_j ‖φ_j(~z_j)‖ < |z_{k+1}|^b < ... < |z_n|^b < 1, where b is a positive integer, and studies the L^p-L^q boundedness of the Toeplitz operator T_{K^{-t}} with symbol K^{-t}, K being the Bergman kernel on the diagonal. The main result, Theorem 1.3, gives a sharp trichotomy for 1 < p ≤ q < ∞: (1) T is unbounded for all t ≥ 0 when q ≥ (2n+2k(b-1))/(n-1+k(b-1)); (2) T is bounded if and only if t ≥ 1/p - 1/q when q lies in a middle interval; (3) T is bounded if and only if t exceeds a p-dependent threshold when q lies in the lower interval. Setting t = 0 and p = q yields Corollary 1.4, a sharp range for L^p boundedness of the Bergman projection, which generalizes results of Chen (b=1) and Beberok. The proof reduces via a biholomorphism to the special domain H^n_{ {k_j,b} } (Lemma 2.1), constructs an explicit orthogonal basis of the Bergman space (Lemma 2.2), and applies Schur's test with carefully chosen weights together with Green-function estimates and explicit test functions for necessity.

Significance. The result is a genuinely wider generalization of earlier work by Chen and Beberok, and it exhibits a new phenomenon: the boundedness range depends on the parameter b through k(b-1), not just the dimension. The criteria are explicit, sharp, and falsifiable, and the proof is essentially self-contained, relying only on standard external results such as Bell's extension theorem for the determinant bound and known pluricomplex Green-function estimates. I checked the delicate parameter ranges in the Schur test (Section 3.2), the exponent estimates in the necessity proofs, and the consistency of the endpoint cases with the Bergman projection corollary; the argument is coherent and the logic is sound. The paper is a solid contribution to the study of special Toeplitz operators on singular Hartogs-type domains.

minor comments (6)
  1. [Section 2.2 (heading)] The subsection heading "1.2 The orthogonal basis" appears to be misnumbered; it should be "2.2", and the subsequent subsection "1.3" should be "2.3".
  2. [Equation (3.18)] In the displayed formula for T_{K_1^{-t}}(f_j)(G(η)), the denominator under \hat{K}_1(η,ζ) should be \overline{\det G'(ζ)}, not \det G'(ζ). The Bergman kernel transformation rule requires the complex conjugate in the second argument; with the printed denominator the angular integration would not select the claimed index β = (0,...,0,k+C_{b,k},...,n-2+C_{b,k},0). The subsequent computation confirms that the conjugate is intended.
  3. [Lemma 2.2] The condition defining the set A in the basis has garbled summation indices; the display uses m both as a summation index and as the lower-bound variable. Please rewrite with unambiguous indices, for example: for m = k+1,...,n, ∑_{s=1}^m α_s + (b-1)∑_{s=1}^k α_s > (1-b)k - m.
  4. [Section 3.3, definition of h] In the proof of necessity in Theorem 1.3(3), the exponent x in h(r) = r^x is defined with an "l" that is the index of the annulus (a_{l+1}, a_l]. To avoid confusion, state explicitly that h(r) = r^{x_l} on that annulus, with x_l = 1/l - 2(n+C_{b,k})/p - (n-1+C_{b,k}).
  5. [Equation (3.10)] The lower bound for m_j is written as "-j+1+C_{b,k} p^*" in the display; it should be typeset as a fraction, (-j+1+C_{b,k})/p^*, to avoid ambiguity.
  6. [Proof of Lemma 2.7] The symbol "/greaterorsimilar" in the displayed estimate should be "≳".

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the paper's derivation is self-contained against external benchmarks.

full rationale

The paper's central claim, Theorem 1.3, is derived by direct estimates on the model domain H^n_{k_j,b}: the Schur test in Section 3.2 supplies sufficiency with explicit test functions and parameter ranges (3.9)-(3.11), while necessity is obtained from the Green-function estimate (Lemma 2.5), the projection argument in (3.18), and explicit test functions in Section 3.3. No parameter is fitted to a subset of the data and then renamed as a prediction; the threshold conditions (t >= 1/p - 1/q and the stricter bound in Theorem 1.3(3)) emerge from the inequalities, not from an assumed conclusion. The reduction Lemma 2.1 uses the uniform determinant bound 0 < c <= |det Phi'(z)| <= d attributed to Chen [5, Section 6]; this is an independent external result with stated hypotheses (bounded smooth domains biholomorphic to the ball via Bell's extension theorem), not a self-citation, and it is not equivalent to the target L^p-L^q boundedness statement. Lemmas 2.6 and 2.7 are standard integral estimates, and Lemma 2.3 (Schur test) and Lemma 2.4 (pluricomplex Green estimate) are cited external tools whose assumptions do not include the theorem being proved. The paper also compares with, rather than derives from, the prior results of Chen and Beberok. No circular step, self-referential load-bearing citation, or construction-by-definition was found.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard kernel transformation rules, Green-function properties, and a determinant bound imported from Chen's earlier work. No fitted constants, ad hoc normalization parameters, or new entities are introduced. The main work is in the explicit test-function estimates, not in postulating new objects.

assumptions (4)
  • standard math Standard transformation rule for the Bergman kernel under biholomorphic maps (used throughout Sections 2 and 3).
    This is a classical fact in several complex variables, invoked in Lemma 2.1 and in the change-of-variables computations.
  • standard math Properties of the pluricomplex Green function, including biholomorphic invariance and the product property (Klimek [13,14]), used in Lemma 2.5.
    Lemma 2.5 relies on expressing the Green function of the Hartogs domain through the Green functions of balls and punctured discs, which is a standard pluripotential theory fact.
  • domain assumption Uniform boundedness of the Jacobian determinant of the biholomorphism Phi between H^n_{ {k_j,b} } and H^n_{ {k_j, phi_j, b} }, cited from Chen [5, Section 6] and used in Lemma 2.1.
    The equivalence of boundedness of the Toeplitz operators on the two domains depends on 0 < c <= |det Phi'| <= d. The paper cites Chen's result rather than proving it here.
  • domain assumption The domains H^n_{ {k_j, phi_j, b} } are bounded pseudoconvex domains for which the Bergman kernel and the pluricomplex Green function are well defined.
    The paper uses the Bergman projection, the reproducing kernel, and Green-function estimates, all of which require the domains to be bounded pseudoconvex. This is implicit in the setup.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Special Toeplitz operators on a class of bounded Hartogs domains." pith.science (2026). https://pith.science/paper/ZVVZN6DX

@misc{pith2026190802192,
  author       = {Pith},
  title        = {Pith review of: Special Toeplitz operators on a class of bounded Hartogs domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZVVZN6DX}},
  note         = {Machine review of arXiv:1908.02192}
}
abstract

We introduce a wider class of bounded Hartogs domains, which contains some generalizations of the classical Hartogs triangle. A sharp criteria for the $L^p-L^q$ boundedness of the Toeplitz operator with symbol $K^{-t}$ is obtained on these domains, where $K$ is the Bergman kernel on diagonal and $t\geq 0$. It generalizes the results by Chen and Beberok in the case $1<p<\infty$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Barrett, S

    D. Barrett, S. S ¸ahuto˘ glu, Irregularity of the Bergmanprojection on worm domains in Cn, Michi- gan Math. J. 61 (1) (2012) 187-198

    work page 2012

  2. [2]

    Beberok, Lp boundedness of the Bergman projection on some generalized H artogs triangles, Bull

    T. Beberok, Lp boundedness of the Bergman projection on some generalized H artogs triangles, Bull. Iranian Math. Soc. 43 (7) (2017) 2275-2280

    work page 2017

  3. [3]

    B/suppress locki, The Bergman metric and the pluricomplex Green function, Trans

    Z. B/suppress locki, The Bergman metric and the pluricomplex Green function, Trans. Amer. Math. Soc. 357 (7) (2005) 2613-2625

    work page 2005

  4. [4]

    Chakrabarti, Y.E

    D. Chakrabarti, Y.E. Zeytuncu, Lp mapping properties of the Bergman projection on the Hartogs triangle, Proc. Amer. Math. Soc. 144 (4) (2016) 1643-1653

    work page 2016

  5. [5]

    Chen, The Lp boundedness of the Bergman projection for a class of boundedHartogs domains, J

    L. Chen, The Lp boundedness of the Bergman projection for a class of boundedHartogs domains, J. Math. Anal. Appl. 448 (1) (2017) 598-610

    work page 2017

  6. [6]

    ˘Cu˘ ckovi´ c, J

    ˘Z. ˘Cu˘ ckovi´ c, J. McNeal, Special Toeplitz operators on strongly pseudoconvex domains. Rev. Mat. Iberoam. 22 (3) (2006) 851-866

    work page 2006

  7. [7]

    Edholm, J.D

    L.D. Edholm, J.D. McNeal, The Bergman projection on fat H artogs triangles: Lp boundedness, Proc. Amer. Math. Soc. 144 (5) (2016) 2185-2196

    work page 2016

  8. [8]

    Edholm, J.D

    L.D. Edholm, J.D. McNeal, Bergman subspaces and subkern els: degenerate Lp mapping and zeroes, J. Geom. Anal. 27 (4) (2017) 2658-2683

    work page 2017

Show all 19 references
  1. [9]

    Herbort, The Bergman metric on hyperconvex domains

    G. Herbort, The Bergman metric on hyperconvex domains. M ath. Z. 232 (1) (1999) 183-196

    1999

  2. [10]

    Huo, Lp estimates for the Bergman projection on some Reinhardt doma ins, Proc

    Z. Huo, Lp estimates for the Bergman projection on some Reinhardt doma ins, Proc. Amer. Math. Soc. 146 (6) (2018) 2541-2553

    2018

  3. [11]

    Khanh, J

    T. Khanh, J. Liu, P. Thuc, Bergman-Toeplitz operators on weakly pseudoconvex domains, Math. Z. 291 (2019) 591-607

    2019

  4. [12]

    Khanh, J

    T. Khanh, J. Liu, P. Thuc, Bergman-Toeplitz operators o n fat Hartogs triangles. Proc. Amer. Math. Soc. 147 (1) (2019) 327-338

    2019

  5. [13]

    Klimek, Pluripotential theory, Oxford Science Publ ications, 1991

    M. Klimek, Pluripotential theory, Oxford Science Publ ications, 1991

    1991

  6. [14]

    Klimek, Invariant pluricomplex Green functions, Topics in complex analysis (Warsaw, 1992), 207-226, Banach Center Publ., 31, Polish Acad

    M. Klimek, Invariant pluricomplex Green functions, Topics in complex analysis (Warsaw, 1992), 207-226, Banach Center Publ., 31, Polish Acad. Sci. Inst. Ma th., Warsaw, 1995

    1992

  7. [15]

    Krantz, M.M

    S.G. Krantz, M.M. Peloso, The Bergman kernel and projec tion on non-smooth worm domains, Houston J. Math. 34 (3) (2008) 873-950

    2008

  8. [16]

    Lanzani, E.M

    L. Lanzani, E.M. Stein, The Bergman projection in Lp for domains with minimal smoothness, Illinois J. Math. 56 (1) (2013) 127-154

    2013

  9. [17]

    McNeal, The Bergman projection as a singular integ ral operator, J

    J.D. McNeal, The Bergman projection as a singular integ ral operator, J. Geom. Anal. 4 (1) (1994) 91-103

    1994

  10. [18]

    Phong, E.M

    D.H. Phong, E.M. Stein, Estimates for the Bergman and Sz eg¨ o projections on strongly pseudo- convex domains, Duke Math. J. 44 (3) (1977) 695-704

    1977

  11. [19]

    Rudin, Function Theory in the Unit Ball of Cn, reprint of the 1980 edition, Springer-Verlag, Berlin, 2008

    W. Rudin, Function Theory in the Unit Ball of Cn, reprint of the 1980 edition, Springer-Verlag, Berlin, 2008

    1980

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.