{"id":"0e86d4e1-7012-4a2c-ac9c-ce0665631d4f","arxiv_id":"2506.17166","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For each n≥2, closed targets with a non-trivial higher homotopy group admit non-trivial regular n-harmonic spheres; in dimension 3 for all metrics and in higher dimensions for homogeneous targets, with an energy identity and min-max theorem modulo bubbling.","lead":"This paper proves that for every dimension n at least 2, under a simple topological condition on the target space, there must exist a non-trivial n-harmonic sphere, a kind of perfect energy-balancing map from an n-sphere into a curved space. It also sets up a general min-max scheme that, up to the known bubbling effect, finds such maps and quantifies their energy.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform C^{1,α0} regularity in Theorem 1.3(c) is not established: the proof falls back on a local minimality whose scale shrinks as p→3, so Theorem 1.1(ii) is conditional.","rationale":"The reader identified the entropy condition as the weakest assumption and concluded that the main existence theorems do not depend on it. That is essentially correct: the existence argument can be run with the bubble-tree construction alone, and the energy identity is only needed for the quantization statement in Theorem 1.5. However, the load-bearing analytic input for the n=3 arbitrary-metric case is the uniform regularity Theorem 1.3(c), and its proof contains a circularity that the paper itself flags. The uniform regularity is needed both to extract bubbles and to ensure the limiting base map and bubbles are C^{1,α} n-harmonic maps. If the local minimality scale degenerates as p↘3, the reduction to Theorem 1.3(a) does not yield uniform estimates on a fixed ball. The paper provides neither a uniform version of Corollary 3.4 nor a direct C^{1,α} argument from the Cordes-type W^{2,q} estimate. This is a genuine proof gap, not a disagreement with prior literature. For that reason the verdict should be CONDITIONAL: the claimed existence theorem is plausible and much of the machinery is sound, but the central regularity theorem for n=3 needs a repaired argument before the result can be accepted.","tokens_in":63875,"tokens_out":30006,"duration_ms":316508,"concrete_test":"Re-derive Theorem 3.7 without invoking Theorem 1.3(a). Specifically, check whether the constant τ1 in Corollary 3.4 can be chosen independent of p∈(3,P0). If it cannot, either prove a uniform C^{1,α0} estimate directly from (3.8) by a Campanato iteration or a bootstrap using the special structure of the right-hand side, or show that the W^{1,p}-local minimality obtained on the degenerating scale is enough for the blow-up comparison in Section 3.1. If both fail, Theorem 1.3(c) lacks proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 1.3(c) is the analytic core of Theorem 1.1(ii), and it is incomplete as written. After deriving the uniform W^{2,q} estimate (3.8), the proof obtains only C^{0,α} regularity of u for q>2, not C^{1,α} of u. It then invokes Corollary 3.4 to deduce local minimality of u, and Theorem 1.3(a) to upgrade this to uniform C^{1,α0}. But Corollary 3.4 is explicitly non-uniform: its scale τ1 depends on p and its proof chooses τ1 small by a Sobolev embedding whose constant degenerates as p↘3. The paper itself states in the Introduction that this local minimality 'works on a scale τR0 such that τ→0 as p↘n.' Thus the local minimality is obtained only on balls whose radius shrinks to zero when p approaches 3, so Theorem 1.3(a) cannot be applied on any fixed ball independent of p. No alternative argument is supplied to close the gap between the W^{2,q} estimate and the claimed uniform C^{1,α0} bound. Without that bridge, Theorem 1.3(c), and consequently the n=3 arbitrary-metric existence theorem, is not proven. The entropy condition is not the soft spot for the existence theorems: the bubble-tree construction in Section 4 does not require the energy identity, and the existence proof only needs a nontrivial base map or bubble.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a higher-dimensional analogue of the Sacks-Uhlenbeck construction for n-harmonic maps. It introduces a two-parameter family of approximating functionals E_{p,δ}, studies their Euler-Lagrange systems, and proves uniform C^{1,α} regularity under three alternative hypotheses: local minimality, homogeneous targets, and three-dimensional domains. It then constructs bubble trees for sequences of critical maps, proves an energy identity under a Struwe-type entropy condition, adapts Struwe's monotonicity trick to produce min-max sequences satisfying that entropy condition, and derives existence theorems for non-trivial n-harmonic spheres, including null-homotopic examples. The main claims are Theorem 1.1 (existence of n-harmonic spheres, with arbitrary metrics in the n=3 case), Theorem 1.5 (energy identity), and Theorem 1.6 (min-max modulo bubbling).","tokens_in":64186,"tokens_out":20767,"duration_ms":199081,"significance":"If the regularity results are correct, this is a substantial contribution. The paper extends Sacks-Uhlenbeck's existence theory from n=2 to general n≥2, introduces a new double-phase-type approximation whose degeneracy is handled analytically, provides a bubble-tree construction with energy identity under an explicit entropy hypothesis that the authors verify for their min-max sequences, and derives new existence results including null-homotopic n-harmonic spheres. The careful separation of the entropy condition from the existence statements, together with the counterexample reference [35], shows an appropriate awareness of the limits of the energy-identity result. The regularity work under hypotheses (a), (b), and (c) is the analytic core; hypothesis (c) is the key to the n=3 arbitrary-metric existence theorem and is currently not proven at the claimed uniformity.","major_comments":[{"comment":"The claimed uniform C^{1,α0} regularity in Theorem 1.3(c) is not established. From (3.8), Sobolev embedding gives only a uniform C^{0,α} bound for u with α>1/2, not a bound for ∇u. The proof then invokes Corollary 3.4 to deduce local minimality and applies Theorem 1.3(a) to upgrade to uniform C^{1,α0}. However, Corollary 3.4 is explicitly non-uniform: its scale τ1 depends on p, and its proof uses a Sobolev embedding whose constant degenerates as p↘3. The Introduction itself acknowledges that this local minimality 'works on a scale τR0 such that τ→0 as p↘n.' Consequently, Theorem 1.3(a) can only be applied on balls of radius τ0τ1R0, which shrink as p approaches 3, rather than on the fixed ball B_{τ0R0}(x0) required for the bound (1.6). No alternative bootstrap to a fixed scale is supplied. This gap affects Theorem 1.1(ii), the n=3 case of Theorem 1.2, and the case-(c) versions of Theorems 1.5 and 1.6. Please provide a direct argument for the uniform C^{1,α} bound (for example, by proving that in Corollary 2.4 one may choose q1>3 for n=3, or by another iteration of the estimate (3.8)), or revise the statements accordingly.","section":"Section 3.4, proof of Theorem 3.7, after Eq. (3.8)"},{"comment":"The proof of Theorem 1.3(b) for homogeneous targets relies on the same passage from range-restricted minimality to unrestricted local minimality. The text states that once uniform Hölder regularity is obtained, the uniqueness result in the next subsection gives minimality and then Theorem 1.3(a) applies. But the only written mechanism for removing the range restriction is Corollary 3.4, whose scale degenerates as p↘n. Since the target geometry in the homogeneous case does not remove the dependence on the Sobolev embedding constant in the proof of Corollary 3.4, the uniform C^{1,α0} estimate on a fixed ball is not justified as written. This affects part (i) of Theorem 1.1. Please clarify whether a uniform unrestricted-minimality argument is intended and supply it, or state the theorem at the smaller scale that is actually obtained.","section":"End of Section 3.2 and Corollary 3.4"}],"minor_comments":[{"comment":"The entropy condition is written with the limit 'lim_{k→n}'; it should be 'lim_{k→∞}'.","section":"Theorem 1.5, Eq. (1.8)"},{"comment":"In the last line of the statement, 'B^N_{ρ2}(P1)' appears to be a typo and should read 'B^N_{ρ2}(y0)'.","section":"Corollary 3.4"},{"comment":"The proof of Lemma 4.5 is compressed: the verification of the boundary term estimate after (4.13) and the telescoping summation over the dyadic annuli are only sketched. Please expand these steps so that the constant dependence in (4.11) can be checked.","section":"Lemma 4.5"},{"comment":"Theorem 2.9 is presented as a sketch of a known analogue of Sacks-Uhlenbeck's result; if it is not proved in detail, it would be clearer to state it as a reference to [58] with the necessary uniform modifications, rather than as a proof sketch in the main text.","section":"Theorem 2.9"},{"comment":"The notation E^{(s_k)}_{p_k,δ_k} is used before the parameter s is formally introduced in the rescaled system (4.2); adding a one-sentence reminder of the s-dependence would improve readability.","section":"Section 4.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically ambitious and contains several valuable ideas, especially the two-parameter approximation, the entropy-conditioned bubble-tree analysis, and the min-max application. However, the n=3 uniform regularity theorem is the analytic cornerstone for the arbitrary-metric existence claim, and the current proof does not deliver the claimed uniformity. The issue is not a matter of presentation but of a missing argument at a load-bearing point; it is likely fixable, but the authors need to provide a genuine uniform C^{1,α} bound on a fixed scale. Given the prominence of the n=3 claim in the abstract and introduction, I recommend major revision rather than acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper deserves a serious referee, but I would not accept Theorem 1.1(ii) as proven. The gap is in Theorem 1.3(c), the uniform C^{1,α0} regularity for n=3. The proof derives a uniform W^{2,q} estimate (3.8), which by Sobolev gives uniform C^{0,α} for α>1/2. But to get C^{1,α} the proof invokes Corollary 3.4 to get local minimality, and Corollary 3.4 is explicitly non-uniform: its scale τ1 shrinks as p↘n. The authors say as much in the Introduction, where they note the scale τ→0 as p↘n and that the regularity gained from Theorem 1.3(a) cannot be extended to a uniform scale. That leaves a genuine gap between the W^{2,q} estimate and the claimed uniform C^{1,α0} bound. Since Theorem 1.1(ii) relies on Theorem 1.3(c) to produce a bubble tree, the n=3 arbitrary metric existence theorem is conditional on closing this gap.\n\nWhat is good: the two-parameter family E_{p,δ} is a natural higher-dimensional analogue, and the use of Cordes' condition to get uniform Calderon-Zygmund estimates in n=3 is new and promising. The null-homotopic examples for π_n(N)=0 are genuinely new. The energy identity and the min-max theorem are substantial: the entropy condition is explicitly stated, and the authors show it holds for their min-max sequences, so it is not a hidden assumption. The bubble-tree construction is detailed, and the citations to Lamm [33] are appropriate since the present proof generalizes it.\n\nOther soft spots are minor: Theorem 2.9 is only sketched, and parts of Lemma 4.5 are reported rather than fully proven. I do not think these are fatal.\n\nMy guess is the gap is repairable: the uniform C^{0,α} from the W^{2,q} estimate might feed directly into a Schauder/bootstrap argument to upgrade to C^{1,α} on a fixed scale, bypassing the non-uniform minimality. But that argument is not in the paper. A referee should ask for it.\n\nSo: send to peer review, but with heavy revision. The paper is significant and likely correct, but the n=3 existence theorem is not yet proven.","headline":"Significant paper, but the n=3 uniform regularity proof has a real gap that the authors acknowledge in the introduction and never close.","tokens_in":64720,"tokens_out":8860,"would_cite":true,"duration_ms":82819,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35-XX","49-XX","53-XX"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that non-trivial $C^{1,\\alpha}$-regular $n$-harmonic spheres $u:(S^n,\\mathrm{ground})\\to(N,h)$ exist for every $n\\ge 2$ when $\\pi_{n+k}(N)\\neq 0$, under suitable metric assumptions, and that the approximating energies…","keywords":["n-harmonic maps","Sacks-Uhlenbeck approximation","bubbling","energy identity","min-max","double phase functionals","degenerate elliptic PDEs","homogeneous spaces"],"falsifier":"Solve the approximating system (1.5) for a sequence with $p_k\\searrow n$, $\\delta_k\\searrow 0$ and uniformly bounded energy satisfying the entropy condition, and check whether the concentration radii obey $\\lim_k (r_k)^{n-p_k}=1$; a violation of this equality, or any bounded critical sequence satisfying (1.8) without the energy identity (1.10), would refute Theorem 1.5. Alternatively, in dimension $n=3$, a closed target with $\\pi_{3+k}(N)\\neq 0$ for which no non-trivial $C^{1,\\alpha}$ 3-harmonic sphere exists under some Riemannian metric would refute Theorem 1.1(ii).","tokens_in":63686,"feed_emoji":"🌐","tokens_out":12157,"duration_ms":111988,"temperature":0.7,"pith_summary":"This paper extends the classical Sacks–Uhlenbeck existence theory from harmonic $2$-spheres to higher-dimensional $n$-harmonic spheres ($n\\ge 2$). Its central claim, Theorem 1.1, is that if the closed target manifold $N$ has $\\pi_{n+k}(N)\\neq 0$ for some $k\\in\\mathbb{N}$, then there exists a non-trivial $C^{1,\\alpha}$-regular $n$-harmonic map $u:(S^n,\\mathrm{ground})\\to(N,h)$—for any homogeneous left-invariant metric $h$ in every dimension, and for any metric $h$ when $n=3$. The proof introduces a two-parameter family of approximating energies $E_{p,\\delta}$, establishes uniform $C^{1,\\alpha_0}$ regularity for small-energy critical points, and develops a bubble-tree (neck) analysis that yields an energy identity under a Struwe-type entropy condition. The authors use that identity to solve min-max problems for the $n$-energy modulo bubbling and to produce infinitely many new null-homotopic $n$-harmonic spheres. The upshot is that the Sacks–Uhlenbeck machinery now operates beyond the conformal two-dimensional case.","feed_headline":"Non-trivial n-harmonic spheres for every n","feed_subtitle":"A two-parameter energy family proves existence into targets with non-zero higher homotopy, and quantizes the energy.","key_machinery":"The load-bearing object is the two-parameter approximating family (1.4), $E_{p,\\delta}(u)=\\frac{1}{p}\\int_M[(1+(\\delta+|\\nabla u|^2)^{n/2})^{p/n}-(1+\\delta^{n/2})^{p/n}]\\,d\\mu_g$, which for $p=n$, $\\delta=0$ reduces to the $n$-energy $D_n$ and for $n=2$, $\\delta=0$, $\\alpha=p/2$ to the Sacks–Uhlenbeck functional. Its Euler–Lagrange system (1.5) is a double-phase-type, non-uniformly elliptic divergence system whose structure balances a $p$-growth phase against an $n$-growth phase; monotonicity in $p$ allows Struwe's trick to produce critical points at min-max levels. The proof's workhorses are the uniform small-energy regularity Theorem 1.3, whose three branches use Luckhaus regularity, Toro–Wang Hardy–BMO compensation for homogeneous targets, and the Cordes condition (a closeness-to-Laplacian algebraic inequality that holds exactly for $n=2,3$) in the three-dimensional case; the Brezis–Coron maximal concentration function to select bubble radii; the entropy condition (1.8) to force the sharp concentration-radius limit (4.9); and a Hopf-differential-type estimate controlling tangential gradient energy on the connecting annuli.","core_discovery":"On its own terms, the paper establishes three connected results. First, uniform regularity (Theorem 1.3): for $p$ in a narrow interval $(n,P_0)$ and $\\delta>0$ small, solutions of the double-phase Euler–Lagrange system associated to $E_{p,\\delta}$ are $C^{1,\\alpha_0}$ with constants independent of $p$ and $\\delta$, provided the rescaled energy is small and one of three conditions holds—local minimality, a homogeneous target with left-invariant metric, or a three-dimensional domain. Second, quantization (Theorem 1.5): a bounded sequence of such critical maps with $p_k\\searrow n$, $\\delta_k\\searrow 0$ and satisfying the entropy bound (1.8) converges, up to extraction, to a weak $n$-harmonic base map plus finitely many $n$-harmonic bubbles $\\omega_{i,j}:S^n\\to N$, and the $E_{p,\\delta}$ and $D_n$ energies decompose exactly as $D_n(u_n)+\\sum D_n(\\omega_{i,j})$. Third, existence and min-max (Theorems 1.1 and 1.6): the quantized bubble tree realises the min-max value for the $n$-energy, and whenever $\\pi_{n+k}(N)\\neq 0$ the construction yields a non-trivial regular $n$-harmonic sphere, null-homotopic in infinitely many explicit cases.","pith_inferences":["The biggest open structural gap is the regularity branch: the homogeneity assumption in Theorem 1.1(i) enters only through Theorem 1.3(b), so a small-energy regularity theorem for arbitrary targets would automatically extend the existence result to every Riemannian metric in all dimensions; the paper explicitly says such a result is out of reach.","If the entropy condition could be shown to follow from compensation phenomena for homogeneous targets, as the paper conjectures, then the energy identity would hold for every bounded critical sequence, not just min-max sequences, and the same min-max conclusions would follow without invoking Struwe's monotonicity trick.","The double-phase nature of the approximating energies connects the geometric existence problem to the regularity theory for $(p,q)$-growth functionals; a natural quantitative test is whether the threshold $P_0$ for uniform regularity matches the Cordes-interval bound in dimension $3$, where Cordes' condition is exactly what makes the argument work."],"forward_implications":["For any closed target with $\\pi_{n+k}(N)\\neq 0$ and any homogeneous left-invariant metric, the theorem yields a non-trivial $C^{1,\\alpha}$ $n$-harmonic sphere, including cases where $\\pi_n(N)=0$ and hence energy minimizers are necessarily trivial.","In dimension $n=3$, the same conclusion holds for every Riemannian metric on such targets, so arbitrary-metric existence is settled there.","By Corollary 6.4, whenever Theorem 1.1 applies in dimension $n$, it automatically yields non-trivial $i$-harmonic spheres for every $2\\le i