pith. sign in

arxiv: 2606.10897 · v1 · pith:A752KOR5new · submitted 2026-06-09 · 🧮 math.AP · math.DG

A characterisation of infty-harmonic maps in terms of 1-currents

Roger Moser This is my paper

Pith reviewed 2026-06-27 12:27 UTC · model grok-4.3

classification 🧮 math.AP math.DG
keywords L^∞ energy∞-harmonic maps1-currentssubdifferential criticalityRiemannian manifoldsmass functionalhomotopy classes
0
0 comments X

The pith

A map between Riemannian manifolds is critical for the L^∞ derivative norm precisely when a vector-valued 1-current on the domain satisfies a geometric condition and is critical for a mass functional.

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

The paper examines maps between Riemannian manifolds that are critical for a functional measuring the supremum norm of the derivative. Because the functional is not differentiable, criticality is defined using the subdifferential, a notion that covers minimizers in a fixed homotopy class. The central result equates this criticality with the existence of a vector-valued 1-current on the domain manifold that records essential geometric information about the map. The same current turns out to be critical for its own generalized mass functional. A reader cares because the result converts an analytic variational condition into an equivalent geometric statement formulated with currents.

Core claim

Critical points of the L^∞ energy functional for maps between Riemannian manifolds, defined via the subdifferential, are equivalent to the existence of a vector-valued 1-current on the domain manifold that encapsulates key properties of the critical point. This 1-current is itself a critical point of a generalised mass functional.

What carries the argument

A vector-valued 1-current on the domain manifold that encodes the properties of the critical map.

If this is right

  • Subdifferential criticality of the map is equivalent to a geometric condition phrased with the 1-current.
  • The 1-current itself satisfies a criticality condition for a generalized mass functional.
  • The equivalence applies to minimizers in any given homotopy class.
  • The characterization holds for maps between arbitrary Riemannian manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Methods from geometric measure theory developed for currents could be transferred to questions about these maps.
  • The 1-current description might simplify proofs of existence or partial regularity for critical maps.
  • The link between the map and the current could be used to compare the L^∞ problem with other variational problems that involve 1-currents.

Load-bearing premise

The subdifferential supplies a meaningful definition of critical points for the non-differentiable L^∞ functional that includes minimizers in homotopy classes.

What would settle it

A concrete map between two Riemannian manifolds that is subdifferential-critical yet admits no vector-valued 1-current satisfying the stated geometric condition, or vice versa.

read the original abstract

We consider maps between two Riemannian manifolds and study a functional given in terms of the $L^\infty$-norm of the derivative. This functional is not differentiable, but we can define critical points with the help of a subdifferential. The resulting notion includes, for example, minimisers in a given homotopy class. We derive a geometric condition equivalent to criticality in this sense. The condition is formulated in terms of a vector-valued $1$-current on the domain manifold, which encapsulates some of the key properties of the critical point. Moreover, this $1$-current is itself a critical point of a generalised mass functional.

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

0 major / 3 minor

Summary. The manuscript considers maps between Riemannian manifolds and the non-differentiable L^∞ functional on the derivative. Critical points are defined using the subdifferential, which encompasses minimizers in a given homotopy class. The authors derive a geometric condition equivalent to this criticality, expressed via a vector-valued 1-current on the domain manifold that encapsulates key properties of the critical point and is itself critical for a generalised mass functional.

Significance. If the equivalence holds, the work supplies a new geometric characterisation of ∞-harmonic maps via 1-currents, linking nonsmooth calculus of variations with geometric measure theory. The explicit inclusion of homotopy-class minimisers within the subdifferential notion strengthens the result's scope.

minor comments (3)
  1. The abstract states the main equivalence without any displayed equations or brief indication of the subdifferential construction; adding one or two key formulas would improve readability while remaining within abstract length limits.
  2. Notation for the vector-valued 1-current and the generalised mass functional should be introduced with a short sentence in the introduction before the first use in §2.
  3. Ensure that the statement of the main theorem (presumably Theorem X) explicitly lists the precise hypotheses on the manifolds and the maps under consideration.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments appear in the report, so there are no individual points requiring a point-by-point reply. We will make any appropriate minor editorial improvements in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract presents a direct derivation of an equivalence between subdifferential criticality of the L^∞ functional and a geometric condition phrased via a vector-valued 1-current that is mass-critical for a generalised functional. No equations, definitions, or citations in the provided material reduce the claimed equivalence to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The subdifferential notion is introduced as external (standard in nonsmooth calculus), and the construction is consistent with independent techniques from geometric measure theory. The central claim therefore retains independent content relative to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms or invented entities; the subdifferential definition and the notion of 1-currents are treated as background.

pith-pipeline@v0.9.1-grok · 5622 in / 1109 out tokens · 19365 ms · 2026-06-27T12:27:58.849600+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

51 extracted references · 5 canonical work pages · 1 internal anchor

  1. [1]

    Aronsson,Minimization problems for the functional supx F(x, f(x), f ′(x)), Ark

    G. Aronsson,Minimization problems for the functional supx F(x, f(x), f ′(x)), Ark. Mat.6(1965), 33–53

    1965

  2. [2]

    ,Minimization problems for the functionalsup x F(x, f(x), f ′(x)). II, Ark. Mat.6(1966), 409–431

    1966

  3. [3]

    ,Extension of functions satisfying Lipschitz conditions, Ark. Mat. 6(1967), 551–561

    1967

  4. [4]

    Mat.7(1968), 395–425 (1968)

    ,On the partial differential equationu x2uxx+2uxuyuxy+uy2uyy = 0, Ark. Mat.7(1968), 395–425 (1968)

    1968

  5. [5]

    ,On certain singular solutions of the partial differential equation u2 xuxx + 2uxuyuxy +u 2 yuyy = 0, Manuscripta Math.47(1984), 133–151

    1984

  6. [6]

    Bhattacharya, E

    T. Bhattacharya, E. DiBenedetto, and J. Manfredi,Limits asp→ ∞of ∆pup =fand related extremal problems, 1989, Some topics in nonlinear PDEs (Turin, 1989), pp. 15–68 (1991)

    1989

  7. [7]

    M. G. Crandall, L. C. Evans, and R. F. Gariepy,Optimal Lipschitz exten- sions and the infinity Laplacian, Calc. Var. Partial Differential Equations 13(2001), 123–139

    2001

  8. [8]

    Daskalopoulos and K

    G. Daskalopoulos and K. Uhlenbeck,Analytic properties of stretch maps and geodesic laminations, arXiv:2205.08250 [math.DG], 2022

    work page arXiv 2022

  9. [9]

    ,Best lipschitz maps and earthquakes, arXiv:2410.08296 [math.DG], 2024

    work page arXiv 2024

  10. [10]

    Differential Geom.127(2024), 969–1018

    ,Transverse measures and best Lipschitz and least gradient maps, J. Differential Geom.127(2024), 969–1018

    2024

  11. [11]

    Duzaar and G

    F. Duzaar and G. Mingione,Thep-harmonic approximation and the reg- ularity ofp-harmonic maps, Calc. Var. Partial Differential Equations20 (2004), 235–256

    2004

  12. [12]

    Eells and L

    J. Eells and L. Lemaire,A report on harmonic maps, Bull. London Math. Soc.10(1978), 1–68. 36

    1978

  13. [13]

    London Math

    ,Another report on harmonic maps, Bull. London Math. Soc.20 (1988), 385–524

    1988

  14. [14]

    L. C. Evans,Three singular variational problems, in Viscosity Solutions of Differential Equations and Related Topics, vol. 1323, Research Institute for the Matematical Sciences, RIMS Kokyuroku, 2003

    2003

  15. [15]

    L. C. Evans and O. Savin,C 1,α regularity for infinity harmonic functions in two dimensions, Calc. Var. Partial Differential Equations32(2008), 325–347

    2008

  16. [16]

    L. C. Evans and C. K. Smart,Everywhere differentiability of infinity har- monic functions, Calc. Var. Partial Differential Equations42(2011), 289– 299

    2011

  17. [17]

    L. C. Evans and Y. Yu,Various properties of solutions of the infinity- Laplacian equation, Comm. Partial Differential Equations30(2005), 1401– 1428

    2005

  18. [18]

    Gallagher and R

    E. Gallagher and R. Moser,The∞-elastica problem on a Riemannian man- ifold, J. Geom. Anal.33(2023), Paper No. 226

    2023

  19. [19]

    ,Weighted∞-Willmore spheres, NoDEA Nonlinear Differential Equations Appl.31(2024), Paper No. 55

    2024

  20. [20]

    Große-Brauckmann,Interior and boundary monotonicity formulas for stationary harmonic maps, Manuscripta Math.77(1992), 89–95

    K. Große-Brauckmann,Interior and boundary monotonicity formulas for stationary harmonic maps, Manuscripta Math.77(1992), 89–95

    1992

  21. [21]

    Hardt and F.-H

    R. Hardt and F.-H. Lin,Mappings minimizing theL p norm of the gradient, Comm. Pure Appl. Math.40(1987), 555–588

    1987

  22. [22]

    H´ elein,R´ egularit´ e des applications faiblement harmoniques entre une surface et une vari´ et´ e riemannienne, C

    F. H´ elein,R´ egularit´ e des applications faiblement harmoniques entre une surface et une vari´ et´ e riemannienne, C. R. Acad. Sci. Paris S´ er. I Math. 312(1991), 591–596

    1991

  23. [23]

    R. A. Horn and C. R. Johnson,Matrix analysis, Cambridge University Press, Cambridge, 1985

    1985

  24. [24]

    J. E. Hutchinson,Second fundamental form for varifolds and the existence of surfaces minimising curvature, Indiana Univ. Math. J.35(1986), 45–71

    1986

  25. [25]

    Ignat and B

    R. Ignat and B. Merlet,Lower bound for the energy of Bloch walls in mi- cromagnetics, Arch. Ration. Mech. Anal.199(2011), 369–406

    2011

  26. [26]

    Ignat and R

    R. Ignat and R. Moser,Asymptotic minimality of one-dimensional tran- sition profiles in Aviles-Giga type models: an approach via1-currents, arXiv:2508.13753 [math.AP], 2025

    work page arXiv 2025

  27. [27]

    Jensen,Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient, Arch

    R. Jensen,Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient, Arch. Rational Mech. Anal.123(1993), 51–74

    1993

  28. [28]

    Katzourakis,L ∞ variational problems for maps and the Aronsson PDE system, J

    N. Katzourakis,L ∞ variational problems for maps and the Aronsson PDE system, J. Differential Equations253(2012), 2123–2139

    2012

  29. [29]

    ,Explicit2D∞-harmonic maps whose interfaces have junctions and corners, C. R. Math. Acad. Sci. Paris351(2013), 677–680. 37

    2013

  30. [30]

    ,∞-minimal submanifolds, Proc. Amer. Math. Soc.142(2014), 2797–2811

    2014

  31. [31]

    Partial Differential Equations39(2014), 2091–2124

    ,On the structure of∞-harmonic maps, Comm. Partial Differential Equations39(2014), 2091–2124

    2014

  32. [32]

    Pure Appl

    ,Nonuniqueness in vector-valued calculus of variations inL ∞ and some linear elliptic systems, Commun. Pure Appl. Anal.14(2015), 313– 327

    2015

  33. [33]

    ,A characterisation of∞-harmonic andp-harmonic maps via affine variations inL ∞, Electron. J. Differential Equations (2017), Paper No. 29

    2017

  34. [34]

    Katzourakis and R

    N. Katzourakis and R. Moser,Variational problems inL ∞ involving semi- linear second order differential operators, ESAIM Control Optim. Calc. Var. 29(2023), Paper No. 76

    2023

  35. [35]

    ,Minimisers of supremal functionals and mass-minimising 1- currents, Calc. Var. Partial Differential Equations64(2025), Paper No. 26

    2025

  36. [36]

    A. Ya. Kruger,On Fr´ echet subdifferentials, J. Math. Sci. (N.Y.)116(2003), 3325–3358, Optimization and related topics, 3

    2003

  37. [37]

    Moser,Geroch monotonicity and the construction of weak solutions of the inverse mean curvature flow, Asian J

    R. Moser,Geroch monotonicity and the construction of weak solutions of the inverse mean curvature flow, Asian J. Math.19(2015), 357–376

    2015

  38. [38]

    ,Structure and classification results for the∞-elastica problem, Amer. J. Math.144(2022), 1299–1329

    2022

  39. [39]

    Nash,The imbedding problem for Riemannian manifolds, Ann

    J. Nash,The imbedding problem for Riemannian manifolds, Ann. of Math. (2)63(1956), 20–63

    1956

  40. [40]

    Y.-L. Ou, T. Troutman, and F. Wilhelm,Infinity-harmonic maps and mor- phisms, Differential Geom. Appl.30(2012), 164–178

    2012

  41. [41]

    Price,A monotonicity formula for Yang-Mills fields, Manuscripta Math

    P. Price,A monotonicity formula for Yang-Mills fields, Manuscripta Math. 43(1983), 131–166

    1983

  42. [42]

    Rodr´ ıguez-Arenas and J

    A. Rodr´ ıguez-Arenas and J. Wengenroth,Smirnov-decompositions of vector fields, arXiv:2405.13406 [math.FA], 2024

    work page arXiv 2024

  43. [43]

    Savin,C 1 regularity for infinity harmonic functions in two dimensions, Arch

    O. Savin,C 1 regularity for infinity harmonic functions in two dimensions, Arch. Ration. Mech. Anal.176(2005), 351–361

    2005

  44. [44]

    Sheffield and C

    S. Sheffield and C. K. Smart,Vector-valued optimal Lipschitz extensions, Comm. Pure Appl. Math.65(2012), 128–154

    2012

  45. [45]

    Simon,Lectures on geometric measure theory, Australian National Uni- versity Centre for Mathematical Analysis, Canberra, 1983

    L. Simon,Lectures on geometric measure theory, Australian National Uni- versity Centre for Mathematical Analysis, Canberra, 1983

    1983

  46. [46]

    ETH Z¨ urich, Birkh¨ auser, Basel, 1996

    ,Theorems on regularity and singularity of energy minimizing maps, Lectures in Math. ETH Z¨ urich, Birkh¨ auser, Basel, 1996. 38

    1996

  47. [47]

    S. K. Smirnov,Decomposition of solenoidal vector charges into elementary solenoids, and the structure of normal one-dimensional flows, Algebra i Analiz5(1993), 206–238

    1993

  48. [48]

    W. P. Thurston,Minimal stretch maps between hyperbolic surfaces, arXiv:math/9801039 [math.GT], 1998

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  49. [49]

    T. L. Troutman,Infinity-harmonic functions, maps, and morphisms of Riemannian manifolds, University of California, Riverside, 2008, Thesis (Ph.D.)

    2008

  50. [50]

    Wang and Y.-L

    Z.-P. Wang and Y.-L. Ou,Classifications of some special infinity-harmonic maps, Balkan J. Geom. Appl.14(2009), 120–131

    2009

  51. [51]

    S. W. Wei,p-harmonic geometry and related topics, Bull. Transilv. Univ. Bra¸ sov Ser. III1(50)(2008), 415–453. 39

    2008