REVIEW
Spectral Beurling-Selberg Approximation and Applications to Effective Motivic Chebotarev-Sato-Tate Estimates
Number Theory · Submitted 30 Oct 2026 · 133 references
Pith's verdict: The Hausdorff-stable spectral Beurling–Selberg construction is the real contribution; the motivic half is a carefully assembled conditional framework whose arithmetic conclusions stand or fall on the stated conjectures.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Spectral Beurling–Selberg brackets transfer boundary geometry into explicit Chebotarev–Sato–Tate error terms
The reading
What carries the argument
The carrying object is a Hausdorff-stable spectral majorant/minorant pair. For a set $A$ whose boundary tube obeys $\mathrm{vol}_g((\partial A)(r)) \le C_{\partial A} r^q$, the construction produces eigenfunction sums $P^-_{r,T,A} \le 1_A \le P^+_{r,T,A}$ over eigenvalues below $T$, with individual coefficients bounded by $C_{\partial A}\|\phi_j\|_\infty r^{n-q}\lambda_j^{n/2}$ and $L^1$-gap at most $C_{\partial A} r^q + K r^{s-q} T^{(s-d-4\beta)/2}$; the decisive property is that coefficients for two sets $A$ and $B$ differ by at most the Hausdorff distance between them times the same geometric data. This stability comes from a Riemannian analogue of Fraenkel's regularized distance (Lemma 3.1), whose derivatives track the set and its perturbations. On the arithmetic side, the engine is the character-sum estimate of Proposition 4.10: under the conjectural formalism, sums of $\chi_\sigma(y_p)\chi_\rho(c_p)$ over unramified primes are $O(n_K x^{1/2} d_\sigma d_\rho \log(\cdot))$, with conductor bounds supplied by motivic lifts $M_\sigma$ of the irreducible representations of the Sato–Tate group (Lemma 4.9). The two halves are joined by Weyl integration, which reduces conjugacy-invariant targets on $G$ to flat tori, and by the SPR-space construction, which extends the approximation to singular quotients such as the quaternionic Shimura orbifolds used in the CM-point equidistribution application.
Extended reading notes
Core claim
On the paper's own terms, the central claim is that the boundary geometry of the target set, summarized by one tube constant $C_{\partial A}$ and one codimension $q$, enters the effective error in joint Frobenius–Artin equidistribution explicitly and uniformly. For a CST-motive $M$ with motivic Sato–Tate group $G$, a union $C$ of conjugacy classes of $\Gamma = \mathrm{Gal}(L/K)$, and a conjugacy-invariant set $A$ whose pullback to a maximal torus has boundary of upper Minkowski codimension $q$, Theorem 5.3 gives $\pi_{A,C}(x) = (|C|/|\Gamma|)\,\mu_{ST}(A)\,\mathrm{Li}(x)$ plus an error $O_G(n_K |C|^{1/2}\mu_{ST}(A)\,x^{1/2}\log(S_{L/K}(M)x))$ and a boundary term $O_G(n_K C_{\partial A} |C|^{1 - q/(2\delta_G)} |\Gamma|^{1 - q/\delta_G} x^{1 - q/(2\delta_G)} (\log x)^{2q/\delta_G - 1} [\log(S_{L/K}(M)x)]^{q/\delta_G})$, valid beyond an explicit threshold $x_0$. A further layer is uniformity over moving targets: Theorem 5.11 treats an $(\alpha,q)$-Minkowski family $A_p$ indexed by primes, replacing the main term by $\sum \mu_{ST}(A_p)$ and the boundary exponent by $\beta_G = \frac{q}{2}\min\{1/\delta_G, (1+2\alpha)/(\delta_G+1)\}$, which degrades in the Hausdorff drift rate $\alpha$. The paper further shows that quotient symmetries replace $\delta_G$ by the smaller $\delta_N$ of the quotient group and thereby improve the exponents, and it derives applications to motivic Atkin–Serre asymptotics, least-prime bounds, and Picard-rank jumps of K3 surfaces via their transcendental motives.
Load-bearing premise
The load-bearing premise is Conjecture 4.8: for every twist $L(s, M_\sigma \otimes N_\rho)$ the normalized motivic $L$-function must have meromorphic continuation, a functional equation, all nontrivial zeros on the critical line, and Ramanujan-type bounds, and the motive must satisfy the CST package (connected Sato–Tate group, algebraic Sato–Tate conjecture, Serre's conjecture, strong $G_M$-compatibility). The paper acknowledges these as conjectural, and without them the $\sqrt{x}$ and power-saving error terms are not established.
Editorial extensions
If this is right
- Fixed-target estimates separate into two errors: a $\sqrt{x}$ term that sees the set only through its Sato–Tate measure $\mu_{ST}(A)$, and a boundary term that sees the set only through the tube constant $C_{\partial A}$ and codimension $q$; among sets with equal measure, thinner boundaries give strictly smaller errors $x^{1 - q/(2\delta_G)}$.
- Prime-dependent targets remain effective: an $(\alpha,q)$-Minkowski family with Hausdorff drift rate $\alpha$ keeps an error of size $x^{1-\beta_G}$ with $\beta_G = \frac{q}{2}\min\{1/\delta_G, (1+2\alpha)/(\delta_G+1)\}$, giving quantified joint equidistribution for targets that vary with the prime.
- Quotient symmetries improve the exponents: for targets pulled back from $G/N$, the parameter $\delta_G$ is replaced by $\delta_N = d_N + m_N$, the rank of $G/N$ plus its number of positive roots, exactly as effective Chebotarev estimates improve over smaller Galois groups.
- The K3 application counts Picard-rank jumps conditionally: $\pi_{\mathcal{J},C}(x,\varepsilon) = 2(|C|/|\Gamma|)\,H^{\dim G - 1}_g(\mathcal{J})\,\varepsilon\,\mathrm{Li}(x)$ plus explicit lower-order terms, with a genuine asymptotic when $\varepsilon(x)\to 0$ slowly, and an upper bound of size $x^{1 - 1/(2\delta_G)}$ up to logarithms for the non-tubular jump count.
- The motivic Atkin–Serre analogue predicts $\pi_{AS,C}(x,\varepsilon) \sim (|C|/|\Gamma|)\,\tfrac{4n}{\pi(1-\varepsilon)}\, x^{1-\varepsilon}/\log x$ for $0 < \varepsilon < 1/(4n)$, together with a least-prime bound of the same shape as classical conditional effective Chebotarev results.
Reading between the lines
- The exponent $1 - q/(2\delta_G)$ interpolates known special cases: for $SU(2)$ with an interval target ($q = 1$, $\delta_G = 2$) it reproduces the classical conditional $x^{3/4}$-type bound for elliptic-curve trace intervals that the paper cites as motivation, so the formula can be read as a parametrized family of Sato–Tate error exponents; the paper does not test this interpolation numerically.
- Because the spectral majorants are stable under Hausdorff perturbations, the same construction could be transplanted to any equidistribution problem with character-sum control and a compact group — dynamical, homogeneous-space, or automorphic — where the target set varies along a sequence; the paper itself develops only the motivic application.
- A natural quantitative experiment would fix one non-CM abelian variety and compare Theorem 5.3's boundary exponent with the error actually exhibited for intervals, boxes, and a set with a fractal boundary on the maximal torus; such a comparison would separate the part of the error carried by boundary geometry from the part carried by the conjectural $L$-function formalism.
Original abstract
We establish a spectral Beurling-Selberg approximation theorem on compact connected Riemannian manifolds for sets whose boundaries have finite upper Minkowski content. Our majorants and minorants have controlled spectral coefficients and explicit stability under Hausdorff perturbations, uniformly over families satisfying a common Minkowski content bound. We extend the construction to singular spaces arising from Riemannian submetries with basic mean curvature, and apply it to equidistribution on quaternionic Shimura varieties. Assuming the conjectural formalism of the specified motivic L-functions, including the motivic Riemann hypothesis, we develop effective Chebotarev-Sato-Tate estimates for fixed sets and varying families with controlled boundary geometry and Hausdorff variation, and describe how additional symmetries improve the error exponents. The proofs combine classical analytic methods with new methods from differential geometry, analytic geometry, and Riemannian spectral analysis. Applications include an asymptotic formula for a motivic analogue of Atkin-Serre estimates and tubular estimates for Picard-rank jumps of K3 surfaces via their transcendental motives.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We establish a spectral Beurling-Selberg approximation theorem on compact connected Riemannian manifolds for sets whose boundaries have finite upper Minkowski content. Our majorants and minorants have controlled spectral coefficients and explicit stability under Hausdorff perturbations, uniformly over families satisfying a common Minkowski content bound. We extend the construction to singular spaces arising from Riemannian submetries with basic mean curvature, and apply it to equidistribution on quaternionic Shimura varieties. Assuming the conjectural formalism of the specified motivic L-functions, including the motivic Riemann hypothesis, we develop effective Chebotarev-Sato-Tate estimates for fixed sets and varying families with controlled boundary geometry and Hausdorff variation, and describe how additional symmetries improve the error exponents. The proofs combine classical analytic methods with new methods from differential geometry, analytic geometry, and Riemannian spectral analysis. Applications include an asymptotic formula for a motivic analogue of Atkin-Serre estimates and tubular estimates for Picard-rank jumps of K3 surfaces via their transcendental motives.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We establish a spectral Beurling-Selberg approximation theorem on compact connected Riemannian manifolds for sets whose boundaries have finite upper Minkowski content. | contribution 0.81 | 0.95 | 0.44 | asserted 1.00 |
| s1 | Our majorants and minorants have controlled spectral coefficients and explicit stability under Hausdorff perturbations, uniformly over families satisfying a common Minkowski content bound. | result 0.59 | 0.94 | 0.11 | asserted 1.00 |
| s2 | We extend the construction to singular spaces arising from Riemannian submetries with basic mean curvature, and apply it to equidistribution on quaternionic Shimura varieties. | contribution 0.99 | 0.93 | 0.11 | asserted 1.00 |
| s3 | Assuming the conjectural formalism of the specified motivic L-functions, including the motivic Riemann hypothesis, we develop effective Chebotarev-Sato-Tate estimates for fixed sets and varying families with controlled boundary geometry and Hausdorff variation, and describe how additional symmetries improve the error exponents. | contribution 0.62 | 0.86 | 0.42 | asserted 0.69 |
| s4 | The proofs combine classical analytic methods with new methods from differential geometry, analytic geometry, and Riemannian spectral analysis. | method 1.00 | 0.85 | 0.03 | asserted 1.00 |
| s5 | Applications include an asymptotic formula for a motivic analogue of Atkin-Serre estimates and tubular estimates for Picard-rank jumps of K3 surfaces via their transcendental motives. | result 0.81 | 0.88 | 0.12 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.