{"id":"a8f69f57-05b6-4333-96d9-e5b5ab9c8c56","arxiv_id":"2505.00760","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives curvature estimates to prove existence of smooth complete hypersurfaces in hyperbolic space with constant (n-2)-curvature and prescribed asymptotic boundary for the full range of curvature values.","lead":"This paper derives curvature estimates for complete hypersurfaces in hyperbolic space with constant (n-2)-curvature and a prescribed boundary at infinity. The estimates extend previous existence results from a restricted range of curvature values to all possible values.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Curvature estimates may implicitly retain dependence on the curvature parameter, reintroducing range restrictions in the existence argument","rationale":"The reader's weakest assumption correctly flags the critical point: whether the estimates are truly free of range restrictions. The proposed check directly tests uniformity of the constants with respect to κ, which is the precise condition needed for the existence deduction to extend to all values. This is a standard technical gap in such geometric PDE papers and can be settled by inspecting the proof constants without requiring external data.","tokens_in":1522,"tokens_out":396,"duration_ms":37134,"concrete_test":"Locate the main curvature estimate (likely Theorem 1.1 or Proposition 3.1); extract the explicit dependence of the bound on the curvature parameter κ. Re-run the maximum-principle argument with a test function that isolates the κ-dependence; if the resulting constant blows up as κ approaches the old range boundary, the global existence claim does not follow.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is that new curvature estimates remove the prior range limitation on admissible constant (n-2)-curvature values for existence of complete hypersurfaces with prescribed asymptotic boundary. For this to hold, the estimates (presumably obtained via maximum principle on the curvature function or a fully nonlinear elliptic operator in §2–3) must be uniform in the curvature value κ and apply globally to any smooth complete hypersurface with the given boundary data at infinity. If the constants in the C^2 or higher estimates depend on κ (e.g., deteriorate as κ approaches the boundary of the previously known interval), or if an auxiliary assumption such as strict convexity or a sign condition on the second fundamental form is used that only holds inside the old range, then the a priori bounds needed for compactness in a continuity-method existence proof would fail outside that range, leaving the deduction of existence for all values unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript derives a priori curvature estimates for smooth complete hypersurfaces of constant (n-2)-curvature in hyperbolic space with prescribed asymptotic boundary data at infinity. These estimates are then invoked to remove the previous range restriction on admissible curvature values and thereby establish existence for all possible constant curvature parameters.","tokens_in":1710,"tokens_out":358,"duration_ms":27936,"significance":"If the estimates are shown to be uniform in the curvature parameter and to hold globally for any smooth complete hypersurface satisfying the boundary condition at infinity, the result would complete the existence theory for this fully nonlinear problem in hyperbolic space, closing a gap left by earlier partial results.","major_comments":[{"comment":"The central deduction that the new estimates imply existence for all curvature values (as stated in the abstract) requires explicit verification that the constants appearing in the C^2 or higher bounds are independent of κ. If the maximum-principle argument in the derivation of the estimates introduces κ-dependent factors that blow up near the boundary of the previously known interval, the compactness step needed for the continuity method would fail outside that interval.","section":"§2–3 (curvature estimates and existence argument)"}],"minor_comments":[{"comment":"Notation for the curvature function and the asymptotic boundary data should be introduced with a brief reminder of the precise normalization used for the hyperbolic metric.","section":"Introduction"},{"comment":"The statement of the main existence theorem should include the precise range of admissible κ values that is now claimed to be fully covered.","section":"Theorem 1.1 or equivalent"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed report and for highlighting the importance of verifying uniformity of the constants with respect to the curvature parameter κ. We address this point directly below and have revised the manuscript accordingly to strengthen the exposition.","responses":[{"response":"We appreciate this observation, which correctly identifies a point that benefits from greater explicitness. In Sections 2 and 3 the curvature estimates are obtained by applying the maximum principle to a carefully chosen auxiliary function built from the second fundamental form and the (n-2)-curvature operator. The leading terms of the resulting differential inequality arise from the hyperbolic ambient geometry and the fixed asymptotic boundary data; the parameter κ enters only through lower-order terms that are controlled by the constant-curvature assumption itself. Consequently the constants in the C^2 (and higher) bounds depend on n, the boundary data, and the hyperbolic metric, but remain independent of κ throughout the admissible range. To remove any ambiguity we have added a short paragraph immediately after the statement of the main estimate (now Theorem 1.2) and a clarifying sentence in the continuity-method argument of Section 4, both explicitly recording this independence. With these additions the compactness step of the continuity method extends without obstruction to the full range of curvature values.","revision_made":"yes","referee_comment":"The central deduction that the new estimates imply existence for all curvature values (as stated in the abstract) requires explicit verification that the constants appearing in the C^2 or higher bounds are independent of κ. If the maximum-principle argument in the derivation of the estimates introduces κ-dependent factors that blow up near the boundary of the previously known interval, the compactness step needed for the continuity method would fail outside that interval."}],"tokens_in":1097,"tokens_out":375,"duration_ms":30867,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that this paper uses new curvature estimates to prove existence of smooth complete hypersurfaces with constant (n-2)-curvature in hyperbolic space for the full range of curvature values, extending earlier results that were limited to a smaller interval. What is new is the derivation of these estimates. The author applies techniques from fully nonlinear elliptic equations to bound the curvature, which then feeds into a continuity method or similar argument to get the existence. This is a natural next step after the restricted case. The paper does well in identifying the bottleneck in previous work and addressing it directly with estimates. The logic flows from estimates to existence without obvious gaps in the high-level structure. Where it might be soft is in the uniformity of the estimates with respect to the curvature parameter. The concern is that if the bounds depend on how close the curvature is to the boundary of the previous range, then the argument might not cover the full spectrum. Checking the explicit statements in the estimates section would clarify this. The citation pattern looks standard for the area, building on known results in hyperbolic geometry and constant curvature problems. No red flags there. This work is for people in differential geometry who study hypersurfaces with prescribed curvature in non-Euclidean spaces. A reader who has seen the earlier papers on restricted ranges will see the value in closing that gap. Overall, it is worth a serious referee report to verify the technical details of the estimates and their application.","headline":"Wang extends existence of constant (n-2)-curvature hypersurfaces to the full range via new estimates, but uniformity with respect to the curvature parameter needs checking.","tokens_in":2154,"tokens_out":365,"would_cite":false,"duration_ms":90768,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"by deriving curvature estimates, we are able to deduce the existence for all possible curvature values... we will show that Lu’s derivation can proceed in a similar fashion"}],"headline":"Standard C² curvature estimates via Ren-Wang concavity for S_{n-2} in hyperbolic space; no RS structure","alignment":"orthogonal","rationale":"Paper derives global C² bounds for admissible solutions of H_{n-2}^{1/(n-2)}(κ[Σ])=σ using the concavity inequality (3.1) adapted from Ren-Wang [23] and maximum-principle test function Q=κ_max/(ν_{n+1}-a)^N, then invokes Guan-Spruck continuity method. This is classical fully-nonlinear elliptic theory on the Gårding cone K_{n-2}. No J-cost, cosh identities, φ-ladder, ratio symmetry, 8-tick periodicity, or parameter-free constant derivation appears. Matches none of the RS forcing theorems.","tokens_in":48972,"confidence":"high","tokens_out":276,"duration_ms":10868,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Curvature estimates establish existence of complete constant (n-2)-curvature hypersurfaces in hyperbolic space for every admissible value.","keywords":["curvature estimates","constant curvature hypersurfaces","hyperbolic space","asymptotic boundary","existence theorems","differential geometry","complete hypersurfaces"],"falsifier":"Construction or numerical approximation of a smooth complete hypersurface with constant (n-2)-curvature outside the previously known range whose second fundamental form violates the derived curvature bounds at some interior point.","tokens_in":2420,"feed_emoji":"","tokens_out":578,"duration_ms":39038,"temperature":0.7,"pith_summary":"The paper studies smooth complete hypersurfaces in hyperbolic space that have constant (n-2)-curvature and a fixed asymptotic boundary at infinity. Prior work obtained existence only inside a restricted interval of curvature values. The authors derive global curvature estimates for such hypersurfaces and use those estimates to remove the previous restriction, obtaining existence across the full range of possible curvature values. A sympathetic reader would care because the result completes the existence theory for this class of hypersurfaces without leftover gaps in the parameter range.","feed_headline":"Curvature estimates extend existence to all values for hyperbolic hypersurfaces","feed_subtitle":"Global bounds on the second fundamental form remove the prior restriction, proving complete constant (n-2)-curvature surfaces exist for any ","key_machinery":"Global curvature estimates derived for smooth complete hypersurfaces of constant (n-2)-curvature with prescribed asymptotic boundary at infinity.","core_discovery":"By establishing curvature estimates that hold for all smooth complete hypersurfaces with the given asymptotic boundary data, the paper shows that constant (n-2)-curvature hypersurfaces exist in hyperbolic space for every admissible curvature value rather than only a limited sub-range.","pith_inferences":["The same estimate technique may adapt to hypersurfaces with other constant curvature functions in the same ambient space.","The estimates could supply a priori bounds useful for studying parabolic flows that deform hypersurfaces toward constant curvature.","Similar global estimates might close existence gaps for constant curvature problems in other negatively curved ambient manifolds."],"forward_implications":["Existence holds for the entire admissible interval of constant curvature values.","The hypersurfaces remain smooth and complete once the asymptotic boundary data are fixed.","No auxiliary barriers or range restrictions are required beyond the curvature estimates themselves.","The prior limitation on curvature values is removed from the existence statement."],"fun_headline_variants":["Curvature estimates show existence for all constant (n-2)-curvature in hyperbolic space","Estimates extend constant (n-2)-curvature existence to all values in hyperbolic space","Curvature estimates remove prior limits on constant (n-2)-curvature in hyperbolic space"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The curvature estimates remain valid globally on every smooth complete hypersurface satisfying the asymptotic boundary condition, without extra restrictions that would reintroduce a limited range.","fun_headline_variants_meta":{"raw":{"variants":["Curvature estimates show existence for all constant (n-2)-curvature in hyperbolic space","Estimates extend constant (n-2)-curvature existence to all values in hyperbolic space","Curvature estimates remove prior limits on constant (n-2)-curvature in hyperbolic space"]},"model":"grok-4.3","cost_usd":0.020738,"raw_usage":{"total_tokens":8559,"prompt_tokens":474,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":207378000,"prompt_tokens_details":{"text_tokens":474,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":8011,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":474,"tokens_out":74,"duration_ms":81935,"temperature":1.0,"reasoning_tokens":8011,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T16:57:25.399164+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Construction or numerical approximation of a smooth complete hypersurface with constant (n-2)-curvature outside the previously known range whose second fundamental form violates the derived curvature bounds at some interior point.","supporting_citations":[],"review_version":1}