{"id":"3a25cecf-a748-480f-b4b9-ea1f1f6b0d20","arxiv_id":"2501.00531","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For high-order critical equations on manifolds, the paper obtains a universal pointwise blow-up bound and uses it to prove nonexistence of single-bubble concentration under trace or mass conditions.","lead":"This paper proves sharp pointwise estimates for families of solutions of high-order critical nonlinear equations on manifolds that concentrate around a bubble, and derives conditions under which such concentration cannot occur. It matters because it extends the classical blow-up theory for second-order Yamabe-type equations to all higher orders and to sign-changing solutions, a step toward compactness and stability results in conformal geometry.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Step P3's Hardy-potential smallness and Theorem 7.2's derivative bounds are both deferred (explicitly in Sections 6 and 10); Step P5 depends on them, so (7) is not yet fully established.","rationale":"I read the paper as a serious attempt to establish a sharp pointwise control for high-order critical equations under a one-bubble decomposition. The main theorem is plausible and the proof structure is coherent: linearize, control the Hardy potential outside the bubble scale, use Green's function estimates with Hardy potentials, then bootstrap. No outright mathematical error was found in the parts that are actually written out. The bookkeeping in Step P5, including the boundary term estimates and the final bootstrap in Step P6, checks out algebraically. The paper also contains genuinely useful independent components: the construction of Green's functions with Hardy potentials (Theorem 7.1), the local regularity lemma (Lemma 11.1), and the Pohozaev-Pucci-Serrin identity. The core concern is therefore not a detected falsehood but a load-bearing incompleteness. The manuscript itself flags the two decisive gaps: Step P3 is sketched with reference to [9], and Section 10 leaves the derivative estimates of Theorem 7.2 to the reader. Step P5 needs both of those pieces uniformly in alpha, with a single threshold lambda_gamma controlling potentials and derivative bounds up to order 2k-1. If either gap hides a condition that degrades with l or requires extra geometric hypotheses, the pointwise estimate (7) and the resulting nonexistence theorems are not established. The reader's conditional verdict is exactly right: the result is plausible and potentially correct, but the deferred details are load-bearing and should be completed before full acceptance. My proposed test targets the derivative estimates because that is the most concrete and explicitly omitted link; the same test can be paired with a full write-up of Step P3, but the derivative bounds are the cleaner place to decide whether the central claim is sound.","tokens_in":61804,"tokens_out":21246,"duration_ms":202510,"concrete_test":"Re-derive the second and third estimates of Theorem 7.2 by running the same five-case contradiction of Section 10 with y-derivatives for l=1,...,2k-1, verifying in particular Case 5.2 (x_i,y_i -> x_0, d(x_i,y_i) -> 0, d(x_i,x_0) ~ d(y_i,x_0) ~ d(x_i,y_i)) that |nabla^l_y G(x,y)| <= C (max/min)^{gamma+l} d(x,y)^{2k-n-l} holds with one common lambda_gamma for all l. If the required lambda_{gamma,l} decreases as l approaches 2k-1, Step P5's boundary estimates fail and Theorem 1.3's pointwise control does not follow; if a single lambda_gamma suffices, the gap is merely expositional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Step P5 of Section 6 controls the boundary terms in Green's representation by combining the uniform smallness d(x,x_alpha)^{2k}|V_alpha(x)| <= lambda_gamma outside B_{R mu_alpha}(x_alpha) with the derivative estimates of Theorem 7.2 up to order 2k-1. The smallness is derived in Step P4 from Step P3, but Step P3 is only sketched: it refers to Chapter 4 of [9] and does not provide the L^{2*} mass estimates that exclude a second concentration at z_alpha while separating the main bubble mass; the adaptation to sign-changing high-order solutions is not automatic. The derivative estimates of Theorem 7.2 are used in Step P5 with the asymmetric factor (max/min)^{gamma+l}, yet Section 10 proves only the first (undifferentiated) estimate and explicitly leaves the derivative bounds 'to the reader'. It is not checked that a single threshold lambda_gamma works uniformly for all l <= 2k-1 and uniformly in alpha. If the admissible lambda must shrink with l, the fixed R chosen in Step P5 cannot control the boundary terms, and the bootstrap leading to (43) and (7) collapses. Both gaps are explicitly acknowledged in the manuscript, so the central claim is not yet fully supported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies families of solutions (u_alpha) to high-order critical equations P_alpha u_alpha = |u_alpha|^{2^*-2-eps_alpha} u_alpha on compact manifolds, assuming a one-bubble decomposition u_alpha = u_0 + B_alpha + o(1) in H^2_k. The central aim is the pointwise bubble localization estimate (7), obtained by rewriting the equation linearly with a Hardy-type potential and proving sharp Green's function estimates for P_alpha - V_alpha. From this control the author derives dimension-dependent obstructions to single-bubble concentration, involving the mass of the Green's function, the difference between P_alpha and the GJMS operator, and the Weyl tensor, via polyharmonic Pohozaev-Pucci-Serrin identities.","tokens_in":62028,"tokens_out":8962,"duration_ms":92286,"significance":"If the main estimate (7) is fully established, this is a substantial contribution: it extends the second-order pointwise blow-up theory of Druet-Hebey-Robert to arbitrary order k and to sign-changing solutions, without positivity or comparison-principle assumptions. The proposed mechanism, a Green's function theory for operators with Hardy potentials (Theorems 7.1 and 7.2) and the regularity Lemma 11.1, is promising and goes well beyond previous fourth-order results for positive geometric solutions. However, the manuscript explicitly defers two load-bearing pieces: Step P3's concentration-mass estimates in Section 6 and the derivative estimates of Theorem 7.2 in Section 10. Until those are supplied, the central claim is not fully supported.","major_comments":[{"comment":"The smallness condition (40) on d_g(x,x_alpha)^{2k}|V_alpha(x)| outside B_{R mu_alpha}(x_alpha) depends on Step P3, but Step P3 is only sketched: after the rescaling around z_alpha, the text states that the needed L^{2*} mass estimates follow as in Chapter 4 of [9] and gives no details. These estimates are required to exclude a second concentration at z_alpha and to separate the main bubble mass. Since [9] is a second-order theory for mostly positive solutions, its adaptation to sign-changing high-order solutions is not automatic. Because (40) is the Hardy-smallness input for Step P5, the proof of the pointwise control (7) collapses unless Step P3 is completed.","section":"Section 6, Step P3 and Step P4"},{"comment":"Step P5 uses derivative bounds |nabla_y^l G(x,y)| with the asymmetric factor (max/min)^{gamma+l} for all l <= 2k-1, and the boundary-term estimate in Step P5 requires these bounds uniformly in alpha. Section 10 proves only the undifferentiated estimate (87); for the derivative estimates the text says that the same contradiction method works and leaves the details to the reader. It is not checked that a single threshold lambda_gamma works uniformly for all l <= 2k-1. If lambda_gamma has to shrink with l, the fixed R chosen in Step P5 cannot control the boundary terms, and the bootstrap leading to (43) and (7) fails. This is a load-bearing gap, not a routine detail.","section":"Section 10, Theorem 7.2 and Step P5"},{"comment":"Theorem 7.2 states that the estimates are uniform with respect to x_0, and Step P5 applies them with x_0 = x_alpha, which varies with alpha. The contradiction proof in Section 10 fixes x_0 and lets only the operator, the potential, and the points x,y vary. The claimed uniformity in x_0 is therefore asserted rather than demonstrated; since Theorem 1.3 needs constants independent of alpha as x_alpha moves, an explicit compactness argument (or a statement that Theorems 8.1 and 9.1 provide constants independent of x_0) is needed.","section":"Section 10, uniformity in x_0"}],"minor_comments":[{"comment":"The sentence 'Theorems 3.4 and 3.4 are proved in Section 15' should read 'Theorems 3.4 and 3.5'.","section":"Section 15, first paragraph"},{"comment":"In the first sentence of Step P5, 'type (SSC)' should be 'type (SCC)' for consistency with Definition 1.1.","section":"Section 6, Step P5"},{"comment":"The first term on the right-hand side of (13) appears to be missing the exponent (n-2k)/2 on the denominator; the final estimate in Step P5 has (mu_alpha^nu + d_g(x,x_alpha)^nu)^{-(n-2k)/2}, which is presumably the intended formula.","section":"Theorem 3.1, equation (13)"},{"comment":"Families are indexed by alpha > 0 but limits are often written as alpha -> 0; this should be made consistent, for instance by reindexing or by writing alpha -> +infinity everywhere.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"I recommend major revision rather than rejection: the overall strategy is credible and the deferred estimates are localized, but Step P3 and the derivative bounds in Theorem 7.2 are explicitly left incomplete and are used in an essential way. The author should either complete these arguments or clearly restructure the paper so that the main theorem does not depend on them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this one. It is the first attempt I know of at a sharp pointwise control of one-bubble blow-up for critical equations of arbitrary order k, with sign-changing solutions and general elliptic operators. If it works, it is a real step beyond the k=1 and k=2 results. The paper does a lot well: it reduces the nonlinear equation to a linear one with a Hardy-type potential, then controls the Green's function for P_alpha - V_alpha and bootstraps to (7). The Pohozaev-Pucci-Serrin machinery is standard but carefully adapted, and the obstruction theorems in dimensions 2k+1 and 2k+2 look like the right statements. The author is also honest about the limits of the argument.\n\nThe soft spots are real and explicitly acknowledged. Step P3 in Section 6, which produces the uniform smallness of the Hardy potential outside the bubble scale, is only sketched, with a referral to Chapter 4 of Druet-Hebey-Robert. That is a non-trivial adaptation: the L^{2*} mass separation for sign-changing high-order solutions is not automatic. More importantly, the derivative estimates of Theorem 7.2 are used in Step P5 with a single threshold lambda_gamma controlling all derivatives up to order 2k-1, but Section 10 proves only the undifferentiated estimate and leaves the derivatives to the reader. If the admissible lambda has to shrink with the derivative order, the fixed R in Step P5 cannot control the boundary terms, and the whole pointwise bound collapses. These are not just cosmetic gaps. They sit exactly where the proof bends. The stress-test note got that right.\n\nStill, I do not read this as a paper with a hidden fatal flaw. The structure is coherent, the deferred steps are of a kind that often fill in, and the author flags them rather than burying them. The citations are appropriate and not self-inflated. The result, if confirmed, would be a solid reference for compactness and stability questions in higher-order conformal geometry.\n\nFor a referee: I would send it out. The right report is 'conditional accept: complete the proofs of Step P3 and the derivative estimates in Theorem 7.2, or give precise references that cover them.' The paper deserves that referee time. I would bring it to reading group too -- the Green's function estimates with Hardy potentials are worth understanding even before the gaps are closed. I would probably cite the pointwise control once it is fully established, but not before.","headline":"Genuinely new and plausible higher-order bubble localization, but two explicitly deferred proof steps are load-bearing; deserves rigorous refereeing before acceptance.","tokens_in":796,"tokens_out":793,"would_cite":true,"duration_ms":22076,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J35","35J60","35B44","35J08","58J05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a sharp pointwise bound for one-bubble families of solutions to high-order critical equations and shows that this bound rules out concentration under dimension-dependent conditions on the Green's function mass and the…","keywords":["one-bubble decomposition","pointwise estimates","higher-order critical equations","Hardy potential","Green's function","Pohozaev-Pucci-Serrin identity","GJMS operator","bubbling on manifolds"],"falsifier":"Construct a one-bubble family of solutions to a coercive high-order critical equation for which the pointwise bound (7) fails at some scale between $\\mu_\\alpha$ and the injectivity radius, or exhibit an operator $P$ and a Hardy potential $V$ with $d_g(x,x_0)^{2k}|V(x)|\\le \\lambda_\\gamma$ whose Green's function violates the pointwise estimates of Theorem 7.2; either would directly contradict Theorem 1.3.","tokens_in":61571,"feed_emoji":"📐","tokens_out":9634,"duration_ms":84291,"temperature":0.7,"pith_summary":"The paper studies families of solutions to the high-order critical equation $P_\\alpha u_\\alpha=|u_\\alpha|^{2^\\star-2-\\epsilon_\\alpha}u_\\alpha$ on a compact manifold, assuming the families decompose in Sobolev space into a fixed weak limit $u_0$ plus a single bubble $B_\\alpha$. Its main claim is a pointwise localization estimate: the whole family is bounded by a constant times the sup-norm of $u_0$ plus the standard bubble profile centered at the concentration point, with constants independent of $\\alpha$. From this estimate the paper derives obstructions: in low dimensions a positive weak limit prevents a standard bubble from forming, while in higher dimensions a sign condition on the trace of the difference between the operator coefficients and those of the conformally invariant GJMS operator is obstructive, and in dimension $2k+1$ with zero weak limit the mass of the Green's function of the limiting operator is decisive. A sympathetic reader would regard the pointwise control, not the nonexistence statements, as the core achievement, because it works for general elliptic operators and sign-changing solutions without any comparison principle.","feed_headline":"One-bubble blow-up is localized by a pointwise bound","feed_subtitle":"Sharp estimate pins every solution to a bubble profile, and nonexistence follows in each dimension range.","key_machinery":"The paper turns the nonlinear equation into the linear equation $(P_\\alpha-V_\\alpha)(u_\\alpha-u_0)=f_\\alpha$, with $V_\\alpha=|u_\\alpha|^{2^\\star-2-\\epsilon_\\alpha}$ behaving like a Hardy potential near the concentration point. The load-bearing object is the Green's function of the operator $P_\\alpha-V_\\alpha$ with a Hardy potential; Theorem 7.2 gives uniform pointwise bounds, including derivative bounds, for this Green's function when the Hardy potential is small. Those bounds rest on a regularity lemma that controls $d_g(x,x_0)^\\gamma|\\phi(x)|$ for solutions of $(P-V)\\phi=0$, and the whole chain is converted into explicit obstruction formulas by the Pohozaev-Pucci-Serrin identity for polyharmonic operators.","core_discovery":"For any family $(u_\\alpha)$ solving the equation with $u_\\alpha=u_0+B_\\alpha+o(1)$ in $H_k^2(M)$, the paper establishes the existence of $C>0$ such that $|u_\\alpha(x)|\\le C\\|u_0\\|_\\infty^{(2^\\star-1)^2}+C(\\mu_\\alpha^2/(\\mu_\\alpha^2+d_g(x,x_\\alpha)^2))^{(n-2k)/2}$ for all $x$ and $\\alpha$, where $\\mu_\\alpha=|u_\\alpha(x_\\alpha)|^{-2/(n-2k)}$. The bubble profile term controls the shape of the solution at every scale, and the weak-limit term accounts for the non-concentrated part. The same control, applied at intermediate scales, forces the rescaled functions to converge to an explicit harmonic profile, and insertion into a Pohozaev-Pucci-Serrin identity yields the constraints on the concentration point appearing in Theorems 1.1 and 1.2.","pith_inferences":["Beyond the paper, the same Green's-function-with-Hardy-potential machinery could be adapted to prove analogous pointwise controls for multi-bubble decompositions, likely yielding algebraic compatibility conditions among the bubble centers and radii.","A testable extension is to use the pointwise bound to derive compactness theorems for high-order critical equations under the sign conditions of Theorems 1.1 and 1.2; the paper's estimates provide the missing a priori control that compactness arguments typically require.","The regularity lemma for Hardy potentials may transfer to other settings, such as boundary-singular problems or equations posed on stratified spaces, where no Harnack inequality is available."],"forward_implications":["In dimensions $2k