{"id":"87ad4ffa-c294-44f6-bfd9-ce06b4310f03","arxiv_id":"2608.03332","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Small smooth deformations of the sphere still admit stable self-similar blowup solutions for the corotational harmonic map heat flow in dimensions 3 to 6.","lead":"This paper proves that self-similar blowup for the harmonic map heat flow persists, with asymptotic stability, when the target sphere is replaced by any sufficiently small smooth deformation. The result covers spatial dimensions 3 to 6 and corotational maps.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim depends on an unproved external spectral-gap theorem for the round-sphere profile, not established in this paper.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the unperturbed profile and its spectral properties are imported from [1] rather than proved. I agree that this is the most serious threat to the central claim. The paper's own argument is structurally coherent: the contraction mapping in Section 3 and the spectral perturbation in Section 4 would work if Proposition 2.2 is true. I found no internal contradiction or obvious numerical/factor error in the main derivation. The smaller gap in Lemma 4.10 is real but fillable and not likely to change the architecture. The verdict should remain CONDITIONAL rather than ACCEPT or REJECT, because the missing spectral verification is precisely the kind of external input that a referee would need to see before endorsing the result. I would not move the reader's verdict; the identified concern is the same and the conditionality is appropriate.","tokens_in":29028,"tokens_out":17951,"duration_ms":200387,"concrete_test":"Independently verify Proposition 2.2 for n=5,6,7,8 (d=3,4,5,6): implement a spectral solver for the radial linearized operator L0 on X^s_k with s,k satisfying (2.11), and check (i) sigma(L0^X) intersect {Re lambda >= -eomega} = {1}, (ii) lambda=1 is simple, (iii) the decay estimate (2.13) holds with a positive rate. If any d in {4,5,6} shows an additional eigenvalue in Re lambda >= -eomega, the perturbative exclusion in Proposition 4.6 fails and Theorems 1.2/1.3 would not follow. If all pass, the conditional can be upgraded; for n=5, also confirm the supporting proof is supplied by [5] or by an explicit n=5 case in [1].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is Proposition 2.2, which supplies the spectral gap, simplicity of lambda=1, and the stable-semigroup decay (2.13) for the linearized operator L0 around the round-sphere profile. This proposition is not proved in the paper; it is quoted from the preprint [1] for d=4-6, while for d=3/n=5 the text does not clearly cite the earlier proof [5]. Every later step depends on it: invertibility of L0^X in Section 3, the Neumann-series resolvent bounds in Proposition 4.6, the decay of S0^X on the stable subspace, and the Riesz-projection dimension argument identifying the only unstable mode. If for some d in {4,5,6} L0 had a further eigenvalue in Re lambda >= -eomega, or if the decay (2.13) failed, the perturbed operator L_epsilon could inherit an extra unstable/neutral mode that Proposition 4.6 cannot exclude, and the contraction/stability proof of Theorems 1.2 and 1.3 would collapse. This is a missing-support concern rather than an internal contradiction, but it makes the central claim genuinely conditional. A secondary, smaller gap is Lemma 4.10, where the continuity of T -> U_epsilon(v,T) is left as 'follows along the lines as for example ...'.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves stable self-similar blowup for the corotational harmonic map heat flow into target manifolds S^d_ε which are small warped-product perturbations of the round sphere, in dimensions 3 ≤ d ≤ 6. The construction starts from the known self-similar profile for the round sphere, writes the perturbed profile as ψ_ε = ψ_0 + φ_ε, and obtains φ_ε by a fixed-point argument using parameter-dependent Schauder estimates. The main existence result, Theorem 1.2, gives a smooth profile ef_ε with the expected decay and a Lipschitz dependence on ε. The main stability result, Theorem 1.3 (via Theorem 1.5), shows that for small initial data close to the profile there is a unique corotational solution that blows up at a time T ∈ [1−δ,1+δ] and converges to the self-similar profile in similarity variables, with convergence in Ḣ^r for all r ∈ [s,k]. The stability proof follows the by-now standard strategy: spectral analysis of the linearized operator L_ε, identification of the single unstable mode λ=1, projection onto the stable subspace, a modified initial-data operator that cancels the unstable component by adjusting the blowup time, and a contraction argument in a weighted space.","tokens_in":29306,"tokens_out":6177,"duration_ms":73750,"significance":"If the results are correct, the paper is a meaningful step beyond the existing body of work on stable blowup for the corotational harmonic map heat flow: it shows not only that perturbed-sphere targets admit self-similar blowup, but that the blowup mechanism itself is stable under small geometric perturbations of the target. The perturbative framework is an extension of the wave-map analysis in [9] to the parabolic setting, and the author writes out the fixed-point construction, the parameter-dependent estimates, and the spectral-perturbation argument in detail. Among the strengths are the explicit Lipschitz dependence on the perturbation parameter ε, the uniform decay estimates (3.11)–(3.12), and the clean use of Riesz projections and semigroup bounds in Propositions 4.6 and 4.7. The main caveat is that a central spectral input, Proposition 2.2, is not proved in the paper; the validity of the whole construction and stability analysis is conditional on that input.","major_comments":[{"comment":"Proposition 2.2 is a load-bearing but unproved input. It supplies the spectral gap σ(L_0^X)∩{Re λ ≥ −eω} = {1}, the simplicity of λ=1, and the stable-semigroup decay (2.13). The paper refers to [1] for d=4–6 and only implicitly to [5] for d=3, without stating the precise external theorem or its hypotheses. All subsequent steps depend on this proposition: invertibility of L_0^X in (3.1), the resolvent bounds in Proposition 4.6, the decay on the stable subspace in Proposition 4.7, and the dimension argument for the Riesz projection. If any spectral or decay assertion failed for some d, the contraction argument in Section 3 and the stability proof in Section 4 would collapse. The authors should either prove Proposition 2.2 in the manuscript, state it explicitly as an external assumption with a precise reference, or formulate Theorems 1.2–1.3 as conditional on it.","section":"Section 2, Proposition 2.2"},{"comment":"The continuity of the map T ↦ U_ε(v,T) is asserted but not proved; the proof says 'follows along the lines as for example ...' and no argument is given. This continuity is needed for the Brouwer fixed-point step in Theorem 4.11, specifically for the right-hand side of (4.23) to be continuous in T, and therefore for Theorems 1.5 and 1.3. A direct dominated-convergence argument using the decay estimates (3.11) and the definition U_ε(v,T)=v^T+ψ_ε^T−ψ_ε would fill the gap; please include it.","section":"Section 4, Lemma 4.10"}],"minor_comments":[{"comment":"'asymptotically nonlinear stable' should read 'asymptotically nonlinearly stable'.","section":"Abstract"},{"comment":"In the displayed formula for eN_ε(u)−eN_ε(v), the factors of |ξ| coming from b+x(c−b) and a+y(b+x(c−b)) in (3.4) appear to be suppressed. Since the |ξ|^{−3} prefactor has to be cancelled for the Schauder estimates to apply, the displayed factorization should be written out correctly or a remark should explain the omission.","section":"Lemma 3.2"},{"comment":"In the proof of 0<ef_ε(ρ)<π, the quantity ρ_0 is defined as an infimum that might be infinite if the profile never leaves (0,π). The argument can be made precise by treating the case ρ_0=∞ separately, but the current wording is ambiguous.","section":"Proposition 3.5"},{"comment":"The symbol ε is reused: the theorem states 'there exists a strictly positive ε ≤ ε∗' and then quantifies over '|ε| ≤ ε'. This is formally confusing; introduce a different symbol, e.g. ε₁, for the smaller threshold.","section":"Theorem 1.3"},{"comment":"The paper uses both eL and L for the same objects (e.g. eL in (2.3) vs L in (1.17) and Proposition 2.2). While the intended meaning is clear from context, a consistent notation would improve readability.","section":"General notation"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the unproved Proposition 2.2, which is quoted from the closely related preprint [1] and from [5]. Because the entire construction and stability theorem hinge on the spectral-gap and decay properties of L_0^X, I recommend that the editor ask for either a self-contained proof or an explicit statement of the external theorem with all hypotheses. The omitted continuity argument in Lemma 4.10 is minor by comparison but should also be supplied. The paper is otherwise well within the scope of the journal and the methods are appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a genuine new result, not a repackaging. It constructs self-similar blowup for the corotational harmonic map heat flow into small warped-product perturbations of the round sphere in dimensions 3-6 and proves asymptotic nonlinear stability. The unperturbed profile is not explicit, and the paper transfers the wave-map framework from [9] to the parabolic setting by a careful contraction argument around psi0. I read the construction in Sections 2 and 3 as honest: the epsilon-dependent profile is genuinely obtained by a fixed point, the Lipschitz dependence on epsilon is proved, and the ODE analysis in Proposition 3.5 is detailed. No circularity burden that I can see.\n\nThe stress-test concern lands, and it is the main caveat. Proposition 2.2 carries the spectral gap, simplicity of lambda=1, and stable decay (2.13) for the linearized operator L0 in dimensions 4-6, and that proposition is quoted from the recent preprint [1] by close collaborators rather than proved here. Everything downstream depends on it: invertibility in Section 3, the Neumann-series resolvent bounds in Proposition 4.6, the Riesz-projection dimension count, and the semigroup comparison in Proposition 4.7. If [1] has an extra eigenvalue or weaker decay in some dimension, the whole stability proof collapses. This is missing support rather than an internal contradiction, but it is load-bearing. For d=3 the input is older and established, so the risk is concentrated in dimensions 4-6. I would not desk-reject, but I would want the authors to make this dependence unmistakable and, ideally, to include a proof or a very detailed statement of Proposition 2.2.\n\nMinor issue: Lemma 4.10 contains an unfinished placeholder, 'follows along the lines as for example ...', for the continuity of U_epsilon(v,T). That is small and easy to fill, but it should be completed before publication. The citation pattern is heavy on the author's own circle, but the cited works are the right ones and the overlap with [9] is substantive. Self-citation here is not a flaw.\n\nIf Proposition 2.2 holds, the main theorems are believable and the proof is detailed enough that a referee can check the new parts without excessive pain. This deserves a serious referee. I would send it to peer review, with a request to complete Lemma 4.10 and to address the external spectral input head-on.","headline":"A real extension of stable blowup to perturbed sphere targets, with a sound fixed-point argument but a load-bearing spectral input quoted from an unverified collaborator preprint.","tokens_in":29807,"tokens_out":2894,"would_cite":true,"duration_ms":35739,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B44","35K55","58E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For slightly deformed spheres, the harmonic map heat flow keeps its stable self-similar blowup.","keywords":["harmonic map heat flow","self-similar blowup","perturbed spheres","corotational maps","nonlinear stability","similarity variables","spectral stability"],"falsifier":"Compute the spectrum of the linearized operator $L_0$ in $X^k_s$ for some dimension $4\\le d\\le 6$: any additional eigenvalue with real part at least $-\\omega_0$ besides $\\lambda=1$ would break Proposition 2.2 and collapse the contraction argument. Equivalently, a numerical spectral check of $L_\\varepsilon$ for small nonzero $\\varepsilon$ revealing a second unstable mode would refute the claimed spectral stability.","tokens_in":28892,"feed_emoji":"🌀","tokens_out":6733,"duration_ms":71451,"temperature":0.7,"pith_summary":"The paper studies the harmonic map heat flow into target manifolds obtained by small smooth warps of the round sphere, $w_\\varepsilon(u)=\\sin(u)(1+\\varepsilon\\alpha(u))$. It proves that for every sufficiently small $\\varepsilon$ and every dimension $3\\le d\\le 6$, there is a corotational self-similar blowup solution whose profile is an $\\varepsilon$-small perturbation of the known round-sphere profile, and that this blowup solution is asymptotically nonlinearly stable. Small perturbations of the initial data still blow up in finite time, and the rescaled solution converges back to the same profile. If the result is right, stable finite-time singularity formation in this equation is robust under small geometric changes of the target, not an accident of exact roundness.","feed_headline":"Stable blowup survives sphere perturbations","feed_subtitle":"In dimensions 3–6, small warps of the sphere inherit the same predictable finite-time singularity.","key_machinery":"The linearized operator $L_0$ around the unperturbed round-sphere self-similar profile, acting on radial homogeneous Sobolev spaces $X^k_s=\\dot H^s\\cap\\dot H^k$. Proposition 2.2 gives its spectral picture: one simple unstable eigenvalue $\\lambda=1$ with eigenfunction $\\Lambda\\psi_0$, and the rest of the spectrum contained in a left half-plane with exponential decay on the stable subspace. The paper uses the invertibility of $L_0$ to rewrite the profile perturbation as a fixed-point equation, parameter-dependent Schauder-type estimates to show the nonlinear terms are Lipschitz in $\\varepsilon$, and Riesz projections plus a Neumann-series argument to show $L_\\varepsilon$ inherits the same one-","core_discovery":"For target manifolds $S^d_\\varepsilon$ defined by the warping function $w_\\varepsilon(u)=\\sin(u)(1+\\varepsilon\\alpha(u))$ with even, $2\\pi$-periodic $\\alpha$ vanishing at $0$ and $\\pi$, the paper constructs in dimensions $3\\le d\\le 6$ a self-similar blowup solution $u^T_\\varepsilon(t,r)=\\tilde f_\\varepsilon(r/\\sqrt{T-t})$ to the corotational harmonic map heat flow, with profile $\tilde f_\\varepsilon=\\tilde f_0+\\rho\\,\\tilde\\phi_\\varepsilon$. The correction $\\tilde\\phi_\\varepsilon$ is obtained by a Banach fixed-point argument in the intersection space $X^k_s=\\dot H^s\\cap\\dot H^k$; it depends Lipschitz continuously on $\\varepsilon$, and the profile is odd, stays between $0$ and $\\pi$, and decays","pith_inferences":["Beyond the paper, the contraction-plus-spectral-persistence strategy should apply to any target obtained by a small smooth warping of a known stable profile, not only the specific family $w_\\varepsilon(u)=\\sin(u)(1+\\varepsilon\\alpha(u))$.","Because the stability proof uses the round-sphere profile only through its spectral and decay bounds, it suggests that stable self-similar blowup may be generic for nearby geometries, including cases where the unperturbed profile is not explicitly known.","A natural testable extension is to drop the corotational assumption; if the spectral gap survives nonradial perturbations, the same stable blowup should occur for non-corotational data as well."],"forward_implications":["For each sufficiently small $\\varepsilon$ and every $T>0$, a smooth self-similar blowup solution $u^T_\\varepsilon$ exists whose radial derivative blows up at the origin at time $T$; the profile is odd and decays like $\\langle\\rho\\rangle^{-2-k}$.","Small corotational perturbations of the initial data do not change the blowup mechanism: the solution still blows up in finite time at a nearby blowup time $T_\\varepsilon$.","After rescaling by $\\sqrt{T-t}$, the solution converges locally uniformly to the same self-similar profile, so the asymptotic dynamics are identical to the round-sphere case.","The only growing mode of the linearized evolution is the simple eigenvalue $\\lambda=1$ associated with time translation; no other unstable directions appear for small target perturbations.","The perturbation decays in similarity variables at an exponential rate $e^{-\\omega\\tau}$, equivalent to a rate $(T-t)^\\omega$ in original variables."],"supporting_citations":[{"why":"Supplies the existence and spectral properties of the unperturbed stable shrinker in dimensions 4 to 6, which Proposition 2.2 quotes as the starting point.","marker":"[1]"},{"why":"Provides the perturbative strategy, the parameter-dependent Schauder-type estimates, and the correction-term method for removing the unstable mode.","marker":"[9]"},{"why":"Constructs the spectrally stable self-similar profile in dimension 3 that serves as the base case for the unperturbed problem.","marker":"[4]"},{"why":"Proves asymptotic nonlinear stability of the dimension-3 self-similar profile, establishing the round-sphere mechanism this paper perturbs.","marker":"[5]"},{"why":"Proves existence of self-similar solutions to the corotational profile equation in dimensions 3 to 6, providing the family containing the unperturbed profile.","marker":"[12]"},{"why":"Supplies the norm equivalence between corotational maps and their radial profiles, used to pass from the radial stability theorem to Theorem 1.3.","marker":"[14]"},{"why":"Provides the Riesz-projection dimension-stability lemma used to exclude additional spectral points in the compact region around $\\lambda=1$.","marker":"[16]"},{"why":"Supplies the semigroup decay theorem on the stable subspace used to prove the exponential bound for $S^X_\\varepsilon(\\tau)(I-P_\\varepsilon)$.","marker":"[18]"}],"fun_headline_variants":["Warped spheres keep blowup stable","Blowup persists on perturbed spheres","Sphere deformations don't break blowup","Stable singularity on warped sphere targets","Perturbed sphere blowup stays stable"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The argument depends on the round-sphere profile in each dimension 3 to 6 having exactly one growing mode, with the precise decay and eigenvalue-separation bounds stated in Proposition 2.2; in dimensions 4 to 6 those bounds are taken from a cited preprint rather than proved here.","fun_headline_variants_meta":{"raw":{"variants":["Warped spheres keep blowup stable","Blowup persists on perturbed spheres","Sphere deformations don't break blowup","Stable singularity on warped sphere targets","Perturbed sphere blowup stays stable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000299,"raw_usage":{"total_tokens":1531,"prompt_tokens":678,"completion_tokens":853,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":422,"completion_tokens_details":{"reasoning_tokens":787}},"tokens_in":422,"tokens_out":853,"duration_ms":9244,"temperature":1.0,"reasoning_tokens":787,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:49:19.367539+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the spectrum of the linearized operator $L_0$ in $X^k_s$ for some dimension $4\\le d\\le 6$: any additional eigenvalue with real part at least $-\\omega_0$ besides $\\lambda=1$ would break Proposition 2.2 and collapse the contraction argument. Equivalently, a numerical spectral check of $L_\\varepsilon$ for small nonzero $\\varepsilon$ revealing a second unstable mode would refute the claimed spectral stability.","supporting_citations":[{"cited_title":"Existence of a stable shrinker for the coro- tational harmonic map heat flow in higher space dimensions, 2026","cited_arxiv_id":null,"evidence_quote":"Supplies the existence and spectral properties of the unperturbed stable shrinker in dimensions 4 to 6, which Proposition 2.2 quotes as the starting point."},{"cited_title":"Construction of a spectrally stable self-similar blowup solution to the supercritical corotational harmonic map heat flow.Nonlinearity, 31(8):3543–3566, 2018","cited_arxiv_id":null,"evidence_quote":"Constructs the spectrally stable self-similar profile in dimension 3 that serves as the base case for the unperturbed problem."},{"cited_title":"Stable self-similar blowup in the supercritical heat flow of harmonic maps.Calc","cited_arxiv_id":null,"evidence_quote":"Proves asymptotic nonlinear stability of the dimension-3 self-similar profile, establishing the round-sphere mechanism this paper perturbs."},{"cited_title":"Existence of the self-similar solutions in the heat flow of harmonic maps.Sci","cited_arxiv_id":null,"evidence_quote":"Proves existence of self-similar solutions to the corotational profile equation in dimensions 3 to 6, providing the family containing the unperturbed profile."},{"cited_title":"Stable blowup for the supercritical hyperbolic Yang-Mills equations.Adv","cited_arxiv_id":null,"evidence_quote":"Supplies the norm equivalence between corotational maps and their radial profiles, used to pass from the radial stability theorem to Theorem 1.3."},{"cited_title":"Classics in Mathematics","cited_arxiv_id":null,"evidence_quote":"Provides the Riesz-projection dimension-stability lemma used to exclude additional spectral points in the compact region around $\\lambda=1$."}],"review_version":1}