{"id":"1af8a87b-6664-49f3-926e-2e589deb7953","arxiv_id":"2605.31477","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves that complete manifolds with Ric ≥ 0 and boundary h ≥ 1 are compact via monotone quantities from positive proper harmonic functions with Neumann conditions.","lead":"The paper proves that any complete Riemannian manifold with nonnegative Ricci curvature and uniformly convex boundary (second fundamental form h ≥ 1) must be compact, implying finite fundamental group. This confirms a prior conjecture using techniques based on harmonic functions.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Monotonicity of quantities built from positive proper harmonic functions with Neumann BC is the least secure step","rationale":"The reader's weakest assumption directly identifies the same unverified step described in the abstract; the proposed concrete test targets precisely that step without requiring external consensus or ad-hominem considerations.","tokens_in":1547,"tokens_out":328,"duration_ms":18003,"concrete_test":"Assume a model non-compact manifold (e.g., a paraboloid or half-space with perturbed metric) satisfying Ric ≥ 0 and h ≥ 1; explicitly solve or approximate the Neumann problem for a positive proper harmonic u, compute the candidate monotone quantity Q(t) along integral curves of ∇u, and check whether dQ/dt ≤ 0 holds with the given curvature bounds; if the sign fails or the boundary integral is not controlled by h ≥ 1, the method does not force compactness.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that, on a hypothetical non-compact complete manifold with Ric ≥ 0 and h ≥ 1, one can produce positive proper harmonic functions u satisfying the Neumann condition ∂_ν u = 0, then extract monotone quantities (presumably via integration of |∇u|² or a Bochner-type expression along the flow of ∇u) whose monotonicity, combined with the curvature hypotheses, yields a contradiction. The abstract supplies no explicit formula for the quantity or the boundary-term estimate that converts h ≥ 1 into a sign, so this construction is the single point whose failure would invalidate the compactness conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves that any complete Riemannian manifold with nonnegative Ricci curvature and uniformly convex boundary (second fundamental form satisfying h ≥ 1) must be compact, and therefore has finite fundamental group. The argument constructs positive proper harmonic functions satisfying the Neumann boundary condition and derives monotone quantities from them whose monotonicity, combined with the curvature hypotheses, yields a contradiction with non-compactness.","tokens_in":1657,"tokens_out":303,"duration_ms":14050,"significance":"If the central construction holds, the result confirms M. Li's compactness conjecture and supplies a new analytic tool for controlling volume growth and topology on manifolds with boundary under Ric ≥ 0. The method of building monotone quantities from harmonic functions with Neumann data is a natural extension of existing techniques in geometric analysis and, when made fully explicit, would be a reusable contribution.","major_comments":[{"comment":"The abstract and proof sketch describe the construction of monotone quantities from positive proper harmonic functions u with ∂_ν u = 0, but the explicit formula for the quantity (presumably an integral involving |∇u|² or a Bochner expression) and the boundary-term estimate that converts h ≥ 1 into a favorable sign are not supplied. This step is load-bearing for the compactness conclusion; without the formula and the sign control, the argument cannot be verified.","section":"Abstract / proof description paragraph"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript and for identifying the need for greater explicitness in the presentation of the central construction. We respond to the major comment below.","responses":[{"response":"We agree that the abstract and the brief proof description in the introduction are high-level summaries and do not contain the explicit formula for the monotone quantity or the detailed boundary-term estimates. The full construction, including the integral expression derived from |∇u|² together with the Bochner identity and the sign control obtained from the Neumann condition combined with h ≥ 1, appears in the body of the paper. To improve accessibility and verifiability directly from the introduction, we will revise the manuscript by expanding the proof sketch to include the explicit monotone quantity and the key boundary estimate.","revision_made":"yes","referee_comment":"[Abstract / proof description paragraph] The abstract and proof sketch describe the construction of monotone quantities from positive proper harmonic functions u with ∂_ν u = 0, but the explicit formula for the quantity (presumably an integral involving |∇u|² or a Bochner expression) and the boundary-term estimate that converts h ≥ 1 into a favorable sign are not supplied. This step is load-bearing for the compactness conclusion; without the formula and the sign control, the argument cannot be verified."}],"tokens_in":1123,"tokens_out":295,"duration_ms":21984,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper proves M. Li's conjecture: a complete Riemannian manifold with nonnegative Ricci curvature and boundary second fundamental form h ≥ 1 must be compact, hence has finite fundamental group. The argument builds monotone quantities from positive proper harmonic functions satisfying the Neumann condition ∂_ν u = 0.\n\nIf the construction is valid, this gives a direct compactness result that also yields the topological conclusion without extra work. The statement is clean and the method fits the setting—harmonic functions with Neumann data are a natural tool when the boundary is convex.\n\nThe abstract is explicit about the hypotheses and the tool used, with no visible circularity or free parameters. That is a plus.\n\nThe soft spot is the monotone quantity itself. The abstract gives no formula and no boundary-term estimate that converts h ≥ 1 into the required sign. If that step fails to produce strict monotonicity or a contradiction with non-compactness, the rest does not go through. The stress-test note correctly flags this as the least secure link; everything else looks like standard comparison geometry once the quantity is in hand.\n\nThis is for people working on curvature bounds with boundary, especially those following compactness and finiteness results in nonnegative Ricci settings. A reader already comfortable with Bochner-type calculations or harmonic function techniques would see the most value.\n\nIt deserves peer review. Resolving an open conjecture with a specific analytic construction is worth referee time even if the estimates need tightening.","headline":"Claims to prove Li's compactness conjecture for Ric ≥0 and h≥1 via monotone quantities from Neumann harmonic functions, but that construction is the part that needs checking.","tokens_in":2103,"tokens_out":371,"would_cite":false,"duration_ms":20034,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A complete Riemannian manifold with nonnegative Ricci curvature and uniformly convex boundary (h ≥ 1) must be compact with finite fundamental group.","keywords":["nonnegative Ricci curvature","uniformly convex boundary","second fundamental form","compactness","harmonic functions","Neumann boundary condition","fundamental group","complete Riemannian manifold"],"falsifier":"Exhibit a non-compact complete Riemannian manifold with Ric ≥ 0 everywhere and second fundamental form h ≥ 1 on the boundary, or produce a calculation showing that one of the claimed monotone quantities fails to be monotonic.","tokens_in":2438,"feed_emoji":"","tokens_out":581,"duration_ms":19117,"temperature":0.7,"pith_summary":"The paper proves that any complete Riemannian manifold whose Ricci curvature is nonnegative and whose boundary has second fundamental form bounded below by 1 is necessarily compact. Compactness then forces the fundamental group to be finite. A sympathetic reader cares because the result rules out infinite-volume examples that satisfy these curvature conditions and settles a conjecture of M. Li. The argument proceeds by constructing monotone quantities from positive proper harmonic functions that satisfy Neumann boundary conditions; these quantities cannot exist on a non-compact manifold under the given curvature hypotheses.","feed_headline":"Ric ≥ 0 and h ≥ 1 force complete manifolds to be compact","feed_subtitle":"The result confirms a conjecture and implies that the fundamental group must be finite.","key_machinery":"Monotone quantities built from positive proper harmonic functions satisfying Neumann boundary conditions, which are shown to be monotonic under Ric ≥ 0 and h ≥ 1 and thereby force the manifold to be compact.","core_discovery":"We prove that if a complete Riemannian manifold with boundary has Ric ≥ 0 and the second fundamental form of the boundary satisfies h ≥ 1, then the manifold is compact. As a consequence its fundamental group is finite. The proof proceeds by constructing monotone quantities from positive proper harmonic functions with Neumann boundary conditions.","pith_inferences":["The same monotone-quantity technique might adapt to other lower bounds on the second fundamental form.","The result limits the possible asymptotic geometry of ends for manifolds with Ric ≥ 0.","Compactness here could be used to obtain diameter bounds or eigenvalue estimates on the same class of manifolds."],"forward_implications":["Any such manifold is compact.","The fundamental group of any such manifold is finite.","No non-compact examples exist under the stated curvature and boundary conditions."],"fun_headline_variants":["Ric ≥ 0 and h ≥ 1 force manifolds compact","Nonnegative Ricci with h ≥ 1 implies compactness","h ≥ 1 and Ric ≥ 0 make complete manifolds compact","Uniform convexity and Ric ≥ 0 force manifold compactness"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The construction of monotone quantities from positive proper harmonic functions with Neumann boundary condition is valid and these quantities suffice to force compactness when combined with Ric ≥ 0 and h ≥ 1.","fun_headline_variants_meta":{"raw":{"variants":["Ric ≥ 0 and h ≥ 1 force manifolds compact","Nonnegative Ricci with h ≥ 1 implies compactness","h ≥ 1 and Ric ≥ 0 make complete manifolds compact","Uniform convexity and Ric ≥ 0 force manifold compactness"]},"model":"grok-4.3","cost_usd":0.007831,"raw_usage":{"total_tokens":3476,"prompt_tokens":472,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":78312000,"prompt_tokens_details":{"text_tokens":472,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2938,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":472,"tokens_out":66,"duration_ms":23523,"temperature":1.0,"reasoning_tokens":2938,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T20:45:01.931438+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exhibit a non-compact complete Riemannian manifold with Ric ≥ 0 everywhere and second fundamental form h ≥ 1 on the boundary, or produce a calculation showing that one of the claimed monotone quantities fails to be monotonic.","supporting_citations":[],"review_version":1}