Pith. sign in

REVIEW 4 major objections 4 minor 35 references

An explicit formula of Cauchy--Szeg\"{o} kernel for quaternionic Siegel upper half space and applications

T0 review · 4 major / 4 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 An explicit derivative-free formula for the quaternionic Cauchy–Szegő kernel yields the full Calderón–Zygmund theory and BMO/VMO commutator characterizations on the quaternionic Heisenberg group.

desk verdict The one-variable computation is solid, but the advertised two-variable kernel formula contradicts the paper's own invariance and is false. read the letter →

arxiv 1908.03040 v2 pith:NBFKNYC2 submitted 2019-08-08 math.CV

Der-Chen Chang , Xuan Thinh Duong , Ji Li , Wei Wang , Qingyan Wu This is my paper · ORCID
classification math.CV MSC 32A2532A2643A8042B20
keywords Cauchy–SzegőkernelquaternionicSiegelupperhalfspaceHeisenberggroupCalderón–ZygmundoperatorBMOVMOcommutatorHardy
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 converts the quaternionic Cauchy–Szegő kernel, previously known only through a derivative representation, into an explicit algebraic formula, and shows that this formula is strong enough to reproduce the real-variable theory of the Heisenberg group in the quaternionic setting. The main theorem expresses the kernel as $S(q,p)=s(q_1+p_1-2\sum_{k=2}^n p_k q_k)$, with $s(\sigma)$ given by a finite expression in $z=x_1+|\operatorname{Im}\sigma|i$ and $\bar z$. From that expression the authors verify the size and regularity conditions that make the Cauchy–Szegő projection a standard Calderón–Zygmund operator on the quaternionic Heisenberg group, and then verify a pointwise lower bound on a twisted truncated sector. That lower bound yields the two characterization theorems: $[b,C]$ is bounded on $L^p$ if and only if $b\in\operatorname{BMO}$, and compact if and only if $b\in\operatorname{VMO}$. If the paper is right, the quaternionic projection enjoys the same real-variable theory that is standard for the Heisenberg group.

What carries the argument

The load-bearing object is the explicit kernel formula (1.3), together with the homogeneity relation $K(\delta_r(g))=r^{-Q}K(g)$ that follows from it. In (1.3) the quaternion $\sigma$ is encoded by $z=x_1+|\operatorname{Im}\sigma|i$, so all derivatives with respect to the real coordinate $x_1$ reduce to algebraic operations with $z$ and $\bar z$; the factor $1/(z-\bar z)^3$ records the anisotropic behavior of the quaternionic Heisenberg group. This formula is what lets the authors check the Calderón–Zygmund size and Lipschitz estimates explicitly and then construct the twisted truncated sector $S_g$ on which $|K(g_1,g_2)|\geq C\rho(g_1,g_2)^{-Q}$. The sector lower bound, in turn, is the mechanism that converts BMO/VMO membership of $b$ into boundedness or compactness of the commutator $[b,C]$.

What would settle it

For $n=2$, evaluate the right-hand side of (1.2) and the right-hand side of (1.3) numerically at several quaternions, for instance $\sigma=1+i$; any mismatch would disprove the explicit formula. A second check would be to test the reproducing property $F(q)=\int_{\partial U^2}S(q,\xi)F^b(\xi)\,d\beta(\xi)$ for a simple regular function such as a low-degree monomial.

Watch

Extended reading notes

Core claim

The central discovery is the closed formula of Theorem 1.1: for $p,q$ in the quaternionic Siegel upper half-space $U^n$, the Cauchy–Szegő kernel is $S(q,p)=s(q_1+p_1-2\sum_{k=2}^n p_k q_k)$, where $s(\sigma)$ is given by an explicit rational expression involving $z=x_1+|\operatorname{Im}\sigma|i$, $\bar z$, and two imaginary parts. The earlier representation $s(\sigma)=c_{n-1}\frac{\partial^{2(n-1)}}{\partial x_1^{2(n-1)}}\frac{\sigma}{|\sigma|^4}$ is converted into this finite algebraic form by differentiating $1/|\sigma|^4$ with the binomial expansion and summing the resulting series in closed form. The paper then proves that the kernel $K(g,h)$ on the quaternionic Heisenberg group satisfies $|K(g,h)|\lesssim \rho(g,h)^{-Q}$, the first-order regularity estimates $|Y_jK(g)|\lesssim \rho(g,0)^{-Q-1}$, and the sector lower bound of Theorem 1.4, where $Q=4n+2$ is the homogeneous dimension. These verifications place the Cauchy–Szegő projection inside standard Calderón–Zygmund theory and imply the commutator characterizations by BMO and VMO.

Load-bearing premise

The proof rests on the previously established representation of the kernel as a single function of the quaternion $q_1+p_1-2\sum p_k q_k$; the paper quotes this representation without re-proving it, and every later estimate depends on it.

Editorial extensions

If this is right

  • The Cauchy–Szegő projection $C$ extends to a bounded operator on $L^p(\mathbb{H}^{n-1})$ for every $1<p<\infty$, is of weak type $(1,1)$, maps $H^1$ to $L^1$, and maps $L^\infty$ to $\operatorname{BMO}$.
  • A function $b$ lies in $\operatorname{BMO}(\mathbb{H}^{n-1})$ if and only if the commutator $[b,C]$ is bounded on $L^p(\mathbb{H}^{n-1})$ for $1<p<\infty$.
  • A function $b$ lies in $\operatorname{VMO}(\mathbb{H}^{n-1})$ if and only if $[b,C]$ is compact on $L^p(\mathbb{H}^{n-1})$ for $1<p<\infty$.
  • The kernel is homogeneous of degree $-Q$: $K(\delta_r(g))=r^{-Q}K(g)$, so the quaternionic Heisenberg group has the same dilation structure that drives the real-variable theory.

Reading between the lines

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

  • The derivative-free form should make possible direct numerical evaluation of the kernel and of the Cauchy–Szegő projection on low-dimensional quaternionic Heisenberg groups, something the paper does not carry out.
  • The same differentiation-and-closed-summation device used to pass from (1.2) to (1.3) may apply to other Hardy-space kernels on quaternionic or related symmetric domains, giving explicit kernels for other Cauchy–Fueter type complexes.
  • An independent derivation of the starting representation $S(q,p)=s(q_1+p_1-2\sum_{k=2}^n p_k q_k)$ would make the whole chain self-contained; a natural route would be direct Fourier analysis on the quaternionic Heisenberg group.
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

4 major / 4 minor

Summary. The paper derives an explicit single-variable formula for the Cauchy–Szegő kernel on the quaternionic Siegel upper half space, states a two-variable formula for the kernel, and uses it to prove that the associated Cauchy–Szegő projection on the quaternionic Heisenberg group is a Calderón–Zygmund operator. It then establishes a pointwise lower bound for the kernel and, on this basis, claims characterizations of the boundedness and compactness of the commutator [b,C] in terms of BMO and VMO. The main technical content is the evaluation of s(σ) in Theorem 1.1 and the size/regularity estimates of Theorem 1.2, while Theorem 1.5 is only sketched.

Significance. If the results were correct, the paper would provide a complete real-variable theory for the quaternionic Cauchy–Szegő projection, parallel to Stein's treatment of the Heisenberg group. The explicit computation of s(σ) is nontrivial and the size and regularity estimates are carried out with explicit bounds. However, the central explicit two-variable formula appears to be internally inconsistent with the left-invariance established in Section 2, and the proof of the commutator characterization is deferred to references rather than carried out in the manuscript. These issues substantially reduce the significance of the paper in its current form.

major comments (4)
  1. [Theorem 1.1, Eq. (1.1)] The two-variable formula is inconsistent with the left-invariance used in Section 2. Take q=0 and p=τ_{(t,y)}(0)=(|y|^2+t,y). From the display before (2.8), S(q,p)=S(τ_{h^{-1}}(q),0), so S(0,p)=S(τ_{(-t,-y)}(0),0)=S((|y|^2-t,-y),0)=s(|y|^2-t). However, (1.1) gives S(0,p)=s(p_1)=s(|y|^2+t). Since s satisfies s(\bar σ)=\overline{s(σ)} and s(1+i) is non-real (shown in the proof of Theorem 1.4), the two values cannot agree. The correct formula must involve quaternionic conjugation, e.g. \bar p_1 and \bar p_k q_k. This is a load-bearing error in the statement of the main theorem.
  2. [Proof of Theorem 1.1] The proof of Theorem 1.1 only computes the single-variable function s(σ) starting from the quoted representation (1.1). It never verifies the p-dependence in the argument q_1+p_1-2∑ p_k q_k. Thus the explicit two-variable formula is not proved in the manuscript; it is imported from Theorem A without re-derivation. Given the inconsistency noted above, the authors must either prove the correct two-variable formula from the definition of the kernel or correct Theorem A and re-derive all subsequent statements that rely on the two-variable form.
  3. [Theorem 1.5] The proof of Theorem 1.5 is only a sketch. Part (i) is dispatched with one sentence referring to [19], and part (ii) says 'Repeating the process there almost step by step, we obtain the only if part. We leave the details to readers.' This is not a proof of a central advertised application. The paper does not verify the specific hypotheses of Hytönen's kernel-lower-bound theorem, nor does it show that the 'twisted truncated sector' of Theorem 1.4 satisfies the exact conditions needed for the compactness argument of [5] and [13]. These missing details are load-bearing for the claimed BMO/VMO characterizations.
  4. [Section 2, equations (2.2) and (2.8)] The left-invariance property used to obtain the convolution formula (2.7) and the definition K(g)=s(|y|^2+t) is incompatible with the printed two-variable formula (1.1), as shown in the first major comment. The authors need to identify which ingredient is misstated: either the automorphism τ_p, the definition of K, or the formula for S(q,p). Without this clarification, the size and regularity estimates in Theorem 1.2, which use only K(g)=s(|y|^2+t), may survive, but their connection to the domain kernel S(q,p) is broken.
minor comments (4)
  1. [Equation (1.3)] In (1.3), the placement of the factor σ inside the braces is awkward: the displayed formula reads '... i { Im[...] σ - Im[...] }', where σ multiplies only the first term. This is mathematically correct but should be clarified or rewritten as a product of i with the bracket and then with σ.
  2. [Corollary 3.1] The homogeneity K(δ_r(g))=r^{-Q}K(g) is asserted from Theorem 1.1 but not explicitly verified. It follows from the explicit expression for s, but a short verification would improve readability.
  3. [References] Reference [29] is given as 'Appl. Anal.', which is nonstandard; the journal name appears truncated. Please update the full reference data.
  4. [Notation] The use of H^{n-1} for both the quaternionic Heisenberg group and the (n-1)-dimensional quaternionic space is confusing; the paper switches between these meanings without always indicating which is intended.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.1 is an explicit derivative computation from the parameter-free kernel representation of Theorem A; all estimates are verified from the resulting formula.

full rationale

The derivation chain is not circular. The paper's input is Theorem A, a published representation S(q,p)=s(q1+p1-2 sum pk qk) from the authors' earlier work [4]. Although [4] shares authors with the present paper, it is a fixed, parameter-free input with stated assumptions not containing the target estimates; it is not fitted to any data used here. The proof of Theorem 1.1 is an explicit evaluation of the derivatives d^{2(n-1)}/dx_1^{2(n-1)}(1/|sigma|^4), ending in formula (1.3). This is a direct computation, not a restatement of the input. Theorems 1.2 and 1.4 verify size, regularity, and lower bounds directly from the explicit kernel through estimates such as (3.6) and homogeneity in Corollary 3.1. The BMO/VMO commutator conclusions are imported as standard consequences from external frameworks in [19], [11], [5], and [13], not from a self-citation chain. No fitted parameter is renamed as a prediction, no uniqueness theorem is invoked to forbid alternatives, and no ansatz is smuggled in through a citation. A possible mathematical objection concerning quaternionic conjugation in the two-variable formula would be a correctness issue, not circularity, and is not scored here.

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

The paper introduces no new entities, forces, or fitted constants. The only inherited constant is c_{n-1} from [4]. The main technical assumptions are the correctness of the kernel representation from [4], the standard identification of the boundary with the quaternionic Heisenberg group, and standard facts on stratified Lie groups. No ad hoc assumptions were found beyond these framework inputs.

free parameters (1)
  • c_{n-1} = unspecified constant depending only on n
    Inherited from Theorem A in [4] and appearing in the explicit formula (1.3). Its numerical value is never needed for the estimates; only its existence and non-vanishing matter, and it is not fitted in this paper.
assumptions (4)
  • domain assumption The representation S(q,p)=s(q1+p1-2 sum pk qk) from Theorem A of [4] is correct.
    Invoked at the start of Section 1.1 and used throughout as the input formula for the explicit computation and all kernel estimates.
  • domain assumption The boundary ∂U^n is identified with the quaternionic Heisenberg group H^{n-1} via the projection (2.3), and the Hardy space H^2(U^n) has boundary values in L^2.
    This identification and the L^2 boundary value statement are taken from [4] and underlie the definition of the Cauchy-Szegő projection in (1.4)-(2.7).
  • standard math The quaternionic Heisenberg group is a homogeneous group with homogeneous dimension Q=4n+2, and the quasi-distance ρ defined in (2.9) has the stated ball volume property and equivalence with the Carnot-Carathéodory metric (3.5).
    These are standard facts from Folland-Stein [10] and Bonfiglioli-Lanconelli-Uguzzoni [2], used in the mean value lemma and in the kernel regularity estimates.
  • standard math Chow's theorem ensures that any two points in H^{n-1} can be connected by a horizontal curve, so the Carnot-Carathéodory metric in Lemma 3.2 is well defined.
    Explicitly cited in Section 3 before Lemma 3.2 and used in the proof of the mean value estimate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An explicit formula of Cauchy--Szeg\"{o} kernel for quaternionic Siegel upper half space and applications." pith.science (2026). https://pith.science/paper/NBFKNYC2

@misc{pith2026190803040,
  author       = {Pith},
  title        = {Pith review of: An explicit formula of Cauchy--Szeg\"o kernel for quaternionic Siegel upper half space and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NBFKNYC2}},
  note         = {Machine review of arXiv:1908.03040}
}
read the original abstract

In this paper we obtain an explicit formula of Cauchy--Szeg\"{o} kernel for quaternionic Siegel upper half space, and then based on this, we prove that the Cauchy--Szeg\"{o} projection on quaternionic Heisenberg group is a Calder\'on--Zygmund operator via verifying the size and regularity conditions for the kernel. Next, we also obtain a suitable version of pointwise lower bound for the kernel, which further implies the characterisations of the boundedness and compactness of commutator of the Cauchy--Szeg\"{o} operator via the BMO and VMO spaces on quaternionic Heisenberg group, respectively.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 34 canonical work pages

  1. [19]

    Hyt¨ onen, The Lp to Lq boundedness of commutators with applications to the Jacobi an operator, arXiv:1804.11167

    T. Hyt¨ onen, The Lp to Lq boundedness of commutators with applications to the Jacobi an operator, arXiv:1804.11167

    arXiv

  2. [13]

    Duong, M

    X.T. Duong, M. Lacey, J. Li, B.D. Wick and Q.Y. Wu, Commuta tors of Cauchy type integrals for domains in Cn with minimal smoothness, to appear in Indiana Univ. Math. J

    work page

  3. [5]

    Chen, X.T

    P. Chen, X.T. Duong, J. Li and Q.Y. Wu, Compactness of Riesz transform commutator on stratified Lie groups, J. Funct. Anal. , 277 (2019), no. 6, 1639–1676

    work page 2019

  4. [1]

    Alesker, Non-commmutative linear algebra and plurisu bharmonic functions of quaternionic variables, Bull

    S. Alesker, Non-commmutative linear algebra and plurisu bharmonic functions of quaternionic variables, Bull. Sci. Math. , 127 (2003), no. 1, 1–35

    work page 2003

  5. [2]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli and F. Uguzzoni, Stratied Li e groups and potential theory for their sub- Laplacians, Springer Monographs in Mathematics, Springer -Verlag, 2007

    work page 2007

  6. [3]

    Chang and I

    D.-C. Chang and I. Markina, Quaternion H-type group and differential operator ∆ λ , Sci. China Ser. A , 51 (2008), no. 4, 523–540

    work page 2008

  7. [4]

    Chang, I

    D.-C. Chang, I. Markina and W. Wang, On the Cauchy–Szeg¨ o k ernel for quaternion Siegel upper half- space, Complex Anal. Oper. Theory , 7 (2013), no. 5, 1623–1654

    work page 2013

  8. [6]

    Chow, ¨Uber Systeme von linearen partiellen differentialgleichun gen erster ordnung (in German), Math

    W.L. Chow, ¨Uber Systeme von linearen partiellen differentialgleichun gen erster ordnung (in German), Math. Ann. , 117 (1939), 98–105

    work page 1939

Show all 35 references
  1. [7]

    Christ, H

    M. Christ, H. Liu and A. Zhang, Sharp Hardy-Littlewood-So bolev inequalities on quaternionic Heisenberg groups, Nonlinear Anal., 130 (2016), 361–395

    2016

  2. [8]

    Coifman, R

    R. Coifman, R. Rochberg and G. Weiss, Factorization theor ems for Hardy spaces in several variables, Ann. of Math. (2) , 103 (1976), 611–635

    1976

  3. [9]

    Colombo, I

    F. Colombo, I. Sabadini, F. Sommen and D. Struppa, Analysi s of Dirac systems and computational algebra, Progress in Mathematical Physics 39, Boston, Birkh¨ auser, 2004. 19

    2004

  4. [10]

    Folland and E.M

    G.B. Folland and E.M. Stein, Hardy spaces on homogeneous groups, in: Mathematical Notes, vol. 28, Princeton University Press, University of Tokyo Press, Pri nceton N.J., Tokyo, 1982

    1982

  5. [11]

    Duong, R

    X.T. Duong, R. Gong, M.-J. S. Kuffner, J. Li, B.D. Wick and D .Y. Yang, Two weight commutators on spaces of homogeneous type and applications, arXiv:1809.0 7942

  6. [12]

    Duong, I

    X.T. Duong, I. Holmes, J. Li, B.D. Wick and D.Y. Yang, Two w eight Commutators in the Dirichlet and Neumann Laplacian settings, J. Funct. Anal., 276 (2019), 1007–1060

    2019

  7. [14]

    Duong, H.-Q

    X.T. Duong, H.-Q. Li, J. Li and B.D. Wick, Lower bound for R iesz transform kernels and commutator theorems on stratified nilpotent Lie groups, J. Math. Pures A ppl., (9) 124 (2019), 273–299

    2019

  8. [15]

    Duong, J

    X.T. Duong, J. Li, B.D. Wick and D.Y. Yang, Factorization for Hardy spaces and characterization for BMO spaces via commutators in the Bessel setting, Indiana Univ. Math. J. , 66 (2017), no. 4, 1081–1106

    2017

  9. [16]

    Guo, J.L

    W.C. Guo, J.L. Lian and H.X. Wu, The unified theory for the n ecessity of bounded commutators and applications, to appear in J. Geom. Anal

  10. [17]

    Guo, H.X

    W.C. Guo, H.X. Wu and D.Y. Yang, A revisit on the compactne ss of commutators, arXiv:1712.08292

    arXiv

  11. [18]

    Holmes, M

    I. Holmes, M. Lacey and B.D. Wick, Commutators in the two- weight setting, Math. Ann. , 367 (2017), 51–80

    2017

  12. [20]

    Ivanov, I

    S. Ivanov, I. Minchev and D. Vassilev, Quaternionic cont act Einstein structures and the quaternionic contact Yamabe problem, Memoirs of the American Mathematic al Society, vol. 231, (2014) no. 1086, pp. vi+82

    2014

  13. [21]

    Kor´ anyi and H.M

    A. Kor´ anyi and H.M. Reimann, Quasiconformal mappings o n the Heisenberg group, Invent. Math. , 80 (1985), 309–338

    1985

  14. [22]

    Kor´ anyi and H.M

    A. Kor´ anyi and H.M. Reimann, Foundations for the theory of quasiconformal mappings on the Heisenberg group, Adv. Math. , 111 (1995), no. 1, 1–87

    1995

  15. [23]

    Lerner, S

    A.K. Lerner, S. Ombrosi and I.P. Rivera-R ´ ıos, On pointwise and weighted estimates for commutators of Calder´ on-Zygmund operators.Adv. Math. , 319 (2017), 153–181

    2017

  16. [24]

    Lerner, S

    A.K. Lerner, S. Ombrosi and I.P. Rivera-R ´ ıos, Commutat ors of singular integrals revisited, Bull. Lond. Math. Soc. , 51 (2019), no. 1, 107–119

    2019

  17. [25]

    J. Li, T. Nguyen, L.A. Ward and B.D. Wick, The Cauchy integ ral, bounded and compact commutators, to appear in Studia Math

  18. [26]

    Li and B.D

    J. Li and B.D. Wick, Characterizations of H 1 ∆ N (Rn) and BMO ∆ N (Rn) via Weak Factorizations and Commutators, J. Funct. Anal. , 272 (2017), 5384–5416

    2017

  19. [27]

    Pansu, M´ etriques de Carnot-Carath´ eodory et quasii som´ etries des espaces sym´ etriques de rang un, Ann

    P. Pansu, M´ etriques de Carnot-Carath´ eodory et quasii som´ etries des espaces sym´ etriques de rang un, Ann. of Math. , 129 (1989), no. 1, 1–60

    1989

  20. [28]

    Shi and W

    Y. Shi and W. Wang, On conformal qc geometry, spherical qc manifolds and convex cocompact subgroups of Sp( n + 1,1), Ann. Global Anal. Geom. , 49 (2016), no. 3, 271–307

    2016

  21. [29]

    Shi and W

    Y. Shi and W. Wang, The Szeg¨ o kernel for k-CF functions on the quaternionic Heisenberg group, Appl. Anal., 14 (2017), 2474–2492

    2017

  22. [30]

    E.M. Stein, Harmonic Analysis Real-Variable Methods, O rthogonality, and Oscillatory Integrals, Prince- ton Mathematical Series, 43, Princeton University Press, Princeton, New Jersey, 1993

    1993

  23. [31]

    Tao, D.C

    J. Tao, D.C. Yang and D.Y. Yang, Boundedness and compactn ess characterizations of Cauchy integral commutators on Morrey spaces, Math. Meth. Appl. Sci. , 42 (2019), 1631–1651

    2019

  24. [32]

    Uchiyama, On the compactness of operators of Hankel ty pe, Tˆ ohoku Math

    A. Uchiyama, On the compactness of operators of Hankel ty pe, Tˆ ohoku Math. J., (2) 30 (1978), no. 1, 163–171

    1978

  25. [33]

    Wan and W

    D. Wan and W. Wang, On quaternionic Monge-Amp` ere operat or, closed positive currents and Lelong- Jensen type formula on the quaternionic space, Bull. Sci. Math. , 141 (2017), 267–311

    2017

  26. [34]

    Wang, The tangential Cauchy–Fueter complex on the qua ternionic Heisenberg group, J

    W. Wang, The tangential Cauchy–Fueter complex on the qua ternionic Heisenberg group, J. Geom. Phys. , 61 (2011), 363–380

    2011

  27. [35]

    Wang, The Neumann problem for the k-Cauchy-Fueter complex over k-pseudoconvex domains in R4 and the L2 estimate, J

    W. Wang, The Neumann problem for the k-Cauchy-Fueter complex over k-pseudoconvex domains in R4 and the L2 estimate, J. Geom. Anal. , 29 (2019), 1233–1258. Der-Chen Chang, Department of Mathematics and Department of Computer Science, George- town University, W ashington D.C. 20...

    2019

Pith tools

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