{"id":"c62aa932-22b0-4a0c-be4e-08ac070ddfca","arxiv_id":"2505.21257","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"As p approaches k from below, the rescaled p-Dirichlet energies of maps into a manifold Gamma-converge to the mass of the n-dimensional flat chain that solves the homological Plateau problem for the boundary datum.","lead":"This paper proves that as the exponent p approaches k from below, the rescaled p-Dirichlet energies of maps into a manifold converge to the mass of an n-dimensional minimal surface, while the topological singular sets of the maps converge to that surface in a flat-chain sense. The result gives a variational handle on homotopy obstructions in manifold-valued Sobolev maps and connects them to the classical Plateau problem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem A's lower bound rests on the uniform L∞ gradient estimate for p-harmonic maps from S^{k-1}; the stated α=1−p/(k−1) is negative, and the Appendix's p-independent constants are not independently verified. If the estimate degenerates, λ(p,k) fails and the mass lower bound collapses.","rationale":"The reader's weakest assumption correctly identifies the uniform L∞ gradient estimate (Theorem 2.6 / Appendix A) as the load-bearing point. My reading of the proof of Theorem A indicates that the lower-bound chain is coherent after that estimate is granted: the ball-construction lower bound in Proposition 2.1, the norm-equivalence Proposition 2.4, the grid-based local compactness argument in Section 3, and the dense-chain upper bound in Section 4 all follow the established scheme of Jerrard–Sandier and Alberti–Baldo–Orlandi and I found no internal contradiction in those parts. The Appendix's proof of Theorem A.1 is the only genuinely new analytic ingredient that is not imported from prior work, and it is the place where a hidden p-dependent constant would be fatal. The additional misstatement of α in Theorem 2.6 as α=1−p/(k−1) reinforces the need for a careful correction and independent check, even though the algebra in Corollary 2.7 shows the intended exponent. Since the defect is identified but not proven fatal, I would not reject the paper; I would make acceptance conditional on the authors correcting the exponent and on a successful independent verification, analytical or numerical, that the constants in (2.22) are uniform as p→k^−.","tokens_in":49296,"tokens_out":13471,"duration_ms":143668,"concrete_test":"Re-derive Theorem 2.6 from Appendix A with fully explicit constants: (1) correct the exponent to α=(p−k+1)/p; (2) in the passage from (A.40) to (A.41), track every constant in the De Giorgi iteration and verify that the prefactor in front of ∥z∥_{L∞(D_{3/4})} is Cσ p^{1/2} r_M^{2σ} with no additional p-dependent factor coming from the exponent s in (A.12); (3) verify that the choice of θ0 in (A.8) and the absorption in (A.14) can be made with constants depending only on M,N,p0. If any p-dependent factor survives in the constant C of (2.22), Theorem 2.6 is false and Theorem A(i) collapses. As independent supporting evidence, compute minimizing p-harmonic maps S^2→S^2 for p close to 3 and test whether sup_p ∥∇v∥∞/∥∇v∥_p^{1/α} remains bounded.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim of Theorem A(i) is the mass lower bound M_k(S_A) ≤ liminf (k−p)D_p(u_p, A∩Ω). This passes through Proposition 3.1, Lemma 3.7, Proposition 2.5, Proposition 2.4, and finally Corollary 2.7, which rests entirely on Theorem 2.6. Theorem 2.6 asserts a uniform L∞ gradient bound for minimizing p-harmonic maps from S^{k−1} into N, with a constant C independent of p. If this constant blows up as p→k^−, then the equivalence constant λ(p,k) in Proposition 2.4 need not tend to 1 at the rate (2.20), the estimate |σ|_p ≥ λ(p,k)|σ|_k is lost, and the leading term |σ|_k/(k−p) in Proposition 2.5 cannot be obtained. That term is what produces the mass in the lower bound. There is also a concrete red flag in the manuscript as provided: Theorem 2.6 states α:=1−p/(k−1), which is negative for p>k−1, while the proof of Corollary 2.7 requires α=(p−k+1)/p=1−(k−1)/p. This is likely a typographical error, but it must be corrected. The substantive worry remains the p-independence of the constants in Appendix A: the argument tracks the classical estimates of Hardt–Lin and DiBenedetto, but the step from Proposition A.9 to Theorem A.1 involves a De Giorgi iteration whose constants must be checked to contain no hidden factor depending on p. The proof is long and has no machine-checked verification, so this is the least secure load-bearing point of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Gamma-convergence result for the p-Dirichlet energy of maps from a domain in R^{n+k} into a closed Riemannian manifold N satisfying assumption (H), in the supercritical regime p approaching k from below. The limit functional is the mass on n-dimensional flat chains with coefficients in pi_{k-1}(N); the topological singular sets of the maps converge to a chain solving the homological Plateau problem in the class determined by the boundary datum. Theorem A contains the compactness/lower bound and the upper bound, and Theorem B derives convergence of minimizers of the p-energy. The proof adapts the Ginzburg-Landau Gamma-convergence strategy of Alberti-Baldo-Orlandi and Canevari-Orlandi, with a new uniform L-infinity gradient estimate for supercritical p-harmonic maps from S^{k-1} (Theorem 2.6, proven in Appendix A) used to control the dependence of the homotopy-class norms on p.","tokens_in":49647,"tokens_out":15964,"duration_ms":160940,"significance":"If the central claim holds, this is a substantial contribution: it extends the Gamma-convergence description of topological singularities from the Ginzburg-Landau setting and from the known n=0,1 or sphere-target cases to arbitrary n and general targets satisfying (H), and it identifies the limit of the scaled p-Dirichlet energies with the mass functional. The uniform gradient estimate for p-harmonic maps from S^{k-1} is a new analytic ingredient of independent interest. The paper is carefully written and follows the established framework of flat chains with normed group coefficients, and the main structural steps (ball construction, grid approximation, dipole insertion) are clearly laid out. The principal weakness is that the proof of the uniform L-infinity estimate contains a specific exponent error that is load-bearing for the lower-bound half of Theorem A; this needs to be repaired before the result can be considered fully established.","major_comments":[{"comment":"The displayed definition in Theorem 2.6, alpha := 1 - p/(k-1), is negative for every p > k-1, which is the entire regime of interest. The subsequent proof of Corollary 2.7 requires alpha = 1 - (k-1)/p = (p-k+1)/p, and the algebra leading to f(p,q) = (p-k+1)/(q-k+1) is only valid with this positive exponent. As written, the statement of Theorem 2.6 is inconsistent with its use; please correct the definition and re-check the surrounding text.","section":"Theorem 2.6 / Corollary 2.7"},{"comment":"The absorption step in the proof of Theorem A.1 contains an exponent error that is load-bearing for the p-independence of the constant. Substituting s = M/(2 - 2 sigma M) from (A.12) gives 1/(2s) = 1/M - sigma, hence M(1/(2s) - 1/p) = alpha - M sigma. Therefore the product r_M^sigma vol(B(x))^{1/(2s)-1/p} is bounded by C r_M^{alpha - (M-1) sigma}, not C r_M^alpha as claimed in (A.15). Since r_M tends to 0 as ||grad v||_{L^p} tends to infinity by (A.8), the missing factor r_M^{-(M-1) sigma} is unbounded and cannot be absorbed into a constant independent of v. Consequently inequality (A.14) and the uniform bound of Theorem A.1 do not follow as written. This uniformity is exactly what Corollary 2.7, Proposition 2.4, Proposition 2.5, and the lower bound in Theorem A(i) require. Please correct the exponent computation or the definition of s, and verify that the De Giorgi iteration still yields a constant independent of p.","section":"Appendix A, proof of Theorem A.1, equation (A.15)"}],"minor_comments":[{"comment":"The inequality |gamma_p(K)|_k ≲ |gamma_p(K)|_p^{k/p} is not a consequence of (2.19); the lower bound in (2.19) gives the exponent 1/(p-k+1) instead. The two exponents are asymptotically equal as p -> k, so the final mass bound may survive an adjustment, but the argument as written is not correct.","section":"Section 3, proof of Lemma 3.7"},{"comment":"After equation (1.13) the text refers to 'estimate (1.15)' and to 'property (1.15)' two lines later; the numbering appears shifted by one (the intended estimate is (1.13)).","section":"Section 1.4"},{"comment":"The class of admissible chains is denoted C(v, Omega) in Theorem A but C(Omega, v) in the definition in Section 1 and elsewhere; please standardize the notation.","section":"Theorem A statement and Section 1"},{"comment":"The sentence 'the constant C_q does not depend on p' should read 'the constant C' (or 'C_0'); the subscript q is undefined and suggests a typo.","section":"Paragraph after Theorem 2.6"},{"comment":"There are several small typos, e.g. 'Let V and open bounded set' in Lemma 1.3, 'erferences' in the Introduction, 'for simplificty of notation' in Appendix A, and 'thesesequenceofenergies' in the Introduction; a careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious contribution to a well-studied problem, and the overall strategy is credible. My main concern is the exponent error in the proof of Theorem A.1 (equation (A.15)), which affects the p-independence of the uniform gradient estimate and thus the lower-bound half of Theorem A. This is a technical but load-bearing gap that likely can be repaired; I do not see a reason to doubt the result itself. I recommend major revision rather than rejection, with a request to correct the exponent calculation and to verify the De Giorgi iteration in Appendix A with explicit tracking of the p-dependence. The alpha typo in Theorem 2.6 should also be fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The paper proves the Gamma-convergence result it advertises: scaled p-Dirichlet energies, p -> k^-, Gamma-converge to the mass functional on n-dimensional flat chains with pi_{k-1}(N) coefficients, for general n, under the standard (H) assumption on the target, and with Dirichlet boundary data. That is genuinely new; the n=0 and n=1 cases and the sphere case announced in [24] do not cover it. The proof is a substantial adaptation of the Canevari-Orlandi framework, and the new analytic input — a uniform L^infty bound for minimising p-harmonic maps from S^{k-1} into N, with constant independent of p — is real and carries the lower bound.\n\nI agree with the reader's overall verdict. The paper is careful, the appendix is self-contained, and the main theorem holds up. The stress-test's typo flag is correct: Theorem 2.6 states alpha = 1 - p/(k-1), which is negative in the range p > k-1. The intended expression is alpha = 1 - (k-1)/p, and that is what appears in Corollary 2.7 and Appendix A. It is a typo, not a substantive flaw, but it should be fixed.\n\nThe deeper concern about p-independence of the constants in Appendix A is legitimate but not, in my reading, a demonstrated error. The iteration is long and hard to check line by line; the authors claim the constants are uniform, and I did not find a hidden p-factor. Still, this is exactly where a referee should spend time, and the paper would be stronger with a clearer account of the constants in the De Giorgi iteration.\n\nSeveral technical steps are deferred: the ball construction to [42], dipole insertion and the dense class of chains to [22], and Proposition 5.1 is stated without proof. That is acceptable practice in this area, and the deferred results are established, not part of the claim being proved. Citation pattern is fine.\n\nWho is this for: people working on p-harmonic maps, Ginzburg-Landau limits, or flat-chain descriptions of topological singularities. It is a solid, useful reference. It deserves a serious referee. My recommendation: send it out; accept after minor revision once the Theorem 2.6 typo is fixed.","headline":"Solid Gamma-convergence result for manifold-valued p-harmonic maps with a new uniform gradient estimate; the main theorem holds up, with a typo in Theorem 2.6 to fix.","tokens_in":50217,"tokens_out":5071,"would_cite":true,"duration_ms":47885,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q15","49Q20","58E12","58E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that, for a large class of target manifolds, the scaled $p$-Dirichlet energies of manifold-valued Sobolev maps $\\Gamma$-converge, as $p$ tends to $k$ from below, to the mass functional on topological singular chains, so…","keywords":["Γ-convergence","p-Dirichlet energy","topological singular sets","flat chains","minimal surfaces","p-harmonic maps","homological Plateau problem","cobordism classes"],"falsifier":"Take $\\Omega$ the unit ball in $\\mathbb{R}^k$, $N=S^{k-1}$, and boundary datum the identity map (degree one), and let $v_p$ be the minimizing $p$-harmonic map. The theorem predicts $(k-p)\\int_{\\Omega}|\\nabla v_p|^p \\to |\\sigma|_k$, the minimal $k$-energy of a degree-one map $S^{k-1}\\to S^{k-1}$, as $p\\to k^-$. Computing the radial minimizers for a sequence $p_n\\to k^-$ and checking whether this product converges to $|\\sigma|_k$ would settle the lower bound: a different limit value, or divergence, would refute the $\\Gamma$-convergence claim.","tokens_in":49087,"feed_emoji":"","tokens_out":13695,"duration_ms":128215,"temperature":0.7,"pith_summary":"The paper studies maps from a smooth bounded domain $\\Omega \\subseteq \\mathbb{R}^{n+k}$ into a closed target manifold $N$ whose first $k-2$ homotopy groups vanish and whose fundamental group is Abelian, in the regime $p\\to k^-$ under Dirichlet boundary conditions. It proves that the scaled energies $(k-p)D_p(u)$, with $D_p$ the $p$-Dirichlet energy, $\\Gamma$-converge to the mass functional on $n$-dimensional flat chains with coefficients in $\\pi_{k-1}(N)$, the variable of convergence being the topological singular set $S(u)$ of the map. Consequently, for a family of energy-minimizing $p$-harmonic maps with fixed boundary data, the singular sets converge in flat norm to a finite-mass chain that minimizes mass within the cobordism class forced by the boundary datum, while $(k-p)D_p$ converges to that chain's mass. This gives a variational interpretation of the limiting $k$-energy problem even when the class $W^{1,k}_v(\\Omega,N)$ is empty because of topological obstructions, and it extends earlier $\\Gamma$-convergence results from point and line singularities to singular sets of arbitrary dimension $n$.","feed_headline":"As p nears k, minimizers converge to minimal singular surfaces","feed_subtitle":"Scaled p-Dirichlet energies of manifold-valued maps converge to the mass of the limiting singular chain.","key_machinery":"The load-bearing object is the topological singular set operator: for an $N$-valued Sobolev map $u$ it produces an $n$-dimensional flat chain $S(u)$ with coefficients in the normed Abelian group $\\pi_{k-1}(N)$, the norm $|\\sigma|_k$ being the minimal $k$-energy of a sphere map representing $\\sigma$. The argument also uses a ball-construction lower bound for the $p$-energy in the critical dimension $k$, a grid and building-blocks construction that turns the sequence into polyhedral chains on adapted grids, and a retraction map from the ambient space minus a codimension-$k$ set onto $N$, which is used to extend maps and to compare singular sets. The technical hinge is a new uniform $L^\\infty$ gradient estimate for minimizing $p$-harmonic maps from $S^{k-1}$ into $N$, with constant independent of $p$ as $p\\to k^-$; this estimate is what keeps the homotopy-class norms $|\\sigma|_p$ comparable to $|\\sigma|_k$, yielding the leading term $|\\sigma|_k/(k-p)$ in the lower bound and hence the mass inequality.","core_discovery":"The central claim is Theorem A. Under the standing hypothesis (H), for any boundary datum $v \\in W^{1-1/k,k}(\\partial\\Omega,N)$: (i) any family $u_p \\in W^{1,p}_v(\\Omega,N)$ with $\\sup_p (k-p)D_p(u_p)<+\\infty$ has a subsequence $p_i\\to k$ and a finite-mass flat chain $S$ in the cobordism class $C(\\Omega,v)$ such that $F_{\\Omega,k}(S(u_{p_i})-S)\\to 0$ and $M_k(S_A) \\leq \\liminf_i (k-p_i)D_{p_i}(u_{p_i}, A\\cap\\Omega)$ for every open set $A$; and (ii) every chain $S$ in $C(\\Omega,v)$ is attained as the flat limit of singular sets of maps $u_p$ with $\\limsup_p (k-p)D_p(u_p)\\leq M_k(S)$. Thus the scaled $p$-Dirichlet energies $\\Gamma$-converge to the flat-chain mass, with the maps' topological singular sets as the convergence variable. Applied to minimizers, this yields Theorem B: $p$-harmonic maps $v_p$ solve the minimization problem for each $p$, their singular sets converge to a limiting chain $S$, $(k-p)D_p(v_p)\\to M_k(S)$, and $S$ has minimal mass among chains in $C(\\Omega,v)$, the homological Plateau problem associated with the boundary datum.","pith_inferences":["Not in the paper: the same scheme should transfer to other regularizations that produce flat-chain-valued singular sets with abelian charges, such as fractional or nonlocal approximations, provided the corresponding uniform gradient bound in the critical dimension can be proved.","Not in the paper: quantitative rates are not addressed. For minimizers one may expect $F_{\\Omega,k}(S(v_p)-S)$ to decay at a rate tied to the spectral gap of the second variation of the Plateau solution, and inspecting that rate would be a natural test of stability.","Not in the paper: the flat-chain formalism forces the coefficient group to be Abelian, so targets such as $\\mathbb{RP}^2$ with $k=2$ fall outside the theorem; a possible extension would seek the same $\\Gamma$-limit with mod-2 or twisted coefficients, though no construction is offered here."],"forward_implications":["Energy-minimizing $p$-harmonic maps with a fixed boundary datum have topological singular sets converging in flat norm to a finite-mass chain $S$ that solves the homological Plateau problem in the class $C(\\Omega,v)$, and their scaled energies $(k-p)D_p(v_p)$ converge to the mass $M_k(S)$.","The $\\Gamma$-limit works even when the boundary datum is topologically obstructed, so the genuinely ill-posed $k$-energy problem receives a well-defined relaxation through $p$-energies with $p<k$.","The theorem covers singular sets of arbitrary dimension $n$ and codimension $k$ for targets satisfying (H), including targets with nontrivial fundamental group as long as it is Abelian.","A boundary-free version (Proposition 5.1) asserts the same $\\Gamma$-convergence for relative boundaries, so the result applies to other variational problems with nonlocal or lower-order terms coupled to the $p$-energy.","The estimate controlling flat-norm convergence of $S(u_p)$ in terms of the $L^p$ gradient difference means the energy landscape itself relaxes to the mass functional, not merely the distribution of singularities."],"supporting_citations":[{"why":"This is the source of the topological singular set operator $S(u)$ as flat chains with coefficients in $\\pi_{k-1}(N)$ and of the continuity estimates used throughout the proof.","marker":"[21]"},{"why":"It supplies the Ginzburg-Landau analogue of the $\\Gamma$-convergence scheme, the cobordism class $C(\\Omega,v)$, and the dipole-insertion and chain-approximation lemmas that the present proof adapts.","marker":"[22]"},{"why":"It provides the grid and building-blocks strategy with adapted skeletons that the compactness argument reworks for $p$-Dirichlet energies.","marker":"[3]"},{"why":"It establishes that under assumption (H) some boundary data make $W^{1,k}_v$ empty, which is the topological obstruction motivating the $p\\to k^-$ relaxation.","marker":"[13]"},{"why":"It gives the retraction map from the ambient space onto $N$, the nonemptiness of $W^{1,p}_v$ for $p>k-1$, and the regularity theory that Appendix A extends to a $p$-independent gradient bound.","marker":"[40]"},{"why":"It is the ball-construction lower-bound technique that Proposition 2.1 adapts to estimate the $p$-energy in the critical dimension $k$.","marker":"[42]"},{"why":"It provides the companion ball-construction estimate used together with the lower-bound method to control the energy of maps with prescribed homotopy classes.","marker":"[54]"},{"why":"It introduced topological singular sets for $N$-valued Sobolev maps in this flat-chain language, the object that $S(u)$ generalizes and whose weak-density properties the proof uses.","marker":"[53]"}],"fun_headline_variants":["Singular sets converge to minimal flat chains","p-Dirichlet energy Gamma-converges to chain mass","Topological singularities approach Plateau minimizers","Scaled p-energy limits yield minimal singular chains","Manifold-valued maps: singular chains solve Plateau"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's load-bearing premise is that minimizing $p$-harmonic maps from the sphere $S^{k-1}$ into $N$ satisfy an $L^\\infty$ gradient bound whose constant is independent of $p$ as $p\\to k^-$; without that bound, the homotopy-norm comparison, the leading $1/(k-p)$ lower term, and the compactness part of the $\\Gamma$-limit would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Singular sets converge to minimal flat chains","p-Dirichlet energy Gamma-converges to chain mass","Topological singularities approach Plateau minimizers","Scaled p-energy limits yield minimal singular chains","Manifold-valued maps: singular chains solve Plateau"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000275,"raw_usage":{"total_tokens":1710,"prompt_tokens":1082,"completion_tokens":628,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":565}},"tokens_in":698,"tokens_out":628,"duration_ms":6717,"temperature":1.0,"reasoning_tokens":565,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:33:31.389303+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $\\Omega$ the unit ball in $\\mathbb{R}^k$, $N=S^{k-1}$, and boundary datum the identity map (degree one), and let $v_p$ be the minimizing $p$-harmonic map. The theorem predicts $(k-p)\\int_{\\Omega}|\\nabla v_p|^p \\to |\\sigma|_k$, the minimal $k$-energy of a degree-one map $S^{k-1}\\to S^{k-1}$, as $p\\to k^-$. Computing the radial minimizers for a sequence $p_n\\to k^-$ and checking whether this product converges to $|\\sigma|_k$ would settle the lower bound: a different limit value, or divergence, would refute the $\\Gamma$-convergence claim.","supporting_citations":[{"cited_title":"Canevari and G","cited_arxiv_id":null,"evidence_quote":"This is the source of the topological singular set operator $S(u)$ as flat chains with coefficients in $\\pi_{k-1}(N)$ and of the continuity estimates used throughout the proof."},{"cited_title":"Canevari and G","cited_arxiv_id":null,"evidence_quote":"It supplies the Ginzburg-Landau analogue of the $\\Gamma$-convergence scheme, the cobordism class $C(\\Omega,v)$, and the dipole-insertion and chain-approximation lemmas that the present proof adapts."},{"cited_title":"Bethuel and F","cited_arxiv_id":null,"evidence_quote":"It establishes that under assumption (H) some boundary data make $W^{1,k}_v$ empty, which is the topological obstruction motivating the $p\\to k^-$ relaxation."},{"cited_title":"Hardt and F.-H","cited_arxiv_id":null,"evidence_quote":"It gives the retraction map from the ambient space onto $N$, the nonemptiness of $W^{1,p}_v$ for $p>k-1$, and the regularity theory that Appendix A extends to a $p$-independent gradient bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It provides the companion ball-construction estimate used together with the lower-bound method to control the energy of maps with prescribed homotopy classes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It introduced topological singular sets for $N$-valued Sobolev maps in this flat-chain language, the object that $S(u)$ generalizes and whose weak-density properties the proof uses."}],"review_version":1}