Existence of harmonic maps and eigenvalue optimization in higher dimensions
Mikhail Karpukhin, Daniel Stern

TL;DR
This paper proves the existence of nonconstant harmonic maps from higher-dimensional manifolds to certain positively curved targets, linking harmonic map existence to eigenvalue optimization in higher dimensions.
Contribution
It establishes the first general existence results for harmonic maps from higher-dimensional manifolds to a broad class of positively curved targets, and connects these maps to eigenvalue optimization problems.
Findings
Existence of harmonic maps from manifolds of dimension > 2 to non-aspherical targets.
Construction of harmonic maps to spheres with bounded index and controlled singular set.
Harmonic maps stabilize and relate to eigenvalue optimization for dimensions 3 to 5.
Abstract
We prove the existence of nonconstant harmonic maps of optimal regularity from an arbitrary closed manifold of dimension to any closed, non-aspherical manifold containing no stable minimal two-spheres. In particular, this gives the first general existence result for harmonic maps from higher-dimensional manifolds to a large class of positively curved targets. In the special case of the round spheres , , we obtain a distinguished family of nonconstant harmonic maps of index at most , with singular set of codimension at least for sufficiently large. Furthermore, if , we show that these smooth harmonic maps stabilize as becomes large, and correspond to the solutions of an eigenvalue optimization problem on , generalizing the conformal maximization of the first Laplace eigenvalue on surfaces.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Mathematical Modeling in Engineering · Topology Optimization in Engineering · Advanced Numerical Methods in Computational Mathematics
