Pith. sign in

REVIEW 2 major objections 4 minor 35 references

First-eigenvalue maximization and inflation of maps

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Any Riemannian metric that maximizes the first Bakry-Émery eigenvalue yields an inflated isometric immersion from its first eigenfunctions.

desk verdict A genuinely new dual variational framework in spectral geometry, with explicit solutions on flat tori and SU(2); the one load-bearing gap is an unproved two-variable infimum in Section 3.3. read the letter →

arxiv 2506.05681 v1 pith:W4RPART2 submitted 2025-06-06 math.DG

Shin Nayatani This is my paper
classification math.DG MSC 58J5053C42
keywords firsteigenvaluemaximizationBakry-ÉmeryLaplacianinflatedmapsshortisometricimmersionsflattorileft-invariantmetricssub-Riemannianlimits
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 studies a pair of optimization problems on a compact manifold with a fixed volume element $d\mu$ and Riemannian metric $h$. The primal problem looks for a smooth map into Hilbert space, constrained to be non-expanding (short), that has the largest possible variance; any such maximizer is called an inflated map. The dual problem asks for the metric that maximizes the first positive eigenvalue of the Bakry-Émery Laplacian after normalizing against $h$. The paper proves that the two problems are linked by an inequality, and that if the dual maximizer is an ordinary Riemannian metric, its first eigenfunctions automatically form an isometric immersion, which is an inflated map. Explicit solutions are worked out for all flat metrics on $T^2$ and all left-invariant metrics on $SU(2)$, including cases where the optimal metric is only positive semidefinite.

What carries the argument

The load-bearing object is the inequality $\operatorname{var}(\varphi)\le \int_M(g^*,h)\,d\mu_1/\lambda_1(d\mu,g^*)$, valid for every admissible short map $\varphi$ and every admissible metric $g^*$. Integrating the pointwise constraint $\varphi^*h_{\ell^2}\le h$ against $g^*$ gives $\lVert d\varphi\rVert^2_{g^*}\le (g^*,h)$, and the variational characterization of $\lambda_1$ turns this into the variance bound; equality holds exactly when $\varphi$ consists of first eigenfunctions and $(g^*,h-\varphi^*h_{\ell^2})\equiv 0$. For the main theorem, the argument uses the first-order variation of $\lambda_1$ under analytic deformations, $\frac{d}{dt}\lambda(t)\big|_{t=0}=\int_M(\dot g^*,du\otimes du)\,d\mu$, and a convex-hull separation step: if $h$ were not in the convex hull of $\{du\otimes du:u$ a first eigenfunction$\}$, a separating tensor would give a metric perturbation increasing $\lambda_1$, contradicting maximality. Hence $h=\sum_{k=1}^N du_k\otimes du_k$, which is exactly the statement that first eigenfunctions form an isometric immersion.

What would settle it

Compute $\Phi(u,v)$ over the quarter-plane for a fixed $a<b<1$; any point with value strictly below $(1/b+3)/4$ disproves the claimed $SU(2)$ classification. For the main theorem, check a proposed positive-definite maximizer by testing whether the convex hull of $\{du\otimes du:u$ in the first eigenspace$\}$ contains $h$; if not, the proposed maximizer cannot be optimal.

Watch

Extended reading notes

Core claim

The paper's central claim is that the two-sided optimization problems it introduces are dual in a precise sense, and that regularity of the dual solution has a geometric payoff. For a compact manifold carrying a smooth volume element $d\mu$ and a Riemannian metric $h$, let $\lambda_1(d\mu,g)$ be the first positive eigenvalue of the Bakry-Émery Laplacian $-\Delta_{(d\mu,g)}=-\Delta_g+g(df,d\,\cdot\,)$, where $d\mu_g=e^f d\mu$. If a positive definite metric $g^*$ maximizes $\lambda_1(d\mu,g)/\int_M(g,h)\,d\mu_1$ over positive definite metrics, then there are first eigenfunctions $u_1,\ldots,u_N$ of $-\Delta_{(d\mu,g^*)}$ such that $\varphi=(u_1,\ldots,u_N):M\to\mathbb{R}^N$ is an isometric immersion with $\varphi^*h_{\mathbb{R}^N}=h$. Such a $\varphi$ is an inflated map: it maximizes $\operatorname{var}(\varphi)=\int_M\lVert\varphi\rVert^2\,d\mu_1$ among all smooth short maps $\varphi:M\to\ell^2$ with zero mean. The paper also solves both problems explicitly for every flat metric on $T^2$ and every left-invariant metric on $SU(2)$, including cases where the optimal dual object is only a positive semidefinite metric and the inflated map is not isometric.

Load-bearing premise

The load-bearing premise is the asserted but unproved statement that the function $\Phi(u,v)=(u/a+v/b+1)/\lambda_1(h_{u,v})$ attains its infimum over the quarter-plane exactly at $(u,v)=(0,1/3)$; the classification of all left-invariant $SU(2)$ metrics in Proposition 3.4 rests entirely on that inequality.

Editorial extensions

If this is right

  • If a positive definite metric solves the dual problem, the first eigenspace has dimension at least $n+1$, where $n=\dim M$.
  • For every flat metric on $T^2$, the equilateral flat metric $h_{EL}$ is a universal dual solution, and its first eigenfunctions give an inflated isometric embedding into $\mathbb{R}^6$ (into $\mathbb{R}^4$ for rectangular lattices).
  • For Berger spheres with scale factor $t\le 1$, the metric at $t=1/\sqrt{6}$ solves both problems for all small Berger metrics, producing inflated isometric embeddings into $\mathbb{R}^7$.
  • For Berger spheres with $t\ge 1$ and for general left-invariant metrics on $SU(2)$, the dual solution exists only as a positive semidefinite Carnot-Carathéodory metric, and the corresponding inflated map into $\mathbb{R}^4$ or $\mathbb{R}^7$ is short but not isometric.
  • The scale-invariant bound $\operatorname{Var}(d\mu,h)\cdot\Lambda_1(d\mu,h)\le 1$ holds universally, with equality exactly when a first-eigenfunction map satisfies the isometric-immersion equality condition.

Reading between the lines

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

  • If the pattern in the $SU(2)$ examples persists, the correct existence statement for the dual problem on a general compact manifold will live in a completion of the space of Riemannian metrics by positive semidefinite limits; a sub-Riemannian version of the main theorem would then predict that optimal maps are only short, not isometric.
  • The Gram-operator reformulation makes the primal problem a convex maximization over positive kernels, so a discretized semidefinite-programming solver could produce approximate inflated maps and numerical inflation dimensions for manifolds where exact solutions are unknown.
  • The inflation dimension invariant invites the conjecture that it is controlled by the largest possible minimal dimension of a first-eigenfunction immersion; representation-theoretic spectral data on homogeneous spaces could give sharp bounds.
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.

Referee Report

2 major / 4 minor

Summary. The paper introduces a dual pair of variational problems on a compact manifold M equipped with a volume element dµ and a Riemannian metric h. The primal problem (Problem 2.1) maximizes the variance of smooth maps φ: M → l² that are short (φ^* h_{l²} ≤ h) and have zero mean. The dual problem (Problem 2.3) maximizes the first positive eigenvalue λ₁(dµ,g*) of the Bakry–Émery Laplacian over positive semidefinite cotangent metrics g*, normalized by ∫_M (g*,h) dµ₁. The paper proves the weak-duality inequality Var(dµ,h) ≤ 1/Λ₁(dµ,h) and identifies equality conditions in Proposition 2.5. It then presents explicit solutions for flat tori, Berger spheres, and all left-invariant metrics on SU(2), in the latter case allowing degenerate (Carnot–Carathéodory) dual metrics. The main structural result is Theorem 4.3: if the dual problem has a positive definite solution g*, then first eigenfunctions of Δ_{(dµ,g*)} form an isometric immersion with respect to h, hence an inflated map. A short section defines the inflation dimension of a manifold.

Significance. If the results are correct, this is a valuable contribution connecting spectral geometry, isometric immersion theory, and a manifold analogue of the graph embedding duality of Göring–Helmberg–Wappler. The weak-duality framework is elementary but well suited to producing certified optimal pairs: once a short map and a metric satisfy the equality conditions of Proposition 2.5, both problems are solved simultaneously. Theorem 4.3 is a genuinely useful Nadirashvili-type statement, and its proof via analytic perturbation and convex separation is largely solid. The torus and Berger examples are concrete and instructive, and the SU(2) classification, if fully justified, gives a rich family of examples with degenerating dual metrics. The paper is carefully written overall, with explicit computations and a clear logical structure.

major comments (2)
  1. [§3.3, Eq. (19) and following text] The assertion that the infimum of Φ(u,v) = (u/a + v/b + 1)/λ₁(h*_{u,v}) over the quarter-plane Q is attained exactly at (u,v) = (0,1/3), with value (1/b+3)/4, is stated without proof. This is not a one-line check: the four domains D₀–D₃ have different formulas for λ₁, so one must minimize Φ separately on each domain and compare boundaries, including the boundary u=0 and the limiting behaviour at infinity. The same applies to Remark 6, where the claimed loci of minima on ∂D₁, D₀ and ∂∞D₀ are also asserted without derivation. Since these examples are advertised as explicit solutions, a proof or a precise reference should be supplied. Alternatively, the optimality of h*_{0,1/3,1} could be derived directly from the equality conditions in Proposition 2.5 together with the explicit φ; that route would remove the need for the separate infimum claim.
  2. [§4, proof of Theorem 4.3, Claim 2] The proof states that the convex hull C of {du⊗du | u ∈ E₁(dµ,g*)} is a closed convex cone in S and then invokes the hyperplane separation theorem. This step is too quick: closedness of a convex hull is not automatic in the Fréchet space of smooth sections, and the topology on S and the class of separating linear functionals are not specified. The gap is repairable, since E₁ is finite-dimensional and after normalizing u the set {du⊗du : ||u||=1} is compact in a finite-dimensional subspace of S, but the manuscript should spell this out.
minor comments (4)
  1. [§3.1, Clifford torus example] The sphere radius in the Clifford torus embedding is typeset as S³(1/√2π), which is ambiguous: the radius should be 1/(√2 π), not (1/√2)π. Please clarify the notation.
  2. [Throughout] There are several typographical errors: 'Raileigh' should be 'Rayleigh', 'crutial' appears twice, 'defnite' should be 'definite', 'opoerator' should be 'operator', 'ineqaulity' should be 'inequality', and 'fucntions' should be 'functions'.
  3. [§3.3] The sentence 'Proposition 2.4 justifies this strategy' is not exactly right: Proposition 2.4 only says that if a solution exists, then a G-invariant solution exists; it does not by itself justify restricting the minimization to left-invariant metrics without an existence argument. The later equality conditions do certify the proposed solution, but the wording should be adjusted to avoid giving the impression that the restriction is lossless for the search itself.
  4. [§3.3, reduction to c=1] The reduction from arbitrary a<b<c to c=1 is described only as 'by change of variables and rescaling'. Since Problem 2.3 is not obviously invariant under rescaling h, a sentence explaining the scaling behaviour (Var(dµ,ch)=c Var(dµ,h), Λ₁(dµ,ch)=Λ₁(dµ,h)/c) would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the duality inequality, equality conditions, and Theorem 4.3 are independently proved, and spectral inputs are external or verified by direct computation.

full rationale

The paper's central claims are the weak-duality inequality (10), proved directly in Section 2.3 from the Rayleigh quotient and the shortness constraint; the equality conditions in Proposition 2.5; the examples in Section 3, which solve both optimization problems by explicitly constructing maps and metrics that achieve equality; and the Nadirashvili-type Theorem 4.3, proved by a first-variation and convex-hull separation argument. None of these steps assumes its conclusion as an input. The left-invariant spectrum in Lemma 3.2 is cited to Lauret but is also verified in the text by direct computation, so it is not a load-bearing unverified self-citation. Citations to Urakawa, Takahashi, and others provide independent external spectral and geometric facts. The paper's self-citations appear only in a remark and a literature review and do not carry the argument. The unproved infimum assertion in Section 3.3 for the function Phi is a rigor gap or missing verification, not circularity: the infimum is claimed as a concrete checkable statement, and the optimization problem is not defined in terms of that value or any constructed solution. No parameter is fitted to force a predicted result, and the equality conditions are checked, not imposed. The derivation chain is therefore self-contained; any weakness lies in omitted verification, not in circular reasoning.

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

The central framework relies on standard spectral theory and a few cited facts. The only paper-specific unproved input is the minimization assertion in Section 3.3, listed as ad hoc. No free parameters are fitted and no new entities are postulated.

assumptions (4)
  • standard math Rellich's analytic perturbation theorem for eigenvalues of self-adjoint operators with compact resolvent.
    Invoked in Lemma 4.2 to justify analytic eigenvalue branches used in the proof of Theorem 4.3.
  • standard math Takahashi's theorem: a map by first eigenfunctions that is an isometric immersion is a minimal immersion into a sphere.
    Used in Section 2.3 and Corollary 4.4 to connect equality conditions with minimal immersions.
  • domain assumption The Kohn sub-Laplacian on the CR 3-sphere has first eigenvalue 2 with eigenfunctions z1,z2.
    Cited from Refs [5,29] in Section 3.2 to identify λ_1(dµ,h∞)=2 for large Berger spheres.
  • ad hoc to paper The infimum of Φ over Q is attained at (0,1/3) with value (1/b+3)/4.
    Stated in Section 3.3 as an elementary verification, but no proof appears; Proposition 3.4 depends on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of First-eigenvalue maximization and inflation of maps." pith.science (2026). https://pith.science/paper/W4RPART2

@misc{pith2026250605681,
  author       = {Pith},
  title        = {Pith review of: First-eigenvalue maximization and inflation of maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W4RPART2}},
  note         = {Machine review of arXiv:2506.05681}
}
abstract

Given a compact manifold equipped with a volume element and a Riemannian metric, we formulate and study a dual pair of optimization problems: one concerning smooth maps from the manifold into the Hilbert space $l^2$ and the other concerning the smallest positive eigenvalue of the Bakry-Emery Laplacian. We present examples of manifolds for which these problems can be solved explicitly. We also prove a Nadirashvili-type theorem.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Bando and H

    S. Bando and H. Urakawa, Generic properties of the eigenvalue of the Laplacian for compact Riemannian manifolds, Tˆ ohoku Math. J.35(1983), 155-172

    work page 1983

  2. [2]

    Berger, Sur les premi` eres valeurs propres des vari´ et´ es riemanniennes, Compositio Math.26 (1973), 129-149

    M. Berger, Sur les premi` eres valeurs propres des vari´ et´ es riemanniennes, Compositio Math.26 (1973), 129-149

    work page 1973

  3. [3]

    Berger, P

    M. Berger, P. Gauduchon and E. Mazet, Le Spectre d’une Vari´ et´ e Riemannienne, Lecture Notes in Math.194, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  4. [4]

    Choe and M

    J. Choe and M. Soret, First eigenvalue of symmetric minimal surfaces inS 3. Indiana Univ. Math. J. 58(2009), 269-281

    work page 2009

  5. [5]

    Cowling, O

    M. Cowling, O. Klima and A. Sikora, Spectral multipliers for the Kohn sublaplacian on the sphere inC n, Trans. Amer. Math. Soc.363(2011), 611-631

    work page 2011

  6. [6]

    El Soufi and S

    A. El Soufi and S. Ilias, Riemannian manifolds admitting isometric immersions by their first eigenfunctions, Pacific J. Math.195(2000), 91-99

    work page 2000

  7. [7]

    Fujiwara, Eigenvalues of Laplacians on a closed Riemannian manifold and its nets, Proc

    K. Fujiwara, Eigenvalues of Laplacians on a closed Riemannian manifold and its nets, Proc. Amer. Math. Soc.123(1995) 2585-2594

    work page 1995

  8. [8]

    G¨ oring, C

    F. G¨ oring, C. Helmberg and M. Wappler, Embedded in the shadow of the separator, SIAM J. Op- tim.19(2008), 472-501

    work page 2008

Show all 35 references
  1. [9]

    G¨ oring, C

    F. G¨ oring, C. Helmberg and M. Wappler, The rotational dimension of a graph, J. Graph Theory 66(2011), 283-302

    2011

  2. [10]

    Gomyou, S

    T. Gomyou, S. Nayatani, Maximization of the first Laplace eigenvalue of a finite graph, to appear in Linear Algebra Appl

  3. [11]

    Gomyou, S

    T. Gomyou, S. Nayatani, Maximization of the first Laplace eigenvalue of a finite graph II, submit- ted

  4. [12]

    Greenleaf, The first eigenvalue of a sub-Laplacian on a pseudo-Hermitian manifold, Comm

    A. Greenleaf, The first eigenvalue of a sub-Laplacian on a pseudo-Hermitian manifold, Comm. Par- tial Differential Equations10(1985), 191-217

    1985

  5. [13]

    Hersch, Quatre propri´ et´ es isop´ erim´ etriques de membranes sph´ eriques homog´ enes, C

    J. Hersch, Quatre propri´ et´ es isop´ erim´ etriques de membranes sph´ eriques homog´ enes, C. R. Acad. Sci. Paris S` er. A-B270(1970), A1645-A1648

    1970

  6. [14]

    Jakobson, M

    D. Jakobson, M. Levitin, N. Nadirashvili, N. Nigam, I. Polterovich, How large can the first eigen- value be on a surface of genus two?, Int. Math. Res. Not. (2005), no. 63, 3967-3985

    2005

  7. [15]

    Karpukhin, D

    M. Karpukhin, D. Vinokurov, The first eigenvalue of the Laplacian on orientable surfaces, Math. Z. 301(2022), 2733-2746

    2022

  8. [16]

    Kato, Perturbation theory for linear operators, Second edition, Grundlehren der Mathematis- chen Wissenschaften, Band 132, Springer-Verlag, Berlin-New York, 1976

    T. Kato, Perturbation theory for linear operators, Second edition, Grundlehren der Mathematis- chen Wissenschaften, Band 132, Springer-Verlag, Berlin-New York, 1976

    1976

  9. [17]

    Kriegl and P

    A. Kriegl and P. W. Michor, The convenient setting of global analysis, Math. Surveys Monogr.53, American Mathematical Society, Providence, RI, 1997

    1997

  10. [18]

    E. A. Lauret, The smallest Laplace eigenvalue of homogeneous 3-spheres, Bull. London Math. Soc. 51(2019), 49-69

    2019

  11. [19]

    Matthiesen, A

    H. Matthiesen, A. Siffert, Sharp asymptotics of the first eigenvalue on some degenerating surfaces, Trans. Amer. Math. Soc.373(2020), 5903-5936. 23

    2020

  12. [20]

    Muto, The first eigenvalue of the Laplacian of an isoparametric minimal hypersurface in a unit sphere, Math

    H. Muto, The first eigenvalue of the Laplacian of an isoparametric minimal hypersurface in a unit sphere, Math. Z.197(1988), 531-549

    1988

  13. [21]

    Nadirashvili, Berger’s isoperimetric problem and minimal immersions of surfaces, Geom

    N. Nadirashvili, Berger’s isoperimetric problem and minimal immersions of surfaces, Geom. Funct. Anal.6(1996), 877-897

    1996

  14. [22]

    Nakajima and T

    H. Nakajima and T. Shioya, Isoperimetric rigidity and distributions of 1-Lipschitz functions, Adv. Math.349(2019), 1198-1233

    2019

  15. [23]

    Nash, The imbedding problem for Riemannian manifolds, Ann

    J. Nash, The imbedding problem for Riemannian manifolds, Ann. of Math63(1956), 20-63

    1956

  16. [24]

    Nayatani and T

    S. Nayatani and T. Shoda, Metrics on a closed surface of genus two which maximize the first eigenvalue of the Laplacian, C. R. Math. Acad. Sci. Paris357(2019), 84-98

    2019

  17. [25]

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

    R. Petrides, Existence and regularity of maximal metrics for the first Laplace eigenvalue on surfaces, Geom. Funct. Anal.24(2014), 1336-1376

    2014

  18. [26]

    Rellich, St¨ orungstheorie der Spektralzerlegung V, Math

    F. Rellich, St¨ orungstheorie der Spektralzerlegung V, Math. Ann.118(1942), 462-484

    1942

  19. [27]

    Rellich, Perturbation theory of eigenvalue problems, Gordon and Breach Science Publishers, New York-London-Paris, 1969

    F. Rellich, Perturbation theory of eigenvalue problems, Gordon and Breach Science Publishers, New York-London-Paris, 1969

    1969

  20. [28]

    Ros, On the first eigenvalue of the Laplacian on compact surfaces of genus three, J

    A. Ros, On the first eigenvalue of the Laplacian on compact surfaces of genus three, J. Math. Soc. Japan74(2022), 813-828

    2022

  21. [29]

    Stanton, Spectral invariants of CR manifolds, Michigan Math

    N. Stanton, Spectral invariants of CR manifolds, Michigan Math. J.36(1989), 267-288

    1989

  22. [30]

    Takahashi, Minimal immersions of Riemannian manifolds, J

    T. Takahashi, Minimal immersions of Riemannian manifolds, J. Math. Soc. Japan18(1966), 380-385

    1966

  23. [31]

    Z. Tang, Y. Xie and W. Yan, Isoparametric foliation and Yau conjecture on the first eigenvalue II, J. Funct. Anal.266(2014), 6174-6199

    2014

  24. [32]

    Tang and W

    Z. Tang and W. Yan, Isoparametric foliation and Yau conjecture on the first eigenvalue, J. Differ- ential Geom.94(2013), 521-540

    2013

  25. [33]

    Urakawa, On the least positive eigenvalue of the Laplacian for compact group manifolds, J

    H. Urakawa, On the least positive eigenvalue of the Laplacian for compact group manifolds, J. Math. Soc. Japan31(1979), 209-226

    1979

  26. [34]

    P. C. Yang and S. T. Yau, Eigenvalues of the Laplacian of compact Riemann surfaces and minimal submanifolds, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)7(1980), 55-63

    1980

  27. [35]

    S. T. Yau, Problem section, Seminar on Differential Geometry, Annals of Mathematics Studies 102, pp. 669-706, Princeton University Press, Princeton, 1982. Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya 464-8602, Japan Email address:nayatani@math.nagoya-u...

    1982

Pith tools

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