Cancellation of complex kernels and sharp critical lines and endpoint theory for the Forelli--Rudin operators I: the purely hypersingular case

For $a,b,c\in \mathbb{R}$, we consider the Forelli–Rudin operators $$T_{a,b,c}f(z):=(1-\mathrm{\mid }z{\mathrm{\mid }}^2{)}^a{\int }_{\mathbb{D}}\frac{(1-\mathrm{\mid }w{\mathrm{\mid }}^2{)}^b}{(1-z\bar{w}{)}^c}f(w)dA(w)$$ and their positive counterparts $$S_{a,b,c}f(z):=(1-\mathrm{\mid }z{\mathrm{\mid }}^2{)}^a{\int }_{\mathbb{D}}\frac{(1-\mathrm{\mid }w{\mathrm{\mid }}^2{)}^b}{\mathrm{\mid }1-z\bar{w}{\mathrm{\mid }}^c}f(w)dA(w)\mathrm{.}$$ We obtain a complete and sharp classification of their weak- and restricted weak-type mapping properties in the hypersingular regime $${\mathrm{\Omega }}_{\mathcal{H}}:=\{(p,q):1\le p,q\le \mathrm{\infty },p>q\},$$ thereby substantially extending the recent work of the first and fourth authors on hypersingular Bergman projections. One of the main discoveries of this work is an intrinsic cancellation phenomenon associated with the complex Forelli–Rudin kernel: at certain critical endpoints, cancellation creates a sharp separation between the two operators, with $T_{a,b,c}$ remaining bounded while its positive counterpart $S_{a,b,c}$ fails to be bounded. Perhaps surprisingly, this cancellation is invisible in the strong $L^p$–$L^q$ theory established by Zhao and Zhou in 2022, where the two operators have the same boundedness range, and emerges only at the weak- and restricted weak-type levels. Allowing the parameters $a,b,c$ to vary, we show that the collection of all weak-type Forelli–Rudin pairs in ${\mathrm{\Omega }}_{\mathcal{H}}$ is precisely $${\mathcal{F}\mathcal{R}}_w=\{(p,q)\in {\mathrm{\Omega }}_{\mathcal{H}}:1<p\le 2\},$$ whereas the collection of all restricted weak-type Forelli–Rudin pairs is $${\mathcal{F}\mathcal{R}}_{rw}=\{(p,q)\in {\mathrm{\Omega }}_{\mathcal{H}}:p\mathrm{\ne }\mathrm{\infty }\}\mathrm{.}$$ These ranges, together with all corresponding endpoint estimates and failures, are sharp. Our approach combines dyadic decompositions, probabilistic constructions, and weak-type Hardy estimates.