{"id":"2ac46c85-4dc7-48f9-a671-15c0bb4c9f33","arxiv_id":"2608.10518","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For complete non-compact surfaces admitting a finite-index Schrödinger operator with non-negative potential, the curvature at infinity of the Fischer-Colbrie metric controls critical points, number of ends, and plane rigidity.","lead":"This paper proves that a quantity called curvature at infinity controls the topology of complete non-compact surfaces carrying Schrödinger operators with finite Morse index. It confines critical points of distance functions, bounds the number of ends, and gives explicit conditions forcing the surface to be a plane.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3(4) rests on an unstated appeal to 'the argument in the proof of [16, Theorem 2.2]'; the paper neither states that theorem nor verifies its hypotheses for the compactly supported model constructed in §3.1.","rationale":"The reader's weakest-assumption diagnosis is exactly the step I find most load-bearing. The rest of the paper is internally coherent: Theorem 1.3(1) is elementary, assertions (2) and (3) follow from standard comparison and isoperimetric estimates, and the Corollary 1.4 proof is written out in full rather than deferred. The problem is localized to the proof of Theorem 1.3(4), where a decisive compactness conclusion is imported from a self-cited source without stating the theorem or checking its hypotheses. This is not an accusation of error; the cited result may well cover the constructed model. But because the paper itself flags a gap in a related prior proof ([15]), a referee cannot simply take the appeal on faith. The requested check is therefore not an attempt to disprove the theorem but to force the authors to make the external critical-point argument explicit. If the cited hypotheses verify, the paper should be accepted as is; if they do not, Theorem 1.3(4) and the claims built on it would need to be weakened or re-proved. That is precisely a conditional acceptance, so the reader's verdict should remain unchanged.","tokens_in":18104,"tokens_out":19136,"duration_ms":206156,"concrete_test":"Pull up the exact statements of [16, Theorem 2.2] and [16, Theorem 5.3] (and, if needed, [18, Section 3] for the endpoint case δ0 = π) and transcribe their hypotheses. Instantiate them with the model of §3.1: K-tilde = κ0 η(t), η ≡ 1 near 0 and η ≡ 0 for t ≥ r0 + 1. Check each hypothesis explicitly, paying particular attention to (i) whether the theorem permits arbitrary non-positive radial curvature or only von Mangoldt models, since K-tilde here is non-decreasing; (ii) what exactly the sector condition means and whether Cartan-Hadamard suffices for δ0 = π; (iii) whether the theorem concludes boundedness of Crit(d*_p) or only an end-count estimate. If every hypothesis is met, reproduce the critical-point contradiction in a short lemma; if any hypothesis fails for this model, Theorem 1.3(4) is unproved as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.3(4) is a single sentence: because K-tilde is non-positive, the model is Cartan-Hadamard, so the sector condition in [16, Theorem 5.3] is automatic, and 'the argument in the proof of [16, Theorem 2.2]' rules out a sequence of critical points going to infinity. No statement of [16, Theorem 2.2] or of the internal lemma used there is provided, so the reader cannot verify which hypotheses are actually needed. The model built in §3.1 certainly has K-tilde = κ0 η(t) with κ0 ≤ 0, compact support, ∫ t K-tilde dt > -∞, and total curvature c(Σ-tilde) = 2π(1 - 2α*) ≤ 0; all of these are visibly true. What is not visible is whether [16, Theorem 2.2] requires anything stronger, for example a von Mangoldt condition (K-tilde non-increasing; here K-tilde is non-decreasing), a pole with no conjugate points beyond Cartan-Hadamard, an upper bound c(Σ-tilde) < 2π (true here), or only an end-count conclusion rather than bounded critical points. If the cited theorem is valid under exactly these hypotheses, Theorem 1.3(4) follows; if it needs extra structure, the present proof does not establish it. Since Theorem 1.3(4) is one of the two advertised main structural conclusions and is the only place where critical-point confinement is proved, this is the load-bearing step. The paper's own remark that the Corollary 1.4 proof 'corrects a gap' in [15] makes an unstated appeal to another prior theorem especially risky.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies complete non-compact Riemannian 2-manifolds Σ admitting a Schrödinger operator L_g = Δ_g - K_g + q with q ≥ 0 and finite Morse index. Following Fischer-Colbrie, the authors fix a conformal metric g* = u^2 g and define the curvature at infinity λ*∞(Σ) = 2πχ(Σ) - c*(Σ). The main structural theorem constructs a non-compact model surface of revolution whose radial curvature bounds K* from below, derives the area-growth identity λ*∞(Σ) = 4πα* lim_t Area(B*_t(p))/Area(B_t(p̃)), proves that all critical points of the distance function d*_p lie in a compact ball, and gives the end bound #E(Σ) ≤ 4α*. Two further theorems distinguish a regime forcing Σ to be diffeomorphic to R^2 and a one-ended regime in which Busemann functions are exhaustions. The proofs combine radial-curvature comparison, a Toponogov-type theorem, total-curvature results for open surfaces, and estimates of ray measures.","tokens_in":18519,"tokens_out":14039,"duration_ms":137137,"significance":"If the structural claims are correct, the framework is a genuine extension of Fischer-Colbrie's stability classification to finite-index operators without imposing vanishing index. The identity (1.4) is a clean quantitative link between the curvature at infinity and the area growth of the Fischer-Colbrie metric relative to an explicit model, and Corollary 1.4 gives a concrete and checkable bound on the number of ends. The proof of Corollary 1.4 is a substantial comparison-geometric argument that explicitly claims to correct a gap in the earlier paper [15]; this is a valuable contribution in itself. At the same time, the paper delegates several load-bearing steps to unstated or informally stated results from the authors' prior work, and one of the two advertised regimes in Theorem 1.8(2) is essentially a tautological consequence of its own hypothesis rather than a curvature-governed conclusion. These issues substantially temper the strength of the paper's broad claims.","major_comments":[{"comment":"The proof of boundedness of critical points consists of the statement that, because K̃ ≤ 0, the model surface is Cartan–Hadamard and the sector condition in [16, Theorem 5.3] is automatic, and then 'the argument in the proof of [16, Theorem 2.2]' rules out a sequence of critical points tending to infinity. Neither [16, Theorem 2.2] nor the internal lemma used there is stated, and no verification of its hypotheses is given for the particular model constructed in this paper. This is load-bearing: the model K̃ = κ0η is compactly supported and non-positive, hence non-decreasing in t when κ0 < 0, so any von Mangoldt-type hypothesis requiring monotone non-increasing K̃ would fail. Please state the cited theorem, verify all of its hypotheses for this model, and then derive the bounded-critical-point conclusion in full.","section":"§3.1, proof of Theorem 1.3(4)"},{"comment":"The hypothesis β* ∈ (0, χ(Σ)/2 − 1/4) is satisfiable only when χ(Σ) = 1. Indeed β* > 0 forces χ(Σ) > 1/2, and for a one-ended surface of finite topology we have χ(Σ) ≤ 1; since χ(Σ) is an integer, χ(Σ) = 1 follows. The proof itself makes this explicit in Eqs. (3.27)–(3.28). Consequently the conclusion 'Σ is homeomorphic to R^2' follows immediately from the existence of the interval, with no quantitative use of λ*∞ beyond its positivity. As stated, this is a tautological reformulation of the topological hypothesis rather than a curvature-governed rigidity result. Please either reformulate the theorem so that the hypothesis is a genuine condition on curvature at infinity or explicitly present it as an observation about the admissibility of the interval.","section":"§3.4, Theorem 1.8(2)"},{"comment":"Theorem 1.6 concludes not only that Σ is diffeomorphic to R^2 but also that d*_p has no non-trivial critical points. This stronger conclusion is obtained by applying Theorem 2.8 together with Remark 2.9, where the no-critical-point statement is asserted as an extension of the proof of [18, Corollary 3.5]. Since the absence of critical points is the mechanism behind the main rigidity conclusion and also feeds into the estimate (1.6), Remark 2.9 should be promoted to a formal lemma with a complete proof under explicitly stated hypotheses, or Theorem 2.8's statement should be amended to include the critical-point conclusion.","section":"§3.3 and Remark 2.9"}],"minor_comments":[{"comment":"The proof of Lemma 2.7 invokes [16, Lemma 4.10] without stating it; because this lemma is used in the proof of Corollary 1.4, please include its statement or a precise reference with the hypotheses needed.","section":"§2.1, Lemma 2.7"},{"comment":"The appeal to the 'generalized first variation formula of Itoh–Tanaka [13, Lemma 2.1]' states neither the lemma's hypotheses nor its conclusion; given that this is the point where the paper claims to correct a gap in [15], the lemma should be stated.","section":"§3.2, after Eq. (3.17)"},{"comment":"The notation for the model surface is inconsistent: it appears as eΣ in Theorem 1.3, as fM in Section 2, and as (eΣ, g̃) in later sections. Please unify the notation.","section":"Throughout"},{"comment":"Several displayed formulas contain typographical artifacts, for example 'Schr¨ odinger' in the abstract, '∠(x py)' in Eq. (3.13), and inconsistent spacing in 'Bρ0+T (˜p)'. Please proofread the LaTeX carefully.","section":"Various displayed formulas"}],"recommendation":"major_revision","confidential_remarks":"The manuscript leans heavily on the authors' own previous papers, especially [16] and [18], and the most delicate geometric step in Theorem 1.3(4) is delegated to an unstated theorem. That is not disqualifying, but the referee had to take several load-bearing claims on faith. The tautological character of Theorem 1.8(2) should be addressed before acceptance, and the framing of the paper's two regimes should be adjusted accordingly. If the missing statements are supplied and the tautology is reframed or removed, the remaining body—especially the area-growth identity and the end bound—would be a solid contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Honestly, the main structural claim holds up: finite-index Schrödinger operators with q>=0 on a non-compact surface give you a Fischer-Colbrie metric whose curvature at infinity controls critical points, ends, and plane rigidity. Theorems 1.3(1)-(3) and Corollary 1.4 are new, and the proofs are detailed; the ends bound via radial curvature comparison, and the full proof correcting the gap in [15, Theorem C], is a genuine service. The paper also credits prior work honestly, and the extension beyond index zero is the real contribution.\n\nThe soft spots. The proof of Theorem 1.3(4) is essentially one sentence: because the model is Cartan-Hadamard, the sector condition in [16, Theorem 5.3] is automatic, and 'the argument in the proof of [16, Theorem 2.2]' rules out unbounded critical points. That is load-bearing and unstated. The authors need to state [16, Theorem 2.2] and verify its hypotheses for their compactly supported model, or reproduce the argument. Since the same theorem is used elsewhere, this is not a minor citation nit; it is the only place critical-point confinement is proved. The worry is concrete: the cited theorem might require a von Mangoldt condition or an extra bound on total curvature that the present model does not obviously satisfy.\n\nSecond, the paper does not address well-definedness of lambda*_infty(Sigma) with respect to the choice of Fischer-Colbrie function u (and the compact set C). Different choices can change g* and therefore the total curvature c*; if the quantity varies, the phrase 'governs the topology' is ambiguous and the condition in Theorem 1.6 may depend on an artifact. The authors should say whether lambda*_infty is independent or state that the theorems hold for every choice.\n\nThird, Theorem 1.8(2) is close to tautological: the interval (0, chi/2 - 1/4) is nonempty only when chi(Sigma)=1, so the topological conclusion is immediate and the content is really in Assertion (1). That is not a flaw, but it is worth knowing before reading.\n\nNone of this makes the paper unsound; it is a coherent, credible contribution that needs a referee to enforce explicitness. The self-citation pattern is heavy but the cited results are real and published. I would send it to peer review.","headline":"A credible finite-index extension of Fischer-Colbrie's classification, with one load-bearing proof left implicit.","tokens_in":19067,"tokens_out":2891,"would_cite":true,"duration_ms":27200,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C20","58J05","35J10","35P15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A curvature invariant at infinity controls surface topology and ends.","keywords":["Schrödinger operator","finite Morse index","Fischer-Colbrie metric","curvature at infinity","radial curvature","Busemann function","ends of surfaces","Grove–Shiohama critical points"],"falsifier":"Construct a complete non-compact surface satisfying $\\operatorname{Ind}(L_g)<\\infty$ and $q\\ge 0$ whose Fischer-Colbrie metric has a sequence of Grove–Shiohama critical points of $d^*_p$ with $d^*_p(q_i)\\to\\infty$; that would directly refute Theorem 1.3(4). A more targeted check is to verify the quoted proof of the comparison theorem used there and see whether the model surface built in Theorem 1.3 satisfies every hypothesis, since the paper only asserts that the Cartan–Hadamard condition makes the sector condition automatic.","tokens_in":17890,"feed_emoji":"📐","tokens_out":10081,"duration_ms":75540,"temperature":0.7,"pith_summary":"The paper establishes that for a complete non-compact surface admitting a Schrödinger operator with nonnegative potential and finite Morse index, a single curvature invariant at infinity of a canonical conformal metric controls the global topology. It proves that this invariant equals a limiting ratio of area growth against a model surface of revolution, that all critical points of the distance function from a base point lie in one bounded ball, and that the number of ends is bounded by a constant determined by the invariant. If the invariant is large enough, the surface is diffeomorphic to the plane; if it is positive and small enough on a one-ended surface, every Busemann function is an exhaustion. These results extend earlier classifications that required stability or vanishing index.","feed_headline":"Curvature at infinity governs non-compact surface topology","feed_subtitle":"A single number from a canonical metric bounds the ends and, at thresholds, forces the plane or exhaustions.","key_machinery":"The load-bearing object is the curvature at infinity $\\lambda^*_\\infty(\\Sigma):=2\\pi\\chi(\\Sigma)-c^*(\\Sigma)$ of the Fischer-Colbrie metric, together with the identity (1.4) that identifies it with $4\\alpha^*\\pi$ times the limiting ratio of ball areas in $(\\Sigma,g^*)$ and in a model surface of revolution (a surface with metric $dt^2 + f(t)^2\\,d\\theta^2$ and radial curvature $\\tilde K$). The identity comes from the isoperimetric inequality on complete open surfaces and a volume comparison for radial curvature. The topological conclusions follow by feeding this identity into a radial-curvature comparison theorem, Grove–Shiohama critical-point theory for distance functions, and Shiohama's total-curvature criterion for Busemann functions.","core_discovery":"The central discovery is a structure theorem for the Fischer-Colbrie metric $g^* = u^2 g$, the complete conformal metric obtained from a positive solution $u$ of the Schrödinger equation outside a compact set. For any base point $p$ in that compact set, there is a model surface of revolution with non-positive, compactly supported radial curvature $\\tilde K$ such that the radial curvature of $(\\Sigma,g^*)$ is bounded below by $\\tilde K$. The curvature at infinity $\\lambda^*_\\infty(\\Sigma) = 2\\pi\\chi(\\Sigma) - c^*(\\Sigma)$ satisfies $\\lambda^*_\\infty(\\Sigma) = 4\\alpha^*\\pi \\lim_{t\\to\\infty} \\operatorname{Area}(B^*_t(p))/\\operatorname{Area}(B_t(\\tilde p))$ for a constant $\\alpha^* \\in [1/2,\\infty)$, the model has total curvature $2\\pi(1-2\\alpha^*)$, and every Grove–Shiohama critical point of $d^*_p$ lies in a single bounded ball. From this, the paper derives the bound $\\#\\mathrm{Ends}(\\Sigma)\\le 4\\alpha^*$, a rigidity criterion in which a quantitative lower bound on $\\lambda^*_\\infty$ forces $\\Sigma\\cong\\mathbb R^2$, and, for one-ended surfaces, conditions on $\\beta^*$ under which Busemann functions are exhaustions.","pith_inferences":["A natural testable extension is to compute the sharp threshold in Theorem 1.6 by constructing model surfaces whose radial curvature crosses inequality (1.5) and checking whether critical points reappear just below the threshold.","The identity (1.4) suggests that the curvature at infinity measures the asymptotic opening angle of the surface, so the bound $\\#\\mathrm{Ends}\\le 4\\alpha^*$ may be improvable if the packing argument in Corollary 1.4 is sharpened using the actual distribution of rays.","For higher-dimensional versions of the problem, the comparison machinery underlying Theorem 2.8 is dimension-independent, so a partial analogue of the area-growth identity may hold even where a Fischer-Colbrie conformal metric is not available."],"forward_implications":["The number of ends of the surface is at most $4\\alpha^*$, a quantitative bound coming directly from the identity (1.4).","If $\\lambda^*_\\infty(\\Sigma)\\ge 2\\alpha^*\\pi\\{2-\\exp(\\int_0^\\infty t\\tilde K(t)\\,dt)\\}$, then the distance function has no critical points away from the base point and $\\Sigma$ is diffeomorphic to $\\mathbb R^2$.","On a one-ended surface with $\\lambda^*_\\infty(\\Sigma)>0$ and $\\beta^*\\in(0,1/4)$, every Busemann function is an exhaustion, and the measure of ray directions converges to $\\lambda^*_\\infty(\\Sigma)$ uniformly outside a compact set.","If $\\beta^*\\in(0,\\chi(\\Sigma)/2-1/4)$, the surface is homeomorphic to $\\mathbb R^2$ and the same Busemann exhaustion holds."],"supporting_citations":[{"why":"Supplies the structure theorem: a positive solution $u$ of the Schrödinger equation outside a compact set, the complete conformal metric $g^*=u^2g$, nonnegative curvature outside a compact set, finite topology, and finite total curvature.","marker":"[8]"},{"why":"Defines the Grove–Shiohama critical points of a distance function used in Theorem 1.3(4) and Theorem 1.6.","marker":"[10]"},{"why":"Provides the end-counting argument that Corollary 1.4 adapts and corrects.","marker":"[15]"},{"why":"Gives the generalized Toponogov comparison theorem and the argument ruling out unbounded critical points of $d^*_p$.","marker":"[16]"},{"why":"Supplies the volume-growth rigidity criterion that converts the area-growth ratio in (1.4) into the absence of critical points and diffeomorphism to $\\mathbb{R}^2$.","marker":"[18]"},{"why":"Gives the Bishop–Gromov-type volume comparison for radial curvature used to establish the limiting area ratio in Theorem 1.3(2).","marker":"[19]"},{"why":"Provides Shiohama's criterion: on a one-ended surface, total curvature above $2\\pi\\chi-\\pi$ forces every Busemann function to be an exhaustion.","marker":"[21]"},{"why":"The monograph that supplies the isoperimetric inequality and the ray-measure asymptotics used in Eqs. (1.4), (1.6)–(1.8).","marker":"[22]"}],"fun_headline_variants":["One curvature number at infinity fixes surface topology and ends","Curvature at infinity decides how many ends a surface has","A single curvature value at infinity controls surface ends and shape","Infinity's curvature number governs ends and forces plane","A single number from infinity controls ends and forces plane"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that critical points of $d^*_p$ cannot escape to infinity invokes a comparison-geometric theorem that is quoted rather than restated; if that theorem requires hypotheses beyond a radial lower curvature bound with $\\int_0^\\infty t\\tilde K(t)\\,dt>-\\infty$, the boundedness conclusion in Theorem 1.3(4) could fail.","fun_headline_variants_meta":{"raw":{"variants":["One curvature number at infinity fixes surface topology and ends","Curvature at infinity decides how many ends a surface has","A single curvature value at infinity controls surface ends and shape","Infinity's curvature number governs ends and forces plane","A single number from infinity controls ends and forces plane"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000737,"raw_usage":{"total_tokens":3411,"prompt_tokens":1183,"completion_tokens":2228,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":799,"completion_tokens_details":{"reasoning_tokens":2149}},"tokens_in":799,"tokens_out":2228,"duration_ms":15019,"temperature":1.0,"reasoning_tokens":2149,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:19:14.389584+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a complete non-compact surface satisfying $\\operatorname{Ind}(L_g)<\\infty$ and $q\\ge 0$ whose Fischer-Colbrie metric has a sequence of Grove–Shiohama critical points of $d^*_p$ with $d^*_p(q_i)\\to\\infty$; that would directly refute Theorem 1.3(4). A more targeted check is to verify the quoted proof of the comparison theorem used there and see whether the model surface built in Theorem 1.3 satisfies every hypothesis, since the paper only asserts that the Cartan–Hadamard condition makes the sector condition automatic.","supporting_citations":[{"cited_title":"Grove and K","cited_arxiv_id":null,"evidence_quote":"Defines the Grove–Shiohama critical points of a distance function used in Theorem 1.3(4) and Theorem 1.6."},{"cited_title":"Kondo and S","cited_arxiv_id":null,"evidence_quote":"Provides the end-counting argument that Corollary 1.4 adapts and corrects."},{"cited_title":"Kondo and M","cited_arxiv_id":null,"evidence_quote":"Gives the generalized Toponogov comparison theorem and the argument ruling out unbounded critical points of $d^*_p$."},{"cited_title":"Kondo and M","cited_arxiv_id":null,"evidence_quote":"Supplies the volume-growth rigidity criterion that converts the area-growth ratio in (1.4) into the absence of critical points and diffeomorphism to $\\mathbb{R}^2$."},{"cited_title":"Mao,Volume comparison theorems for manifolds with radial curvature bounded, Czechoslovak Math","cited_arxiv_id":null,"evidence_quote":"Gives the Bishop–Gromov-type volume comparison for radial curvature used to establish the limiting area ratio in Theorem 1.3(2)."},{"cited_title":"Shiohama,The role of total curvature on complete noncompact Rieman- nian2-manifolds, Illinois J","cited_arxiv_id":null,"evidence_quote":"Provides Shiohama's criterion: on a one-ended surface, total curvature above $2\\pi\\chi-\\pi$ forces every Busemann function to be an exhaustion."},{"cited_title":"Shiohama, T","cited_arxiv_id":null,"evidence_quote":"The monograph that supplies the isoperimetric inequality and the ray-measure asymptotics used in Eqs. (1.4), (1.6)–(1.8)."}],"review_version":1}