Eigenvalue optimization in higher dimensions and $p$-harmonic maps

Denis Vinokurov

REVIEW 2 major objections 5 minor 26 references

Eigenvalue optimization in higher dimensions and $p$-harmonic maps

T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For closed manifolds of dimension at least three, the conformal Laplace eigenvalue supremum is attained, and the maximizing metric is induced by an m-harmonic map into a sphere.

desk verdict Serious candidate solution to the conformal maximizer problem in m≥3; central regularity theorem has an unproved premise that needs closing. read the letter →

arxiv 2601.17896 v4 pith:OBT6FE3C submitted 2026-01-25 math.SP math.APmath.DGmath.FA

Denis Vinokurov This is my paper · ORCID

classification math.SPmath.APmath.DGmath.FA MSC 58J5058E2035P1546M05

keywords Laplaceeigenvaluesconformaleigenvalueoptimizationp-harmonicmapsmaximizingmetricstopologicaltensorproductsregularitytheoryspectralstabilityhigherdimensions

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the conformal Laplace eigenvalue maximization problem, Λ_k([g]) = sup_{g̃∈[g]} λ_k(g̃) Vol(M)^{2/m}, has a solution on every closed manifold of dimension m≥3, a case previously open except in dimension two. The solution is realized by an m-harmonic map into a sphere: up to rescaling, the maximizing metric is |du|^m g, and the eigenvalue equals the p-energy (∫ |du|^m dv)^{2/m}. More generally, for p∈[2,m], all absolutely continuous maximizers of the normalized functional λ_{k,p} are induced by spectrally stable p-harmonic maps u:M→S^∞. The paper further establishes regularity: for p

What carries the argument

The load-bearing object is the projective tensor product H^{1,p}(M) ⊗̂_π H^{1,p}(M), viewed as a space of nuclear operators on the dual of H^{1,p}(M). Lemma 2.27 is the core mechanism: it shows that weak-* convergence of the tensors u^*_n u_n in this tensor product is equivalent, up to isometries of the target, to strong convergence of the ℓ²-valued maps in H^{1,p}(M,ℓ²). This substitutes for the loss of compactness in the embedding H^{1,p}(M,ℓ²)→L^p(M,ℓ²) and lets the author pass to limits of maximizing sequences even when the eigenvalue multiplicities are not bounded a priori. Around this, the paper uses a variational principle that yields approximating critical points and a nonsmooth subd

What would settle it

A concrete check: search for a nonconstant spectrally stable p-harmonic map u(x)=φ(x/|x|): R^n→S^∞ with p≤n≤d−1, where d=3+⌊p+2√(p−1)⌋. If such a map exists, the dimension-reduction step of Theorem 5.16 fails; equivalently, a negative eigenvalue of the linearized p-harmonic energy about a candidate radial map would provide the required counterexample.

Watch

Extended reading notes

Core claim

The paper establishes that on a closed connected Riemannian manifold of dimension m≥3, the conformal eigenvalue supremum Λ_k([g]) is always achieved, unless a certain inequality is an equality, in which case it is achieved on a disjoint union of the original manifold (with a conformally rescaled metric) and one or more round spheres, with each factor carrying an m-harmonic map. In the strict-inequality case, the supremum is attained by a single m-harmonic map u∈C^{1,γ}(M,S^n) satisfying λ_k(|du|^2_g g)=1 and Λ_k([g])=(∫_M |du|^m_g dv_g)^{2/m}. More broadly, for every p∈[2,m], Theorem 1.1 says that every absolutely continuous maximizing pair (α,μ) for the normalized functional λ_{k,p} must be

Load-bearing premise

The dimension-reduction step in the regularity theorem requires that for p≤n≤d−1 there are no nonconstant spectrally stable p-harmonic maps of the radial form φ(x/|x|): R^n→S^∞; the paper invokes this nonexistence but gives no proof, and if it fails the claimed singular-set dimension bound and C^{1,γ} regularity collapse.

Editorial extensions

If this is right

Existence of conformal maximizing metrics in dimensions m≥3, previously known only for surfaces.
All absolutely continuous maximizing densities for λ_{k,p} are produced by p-harmonic maps into S^∞.
For p<m the limiting measure has no atoms, so no bubbling occurs; the maximizer is a p-harmonic map.
For p close enough to m, the maximizer is C^{1,γ} and takes values in a finite-dimensional sphere S^n.
The tensor-product compactness toolkit (Lemma 2.27) may serve as a general principle for eigenvalue optimization with unbounded multiplicities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The dimension-reduction step in the regularity theorem relies on the nonexistence of nonconstant spectrally stable p-harmonic maps of the radial form φ(x/|x|): R^n→S^∞ for p≤n≤d−1; the paper does not prove this nonexistence, so the singular-set dimension bound and C^{1,γ} regularity are conditional on that assumption.
The same tensor-product compactness idea may extend to other spectral optimization problems (e.g., Steklov or higher-order eigenvalues) in higher dimensions, where multiplicity bounds are unavailable.
A direct numerical or analytic search for spectrally stable radial p-harmonic maps into S^∞ would furnish a concrete test of the dimension-reduction step; finding one would invalidate Theorem 5.16's conclusion for the relevant p and n.
Because the proof only needs the target S^∞, the framework may also apply to functionals whose maximizing maps naturally take values in infinite-dimensional spheres, not just finite-dimensional ones.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Let me cut to the chase: this is a real candidate solution to a long-open problem. It claims existence of conformal maximizing metrics for λ_k in dimensions m≥3, previously known only in dimension two, and it develops a genuinely new technique — the tensor-product convergence toolkit (Lemma 2.27) — to handle the uncontrolled eigenvalue multiplicities that killed earlier approaches. The main theorems (1.1, 1.4, 1.7) are new and coherent with the existing two-dimensional program. The paper also does the honest work of stating the exact stability notion and connecting maximizers to p-harmonic maps. If the proofs can be fully verified, this is a major within-field result.

The soft spots are real, though. The load-bearing one is in Theorem 5.16, the regularity theorem. To bound the Hausdorff dimension of the singular set, the proof invokes the condition that there are no nonconstant stable harmonic maps of the form φ(x/|x|): R^n → S∞ for p ≤ n ≤ d−1. This is stated without proof or citation. It is not a minor detail: Theorem 1.4's C^{1,γ} conclusion (and hence the whole existence of a smooth finite-dimensional sphere map) depends on the smooth case of Theorem 5.16, and that case is built on the same unproved condition. The stress-test note got this right. Either the condition is a known theorem that should be cited, or it should be added as an explicit hypothesis. As written, the paper is not self-contained at exactly the point where its main regularity claim rests.

The other caveats are less severe but still make verification slow: several bubbling arguments are deferred to the companion preprint [Vin2], one compactness estimate is credited to a private communication [KS1], and the regularity section is written as a generalization of [XY] without reproducing the dimension-reduction argument. These are normal in this area, but they add up: a referee will need to read [Vin2] and half of [XY] and perhaps [SU1] to certify the proof.

Bottom line: the central idea is serious and likely right, but the proof as written has a clear gap at the regularity step. It deserves a serious referee, not a desk rejection. I would send it out with instructions to focus on Theorem 5.16 and the dependence on [Vin2]. If the author can close the unproved nonexistence or state it honestly as an assumption, the paper would be a strong publication in a top journal.

Referee Report

2 major / 5 minor

Summary. The paper studies conformal eigenvalue optimization: the conformal supremum Λ_k([g]) and the p-normalized functionals Λ_{k,p}(g), for 2≤p≤m on closed manifolds of dimension m≥3. The main existence theorem (Theorem 1.4) asserts that, provided a stated inequality is strict, the conformal supremum is attained by a metric |du|^2_g g induced by an m-harmonic map u∈C^{1,γ}(M,S^n), giving the first higher-dimensional conformal maximization result of this kind. Theorem 1.1 characterizes all absolutely continuous maximizers of λ_{k,p} as spectrally stable p-harmonic maps into S^∞, with partial regularity away from a singular set of Hausdorff dimension at most m−d, where d=3+⌊p+2√(p−1)⌋. Theorem 1.7 gives existence for p<m without bubbling. The proof strategy uses Ekeland's variational principle, a new projective tensor-product compactness framework (Lemma 2.27), a bubbling analysis, and a developed regularity theory for S^∞-valued p-harmonic maps.

Significance. If correct, the paper resolves a long-standing problem by providing existence of conformal maximizers in dimensions m≥3, previously known only in two dimensions. The tensor-product convergence toolkit (Lemma 2.27) is a novel and potentially reusable mechanism for handling uncontrolled eigenvalue multiplicities. The regularity theory for Hilbert-sphere-valued p-harmonic maps is also of independent interest. The paper is not circular: it extends the author's earlier surface methods and cites prior work for the main variational machinery. However, the central claims depend critically on Theorem 5.16, and the proof of that theorem contains an unproved and uncited nonexistence assertion. Until that gap is repaired, the regularity conclusions — including the C^{1,γ} statement in Theorem 1.4 — remain conditional.

major comments (2)

[§5, proof of Theorem 5.16] The dimension-reduction step contains the assertion: 'if p≤n≤d−1 and there are no nonconstant stable harmonic maps of the form φ(x/|x|): R^n→S^∞...'. This nonexistence is load-bearing: it is the only input that yields the Hausdorff dimension bound dim_H Σ ≤ m−d, and the 'smooth' case m≤d−1 used in Theorem 1.4 (where p=m always satisfies this inequality) depends on the same step. No proof or reference is supplied. If a nonconstant stable p-harmonic map of this radial form existed for some n in the critical range, the blow-up limit v could be such a map and the dimension bound would fail. Please provide a proof or a precise citation, or explain how the argument can be modified. Also, the text says 'stable harmonic maps' where the p-dependence is essential; this should be 'stable p-harmonic maps'.
[§4.5, proof of Theorem 1.4] The induction proving Λ_{k,m}(S^m,[g_{S^m}]) = Λ_k(S^m,[g_{S^m}]) is only sketched. The text says: 'if this is true for all k_i<k, and the last inequality in (4.17) is strict, then the upper bounds (4.16) ... imply...' but it does not specify what happens when equality holds in (4.17). For M=S^m the displayed inequality in Theorem 1.4 is always an equality, so the non-strict case is not a boundary case; it is exactly what the induction must handle. Since this equality is used to replace the bubble terms Λ_{k_i,m}(S^m) by Λ_{k_i}(S^m) in the upper bound for general M, the argument needs to be written out in full, including the equality case.

minor comments (5)

[Eq. (5.3)] The symbol '⣨' appears to be a rendering artifact for an inner product; please replace it with proper angle-bracket notation.
[Lemma 2.22 and References] The name 'Pe/suppress lczyński' is garbled; it should be Pełczyński.
[Definition 4.8] The notation T^*_{i,ε} φ_{i,ε} is used without being defined; presumably this denotes pullback by T_{i,ε}. Please clarify.
[Remark 1.5] The remark states that 'the theorem asserts that Λ_k([g]) is always achieved on a disjoint union', but Theorem 1.4 proves this only under the strict inequality hypothesis. Please rephrase to avoid overstating the proven result.
[Lemma 5.15] The proof invokes Lemmas 4.6 and 4.7 with D=∅ but does not explicitly verify all their hypotheses (e.g., condition (iii) with respect to the chosen measures). A short sentence clarifying this would improve readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: the central existence/regularity chain is independent; the flagged regularity gap is an unproved external condition, not circularity.

full rationale

The claimed derivation chain is not circular. The main theorems connect the eigenvalue functionals Λ_k([g]) and Λ_{k,p}(g) to p-harmonic maps via the Clarke subdifferential computations (Lemma 2.36) and the limiting arguments (Lemmas 4.6, 4.7); the p-harmonic map equation is derived from Euler–Lagrange conditions, not asserted as the definition of the maximizers. Existence and regularity are built on Ekeland's principle, tensor-product compactness, and bubbling estimates, with the upper and lower bounds in Theorem 1.4 coming from separate inputs ([CE] gluing, Proposition 4.10, Claim 4.11). The references to [Vin1], [Vin2], and [KS1] are prior or external results; although some are by the author or his collaborators, they are not circular references to the present theorem, and the key technical inputs (e.g., Proposition 4.9's bubble tree) are independent published results. The only serious weakness is a genuine omitted proof: Theorem 5.16's dimension reduction invokes the condition 'if p≤n≤d−1 and there are no nonconstant stable harmonic maps of the form φ(x/|x|):R^n→S∞' without proof or citation, and this condition is load-bearing for the C^{1,γ} regularity conclusion in Theorem 1.4. That is a gap or an unverified external fact, not a circular reduction of the conclusion to the inputs; it should be weighed as a correctness risk, not as circularity. No step was found where a quantity is defined in terms of the predicted quantity, where a fitted parameter is renamed a prediction, or where a self-citation is the sole justification of the central claim. Score 2 reflects the presence of numerous self-citations and the unresolved regularity assumption, while the central claim retains independent content.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters; the paper is a pure mathematical proof. It relies on standard functional analysis, on the regularity theory of p-harmonic maps extended to Hilbert targets, and on a specific unproved nonexistence claim in the dimension-reduction step of Theorem 5.16.

assumptions (4)

domain assumption The Hilbert sphere S^∞ has the curvature properties needed for the partial regularity theory of p-harmonic maps, so that finite-dimensional results extend to infinite-dimensional targets.
Section 5 extends regularity results to S^∞ using the idea that bounds depend on target curvature rather than dimension (Remark 5.1). This is plausible but not fully proved for the noncompact, infinite-dimensional setting.
ad hoc to paper There are no nonconstant stable p-harmonic maps of the form φ(x/|x|): R^n → S^∞ for p≤n≤d−1.
Invoked in the proof of Theorem 5.16 for dimension reduction; not proved in the paper. If false, the singular-set dimension bound fails.
domain assumption The isomorphism H^{s,p}(Ω,ℓ^2) ≅ L^p(I,ℓ^2) holds via a scalar isomorphism (Lemma 2.22).
Used to transfer compactness and convergence properties from L^p(I,ℓ^2) to Sobolev spaces. A proof is sketched using elliptic regularity and Pełczyński decomposition, but the vector-valued extension is delicate.
standard math Standard facts from the theory of topological tensor products (projective and injective norms, approximation property, Radon-Nikodym property) apply as cited from [DF1].
These are standard Banach-space facts used throughout Section 2; they are external background, not introduced ad hoc.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Eigenvalue optimization in higher dimensions and $p$-harmonic maps." pith.science (2026). https://pith.science/paper/OBT6FE3C

@misc{pith2026260117896,
  author       = {Pith},
  title        = {Pith review of: Eigenvalue optimization in higher dimensions and $p$-harmonic maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OBT6FE3C}},
  note         = {Machine review of arXiv:2601.17896}
}

abstract

We prove existence results for optimization problems for the $k$th Laplace eigenvalue on closed Riemannian manifolds of dimension $m \geq 3$, depending on the choice of normalization. One such normalization leads to eigenvalue optimization within a conformal class, for which existence of maximizers was previously known only in dimension two. We also prove that all absolutely continuous maximizers of the normalized eigenvalue functionals are always induced by $p$-harmonic maps into spheres, where $p \in [2,m]$. For $p$ sufficiently close to $m$, the maximizers are always H\"older-continuous, whereas for $p<m$ no bubbling occurs. A key tool in our analysis is the application of techniques from the theory of topological tensor products, which appear to be well suited for studying eigenvalue-related optimization problems.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 4 linked inside Pith

[1]

More on convergence in unitary matrix spaces

[Ara] J. Arazy. “More on convergence in unitary matrix spaces”. In:Proc. Amer. Math. Soc.83.1 (1981), pp. 44–48. [AK] W. Arendt and M. Kreuter. “Mapping theorems for Sobolev spaces of vector-valued functions”. In:Studia Math.240.3 (2018), pp. 275–

1981
[2]

Extremal metrics for the eigenvalues of the Laplace- Beltrami operator on surfaces

Elsevier Science B.V., Jan. 1, 2003, pp. 1361–1423. [Pen] A. V. Penskoi. “Extremal metrics for the eigenvalues of the Laplace- Beltrami operator on surfaces”. In:Uspekhi Mat. Nauk68.6(414) (2013), pp. 107–168. [P´ er1] S. P´ erez-Ayala. “Extremal eigenvalues of the conformal Laplacian under Sire-Xu normalization”. In:Nonlinear Anal.208 (2021), Paper No. 112308,

2003
[3]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2016, pp. xvi+614. [HNVW2] T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis.Analysis in Banach spaces. Vol. III. Harmonic analysis and spectral theory. Vol

2016
[9]

Variational properties of the second eigenvalue of the conformal Laplacian

Surv. Differ. Geom. Int. Press, Somerville, MA, 2004, pp. 147–217. [GP] M. J. Gursky and S. P´ erez-Ayala. “Variational properties of the second eigenvalue of the conformal Laplacian”. In:J. Funct. Anal. 282.8 (2022), Paper No. 109371,

2004
[10]

Chapter 1 - Basic Concepts in the Geometry of Banach Spaces

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2023, pp. xxi+826. [JL] W. B. Johnson and J. Lindenstrauss. “Chapter 1 - Basic Concepts in the Geometry of Banach Spaces”. In:Handbook of the Geometry of Banach Spaces. Ed. by W. B. Johnson and...

2023
[11]

Index of minimal spheres and isoperimetric eigen- value inequalities

Elsevier Science B.V., Jan. 1, 2001, pp. 1–84. [Kar] M. Karpukhin. “Index of minimal spheres and isoperimetric eigen- value inequalities”. In:Inventiones mathematicae223.1 (Jan. 1, 2021), pp. 335–377. [KM] M. Karpukhin and A. M´ etras. “Laplace and Steklov Extremal Met- rics via n-Harmonic Maps”. In:The Journal of Geometric Analysis 32.5 (Feb. 26, 2022), p

2001
[12]

Extremal metrics for the Paneitz operator on closed four-manifolds

[P´ er2] S. P´ erez-Ayala. “Extremal metrics for the Paneitz operator on closed four-manifolds”. In:J. Geom. Phys.182 (2022), Paper No. 104666,

2022
[19]

Regularity of harmonic maps

Banach Center Publ. PWN, Warsaw, 1987, pp. 25–38. [CWY] S.-Y. A. Chang, L. Wang, and P. C. Yang. “Regularity of harmonic maps”. In:Communications on Pure and Applied Mathematics52.9 (Sept. 1, 1999), pp. 1099–1111. [CD] B. Colbois and J. Dodziuk. “Riemannian metrics with large λ1”. In: Proc. Amer. Math. Soc.122.3 (1994), pp. 905–906. [CE] B. Colbois and A....

1987

Show all 26 references

[21]

Free states of the canonical anticom- mutation relations

arXiv: 2403.07841v1 [math.DG]. [PS] R. T. Powers and E. Størmer. “Free states of the canonical anticom- mutation relations”. In:Communications in Mathematical Physics 16.1 (Mar. 1, 1970), pp. 1–33. [PV] B. Premoselli and J. V´ etois.Nonexistence of minimizers for the sec- ond ...

1970 arXiv
[22]

A regularity theory for harmonic maps

arXiv:2408.07823 [math.DG]. [Sch] W. Schirotzek.Nonsmooth analysis. Universitext. Springer, Berlin, 2007, pp. xii+373. [SU1] R. Schoen and K. Uhlenbeck. “A regularity theory for harmonic maps”. In:Journal of Differential Geometry17.2 (Jan. 1, 1982), pp. 307–335. [SU2] R. Schoe...

2007 arXiv
[24]

Surv. Differ. Geom. Int. Press, Boston, MA, 2022, pp. 205–256. [KS1] M. Karpukhin and D. Stern. private communication

2022
[25]

Regularity of p-harmonic maps into certain manifolds with positive sectional curvature

arXiv:2506.09328 [math.SP]. Submitted. [XY] Y. L. Xin and Y. H. Yang. “Regularity of p-harmonic maps into certain manifolds with positive sectional curvature”. In:J. Reine Angew. Math.466 (1995), pp. 1–17. [Zhi] V. V. Zhikov. “On weighted Sobolev spaces”. In:Mat. Sb.189.8 (199...

1995 arXiv
[26]

Existence and regularity of maximal metrics for the first Laplace eigenvalue on surfaces

[Pet1] R. Petrides. “Existence and regularity of maximal metrics for the first Laplace eigenvalue on surfaces”. In:Geometric and Functional Analysis24.4 (Aug. 1, 2014), pp. 1336–1376. [Pet2] R. Petrides. “On a rigidity result for the first conformal eigenvalue of the Laplacian...

2014
[60]

On the singular set of stable- stationary harmonic maps

[HW] M.-C. Hong and C. -Y. Wang. “On the singular set of stable- stationary harmonic maps”. In:Calculus of Variations and Partial Differential Equations9.2 (Sept. 1, 1999), pp. 141–156. [HPP] E. Humbert, R. Petrides, and B. Premoselli.Extremising eigenvalues of the GJMS operat...

1999
[105]

Remarks on the regularity of the minimizers of certain degenerate functionals

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1983, pp. vii+297. [GM] M. Giaquinta and G. Modica. “Remarks on the regularity of the minimizers of certain degenerate functionals”. In:Manuscripta Math. 57.1 (1986), pp. 55–99. [GKL] A. Girouard, M. Kar...

1983
[115]

Third edition [of 1395148]

Applied Mathematical Sciences. Third edition [of 1395148]. Springer, Cham, 2023, pp. xxiv+714. [Tay2] M. E. Taylor.Partial differential equations III. Nonlinear equations. Third. Vol

2023
[117]

Regularity for a class of non-linear elliptic systems

Applied Mathematical Sciences. Springer, Cham, 2023, pp. xxiii+755. [Uhl] K. Uhlenbeck. “Regularity for a class of non-linear elliptic systems”. In:Acta Math.138.3-4 (1977), pp. 219–240. [Ver] Y. C. de Verdi` ere. “Sur la multiplicit´ ede la premi` ere valeur propre non nulle ...

2023
[120]

Sobolev spaces and functions of bounded variation

Graduate Texts in Mathematics. Sobolev spaces and functions of bounded variation. Springer-Verlag, New York, 1989, pp. xvi+308. 49

1989
[154]

Dirac eigenvalue optimisation and harmonic maps to complex projective spaces

[KMP] M. Karpukhin, A. M´ etras, and I. Polterovich. “Dirac eigenvalue optimisation and harmonic maps to complex projective spaces”. In: Int. Math. Res. Not. IMRN21 (2024), pp. 13758–13784. [KNPP] M. Karpukhin, N. Nadirashvili, A. V. Penskoi, and I. Polterovich. “Conformally m...

2024
[176]

On removable singularities of p-harmonic maps

North-Holland Mathematics Studies. North-Holland Publishing Co., Amsterdam, 1993, pp. xii+566. [DF2] F. Duzaar and M. Fuchs. “On removable singularities of p-harmonic maps”. In:Annales de l’Institut Henri Poincar´ eC, Analyse non lin´ eaire7.5 (Sept. 1, 1990), pp. 385–405. [DM...

1993
[182]

Maximization of higher order eigen- values and applications

[NS2] N. Nadirashvili and Y. Sire. “Maximization of higher order eigen- values and applications”. In:Mosc. Math. J.15.4 (2015), pp. 767–

2015
[239]

Upper bounds for eigenvalues of conformal metrics

[Kor] N. Korevaar. “Upper bounds for eigenvalues of conformal metrics”. In:Journal of Differential Geometry37.1 (Jan. 1, 1993), pp. 73–93. [LY] P. Li and S. T. Yau. “A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact s...

1993
[299]

Hardy spaces of vector-valued functions: duality

[Bla] O. Blasco. “Hardy spaces of vector-valued functions: duality”. In: Trans. Amer. Math. Soc.308.2 (1988), pp. 495–507. [BI] B. Bojarski and T. Iwaniec. “p-harmonic equation and quasiregu- lar mappings”. In:Partial differential equations (Warsaw, 1984). Vol

1988
[993]

Variational aspects of Laplace eigenvalues on Rieman- nian surfaces

46 [Kok] G. Kokarev. “Variational aspects of Laplace eigenvalues on Rieman- nian surfaces”. In:Advances in Mathematics258 (2014), pp. 191–

2014
[2024]

Existence of harmonic maps and eigenvalue optimization in higher dimensions

[KS2] M. Karpukhin and D. Stern. “Existence of harmonic maps and eigenvalue optimization in higher dimensions”. In:Invent. Math. 236.2 (2024), pp. 713–778. [KS3] M. Karpukhin and D. Stern. “Min-max harmonic maps and a new characterization of conformal eigenvalues”. In:J. Eur. ...

2024
[2025]

45 [HNVW1] T

arXiv: 2505.08280 [math.DG]. 45 [HNVW1] T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis.Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory. Vol

arXiv

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [1]

More on convergence in unitary matrix spaces

[Ara] J. Arazy. “More on convergence in unitary matrix spaces”. In:Proc. Amer. Math. Soc.83.1 (1981), pp. 44–48. [AK] W. Arendt and M. Kreuter. “Mapping theorems for Sobolev spaces of vector-valued functions”. In:Studia Math.240.3 (2018), pp. 275–

1981

[2] [2]

Extremal metrics for the eigenvalues of the Laplace- Beltrami operator on surfaces

Elsevier Science B.V., Jan. 1, 2003, pp. 1361–1423. [Pen] A. V. Penskoi. “Extremal metrics for the eigenvalues of the Laplace- Beltrami operator on surfaces”. In:Uspekhi Mat. Nauk68.6(414) (2013), pp. 107–168. [P´ er1] S. P´ erez-Ayala. “Extremal eigenvalues of the conformal Laplacian under Sire-Xu normalization”. In:Nonlinear Anal.208 (2021), Paper No. 112308,

2003

[3] [3]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2016, pp. xvi+614. [HNVW2] T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis.Analysis in Banach spaces. Vol. III. Harmonic analysis and spectral theory. Vol

2016

[4] [9]

Variational properties of the second eigenvalue of the conformal Laplacian

Surv. Differ. Geom. Int. Press, Somerville, MA, 2004, pp. 147–217. [GP] M. J. Gursky and S. P´ erez-Ayala. “Variational properties of the second eigenvalue of the conformal Laplacian”. In:J. Funct. Anal. 282.8 (2022), Paper No. 109371,

2004

[5] [10]

Chapter 1 - Basic Concepts in the Geometry of Banach Spaces

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2023, pp. xxi+826. [JL] W. B. Johnson and J. Lindenstrauss. “Chapter 1 - Basic Concepts in the Geometry of Banach Spaces”. In:Handbook of the Geometry of Banach Spaces. Ed. by W. B. Johnson and...

2023

[6] [11]

Index of minimal spheres and isoperimetric eigen- value inequalities

Elsevier Science B.V., Jan. 1, 2001, pp. 1–84. [Kar] M. Karpukhin. “Index of minimal spheres and isoperimetric eigen- value inequalities”. In:Inventiones mathematicae223.1 (Jan. 1, 2021), pp. 335–377. [KM] M. Karpukhin and A. M´ etras. “Laplace and Steklov Extremal Met- rics via n-Harmonic Maps”. In:The Journal of Geometric Analysis 32.5 (Feb. 26, 2022), p

2001

[7] [12]

Extremal metrics for the Paneitz operator on closed four-manifolds

[P´ er2] S. P´ erez-Ayala. “Extremal metrics for the Paneitz operator on closed four-manifolds”. In:J. Geom. Phys.182 (2022), Paper No. 104666,

2022

[8] [19]

Regularity of harmonic maps

Banach Center Publ. PWN, Warsaw, 1987, pp. 25–38. [CWY] S.-Y. A. Chang, L. Wang, and P. C. Yang. “Regularity of harmonic maps”. In:Communications on Pure and Applied Mathematics52.9 (Sept. 1, 1999), pp. 1099–1111. [CD] B. Colbois and J. Dodziuk. “Riemannian metrics with large λ1”. In: Proc. Amer. Math. Soc.122.3 (1994), pp. 905–906. [CE] B. Colbois and A....

1987