Pith. sign in

REVIEW 1 major objections 6 minor 36 references

Noncompact complete Riemannian manifolds with singular continuous spectrum embedded into the essential spectrum of the Laplacian, I. The hyperbolic case

T0 review · 1 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 Asymptotically hyperbolic manifolds can have singular continuous spectrum embedded in the absolutely continuous essential spectrum of the Laplacian.

desk verdict A genuine first construction in spectral geometry whose main 1D building block (Theorem 3.1) is delegated to Kiselev with an unverified smoothing step; the rest of the paper is solid and the gap is fixable but real. read the letter →

arxiv 1908.03808 v1 pith:GPYV7TKX submitted 2019-08-10 math.SP math-phmath.DGmath.MP

Svetlana Jitomirskaya , Wencai Liu This is my paper · ORCID
classification math.SPmath-phmath.DGmath.MP MSC 58J5035P0581Q10
keywords singularcontinuousspectrumLaplace-Beltramioperatorasymptoticallyhyperbolicrotationallysymmetricmetricembeddedradialcurvatureone-dimensionalSchrödingergeneralizedeigenfunctionexpansion
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 proves that on noncompact complete Riemannian manifolds one can have singular continuous spectrum of the Laplace--Beltrami operator sitting inside the absolutely continuous essential spectrum, while the manifold remains asymptotically hyperbolic with prescribed slow decay of the radial curvature to a negative constant $K_0<0$. Concretely, for any function $h(r)\to\infty$, Theorem 1.2 constructs smooth simply connected manifolds with $|K_{rad}(r)-K_0|=O(h(r)/(1+r))$, with $\sigma_{\mathrm{ess}}(-\Delta)=\sigma_{\mathrm{ac}}(-\Delta)=[|K_0|(n-1)^2/4,\infty)$, and with $\sigma_{\mathrm{sc}}(-\Delta)\neq\emptyset$. The manifolds are rotationally symmetric, and the geometry is engineered so that one component of the Laplacian is unitarily equivalent to a one-dimensional Schrödinger-type operator with singular continuous spectrum. This shows that embedded singular continuous spectrum can coexist with a purely absolutely continuous essential spectrum under slowly decaying curvature bounds.

What carries the argument

The central machinery is the rotationally symmetric ansatz $g=dr^2+f_1^2(r)g_{S^{n-1}}$ together with the unitary rescaling that sends the angular-radius Laplacian component to a one-dimensional Schrödinger-type operator $L_i=-D^2+V_i$ with $V_i=\frac{(n-1)(n-3)}4(\frac{f_1'}{f_1})^2+\frac{n-1}{2}\frac{f_1''}{f_1}+\frac{\lambda_i}{f_1^2}$, and the curvature identity $K_{rad}=-f_1''/f_1$. Writing $f_1(r)=\exp\int_2^r(\sqrt{|K_0|}+f(x))dx$ converts the curvature bound into a nonlinear ordinary differential equation for $f$, whose long-range decay $|f(r)|+|f'(r)|=O(h(r)/(1+r))$ is obtained from a comparison lemma. A generalized eigenfunction expansion built from Bessel functions handles the singular point at the origin, while the one-dimensional potential with singular continuous spectrum supplies the spectral input.

What would settle it

Work out the missing adaptation of the one-dimensional construction: exhibit a case where the smoothing step cannot keep both the decay bound $|V-\tau^2|\le h(r)/(1+r)$ and the presence of singular continuous spectrum; such a counterexample would remove the input needed for the manifold construction.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is Theorem 1.2: for every $K_0<0$ and every $h(r)>0$ with $h(r)\to\infty$, there exists a smooth simply connected complete Riemannian manifold $(M^n,g)$ such that the radial curvature satisfies $|K_{rad}(r)-K_0|\le C h(r)/(1+r)$, the essential and absolutely continuous spectra of $-\Delta$ are exactly $[|K_0|(n-1)^2/4,\infty)$, and the singular continuous spectrum is nonempty. The metric is $dr^2+f_1(r)^2g_{S^{n-1}}$; the radial function $f_1$ is built by solving a nonlinear ordinary differential equation, and the curvature identity $K_{rad}=-f_1''/f_1$ turns the curvature bound into a decay statement on the solution. Separation of variables writes $-\Delta$ as a direct sum of one-dimensional Schrödinger-type operators, one of which carries the singular continuous spectrum, while the absolutely continuous spectrum is preserved by the slow decay.

Load-bearing premise

The construction stands on the existence of a smooth one-dimensional potential that matches the prescribed behavior near the origin, decays like $h(r)/(1+r)$, and has singular continuous spectrum; the paper adapts this from a known construction without writing the full proof, so the manifold theorem collapses if that adaptation cannot be carried out.

Editorial extensions

If this is right

  • On each constructed manifold, $\sigma_{\mathrm{ess}}(-\Delta)=\sigma_{\mathrm{ac}}(-\Delta)=[|K_0|(n-1)^2/4,\infty)$ and $\sigma_{\mathrm{sc}}(-\Delta)\neq\emptyset$, so singular continuous spectrum is embedded inside the absolutely continuous essential spectrum.
  • The same essential-spectrum interval appears for every choice of $h(r)\to\infty$, so the slowly decaying curvature perturbation does not move or destroy the absolutely continuous spectrum.
  • The manifolds are smooth and simply connected in every dimension $n\ge2$, so the phenomenon is not a topological or low-dimensional artifact.
  • The proof gives a concrete recipe for the metric function $f_1$ through the ODE and comparison lemma, making the spectral behavior the output of an explicit geometric construction.

Reading between the lines

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

  • Editorial extension: the same ansatz should work for the flat case $K_0=0$, but the authors state that the one-dimensional potential construction must be modified rather than used as a black box; the flat case is promised in a follow-up paper.
  • Editorial extension: if the paper's conjectured threshold is correct, then curvature decay with $|K_{rad}(r)-K_0|\le C/(1+r)$ should force the essential spectrum to be purely absolutely continuous, making $(1+r)^{-1}$ the exact critical rate for embedded singular continuous spectrum.
  • Editorial extension: the Bessel-type generalized eigenfunction expansion may be reusable to embed other spectral features, such as dense pure point components, by swapping in different one-dimensional potentials while keeping the same geometric reduction.
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

1 major / 6 minor

Summary. The paper claims to construct smooth, simply connected, complete, noncompact Riemannian manifolds of dimension n≥2 whose radial curvature K_rad(r) satisfies |K_rad(r)-K0| = O(h(r)/(1+r)) for K0<0 and any positive function h(r)→∞, and whose Laplace-Beltrami operator has nonempty singular continuous spectrum embedded in the absolutely continuous essential spectrum [|K0|(n-1)^2/4,∞). The proof reduces the problem via separation of variables to a one-dimensional Schrödinger operator with a Bessel-type singularity at r=0, develops a generalized eigenfunction expansion for such operators in Section 2, and then invokes an adaptation of Kiselev's construction of decaying potentials with embedded singular continuous spectrum (Theorem 3.1). The remaining step is a Riccati equation analysis (Lemma 4.1) showing that the 1D potential can be realized by a rotationally symmetric metric with the desired curvature decay.

Significance. If the pivotal Theorem 3.1 is fully established, the result is significant: it provides the first explicit constructions of Riemannian manifolds with singular continuous spectrum embedded in the absolutely continuous spectrum, and it matches the curvature-decay threshold O(1/(1+r)) conjecturally analogous to the 1D Schrödinger threshold of Kiselev. The paper's reduction to 1D spectral theory is clean, the generalized eigenfunction expansion in Section 2 is carefully developed, and the Riccati/comparison argument in Lemma 4.1 is convincing. However, the main construction rests on Theorem 3.1, whose proof is only sketched; this is the primary obstacle to accepting the main theorem.

major comments (1)
  1. [Section 3, Theorem 3.1] Theorem 3.1 is the load-bearing step of the whole construction, but its proof is not written out. The statement that the proof 'closely follows' Kiselev's construction [16, Theorem 1.1] with three bullet-point modifications is not sufficient. In particular, the proposed smoothing of the piecewise potential changes the modified Prüfer phase θ defined in (39)-(40) at the end of the current piece, and no estimate is supplied for this phase error. Kiselev's induction controls θ at the beginning of each step, so an uncontrolled phase shift can exceed the induction tolerance and destroy the singular continuous spectrum. Moreover, the replacement of [16, Lemma 2.1] by Lemma 2.4 is not justified: one must verify that the initial solution √r J_ν(√λ r) satisfies the phase and amplitude estimates required at the first step of the induction. Since the rest of the paper, including the proof of Theorem 1.2 in Section 4, depends entirely on Theorem 3.1, this gap must be filled before the main theorem can be accepted.
minor comments (6)
  1. [Abstract and throughout] There are numerous typographical errors, e.g., 'continuou s spectrum' in the abstract and 'eigenvalues' / 'spe ctrum' elsewhere; these should be corrected in a revision.
  2. [Section 3, after Lemma 3.2] The 'Without loss of generality' reduction requiring h(r) ≤ 1+r^{1/10} is not justified in the text. The reduction is correct (replace h by min(h, 1+r^{1/10})), but it should be stated explicitly because it is used to ensure V-τ^2 ∈ L^2 for the cited absolutely continuous spectrum results.
  3. [Section 4, Lemma 4.1] In the last sentence of the proof, '(60) follows from (55) and (56)' should read '(57) follows from (55) and (56)'.
  4. [Section 2, equation (33)] The domain 'ℑ z ≥ 0' in (33) should exclude the zeros of J_ν(√z), where M_-(z) has poles; the subsequent local boundedness argument does address this, but the formula as written is imprecise.
  5. [Section 3, proof of Theorem 3.1] In the second bullet, 'I and III follow from Theorem 1.1 in [16]' is confusing: condition I (matching on (0,b-δ]) is by construction, not from [16]. The authors should clarify which conditions follow from Kiselev's theorem and which are imposed.
  6. [Section 2, equations (15)-(16)] The notation for the extended eigenfunction is inconsistent: J~_ν(r,z) in (15) but J~_ν(z,r) after (16); standardize the argument order.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the manifold construction is a one-way reduction to an external 1D spectral theorem, with no fitted parameter renamed as a prediction.

full rationale

The paper's derivation chain is: choose a large spherical harmonic eigenvalue λ_i; invoke Theorem 3.1 (an adaptation of Kiselev's external theorem) to obtain a smooth 1D potential V with prescribed Bessel singularity at r=0, decay |V−τ^2|≤h(r)/(1+r), and singular continuous spectrum; solve the ODE (52)/(55) for f; define the rotationally symmetric metric via f1(r)=exp(∫_2^r(1+f(x))dx); then identify the radial potential (45) with V and use Lemma 4.1 to convert the decay of V into the curvature bound |Krad−K0|=O(h(r)/(1+r)). Each step is a direct comparison of formulas (3), (45), (49) and (54), not a definitional equivalence between the curvature bound and the spectral conclusion. The singular-continuous-spectrum input is Kiselev's theorem [16], an external, parameter-free result whose assumptions do not include the target manifold construction; the spectral purity statements for the a.c. component come from standard results ([2], [15], [19]). The self-citations [12], [13], [23], [24] are contextual or programmatic and are never used as the load-bearing justification for Theorem 1.2. The only substantive concern is that Theorem 3.1's proof is only sketched, with the smoothing of Kiselev's piecewise potential asserted rather than estimated; that is a completeness/rigor gap, not circular reasoning. Accordingly no circular step can be exhibited with a reduction of Eq. X to Eq. Y by construction.

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

The construction depends on one external black box (Kiselev's theorem) and on standard spectral theory for Sturm-Liouville operators. No new physical entities are introduced. The only existential choices are a large spherical harmonic eigenvalue and the smoothing cutoffs.

free parameters (2)
  • λ_i (spherical harmonic eigenvalue), equivalently ν = any sufficiently large integer such that ν > 1
    The construction fixes one angular mode i with λ_i large enough so ν = sqrt((n-1)(n-3)/4 + λ_i + 1/4) > 1. The result does not depend on the specific value, so this is an existential parameter, not a fine-tuned fit.
  • b and δ (matching and smoothing cutoffs) = b large, δ small
    The potential V is constructed on (0,b-δ), smoothed on [b-δ,b+δ], and extended to infinity. The existence of b,δ with the required properties is asserted but not quantified; they are auxiliary construction parameters.
assumptions (4)
  • ad hoc to paper Kiselev's theorem (Theorem 1.1 in [16])
    The existence of 1D potentials with embedded singular continuous spectrum and the given decay is imported wholesale; the paper's Theorem 3.1 is an adaptation whose proof is mostly skipped.
  • domain assumption V - a ∈ L^2[1,∞) and limit point at infinity
    Used to apply Weyl-Titchmarsh theory and Theorem 2.1. For the constructed V it holds because |V-τ^2| ≤ h(r)/(1+r) with h(r) ≤ 1+r^{1/10}.
  • ad hoc to paper Non-negativity of -D^2+V and 0 not an eigenvalue
    Assumed before the manifold is built; the paper argues it follows from unitary equivalence to a component of -∆ on the eventual manifold, but this is a logical ordering issue.
  • standard math Comparison Lemma 3.2
    Proved in the paper; standard comparison principle for first-order ODEs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Noncompact complete Riemannian manifolds with singular continuous spectrum embedded into the essential spectrum of the Laplacian, I. The hyperbolic case." pith.science (2026). https://pith.science/paper/GPYV7TKX

@misc{pith2026190803808,
  author       = {Pith},
  title        = {Pith review of: Noncompact complete Riemannian manifolds with singular continuous spectrum embedded into the essential spectrum of the Laplacian, I. The hyperbolic case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GPYV7TKX}},
  note         = {Machine review of arXiv:1908.03808}
}
read the original abstract

We construct Riemannian manifolds with singular continuous spectrum embedded in the absolutely continuous spectrum of the Laplacian. Our manifolds are asymptotically hyperbolic with sharp curvature bounds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    S. Agmon. Spectral properties of Schr¨ odinger operator s and scattering theory. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze , 2(2):151–218, 1975

    work page 1975

  2. [2]

    Christ and A

    M. Christ and A. Kiselev. Absolutely continuous spectru m for one-dimensional Schr¨ odinger operators with slowly decaying potentials: some optimal re sults. J. Amer. Math. Soc. , 11(4):771– 797, 1998

    work page 1998

  3. [3]

    Christ and A

    M. Christ and A. Kiselev. WKB and spectral analysis of one -dimensional Schr¨ odinger operators with slowly varying potentials. Comm. Math. Phys. , 218(2):245–262, 2001

    work page 2001

  4. [4]

    Deift and R

    P. Deift and R. Killip. On the absolutely continuous spec trum of one-dimensional Schr¨ odinger operators with square summable potentials. Comm. Math. Phys. , 203(2):341–347, 1999

    work page 1999

  5. [5]

    S. A. Denisov. On the coexistence of absolutely continuo us and singular continuous components of the spectral measure for some Sturm-Liouville operators with square summable potential. J. Differential Equations , 191(1):90–104, 2003

    work page 2003

  6. [6]

    Donnelly

    H. Donnelly. Negative curvature and embedded eigenvalu es. Math. Z. , 203(2):301–308, 1990

    work page 1990

  7. [7]

    Donnelly

    H. Donnelly. Exhaustion functions and the spectrum of Ri emannian manifolds. Indiana Univ. Math. J. , 46(2):505–527, 1997

    work page 1997

  8. [8]

    Donnelly

    H. Donnelly. Spectrum of the Laplacian on asymptoticall y Euclidean spaces. Michigan Math. J. , 46(1):101–111, 1999

    work page 1999

Show all 36 references
  1. [9]

    Donnelly

    H. Donnelly. Spectral theory of complete Riemannian man ifolds. Pure Appl. Math. Q. , 6(2, Special Issue: In honor of Michael Atiyah and Isadore Singer ):439–456, 2010

    2010

  2. [10]

    Ito and E

    K. Ito and E. Skibsted. Absence of embedded eigenvalues for Riemannian Laplacians. Adv. Math., 248:945–962, 2013

    2013

  3. [11]

    Ito and E

    K. Ito and E. Skibsted. Scattering theory for Riemannia n Laplacians. J. Funct. Anal. , 264(8):1929–1974, 2013

    1929

  4. [12]

    Jitomirskaya and W

    S. Jitomirskaya and W. Liu. Nnoncompact complete riema nnian manifolds with singular con- tinuous spectrum embedded into the essential spectrum of th e laplacian, II. The flat case. In preparation

  5. [13]

    Jitomirskaya and W

    S. Jitomirskaya and W. Liu. Noncompact complete Rieman nian manifolds with dense eigenvalues embedded in the essential spectrum of the Laplacian. Geom. Funct. Anal. , 29(1):238–257, 2019

    2019

  6. [14]

    Killip and B

    R. Killip and B. Simon. Sum rules and spectral measures o f Schr¨ odinger operators with L2 potentials. Ann. of Math. (2) , 170(2):739–782, 2009

    2009

  7. [15]

    A. Kiselev. Absolutely continuous spectrum of one-dim ensional Schr¨ odinger operators and Jacobi matrices with slowly decreasing potentials. Comm. Math. Phys. , 179(2):377–400, 1996

    1996

  8. [16]

    A. Kiselev. Imbedded singular continuous spectrum for Schr¨ odinger operators.J. Amer. Math. Soc., 18(3):571–603, 2005

    2005

  9. [17]

    Kiselev, Y

    A. Kiselev, Y. Last, and B. Simon. Modified Pr¨ ufer and EF GP transforms and the spectral analysis of one-dimensional Schr¨ odinger operators. Comm. Math. Phys. , 194(1):1–45, 1998

    1998

  10. [18]

    Kriecherbauer and C

    T. Kriecherbauer and C. Remling. Finite gap potentials and WKB asymptotics for one- dimensional Schr¨ odinger operators.Comm. Math. Phys. , 223(2):409–435, 2001

    2001

  11. [19]

    H. Kumura. On the essential spectrum of the Laplacian on complete manifolds. Journal of the Mathematical Society of Japan , 49(1):1–14, 1997. 18 SVETLANA JITOMIRSKAYA AND WENCAI LIU

    1997

  12. [20]

    H. Kumura. The radial curvature of an end that makes eige nvalues vanish in the essential spectrum. I. Math. Ann. , 346(4):795–828, 2010

    2010

  13. [21]

    H. Kumura. Limiting absorption principle on manifolds having ends with various measure growth rate limits. Proc. Lond. Math. Soc. (3) , 107(3):517–548, 2013

    2013

  14. [22]

    B. M. Levitan. Inverse Sturm-Liouville problems . VSP, Zeist, 1987. Translated from the Russian by O. Efimov

    1987

  15. [23]

    W. Liu. Growth of the eigensolutions of Laplacians on Ri emannian manifolds I: construction of energy function. Int. Math. Res. Not. IMRN to appear

  16. [24]

    W. Liu. Growth of the eigensolutions of Laplacians on Ri emannian manifolds II: positivity of the initial energy. Math. Phys. Anal. Geom. , 21(3):Art. 18, 20, 2018

    2018

  17. [25]

    V. A. Marchenko. Sturm-Liouville operators and applications , volume 22 of Operator Theory: Advances and Applications . Birkh¨ auser Verlag, Basel, 1986. Translated from the Russ ian by A. Iacob

    1986

  18. [26]

    M. A. Pinsky. Spectrum of the Laplacian on a manifold of n egative curvature. II. J. Differential Geom., 14(4):609–620 (1981), 1979

    1981

  19. [27]

    Reed and B

    M. Reed and B. Simon. Methods of modern mathematical physics. II. Fourier analys is, self- adjointness. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975

    1975

  20. [28]

    C. Remling. Some Schr¨ odinger operators with power-de caying potentials and pure point spec- trum. Comm. Math. Phys. , 186(2):481–493, 1997

    1997

  21. [29]

    C. Remling. The absolutely continuous spectrum of one- dimensional Schr¨ odinger operators with decaying potentials. Comm. Math. Phys. , 193(1):151–170, 1998

    1998

  22. [30]

    C. Remling. Bounds on embedded singular spectrum for on e-dimensional Schr¨ odinger operators. Proc. Amer. Math. Soc. , 128(1):161–171, 2000

    2000

  23. [31]

    C. Remling. Schr¨ odinger operators with decaying pote ntials: some counterexamples. Duke Math. J., 105(3):463–496, 2000

    2000

  24. [32]

    B. Simon. Operators with singular continuous spectrum . I. General operators. Ann. of Math. (2), 141(1):131–145, 1995

    1995

  25. [33]

    B. Simon. Operators with singular continuous spectrum . VI. Graph Laplacians and Laplace- Beltrami operators. Proc. Amer. Math. Soc. , 124(4):1177–1182, 1996

    1996

  26. [34]

    B. Simon. Schr¨ odinger operators in the twenty-first ce ntury. In Mathematical Physics 2000 , pages 283–288. World Scientific, 2000

    2000

  27. [35]

    Titschmarch

    E. Titschmarch. Eigenfunction expansions associated with second-order differential equations. Part II, 1958

    1958

  28. [36]

    E. T. Whittaker and G. N. Watson. A course of modern analysis . Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1996. An i ntroduction to the general theory of infinite processes and of analytic functions; with an acco unt of the principal transcendental ...

    1927

Pith tools

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