{"id":"3a0d2431-c737-42a7-9609-81a81bfd1a2c","arxiv_id":"2510.18618","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Closed minimal surfaces of negative induced curvature exist in every sphere of large enough dimension, with curvature C^k-converging to −8.","lead":"The authors prove that every sufficiently large round sphere contains a closed minimal surface whose induced metric has negative curvature, approaching constant curvature −8. This settles a question Yau raised in 1982 by extending Song's recent harmonic-map strategy to surfaces with large automorphism groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.9 extends Sacks–Uhlenbeck compactness to maps into the infinite-dimensional sphere S(H) by citing uniform ε-regularity; without a full compactness proof the C∞ curvature conclusion of the Main Theorem is not established.","rationale":"The Reader's weakest assumption and my read coincide: the proof of Theorem 2.9 imports an infinite-dimensional Sacks–Uhlenbeck compactness statement without demonstrating it, and this is exactly where the C∞ convergence of pullback metrics—hence the curvature limit κ_n→−8—is established. I do not see an internal inconsistency in the rest of the construction: the induced representation framework is elementary, Theorem 3.2 follows formally from the stated properties, and Proposition 4.1, while not fully proved in the text, is a classical fact (e.g., Klein quartic gives quotient P^1 with three cone points). The main risk is the compactness step, which the footnote itself flags as an extension beyond the original finite-dimensional theorem. This risk warrants keeping the verdict CONDITIONAL rather than ACCEPT, but it does not by itself justify rejection, since Song's program likely contains the needed uniformity. The proposed test—reading [15, Section 1.2] to see whether it supplies the full compactness theorem—would settle whether the concern lands.","tokens_in":10169,"tokens_out":18369,"duration_ms":158816,"concrete_test":"Check whether Song's [15, Section 1.2] actually proves, or implies, the full Sacks–Uhlenbeck compactness theorem for harmonic maps with bounded energy into S(H), including the energy identity (2) with bubbles and no energy loss at infinity. Concretely: write out the proof of Theorem 2.9 for the case N_j→∞, and verify that every step—ε-regularity, extraction of a C∞-convergent subsequence on H^2\\D, energy quantization for bubbles in S(H)—has constants independent of N_j. If Song's theorem is only a local ε-regularity estimate and not a global compactness statement, then Theorem 2.9's use of [13, Theorem 4.4] is unsupported and the curvature conclusion does not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in the proof of Theorem 2.9 (§2.5). After embedding each S^{2N_j-1} totally geodesically into a fixed S(H), the proof applies Sacks–Uhlenbeck compactness [13, Theorem 4.4] to the sequence u_j^0 viewed as maps into S(H), and uses the energy inequality (2) to rule out bubbles. The footnote admits the original theorem is for compact finite-dimensional range and justifies the extension only by 'ε-regularity which holds uniformly for all spheres ([15, Section 1.2])'. This is not the same as the full compactness theorem. S(H) is not norm-compact, so the standard C^0-Arzelà–Ascoli extraction on small-energy balls is unavailable; one needs a weak-compactness argument that also yields strong convergence of derivatives. If the sequence can lose energy to infinity in the target—e.g., weak limit zero with no bubble—then the energy identity E(u∞)+ΣE(β) ≤ lim E(u_j) can fail, or the limit u∞ may not be the equivariant harmonic map required for Theorem 2.8. Since Theorem 3.2 and the Main Theorem's C^k curvature conclusion depend precisely on this convergence, the central claim rests on an unverified nonstandard compactness statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper answers Yau's 1982 question on the existence of closed minimal surfaces with negative induced curvature in round spheres, for spheres of sufficiently large dimension. The main theorem asserts that for each large integer n there is a negatively curved closed minimal surface Σ_n in the standard sphere S^n, with induced curvature κ_n satisfying ∥κ_n + 8∥_{C^k} → 0 for every k, and moreover that these surfaces are finite quotients of a single closed Riemann surface by groups of isometries. The proof refines Song's strategy: starting from a closed Riemann surface X_0 whose automorphism group orbit has trivial Teichmüller space, the authors induce unitary representations of π_1(X_0) to representations of a larger group Γ containing torsion, apply Song's convergence/rigidity theorems to obtain equivariant harmonic maps whose pullback metrics converge to one-eighth of the hyperbolic metric, and then use the Hopf-differential vanishing condition to conclude these maps are branched minimal immersions and eventually unbranched negatively curved immersions.","tokens_in":10506,"tokens_out":17436,"duration_ms":148388,"significance":"If the main theorem is correct, it resolves a classical question in a striking way and shows that Bryant's constant-negative-curvature obstruction is asymptotically bypassed. The paper's conceptual contribution is to combine Song's random harmonic map technology with induced representations and surfaces with large automorphism groups, giving a clean mechanism to handle the torsion that arises in orbifold quotients. The authors also properly attribute and use the external black-box theorems of Song and Louder–Magee. However, the key convergence step for maps into an infinite-dimensional sphere is only asserted, not proved, and this is load-bearing for the C^k curvature conclusion.","major_comments":[{"comment":"The proof applies Sacks–Uhlenbeck compactness [13, Thm 4.4] to a sequence of harmonic maps with bounded energy viewed as maps into the fixed infinite-dimensional unit sphere S(H). The footnote acknowledges that the original theorem is for compact finite-dimensional range and asserts that the proof only relies on ε-regularity that holds uniformly for all spheres. This is not sufficient as written: S(H) is not locally compact, and the standard Arzelà–Ascoli extraction on small-energy balls is unavailable. Even with uniform ε-regularity, a bounded-energy sequence of harmonic maps into S(H) need not have a subsequence converging strongly to a map into S(H); weak limits can leave the sphere, and energy may be lost to infinity in target directions. The proof requires either a complete compactness theorem for this specific setting (including the equivariance and energy-minimality hypotheses use","section":"§2.5, Theorem 2.9 (proof, footnote 1)"},{"comment":"The proposition asserts the existence of a closed Riemann surface X_0 of genus > 1 with no nonzero Aut(X_0)-invariant holomorphic quadratic differential. The proof, however, only shows that if the quotient X := Aut(X_0)\\X_0 is an orbifold structure on P^1 with three singular points D, then H^0(K^2_{P^1}(D)) = 0 by a degree argument, so the invariant subspace is trivial. No argument is given that such an X_0 exists; the sentence 'In particular, if X is an orbifold structure on P^1 with three singular points D' is conditional. This existence is essential for Corollary 4.2 and hence for the minimality conclusion in the Main Theorem. The gap is easily fixable by exhibiting an explicit example (e.g., the Klein quartic with automorphism group PSL(2,7) and quotient P^1(2,3,7)), but as written the proof of Proposition 4.1 is incomplete.","section":"§4.1, Proposition 4.1"},{"comment":"The theorem states that there is a closed Riemann surface X such that for each n there is a finite group Γ_n in the isometry group of S^n with X = Γ_n \\ Σ_n. In the construction, the fixed quotient is a quotient by Γ, where Γ\\H^2 is the orbifold Aut(X_0)\\X_0. Since Aut(X_0) may have torsion, this quotient is in general an orbifold, not a smooth closed Riemann surface. If the intended statement is that X is an orbifold Riemann surface, that should be stated; if a smooth X is really claimed, one needs an additional argument (for instance, choosing Γ_j normal in Γ, or passing to a further cover) that is not provided. This issue does not affect the primary existence and curvature claims, but it is part of the theorem's statement and must be corrected.","section":"§4.2, Main Theorem (final sentence)"}],"minor_comments":[{"comment":"The displayed limit reads 'lim E(ρ_j^ind) = π/4 χ_orb(Γ\\H^2)', but the orbifold Euler characteristic is negative, so the right-hand side should be π/4 |χ_orb(Γ\\H^2)|, consistent with Theorem 2.9.","section":"§3, Theorem 3.2"},{"comment":"The symbol D is used for 'the discrete set of branched points in H^2' before it has been introduced. Presumably this is the bubbling set arising from the minimizing sequence; please define it explicitly.","section":"§2.5, proof of Theorem 2.5"},{"comment":"The proof gives surfaces in odd-dimensional spheres S^{2N_j-1}. To obtain the statement 'for each integer n large enough', the authors should explicitly mention the standard passage to even-dimensional spheres by including S^{2N_j-1} as a totally geodesic equator in S^{2N_j}.","section":"§4.2, Main Theorem"},{"comment":"In Proposition 4.1 and the surrounding text, Aut(X_0) should be specified as the group of conformal automorphisms of the Riemann surface; the quotient is then by the conformal automorphism group, which is finite for genus at least 2.","section":"§4.1"},{"comment":"In the displayed equation for φ_ind^0(h), the sum over η ∈ Γ_0\\Γ is written without the normalization factor 1/[Γ:Γ_0]; the following norm-squared formula includes it, but the initial expression could be clearer.","section":"§3.2, proof of Lemma 3.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is elegant and the intended result is likely correct. The principal concern is Theorem 2.9: the infinite-dimensional Sacks–Uhlenbeck compactness is asserted with only a footnote, and this is the hinge on which the C^k curvature convergence rests. I recommend asking the authors to either provide a complete proof of the compactness statement under the stated hypotheses or to identify a precise theorem in Song's paper that covers it. The other load-bearing gap, the existence in Proposition 4.1, is easy to repair with a standard example. If the compactness issue can be resolved, the paper would be a nice contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me get straight to it. This note claims to settle Yau's 1982 question in a strong form: for every sufficiently large n, there is a closed minimal surface in S^n with negative curvature, and the curvature can be chosen to C^k-converge to -8. If true, that's a real result, and it would show Bryant's constant-curvature obstruction is asymptotically bypassed. The paper is honest about building on Song's program; the genuinely new moves are replacing Song's cusped 3-holed sphere with an orbifold whose Teichmüller space is a point, and using induced representations to transport Song's results. The induced representation material is clean and correct.\n\nThe soft spot is Theorem 2.9. The proof extends Sacks-Uhlenbeck compactness to maps into the infinite-dimensional sphere S(H) by embedding the finite-dimensional spheres and citing uniform ε-regularity in a footnote. The stress-test note is right that this is not a routine corollary. The finite-dimensional proof uses compactness of the target to extract C^0 limits on small-energy balls; S(H) is not locally compact, so that extraction fails. You can still get weak limits, but the energy identity E(u∞) + bubbles ≤ lim E(u_j) can fail if energy escapes to infinity in target directions. Since Theorem 2.9 is what upgrades energy convergence to C^∞ convergence of induced metrics, the main theorem's curvature conclusion sits directly on this step. If Song's paper actually contains a proof of this infinite-dimensional compactness, the authors need to point at the exact theorem; as written, the footnote is not enough. The good news is that the rest of the structure would work if this is plugged.\n\nSecond issue, smaller. Proposition 4.1 asserts existence of a closed Riemann surface with no invariant quadratic differentials, but the proof only shows that if the quotient is P^1 with three singular points, then the condition holds. It doesn't demonstrate such a surface exists (though the Klein quartic or any hyperbolic triangle orbifold gives one), and it doesn't discuss whether the full automorphism group might make the quotient coarser. This is patchable, but the argument as written is incomplete. Also, the bibliography lists Hide as a coauthor of [11] while the text attributes the theorem to Louder-Magee alone — check.\n\nMy overall take: the paper deserves to be refereed, because the main claim is important and the program is credible. The referee's first job is to verify whether Song's earlier work really proves the infinite-dimensional compactness asserted in Theorem 2.9; if it does, the paper is in strong shape. If not, the authors need to fill that gap before the result stands. I'd send it to review and ask for that.","headline":"A serious and likely important short note, but the main theorem hinges on an infinite-dimensional compactness assertion that is currently justified only by a footnote.","tokens_in":10955,"tokens_out":9768,"would_cite":true,"duration_ms":86769,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53A10","58E20","53C43"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for every sufficiently large dimension n there exists a closed minimal surface in the round n-sphere with negative induced curvature, and that the curvature can be made to converge to -8 in every C^k norm as n grows.","keywords":["minimal surfaces","negative curvature","harmonic maps","spheres","induced representations","regular representation","orbifold","curvature convergence"],"falsifier":"Construct a sequence of harmonic maps from the unit disk into spheres of increasing dimension with uniformly bounded energy but with pointwise derivative blowing up somewhere; this would violate uniform ε-regularity and invalidate the compactness step. Alternatively, exhibit a sequence of equivariant harmonic maps with the prescribed energy asymptotics whose pullback metrics do not converge in C^0 to one eighth of the hyperbolic metric.","tokens_in":10106,"feed_emoji":"🌐","tokens_out":9389,"duration_ms":70050,"temperature":0.7,"pith_summary":"The paper settles a question posed in 1982 by showing that closed minimal surfaces with negative induced curvature exist in round spheres of all sufficiently large dimensions. The construction follows an asymptotic strategy: start with a sequence of finite-image unitary representations of a surface group that converges to the regular representation, induce them up to a larger group coming from a rigid orbifold, and take equivariant energy-minimizing harmonic maps. The induced metrics converge in C^∞ to one eighth of the hyperbolic metric, so the curvature converges to -8. This asymptotically bypasses the classical nonexistence of closed minimal surfaces with constant negative curvature in spheres.","feed_headline":"Every large sphere has a negative-curvature minimal surface","feed_subtitle":"Curvature approaches -8 in all C^k norms, asymptotically bypassing the constant-curvature obstruction.","key_machinery":"Three ingredients carry the argument. First, a theorem supplying, for a surface group, finite-image unitary representations that strongly converge to the regular representation. Second, the induced-representation construction, which enlarges these representations to a larger group arising from an orbifold and controls the energy of equivariant maps. Third, a convergence-plus-rigidity theorem for equivariant harmonic maps into spheres, which upgrades energy convergence to C^∞ convergence of the pullback metrics. A rigid Riemann surface (one whose only invariant holomorphic quadratic differential is zero) is then used to force every equivariant harmonic map to be conformal, hence a branched mi","core_discovery":"The Main Theorem states: for each integer n large enough, there is a negatively curved closed minimal surface Σ_n in the round sphere of dimension n; moreover Σ_n can be chosen so that ‖κ_n + 8‖_{C^k} → 0 for every k, where κ_n is the induced curvature. There is also a fixed closed Riemann surface X such that each Σ_n is a quotient of X by a finite group of isometries of the sphere. In particular, the surfaces are 'almost hyperbolic': their curvature tends to the constant value -8, never reaching it, consistently with the classical obstruction to constant negative curvature.","pith_inferences":["The proof is non-constructive and does not give an explicit dimension threshold; determining the smallest such dimension is a natural open problem, and classical results already exclude the 3-sphere.","The uniform ε-regularity assumption is the main analytic risk: if harmonic maps into spheres of growing dimension can concentrate energy without a uniform regularity estimate, the bubbling argument may fail. Testing this uniformity directly is a feasible analytic project.","The induced-representation mechanism is likely portable: any symmetric space with a similar rigidity theorem for equivariant maps could yield negatively curved minimal surfaces in large dimensions.","Because the pullback metrics converge to the hyperbolic metric, one might investigate the spectral geometry of these surfaces (e.g., Laplacian eigenvalues) and whether they become Benjamini–Schramm convergent to the hyperbolic plane as n→∞."],"forward_implications":["The 1982 question about closed minimal surfaces with negative induced curvature in spheres has a positive answer in every sufficiently large dimension.","Although constant-negative-curvature minimal surfaces are impossible, surfaces with curvature arbitrarily close to -8 exist, so the obstruction is asymptotically bypassed.","All constructed surfaces are finite coverings of a single fixed Riemann surface, giving a uniform topological model across dimensions.","The C^∞ convergence of pullback metrics to the scaled hyperbolic metric provides a quantitative 'almost hyperbolic' description of the surfaces."],"fun_headline_variants":["Yau's question solved: negative-curvature minimal surfaces in large spheres","Almost hyperbolic minimal surfaces in every large sphere","Negative curvature minimal surfaces exist in all large spheres","Yau's question answered by almost hyperbolic minimal surfaces","Curvature tends to -8: minimal surfaces in large spheres"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof assumes that the ε-regularity estimate for harmonic maps holds uniformly for spheres of all dimensions, so that a bubbling argument can be carried out with limits in an infinite-dimensional sphere; without this uniformity, the C^∞ convergence of the pullback metrics—and hence the curvature conclusion—does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Yau's question solved: negative-curvature minimal surfaces in large spheres","Almost hyperbolic minimal surfaces in every large sphere","Negative curvature minimal surfaces exist in all large spheres","Yau's question answered by almost hyperbolic minimal surfaces","Curvature tends to -8: minimal surfaces in large spheres"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000942,"raw_usage":{"total_tokens":3759,"prompt_tokens":541,"completion_tokens":3218,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":285,"completion_tokens_details":{"reasoning_tokens":3137}},"tokens_in":285,"tokens_out":3218,"duration_ms":20182,"temperature":1.0,"reasoning_tokens":3137,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:49:01.546364+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a sequence of harmonic maps from the unit disk into spheres of increasing dimension with uniformly bounded energy but with pointwise derivative blowing up somewhere; this would violate uniform ε-regularity and invalidate the compactness step. Alternatively, exhibit a sequence of equivariant harmonic maps with the prescribed energy asymptotics whose pullback metrics do not converge in C^0 to one eighth of the hyperbolic metric.","supporting_citations":[],"review_version":1}