Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

On the second coefficient in the semi-classical expansion of Toeplitz Operators

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read Second coefficient in CR Toeplitz expansion computed explicitly

desk verdict A solid, useful extension of Hsiao–Shen with a real but fillable gap in the stationary phase computation. read the letter →

arxiv 2412.11697 v2 pith:IYBUZDWI submitted 2024-12-16 math.CV math.DG

Chin-Chia Chang , Hendrik Herrmann , Chin-Yu Hsiao This is my paper · ORCID
classification math.CVmath.DG MSC 32Vxx32A2553D50
keywords CRmanifoldsSzegőkernelsToeplitzoperatorssemi-classicalexpansionTanaka-Websterscalarcurvaturesublaplacianstrictlypseudoconvexasymptotic
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

Toeplitz operators on compact strictly pseudoconvex embeddable CR manifolds admit a semi-classical expansion of their kernel along the diagonal; the paper determines the second coefficient of that expansion. The second coefficient is the CR counterpart of the second Bergman kernel coefficient that is central in complex geometry, and it is the first coefficient after the leading term that carries geometric information. The formula expresses it as a product of an exponential weight, a combination of half the Tanaka–Webster scalar curvature and $(n+1)$ times the CR sublaplacian of a volume-form log-ratio, and the moment $\int \chi(t)t^{n-1}dt$ of the cut-off function. The result extends the known computation of the second Szegő kernel coefficient, which was restricted to the contact volume form, to any Reeb-invariant volume form.

What carries the argument

The argument is carried by the Fourier integral representation of the Szegő kernel, written as $\Pi(x,y)=\int_0^\infty e^{it\varphi(x,y)}s(x,y,t)dt$ with a classical symbol $s\sim \sum_{j\ge0}s_j(x,y)t^{n-j}$ (see (1.1.3)). The load-bearing step is a change of volume: replacing the contact volume $dV_\xi$ by an arbitrary Reeb-invariant $dV=e^{2(n+1)f}dV_\xi$ and asserting that the stationary phase computation of the second Szegő coefficient from [12] carries over with the extra factor $e^{2(n+1)f}$ inserted. This yields the identity (3.1.20), where the operator $L^{(1)}$ in the standard stationary phase formula acts on $s_0(0,x)s_0(x,0)e^{2(n+1)f(x)}\sigma^n$. The paper then proves a uniqueness statement (Theorem 3.7) for the coefficients of the expansion, and composes $\chi_k(A)$ with a cut-off $\tau_k(A)$ to extract $a_{1,0}(p,p)=s_1(p,p)$, transferring the Szegő kernel computation to the Toeplitz kernel.

What would settle it

On a strictly pseudoconvex CR manifold where the Szegő kernel or the spectrum of the Toeplitz operator is explicitly known—for example the sphere $S^{2n+1}$ with the standard CR structure and a non-trivial $S^1$-invariant volume form, so that $f\not\equiv 0$—one can compute $\chi_k(A)(x,x)$ directly from the spectral decomposition of $A$ and compare the coefficient of $k^n$ with formula (1.1.11). A disagreement would disprove the formula; an independent case with $\Delta_b f\neq 0$ would confirm the volume-correction term.

Watch

Extended reading notes

Core claim

The central claim is stated in Theorem 1.2. For any cut-off $\chi\in C_c^\infty(\mathbb{R}_+)$, the diagonal kernel of $\chi_k(A)$ expands as $\chi_k(A)(x,x)\sim \sum_{j\ge 0} b_j^\chi(x)k^{n+1-j}$, and the $j=1$ coefficient is $$b_1^\chi(x)=\frac{1}{2\$pi^{{n+1}}$}$e^{{-2(n+1)f(x)}}$\left(\frac{1}{2}R_{\mathrm{scal}}(x)+(n+1)\Delta_b f(x)\right)\int \chi(t)$t^{{n-1}}$dt,$$ where $f(x)=\frac{1}{2(n+1)}\log\frac{dV(x)}{dV_\xi(x)}$, $R_{\mathrm{scal}}$ is the Tanaka–Webster scalar curvature of the contact form $\xi$, and $\Delta_b$ is the CR sublaplacian. The proof works by generalizing the computation of the second Szegő kernel coefficient from the volume $dV_\xi$ to an arbitrary Reeb-invariant volume $dV=e^{2(n+1)f}dV_\xi$; in that setting the leading Szegő symbol is $s_0=(2\pi^{n+1})^{-1}e^{-2(n+1)f}$, and the stationary phase identity (3.1.20) yields $s_1(0,0)=(2\pi^{n+1})^{-1}e^{-2(n+1)f}\left(\frac{1}{2}R_{\mathrm{scal}}(0)+(n+1)\Delta_b f(0)\right)$. A structural refinement (Theorem 1.3) shows each symbol $b_j^\chi(x,y,t)$ has the form $\sum_s a_{j,s}(x,y)\chi^{(s)}(t)t^{n+s-j}$, which is used to isolate the $j=1$ term and connect it to $s_1$.

Load-bearing premise

The formula depends on the assertion that the stationary phase computation of the second Szegő coefficient in [12], originally done for the contact volume $dV_\xi$, extends verbatim to every Reeb-invariant volume $dV=e^{2(n+1)f}dV_\xi$ including the extra weight $e^{2(n+1)f}$ in the phase integral and the modified leading symbol $s_0$; if that extension fails, the identity (3.1.20) for $s_1$ and hence Theorem 1.2 would need correction.

Editorial extensions

If this is right

  • For $dV=dV_\xi$ the formula reduces to $b_1^\chi(x)=\frac{1}{2\pi^{n+1}}\frac{1}{2}R_{\mathrm{scal}}(x)\int\chi(t)t^{n-1}dt$, recovering the second Szegő coefficient known from [12] and the Sasakian computations.
  • In the circle-bundle case over a Kähler manifold the same formula reproduces the known second Bergman kernel coefficient (Remark 3.5), bridging the CR expansion and the complex-geometric one.
  • The coefficient is local: each $a_j(x)$ in the refined expansion depends only on the germ of the CR structure, the contact form, and the volume form at $x$ (Remark 1.6); with $dV=dV_\xi$ the $a_j$ are pseudo-Hermitian invariants.
  • The structural form (1.1.13) separates the geometry from the cut-off $\chi$, so integrals of the kernel against arbitrary smooth weights can be computed from the fixed coefficients $a_{j,s}$ and moments of $\chi$.

Reading between the lines

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

  • The explicit dependence on $f$ suggests a variational reading: shifting the volume form shifts $b_1^\chi$ by a term in the image of $\Delta_b$, so one could ask whether a 'balanced' volume form making the correction vanish exists on a given CR manifold; the paper does not address this.
  • The same volume-replacement method likely produces higher Szegő coefficients as differential polynomials in $f$ and pseudo-Hermitian curvature tensors; checking the next order in the circle-bundle example against the known Bergman kernel expansion would test the method's reach.
  • Theorem 1.3's separation of $\chi$ from the geometry means that spectral quantities built from $\chi_k(A)$, such as weighted traces of functions of $A$, can be computed by integrating the fixed geometric coefficients against moments of $\chi$; this is a natural next target.
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

2 major / 4 minor

Summary. This paper studies the semi-classical asymptotic expansion of the kernel of χ_k(A) on a compact strictly pseudoconvex embeddable CR manifold X of dimension 2n+1, where A=Π(-iT)Π is the Toeplitz operator associated with a Reeb vector field T and a Reeb-invariant volume form dV. Building on the full expansion obtained by Herrmann–Hsiao–Marinescu–Shen, the authors compute the second coefficient b_1^χ(x) explicitly in terms of the Tanaka–Webster scalar curvature R_scal, the CR sublaplacian Δ_b f of f=(1/(2(n+1))) log(dV/dV_ξ), and the integral of χ(t)t^{n-1}. The proof proceeds through a structural result (Theorem 1.3) expressing the symbols b_j^χ as polynomials in derivatives of χ and a generalization of the Hsiao–Shen computation of the second coefficient of the Szegő kernel to arbitrary Reeb-invariant volumes (Theorem 3.3/3.4). A consistency check with the known Bergman kernel expansion in the circle-bundle case is given in Remark 3.5.

Significance. If the main formula is correct, it provides the first explicit computation of the sub-leading coefficient in the CR Toeplitz expansion for general Reeb-invariant volumes, a natural analogue of the second Bergman kernel coefficient. The result is local and geometric, and the paper also proves a useful structural statement about the dependence of the symbols on χ (Theorem 1.3). A notable strength is the cross-check in Remark 3.5, where the authors derive the Bergman kernel coefficient and recover a known formula, which gives nontrivial evidence for the correctness of the formula. The main weakness is that the proof of the key Szegő-kernel generalization is not carried out: the identity (3.1.20) is asserted as a direct replacement of the volume in a previously published computation, without showing the necessary stationary-phase calculation.

major comments (2)
  1. [Section 3, Theorem 3.3, Eqs. (3.1.20)–(3.1.22)] The proof of Theorem 3.3 consists of the sentence 'By replacing the volume dV_ξ with dV in the proof of [12, Section 3.3], we have (3.1.20)', followed by the formula (3.1.22) claimed to follow from Lemma 3.2. This is not a derivation. Unlike the case dV=dV_ξ, where s0(x,x) is constant and many terms in the stationary-phase expansion simplify, here s0 has non-trivial first derivatives (3.1.11) and the weight e^{2(n+1)f} is present. Applying the second-order operator L^(1) to s0(p,u)s0(u,p)e^{2(n+1)f(u)}σ^n produces terms involving derivatives of s0 and f that are not all tabulated in Lemma 3.2; in particular, mixed second derivatives of s0 are not listed. Since (3.1.22) feeds directly into s1(0,0) and into the claimed formula for b_1^χ, this missing calculation is load-bearing. Remark 3.5 is good consistency evidence, but it does not substitute for the computation.
  2. [Section 3, Theorem 3.4] Theorem 3.4 asserts that s1(x,x) in (3.1.29) is well-defined as a smooth function on X and that the formula holds for any phase satisfying (1.1.2)–(1.1.3), (3.1.27)–(3.1.28). No proof of this invariance is given; the statement appears immediately after Theorem 3.3 with no argument. Since the local computation in Theorem 3.3 is made for a special phase with T=∂_{x_{2n+1}} and λ(x)=1+O(|x|^3), the pointwise result at arbitrary x requires either a separate proof of independence or an explicit statement that the local computation can be transported by CR diffeomorphisms and admissible phase changes. Without this, the passage from Theorem 3.3 to Theorem 3.4, which Remark 1.4(ii) cites as the needed generalization, is not established.
minor comments (4)
  1. [Throughout] There are several typographical errors: 'vainishes' in Theorems 3.1 and 3.4; in Remark 3.5, 'Le dVΘ' should read 'Let dVΘ'; in (3.1.7), the index pattern ∂⁴φ/(∂z_j∂z̄_ℓ∂z_j∂z̄_ℓ) repeats j and ℓ improperly and should be clarified.
  2. [Section 3, Eq. (3.1.63)] The notation χk(A): is used before being defined; please define it explicitly as the operator with the kernel χk(A)(x,y) e^{ikm0 y_{2n+1}} τ(y_{2n+1}) or give the precise expression used in the subsequent computations.
  3. [Section 3, Proof of Theorem 3.7] In the proof of Theorem 3.7, the claim that the remainder Fk(x,y′) remains O(k^{−∞}) after multiplication by e^{−ikm0 φ(x,y′)} is plausible but the argument is compressed; the reader would benefit from the explicit definition of Fk and a statement of the uniformity in (x,y′).
  4. [Section 3, Theorem 3.6] The phrase 'partial refinement of the main result obtained in [7]' is vague; the proof relies on [7, Lemma 4.2, Lemma 4.3, Theorem 4.11], which are cited but not summarized. Since [7] is a preprint, the authors should state which parts of the proof of Theorem 3.6 are new and ensure the cited results are accessible to the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: the coefficient formula is a genuine geometric computation; the self-cited [12] stationary-phase proof is invoked by substitution, which is an omitted-derivation gap rather than a circular step.

full rationale

The claimed derivation of b_1^χ does not fit any of the circularity patterns. Formula (1.1.11) is a local geometric expression in R_scal, Δ_b f, and the fixed measure dV; no fitted parameter is introduced and no quantity in the theorem is defined in terms of b_1^χ. The proof chain is: Theorem 1.1 supplies the general expansion from [7]; Theorems 3.6–3.8 refine the symbol structure and prove a_{1,s}(p,p)=0 for s≥1; the composition identity τ_k(A)∘χ_k(A)=χ_k(A) together with the uniqueness Theorem 3.7 gives a_{1,0}=s_1(p,p) in (3.1.78); and Theorem 3.3 computes s_1(0,0). The only load-bearing step that is not fully displayed is the opening sentence of the proof of Theorem 3.3: 'By replacing the volume dV_ξ with dV in the proof of [12, Section 3.3]', followed by the asserted stationary-phase identity (3.1.20). This is a self-citation (Hsiao is an author of [12]) and an omitted calculation, and Remark 1.4(ii) acknowledges that a generalization of [12] is needed. But it is not circular: (3.1.20) is not identical to (1.1.11), [12]'s dV=dV_ξ theorem is an independent published result, and the later algebra (3.1.22)–(3.1.26) does additional work. The consistency check in Remark 3.5 against the known Bergman coefficient [9] is external supporting evidence. The flagged gap is a correctness/completeness risk, not a reduction of the prediction to its inputs.

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

The derivation rests on prior results by the same research group ([7], [12]) and on the asserted generalization of [12] to arbitrary Reeb-invariant volumes; no free parameters are introduced. The main new assumption is that the stationary phase computation in [12] extends to dV; this is flagged as the weakest point.

assumptions (6)
  • standard math Boutet de Monvel-Sjostrand theorem on the structure of the Szego projector, giving the phase function and the Fourier integral representation (1.1.3).
    Invoked in Section 1 around (1.1.3); it is the starting point of the symbol construction.
  • ad hoc to paper The stationary phase computation of [12, Section 3.3] extends verbatim to a general Reeb-invariant volume with the weight e^{2(n+1)f}.
    This is the core of Theorem 3.3: the identity (3.1.20) is asserted by analogy with [12] and is not proved in detail in this paper.
  • standard math Hoermander's complex stationary phase formula and the associated differential operator L^{(1)} (as in [12]).
    Used in the proofs of Theorem 3.3 and Theorem 1.2 through (3.1.21) and (3.1.75).
  • standard math Malgrange preparation theorem and Stokes' theorem, used in Theorem 3.6 to pass between phase functions.
    Invoked in the proof of Theorem 3.6, around (3.1.51)-(3.1.58).
  • domain assumption The CR manifold is embeddable, equivalently, the tangential Cauchy-Riemann operator has closed L2 range.
    Stated in Section 2.3; needed for the Szego projection and the spectral properties of the Toeplitz operator.
  • domain assumption The Reeb vector field T and volume form dV satisfy L_T dV = 0; for part (2) of Theorem 1.3, T is a CR vector field.
    Used throughout: T-invariance makes f well-defined and Reeb-invariant; the CR condition simplifies the symbol structure to (1.1.14).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the second coefficient in the semi-classical expansion of Toeplitz Operators." pith.science (2026). https://pith.science/paper/IYBUZDWI

@misc{pith2026241211697,
  author       = {Pith},
  title        = {Pith review of: On the second coefficient in the semi-classical expansion of Toeplitz Operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IYBUZDWI}},
  note         = {Machine review of arXiv:2412.11697}
}
abstract

Let $X$ be a compact strictly pseudoconvex embeddable CR manifold and let $A$ be the Toeplitz operator on $X$ associated with a Reeb vector field $\mathcal{T}\in\mathscr{C}^\infty(X,TX)$. Consider the operator $\chi_k(A)$ defined by functional calculus of $A$, where $\chi$ is a smooth function with compact support in the positive real line and $\chi_k(\lambda):=\chi(k^{-1}\lambda)$. It was established recently that $\chi_k(A)(x,y)$ admits a full asymptotic expansion in $k$. The second coefficient of the expansion plays an important role in the further study of CR geometry. In this work, we calculate the second coefficient of the expansion.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Spectral asymptotics of semi-classical Toeplitz operators on Levi non-degenerate CR manifolds

    math.CV 2025-05 conditional novelty 6.0 of 10

    For a compact Levi non-degenerate CR manifold, the semiclassical spectral projector of a Levi-elliptic Toeplitz operator is, modulo a negligible kernel, the sum of two oscillatory integrals with complex phases, with e...

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [9]

    Hsiao, On the coefficients of the asymptotic expansion of the kernel of Berezin-Toeplitz quantization, Ann

    C.-Y. Hsiao, On the coefficients of the asymptotic expansion of the kernel of Berezin-Toeplitz quantization, Ann. Global Anal. Geom. 42 (2012), no. 2, 207–245; MR2947953

    work page 2012

  2. [12]

    Hsiao and W.-C

    C.-Y. Hsiao and W.-C. Shen. On the second coefficient of the asymptotic expansion of Boutet de Monvel- Sj¨ ostrand.Bulletin of the Institute of Mathematics Academia Sinica NEW SERIES 15(4), 2020

    work page 2020

  3. [7]

    Herrmann, C.-Y

    H. Herrmann, C.-Y. Hsiao, G. Marinescu and W.-C. Shen. Semi-classical spectral asymptotics of Toeplitz operators on CR manifolds, arXiv preprint arXiv:2303.17319 (2023)

    arXiv 2023

  4. [1]

    Boutet de Monvel and J

    L. Boutet de Monvel and J. Sj ¨ostrand. Sur la singularit´ e des noyaux de Bergman et de Szeg˝ o. Journ´ees ´Equations aux D´eriv´ees Partielles (1975) 123-164. Ast´erisque, No. 34–35

    work page 1975

  5. [2]

    Catlin, The Bergman kernel and a theorem of Tian, Analysis and Geometry in Several Complex Variables, Birkh¨auser, Boston, (1999), pages 1–23

    D. Catlin, The Bergman kernel and a theorem of Tian, Analysis and Geometry in Several Complex Variables, Birkh¨auser, Boston, (1999), pages 1–23

    work page 1999

  6. [3]

    Donaldson, Scalar curvature and projective embeddings I, Journal of Differential Geometry, volume 59, no, 3, (2001), pages 479–522

    S. Donaldson, Scalar curvature and projective embeddings I, Journal of Differential Geometry, volume 59, no, 3, (2001), pages 479–522

    work page 2001

  7. [4]

    Galasso and C.-Y

    A. Galasso and C.-Y. Hsiao, Toeplitz operators on CR manifolds and group actions, J. Geom. Anal. 33 (2023), no. 1, Paper No. 21, 55 pp.; MR4510165

    work page 2023

  8. [5]

    Herrmann, C.-Y

    H. Herrmann, C.-Y. Hsiao and X. Li, Szeg˝ o kernel asymptotic expansion on strongly pseudoconvex CR mani- folds with S1 action. Int. J. Math. (2018), 1850061

    work page 2018

Show all 15 references
  1. [6]

    Herrmann, C.-Y

    H. Herrmann, C.-Y. Hsiao and X. Li, Torus equivariant Szeg˝ o kernel asymptotics on strongly pseudoconvex CR manifolds. Acta Math. Vietnam. 45 (2020), no. 1, 113–135

    2020

  2. [8]

    Hsiao, Projections in several complex variables.M´emoires de la Soci´et´e Math´ematique de France, 123 (2010), 131 pages

    C.-Y. Hsiao, Projections in several complex variables.M´emoires de la Soci´et´e Math´ematique de France, 123 (2010), 131 pages

    2010

  3. [10]

    Hsiao and G

    C.-Y. Hsiao and G. Marinescu. Asymptotics of spectral function of lower energy forms and Bergman kernel of semi-positive and big line bundles, Communications in Analysis and Geometry, 22 (2014), no. 1, 1-108. 26 CHIN-CHIA CHANG, HENDRIK HERRMANN, AND CHIN-YU HSIAO

    2014

  4. [11]

    Hsiao and G

    C.-Y. Hsiao and G. Marinescu. On the singularities of the Szeg˝ o projections on lower energy forms, J. Differ- ential Geometry 107 (2017) 83-155

    2017

  5. [13]

    Ma and G

    X. Ma and G. Marinescu. Holomorphic Morse inequalities and Bergman kernels, volume 254 of Progress in Mathematics, Birkh¨auser Verlag, Basel, 2007

    2007

  6. [14]

    Ma and G

    X. Ma and G. Marinescu, Berezin-Toeplitz quantization on K¨ ahler manifolds, J. Reine Angew. Math. 662 (2012), 1–56; MR2876259

    2012

  7. [15]

    Zelditch, Szeg˝ o kernels and a theorem of Tian, International Mathematics Research Notices, 1998, no

    S. Zelditch, Szeg˝ o kernels and a theorem of Tian, International Mathematics Research Notices, 1998, no. 6, 317–331. UNIVERSIT ¨AT ZU K ¨OLN , M ATHEMATISCHES INSTITUT , WEYERTAL 86-90, 50931 K ¨OLN , GERMANY Email address: cchang@math.uni-koeln.de UNIVERSITY OF VIENNA , FACU...

    1998

Pith tools

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