pith. sign in

arxiv: 2601.15022 · v4 · submitted 2026-01-21 · 🧮 math.DG

The Initial Value Problem for Harmonic maps of Cohomogeneity One manifolds

Anna Siffert This is my paper

Pith reviewed 2026-05-16 12:32 UTC · model grok-4.3

classification 🧮 math.DG
keywords harmonic mapscohomogeneity one manifoldsequivariant mapsinitial value problemsingular orbitsregular-singular systems
0
0 comments X

The pith

Equivariant harmonic maps exist locally near singular orbits on cohomogeneity one manifolds

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

The paper solves the initial value problem for equivariant harmonic maps from cohomogeneity one manifolds. It proves that local solutions exist in a neighborhood of a singular orbit. This matters to a sympathetic reader because it provides a method to construct harmonic maps in the presence of symmetry by reducing the problem to solvable ODEs, while also developing tools for regular-singular systems.

Core claim

We show the local existence of a harmonic map in the neighborhood of a singular orbit for equivariant harmonic maps of cohomogeneity one manifolds. Furthermore, we present some theory of regular-singular systems of first order.

What carries the argument

The reduced first-order ODE system from the equivariant harmonic map equation, which becomes regular-singular at the singular orbit

Load-bearing premise

The reduced ODE system obtained after imposing equivariance is sufficiently regular at the singular orbit for standard local existence theorems to apply.

What would settle it

A concrete cohomogeneity one manifold and group action where the reduced harmonic map ODE system has no local solution near the singular orbit.

read the original abstract

We set up and solve the initial value problem for equivariant harmonic maps of cohomogeneity one manifolds, i.e. we show the local existence of a harmonic map in the neighborhood of a singular orbit. Furthermore, we present some theory of regular-singular systems of first order.

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 / 1 minor

Summary. The manuscript sets up and solves the initial value problem for equivariant harmonic maps on cohomogeneity one manifolds, establishing local existence of such maps in a neighborhood of a singular orbit by reducing the problem to a first-order system of regular-singular ODEs and developing a general existence theory for such systems.

Significance. If the reduction step produces a genuinely regular-singular system without hidden assumptions on the metric, the result supplies a systematic local existence framework for symmetric harmonic maps. This could facilitate explicit constructions and analysis of harmonic maps on manifolds admitting cohomogeneity one actions, with potential downstream uses in geometric flows and equivariant variational problems.

major comments (1)
  1. [Derivation of the reduced ODE system] The reduction of the equivariant harmonic map equation to a first-order system (the step immediately preceding the application of the regular-singular existence theorem) must be shown to yield coefficients with poles of order at most 1 at the singular orbit r=0. For a general cohomogeneity-one metric dr² + g(r), the orbit-volume factor and curvature terms generically produce 1/r² singularities; the manuscript must exhibit the explicit algebraic cancellation that removes them, or state the precise conditions on the initial metric data that guarantee regularity.
minor comments (1)
  1. The abstract is terse; it should briefly indicate the standing assumptions on the group action, the regularity class of the maps, and the precise notion of 'neighborhood of a singular orbit'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment on the derivation of the reduced system. We address the point below and will revise the manuscript accordingly to improve clarity.

read point-by-point responses

  1. Referee: [Derivation of the reduced ODE system] The reduction of the equivariant harmonic map equation to a first-order system (the step immediately preceding the application of the regular-singular existence theorem) must be shown to yield coefficients with poles of order at most 1 at the singular orbit r=0. For a general cohomogeneity-one metric dr² + g(r), the orbit-volume factor and curvature terms generically produce 1/r² singularities; the manuscript must exhibit the explicit algebraic cancellation that removes them, or state the precise conditions on the initial metric data that guarantee regularity.

    Authors: We agree that an explicit verification of the pole orders is necessary for a fully rigorous presentation. In the revised manuscript we will insert a dedicated subsection immediately after the reduction step that computes the coefficients of the first-order system in detail. This computation will display the precise algebraic cancellation of all 1/r² terms arising from the orbit-volume factor (which behaves like r^{k} near r=0 for the appropriate k determined by the isotropy representation) and from the curvature terms of the cohomogeneity-one metric. The cancellation holds whenever the metric g(r) is smooth and even at the singular orbit, which is the standard regularity assumption we already impose; we will state this condition explicitly. With these additions the reduced system is manifestly regular-singular with poles of order at most one, as required for the subsequent existence theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the local-existence derivation

full rationale

The paper reduces the equivariant harmonic-map equation to a first-order system, verifies that the system is regular-singular at the singular orbit using the given cohomogeneity-one metric, develops a general existence theory for regular-singular systems inside the manuscript, and applies that theory to obtain local existence. No step equates a claimed result to its own inputs by definition, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation whose content is itself unverified; the proof chain remains independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the result rests on standard assumptions of differential geometry and ODE theory.

pith-pipeline@v0.9.0 · 5321 in / 996 out tokens · 50274 ms · 2026-05-16T12:32:52.705376+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.

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

28 extracted references · 28 canonical work pages

  1. [1]

    A. V. Alekseevski˘ i and D. V. Alekseevski˘ i.G-manifolds with one-dimensional orbit space. InLie groups, their discrete subgroups, and invariant theory, volume 8 ofAdv. Soviet Math., pages 1–31. Amer. Math. Soc., Providence, RI, 1992

    work page 1992

  2. [2]

    Alexandrino and Renato G

    Marcos M. Alexandrino and Renato G. Bettiol.Lie groups and geometric aspects of isometric actions. Springer, Cham, 2015

    work page 2015

  3. [3]

    Wood.Harmonic morphisms between Riemannian manifolds, volume 29 ofLondon Mathematical Society Monographs

    Paul Baird and John C. Wood.Harmonic morphisms between Riemannian manifolds, volume 29 ofLondon Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, Oxford, 2003

    work page 2003

  4. [4]

    Construction ofr-harmonic submanifolds, 2024

    Jos´ e Miguel Balado-Alves and Anna Siffert. Construction ofr-harmonic submanifolds, 2024

    work page 2024

  5. [5]

    Harmonic maps between spheres.Proc

    Piotr Bizo´ n and Tadeusz Chmaj. Harmonic maps between spheres.Proc. Roy. Soc. London Ser. A, 453(1957):403–415, 1997

    work page 1957

  6. [6]

    Infinite families of harmonic self-maps of ellipsoids in all dimensions

    Volker Branding and Anna Siffert. Infinite families of harmonic self-maps of ellipsoids in all dimensions. Nonlinear Anal., 261:Paper No. 113874, 11, 2025

    work page 2025

  7. [7]

    Stable proper biharmonic maps in euclidean spheres, 2025

    Volker Branding and Anna Siffert. Stable proper biharmonic maps in euclidean spheres, 2025

    work page 2025

  8. [8]

    Harmonic Hopf constructions between spheres.Internat

    Wei Yue Ding. Harmonic Hopf constructions between spheres.Internat. J. Math., 5(6):849–860, 1994

    work page 1994

  9. [9]

    Eschenburg and McKenzie Y

    J.-H. Eschenburg and McKenzie Y. Wang. The initial value problem for cohomogeneity one Einstein metrics. J. Geom. Anal., 10(1):109–137, 2000

    work page 2000

  10. [10]

    Nonrotational minimal spheres and minimizing cones.Comment

    Dirk Ferus and Hermann Karcher. Nonrotational minimal spheres and minimizing cones.Comment. Math. Helv., 60(2):247–269, 1985

    work page 1985

  11. [11]

    Infinitely many new families of complete cohomo- geneity one G 2-manifolds: G 2 analogues of the Taub-NUT and Eguchi-Hanson spaces.J

    Lorenzo Foscolo, Mark Haskins, and Johannes Nordstr¨ om. Infinitely many new families of complete cohomo- geneity one G 2-manifolds: G 2 analogues of the Taub-NUT and Eguchi-Hanson spaces.J. Eur. Math. Soc. (JEMS), 23(7):2153–2220, 2021

    work page 2021

  12. [12]

    On the harmonic Hopf construction.Proc

    Andreas Gastel. On the harmonic Hopf construction.Proc. Amer. Math. Soc., 132(2):607–615, 2004

    work page 2004

  13. [13]

    Cohomogeneity one manifolds with positive Ricci curvature.Invent

    Karsten Grove and Wolfgang Ziller. Cohomogeneity one manifolds with positive Ricci curvature.Invent. Math., 149(3):619–646, 2002

    work page 2002

  14. [14]

    Fr´ ed´ eric H´ elein and John C. Wood. Harmonic maps. InHandbook of global analysis, pages 417–491, 1213. Elsevier Sci. B. V., Amsterdam, 2008

    work page 2008

  15. [15]

    Springer, New York, 2010

    Gerhard Kristensson.Second order differential equations. Springer, New York, 2010. Special functions and their classification

    work page 2010

  16. [16]

    Claude Mitschi and Michael F. Singer. Monodromy groups of parameterized linear differential equations with regular singularities.Bull. Lond. Math. Soc., 44(5):913–930, 2012

    work page 2012

  17. [17]

    Montaldo, C

    S. Montaldo, C. Oniciuc, and A. Ratto. Rotationally symmetric biharmonic maps between models.J. Math. Anal. Appl., 431(1):494–508, 2015

    work page 2015

  18. [18]

    On a compact Lie group acting on a manifold

    Paul S. Mostert. Errata, “On a compact Lie group acting on a manifold”.Ann. of Math. (2), 66:589, 1957

    work page 1957

  19. [19]

    Paul S. Mostert. On a compact Lie group acting on a manifold.Ann. of Math. (2), 65:447–455, 1957

    work page 1957

  20. [20]

    Cohomogeneity one manifolds and self-maps of nontrivial degree.Transform

    Thomas P¨ uttmann. Cohomogeneity one manifolds and self-maps of nontrivial degree.Transform. Groups, 14(1):225–247, 2009

    work page 2009

  21. [21]

    Harmonic self-maps of cohomogeneity one manifolds.Math

    Thomas P¨ uttmann and Anna Siffert. Harmonic self-maps of cohomogeneity one manifolds.Math. Ann., 375(1-2):247–282, 2019

    work page 2019

  22. [22]

    Infinite families of harmonic self-maps of spheres.J

    Anna Siffert. Infinite families of harmonic self-maps of spheres.J. Differential Equations, 260(3):2898–2925, 2016

    work page 2016

  23. [23]

    Harmonic self-maps of SU(3).J

    Anna Siffert. Harmonic self-maps of SU(3).J. Geom. Anal., 28(1):587–605, 2018

    work page 2018

  24. [24]

    American Mathematical Society, Providence, RI, 2012

    Gerald Teschl.Ordinary differential equations and dynamical systems, volume 140 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012

    work page 2012

  25. [25]

    Equivariant harmonic maps between compact Riemannian manifolds of cohomogeneity 1

    Hajime Urakawa. Equivariant harmonic maps between compact Riemannian manifolds of cohomogeneity 1. Michigan Math. J., 40(1):27–51, 1993

    work page 1993

  26. [26]

    Venkataramana

    Tyakal N. Venkataramana. Differential equations and monodromy, 2019

    work page 2019

  27. [27]

    Verdiani and W

    L. Verdiani and W. Ziller. Smoothness conditions in cohomogeneity one manifolds.Transform. Groups, 27(1):311–342, 2022

    work page 2022

  28. [28]

    Initial value problems on cohomogeneity one manifolds, i, 2024

    Luigi Verdiani and Wolfgang Ziller. Initial value problems on cohomogeneity one manifolds, i, 2024. Universit¨at M ¨unster, Mathematisches Institut, Einsteinstr. 62, 48149 M ¨unster, Germany Email address:asiffert@uni-muenster.de

    work page 2024