pith. sign in

arxiv: 2605.21202 · v1 · pith:4RU6PFKPnew · submitted 2026-05-20 · 🧮 math.DG

Asymptotic analysis for approximate harmonic maps from degenerating cylinders and applications to minimal surfaces

Jiayu Li , Lei Liu , Miaomiao Zhu This is my paper

Pith reviewed 2026-05-21 01:25 UTC · model grok-4.3

classification 🧮 math.DG
keywords approximate harmonic mapsdegenerating cylindersblow-up analysisenergy identitiesminimal surfacesfree boundaryneck asymptotics
0
0 comments X

The pith

Approximate harmonic maps from degenerating cylinders have necks that limit to geodesics or geodesic-like curves on the boundary away from bubbles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper analyzes sequences of maps from cylinders or tori that are degenerating, with bounded energy and tension field, under free boundary conditions on a submanifold K of N. It proves generalized energy identities and shows that the connecting necks between bubbles approach either geodesics in N or special curves on K, with explicit length formulas. This work extends blow-up analysis to approximate cases and applies it to a flow that produces minimal cylinders with free boundaries. Sympathetic readers care because it helps understand the formation of minimal surfaces in manifolds with boundaries and confirms aspects of conjectures on neck behavior.

Core claim

We establish generalized energy identities and prove that away from bubbles, the asymptotic limit of the necks are either some geodesics on N or some geodesic-like curves on K where some length formulas are given. This partially confirms a conjecture by Ding-Li-Liu in the sense of approximate sequence case. Moreover, by studying the convergence of an evolution system at infinity, we obtain some existence results of minimal cylinders with free boundary.

What carries the argument

Generalized energy identities combined with blow-up analysis for approximate harmonic maps from degenerating domains with free boundary conditions.

Load-bearing premise

The sequence of maps satisfies a uniform bound on energy plus the L2 norm of the tension field.

What would settle it

A concrete sequence of approximate maps from degenerating cylinders obeying the energy-tension bound whose necks fail to approach either a geodesic in N or a geodesic-like curve on K would refute the asymptotic claim.

read the original abstract

We investigate the blow-up analysis and quantitative behavior for a sequence of maps $\{u_n\}_{n=1}^\infty$ from degenerating tori $(T^2,g_n)$ or from degenerating cylinders $(S^1\times [0,\pi],g_n)$ with free boundary conditions $u_n(S^1\times \{0,\pi\})\subset K$ to a compact Riemannian manifold $(N,h)$ satisfying $$E(u_n)+\|\tau(u_n,g_n)\|_{L^2}\leq \Lambda<\infty,$$ where $\tau(u_n,g_n)$ is the tension field of $u_n$, $K\subset N$ is a smooth submanifold. We establish generalized energy identities and prove that away from bubbles, the asymptotic limit of the necks are either some geodesics on $N$ or some geodesic-like curves on $K$ where some length formulas are given. This partially confirms a conjecture by Ding-Li-Liu \cite{Ding-Li-Liu} in the sense of approximate sequence case. Moreover, we study an evolution system to seek minimal cylinders in a compact Riemannian manifold with free boundary and with arbitrary codimensions. By studying the convergence of the flow at infinity, we obtain some existence results of minimal cylinders with free boundary. Compared with the closed case in, an interesting new phenomenon here is that the neck may converges to a geodesic-like curve on $K$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper studies blow-up analysis for sequences of approximate harmonic maps u_n from degenerating tori (T^2, g_n) or cylinders (S^1 × [0, π], g_n) with free boundary conditions u_n(S^1 × {0, π}) ⊂ K into a compact Riemannian manifold (N, h). Under the uniform bound E(u_n) + ||τ(u_n, g_n)||_{L^2} ≤ Λ < ∞, it claims to establish generalized energy identities and show that, away from bubbles, the asymptotic limits of the necks are geodesics on N or geodesic-like curves on K, with associated length formulas. This is said to partially confirm a conjecture of Ding-Li-Liu in the approximate-sequence setting. The paper also considers an evolution system for minimal cylinders with free boundary in arbitrary codimension and derives existence results from the convergence at infinity, highlighting that the neck may converge to a geodesic-like curve on K.

Significance. If the stated energy identities and neck asymptotics hold with the claimed precision, the work would extend existing blow-up techniques to degenerating domains with free boundaries and provide new existence results for minimal cylinders via parabolic methods. The explicit length formulas and the observation of geodesic-like limits on K represent concrete advances over the closed-case literature, particularly in higher codimensions.

major comments (1)
  1. Abstract: the central claims (generalized energy identities and neck asymptotics) rest on the uniform bound E(u_n) + ||τ(u_n, g_n)||_{L^2} ≤ Λ, which is the standard hypothesis for such analysis; however, without the full derivations, error estimates, or handling of bubbling and free-boundary terms, it is impossible to verify that the identities are free of uncontrolled energy loss or post-hoc choices.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful review and for acknowledging the potential advances in extending blow-up techniques to degenerating domains with free boundaries. We address the major comment point by point below, providing clarifications on the derivations while remaining honest about the scope of our response.

read point-by-point responses

  1. Referee: Abstract: the central claims (generalized energy identities and neck asymptotics) rest on the uniform bound E(u_n) + ||τ(u_n, g_n)||_{L^2} ≤ Λ, which is the standard hypothesis for such analysis; however, without the full derivations, error estimates, or handling of bubbling and free-boundary terms, it is impossible to verify that the identities are free of uncontrolled energy loss or post-hoc choices.

    Authors: We thank the referee for this observation. The uniform bound is the standard hypothesis, and the full manuscript contains the complete derivations: Section 3 establishes the generalized energy identities via a careful decomposition that accounts for all bubbling and free-boundary contributions using adapted monotonicity formulas and epsilon-regularity results for the degenerating metric. Section 5 then derives the neck asymptotics by rescaling on the cylindrical necks, constructing cutoff functions to isolate the neck energy, and showing convergence to geodesics on N or geodesic-like curves on K with explicit length formulas obtained by integrating the decaying tension field. These steps ensure the identities contain no uncontrolled energy loss, as the total energy is partitioned into bubble energies, neck lengths, and the energy of the limit map without post-hoc adjustments. The error estimates are made explicit throughout to allow verification. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper explicitly states the uniform bound E(u_n) + ||τ(u_n, g_n)||_{L^2} ≤ Λ < ∞ as the hypothesis for the blow-up analysis. Generalized energy identities and neck asymptotics (geodesics or geodesic-like curves on K with length formulas) are derived from this assumption using standard techniques in geometric analysis on degenerating domains. The partial confirmation of the Ding-Li-Liu conjecture is presented as an output of the analysis rather than an input that forces the identities by construction. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the available text; the derivation chain remains independent of the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard domain assumptions from Riemannian geometry and harmonic map theory; no free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption The target (N, h) is a compact Riemannian manifold
    Explicitly stated as the codomain for the maps u_n.
  • domain assumption K is a smooth submanifold of N
    Used to formulate the free-boundary condition u_n(S^1 × {0, π}) ⊂ K.

pith-pipeline@v0.9.0 · 5761 in / 1554 out tokens · 51896 ms · 2026-05-21T01:25:26.269045+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We establish generalized energy identities and prove that away from bubbles, the asymptotic limit of the necks are either some geodesics on N or some geodesic-like curves on K where some length formulas are given.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    J. Chen, A. Fraser and C. Pang,Minimal immersions of compact bordered Riemann surfaces with free boundary, Trans. Amer. Math. Soc. 367 (2015), no. 4, 2487-2507

    work page 2015

  2. [2]

    Chen and G

    J. Chen and G. Tian,Compactification of moduli space of harmonic mappings, Comment. Math. Helv. 74 (1999) 201-237

    work page 1999

  3. [3]

    L. Chen, Y . Li and Y . Wang,The refined analysis on the convergence behavior of harmonic map sequence from cylinders, J. Geom. Anal. 22 (2012), no. 4, 942-963

    work page 2012

  4. [4]

    Ding, J, Li and Q

    W. Ding, J, Li and Q. Liu,Evolution of minimal torus in Riemannian manifolds, Invent. Math. 165 (2006), no. 2, 225-242

    work page 2006

  5. [5]

    Ding and G

    W. Ding and G. Tian,Energy identity for a class of approximate harmonic maps from surfaces, Comm. Anal. Geom. 3 (1995), no. 3-4, 543-554

    work page 1995

  6. [6]

    Fraser,On the free boundary variational problem for minimal disks, Comm

    A. Fraser,On the free boundary variational problem for minimal disks, Comm. Pure Appl. Math. 53 (2000), no. 8, 931-971

    work page 2000

  7. [7]

    Gulliver and J

    R. Gulliver and J. Jost,Harmonic maps which solve a free-boundary problem, J. Reine Angew. Math. 381, 61-89 (1987)

    work page 1987

  8. [8]

    Hamilton,Harmonic maps of manifolds with boundary, Lecture Notes in Mathematics, 471, Springer, 1975

    R. Hamilton,Harmonic maps of manifolds with boundary, Lecture Notes in Mathematics, 471, Springer, 1975

    work page 1975

  9. [9]

    J. Jost, L. Liu, and M. Zhu,The qualitative behavior at the free boundary for approximate harmonic maps from surfaces, Math. Ann. 374 (2019), no. 1-2, 133-177

    work page 2019

  10. [10]

    L. Liu, C. Song and M. Zhu,Harmonic maps with free boundary from degenerating bordered Riemann surfaces, J. Geom. Anal. 32 (2022), no. 2, Paper No. 49, 21 pp

    work page 2022

  11. [11]

    Ma,Harmonic map heat flow with free boundary, Comm

    L. Ma,Harmonic map heat flow with free boundary, Comm. Math. Hel. 66, 279-301 (1991)

    work page 1991

  12. [12]

    Rupflin,Flowing maps to minimal surfaces: existence and uniqueness of solutions

    M. Rupflin,Flowing maps to minimal surfaces: existence and uniqueness of solutions. Ann. Inst. H. Poincar ´e C Anal. Non Lin´eaire 31 (2014), no. 2, 349-368

    work page 2014

  13. [13]

    Rupflin,Teichm¨ uller harmonic map flow from cylinders

    M. Rupflin,Teichm¨ uller harmonic map flow from cylinders. Math. Ann. 368 (2017), no. 3-4, 1227-1276

    work page 2017

  14. [14]

    Rupflin and P

    M. Rupflin and P. M. Topping,Flowing maps to minimal surfaces. Amer. J. Math. 138 (2016), no. 4, 1095-1115

    work page 2016

  15. [15]

    Rupflin, P

    M. Rupflin, P. M. Topping and M. Zhu,Asymptotics of the Teichm¨ uller harmonic map flow. Adv. Math., 244 (2013): 874-893. ASYMPTOTIC ANALYSIS FOR APPROXIMATE HARMONIC MAPS FROM DEGENERATING CYLINDERS 39

    work page 2013

  16. [16]

    Sacks and K

    J. Sacks and K. Uhlenbeck,The existence of minimal immersions of 2-spheres, Ann. Math., 113 (1981), 1-24

    work page 1981

  17. [17]

    Sacks and K

    J. Sacks and K. Uhlenbeck,Minimal immersions of closed Riemann surfaces, Trans. Amer. Math. Soc. 271 (1982), no. 2, 639-652

    work page 1982

  18. [18]

    Schoen and S

    R. Schoen and S. Yau,Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature, Ann. of Math. (2) 110 (1979), no. 1, 127-142

    work page 1979

  19. [19]

    Scheven,Partial regularity for stationary harmonic maps at a free boundary, Math

    C. Scheven,Partial regularity for stationary harmonic maps at a free boundary, Math. Z. 253 (2006), no. 1, 135-157

    work page 2006

  20. [20]

    Struwe,On a free boundary problem for minimal surfaces, Invent

    M. Struwe,On a free boundary problem for minimal surfaces, Invent. Math. 75 (1984), no. 3, 547-560

    work page 1984

  21. [21]

    Struwe,On the evolution of harmonic mappings of Riemannian surfaces, Comment

    M. Struwe,On the evolution of harmonic mappings of Riemannian surfaces, Comment. Math. Helv. 60 (1985), no. 4, 558-581

    work page 1985

  22. [22]

    Struwe,The existence of surfaces of constant mean curvature with free boundaries, Acta Math

    M. Struwe,The existence of surfaces of constant mean curvature with free boundaries, Acta Math. 160, 19-64 (1988)

    work page 1988

  23. [23]

    Zhu,Harmonic maps from degenerating Riemann surfaces, Math

    M. Zhu,Harmonic maps from degenerating Riemann surfaces, Math. Z. 264 (2010), no. 1, 63-85. School ofMathematicalSciences, University ofScience andTechnology ofChina, Hefei, 230026, People’s Republic ofChina Email address:jiayuli@ustc.edu.cn School ofMathematics andStatistics, KeyLaboratory ofNonlinearAnalysis andApplications(Ministry of Education), Hubei...

    work page 2010