pith. sign in

arxiv: 2606.12009 · v1 · pith:HTAIVENRnew · submitted 2026-06-10 · 🧮 math.DG · math.SP

Dirichlet--Neumann duality for the Basic Spectrum of Riemannian Submersions: A Supersymmetric Perspective

Vicent Gimeno i Garcia , Paulo Henryque da Costa Silva This is my paper

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

classification 🧮 math.DG math.SP
keywords Riemannian submersionsbasic spectrumDirichlet-Neumann dualitysupersymmetric quantum mechanicsweighted Laplacianfiber volume functionmean curvature
0
0 comments X

The pith

A supersymmetric duality relates the basic Dirichlet and Neumann spectra of Riemannian submersions under the map S to 1/S.

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

The paper investigates Riemannian submersions whose fibers have basic mean curvature. Restricting the Laplace-Beltrami operator to basic functions reduces the problem to a weighted Laplacian on the base with weight S, the fiber-volume function. It derives a summation formula for the reciprocals of the basic Dirichlet eigenvalues. Using supersymmetric quantum mechanics, it establishes a duality relating the Dirichlet and Neumann spectra when the weight is inverted to 1/S.

Core claim

Using the framework of supersymmetric quantum mechanics, a supersymmetric duality is established relating the basic Dirichlet and Neumann spectra under the transformation S maps to 1/S for the weighted Laplacian arising from Riemannian submersions with basic mean curvature fibers.

What carries the argument

The supersymmetric duality in SUSYQM that interchanges the Dirichlet and Neumann spectra via the inversion S to 1/S of the fiber-volume function.

If this is right

  • The summation formula for reciprocal basic Dirichlet eigenvalues holds as a consequence of the reduction to the weighted Laplacian.
  • The basic spectra on the total space correspond to the spectra of the weighted Laplacian on the base.
  • The duality provides a relation between the Dirichlet and Neumann spectra for any such submersion.

Where Pith is reading between the lines

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

  • This approach may allow computation of one spectrum from the other without solving the eigenvalue problem directly.
  • Similar dualities could be explored in other geometric settings where weighted operators appear.

Load-bearing premise

The Riemannian submersion has fibers with basic mean curvature, which is needed for the reduction of the operator to a weighted Laplacian on the base.

What would settle it

A counterexample would be a Riemannian submersion with basic mean curvature where applying the duality map S to 1/S does not map the Dirichlet eigenvalues to the Neumann ones.

Figures

Figures reproduced from arXiv: 2606.12009 by Paulo Henryque da Costa Silva, Vicent Gimeno i Garcia.

Figure 1
Figure 1. Figure 1: Schematic representation of the correspondence between nonzero Dirichlet and Neumann eigenvalues induced by the transformation S(t) 7→ 1/S(t). Theorem 1.1. Let π1 : M1 → R and π2 : M2 → R be two Riemannian submersions with compact fibers of basic mean curvature. Let Ω1 := π −1 1 ([a, b]), Ω2 := π −1 2 ([a, b]) and suppose that the fiber volumes satisfy S1(t) = 1 S2(t) , ∀t ∈ [a, b], [PITH_FULL_IMAGE:figur… view at source ↗
Figure 2
Figure 2. Figure 2: Dirichlet and divergence-free correspondence between eigenpairs [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Fibration of the catenoid C. We now apply Theorem 1.4 to compute the reciprocal sum of the basic spectrum of the truncated catenoid. We define the function θ(x) := arcsinh x a  and consider the following computation: Z L −L 1 S(t) dt = 1 2π Z L −L 1 √ a 2 + t 2 dt = 1 π θ(L). Using the identity above once again, together with the fact that θ is an odd function, we have the following Z x −L 1 S(t) dt = 1 … view at source ↗
Figure 4
Figure 4. Figure 4: Precompact domain Ω ⊂ S in the pseudosphere, obtained as the inverse image of the interval (0, L) under the Riemannian submersion π. We now substitute S(t) = 2πe−αt into the weighted Laplacian formula in (2.3), which produces the following differential equation: ( f ′′(t) − αf′ (t) + λf(t) = 0 for x ∈ (0, L), f = 0 for x ∈ {0} ∪ {L}. The solution to this system is obtained via the Liouville transformation … view at source ↗
read the original abstract

This manuscript investigates the spectral geometry of Riemannian submersions whose fibers have a basic mean curvature. By restricting the Laplace--Beltrami operator to the space of basic functions, we reduce the spectral problem on $M$ to the spectral problem for a weighted Laplacian on the base manifold, where the weight is determined by the fiber-volume function $S$. We derive a summation formula for the reciprocal of the basic Dirichlet eigenvalues (Basel-type series). Furthermore, using the framework of Supersymmetric Quantum Mechanics (SUSYQM), we establish a supersym\-me\-tric duality relating the basic Dirichlet and Neumann spectra under the trans\-for\-ma\-tion $S \mapsto 1/S$.

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 investigates Riemannian submersions whose fibers have basic mean curvature. Restricting the Laplace-Beltrami operator to basic functions reduces the problem to a weighted Laplacian on the base with weight determined by the fiber-volume function S. The paper derives a summation formula (Basel-type series) for the reciprocals of the basic Dirichlet eigenvalues and, via the framework of Supersymmetric Quantum Mechanics, establishes a duality relating the basic Dirichlet and Neumann spectra under the transformation S ↦ 1/S.

Significance. If the central claims hold, the work supplies a clean supersymmetric duality for the basic spectra of such submersions, obtained by sign-flip of the drift term in the weighted operator; this is formally consistent with standard SUSYQM partner Hamiltonians. The reduction itself rests on the known fact that basic mean curvature makes the basic Laplacian a weighted operator on the base. The summation formula for reciprocal eigenvalues adds an explicit identity that may be useful for spectral computations. The approach is parameter-free once S is fixed and avoids self-referential definitions.

minor comments (3)
  1. [Abstract] The abstract states that the summation formula is 'Basel-type' but does not record its precise statement (e.g., whether it sums 1/λ_k or involves multiplicities); the introduction or §3 should state the formula explicitly with the range of summation and any convergence hypotheses.
  2. The precise definition of the weighted Laplacian (including the sign convention for the drift term proportional to ∇log S) should appear before the SUSYQM construction is invoked, to make the partner Hamiltonian derivation self-contained.
  3. Notation for basic functions, the mean-curvature vector, and the fiber-volume function S is introduced without a dedicated preliminary subsection; a short §2 collecting these definitions would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of the manuscript, as well as the recommendation for minor revision. No specific major comments appear in the report, so we have no individual points requiring rebuttal or clarification.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external SUSYQM framework and standard reduction

full rationale

The abstract frames the core result as a consequence of the external Supersymmetric Quantum Mechanics framework applied to the standard reduction of the basic Laplacian to a weighted operator on the base (under the basic mean-curvature hypothesis). No equations or claims in the provided text reduce a prediction to a fitted input, self-definition, or self-citation chain. The summation formula and S ↦ 1/S duality are presented as derived from SUSYQM partner Hamiltonians, which are independent of the target spectra. This matches the default expectation of a self-contained derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on the abstract, the work rests on standard differential geometry and the imported SUSYQM framework; no free parameters or new entities are introduced in the visible claims.

axioms (2)
  • domain assumption Fibers have basic mean curvature
    Explicitly required for the reduction to the weighted Laplacian on the base.
  • domain assumption Restriction of Laplace-Beltrami to basic functions yields a weighted Laplacian whose weight is the fiber-volume function S
    Core technical step stated in the abstract.

pith-pipeline@v0.9.1-grok · 5650 in / 1154 out tokens · 21851 ms · 2026-06-27T08:25:41.801214+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

29 extracted references

  1. [1]

    Ahlfors.Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable

    Lars V. Ahlfors.Complex Analysis: An Introduction to the Theory of Analytic Functions of One Complex Variable. McGraw–Hill, 3 edition, 1979

    1979

  2. [2]

    Friedlander’s eigenvalue inequalities and the Dirichlet- to-Neumann semigroup.Communications on Pure and Applied Analysis, 11(6):2201–2212, 2012

    Wolfgang Arendt and Rafe Mazzeo. Friedlander’s eigenvalue inequalities and the Dirichlet- to-Neumann semigroup.Communications on Pure and Applied Analysis, 11(6):2201–2212, 2012

    2012

  3. [3]

    Bessa, V

    G.P. Bessa, V. Gimeno, and L. Jorge. Green functions and the Dirichlet spectrum.Revista Matematica Iberoamericana, 36(1):1–36, 2020

    2020

  4. [4]

    Bessa, J.F

    G.P. Bessa, J.F. Montenegro, and P. Piccione. Riemannian submersions with discrete spectrum.Journal of Geometric Analysis, 22(2):603–620, 2012. cited By 2

    2012

  5. [5]

    Spectral estimates for submersions with fibers of basic mean curvature.An

    Manlio Bordoni. Spectral estimates for submersions with fibers of basic mean curvature.An. Univ. Vest Timiş. Ser. Mat.-Inform., 44(1):23–36, 2006

    2006

  6. [6]

    Academic Press Inc., Orlando, FL, 1984

    Isaac Chavel.Eigenvalues in Riemannian geometry, volume 115 ofPure and Applied Mathematics. Academic Press Inc., Orlando, FL, 1984

    1984

  7. [7]

    Supersymmetry and Quantum Mechanics

    Fred Cooper, Avinash Khare, and Uday Sukhatme. Supersymmetry and Quantum Mechanics. Physics Reports, 251:267–385, 1995. 22 VICENT GIMENO I GARCIA AND PAULO HENRYQUE DA COSTA SIL V A

    1995

  8. [8]

    Frank and Ari Laptev

    Rupert L. Frank and Ari Laptev. Inequalities between Dirichlet and Neumann eigenvalues on the Heisenberg group.International Mathematics Research Notices, 2010(15):2889–2902, 2010

    2010

  9. [9]

    Some inequalities between Dirichlet and Neumann eigenvalues.Archive for Rational Mechanics and Analysis, 116(2):153–160, 1991

    Leonid Friedlander. Some inequalities between Dirichlet and Neumann eigenvalues.Archive for Rational Mechanics and Analysis, 116(2):153–160, 1991

    1991

  10. [10]

    Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds.Bull

    Alexander Grigor′yan. Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds.Bull. Amer. Math. Soc. (N.S.), 36(2):135– 249, 1999

    1999

  11. [11]

    American Mathematical Society, Providence, RI, 2009

    Alexander Grigor’yan.Heat kernel and analysis on manifolds, volume 47 ofAMS/IP Studies in Advanced Mathematics. American Mathematical Society, Providence, RI, 2009

    2009

  12. [12]

    An inequality between Dirichlet and Neumann eigenvalues of the Heisenberg Laplacian.Communications in Partial Differential Equations, 33(12):2157–2163, 2008

    Anna-Maria Hansson. An inequality between Dirichlet and Neumann eigenvalues of the Heisenberg Laplacian.Communications in Partial Differential Equations, 33(12):2157–2163, 2008

    2008

  13. [13]

    Spectral intertwining relations in exactly solvable Quantum-Mechanical systems.Progress of Theoretical and Experimental Physics, 2017(6):063A01, 2017

    Tsuyoshi Houri, Makoto Sakamoto, and Kentaro Tatsumi. Spectral intertwining relations in exactly solvable Quantum-Mechanical systems.Progress of Theoretical and Experimental Physics, 2017(6):063A01, 2017

    2017

  14. [14]

    Inequalities between Dirichlet and Neumann eigenvalues on surfaces.Mathematische Annalen, 2026

    Bobo Hua, Florentin Münch, and Haohang Zhang. Inequalities between Dirichlet and Neumann eigenvalues on surfaces.Mathematische Annalen, 2026. To appear/online first

    2026

  15. [15]

    Infeld and T

    L. Infeld and T. E. Hull. The factorization method.Reviews of Modern Physics, 23:21–68, 1951

    1951

  16. [16]

    M. Kac. Can one hear the shape of a drum?Wiadom. Mat. (2), 13:11–35, 1971. Translated from the English (Amer. Math. Monthly73 (1966), no. 4, part II, 1–23)

    1971

  17. [17]

    A. W. Knapp and E. M. Stein. Intertwining operators for semisimple groups.Annals of Mathematics, 93:489–578, 1971

    1971

  18. [18]

    Levine and Hans F

    Howard A. Levine and Hans F. Weinberger. Inequalities between dirichlet and neumann eigenvalues.Archive for Rational Mechanics and Analysis, 94(3):193–208, 1986

    1986

  19. [19]

    B. M. Levitan and I. S. Sargsjan.Sturm-Liouville and Dirac Operators, volume 59 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1991

    1991

  20. [20]

    Academic Press Inc

    Barrett O’Neill.Semi-Riemannian geometry, volume 103 ofPure and Applied Mathematics. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 1983

    1983

  21. [21]

    L. E. Payne. Inequalities for eigenvalues of plates and membranes.Journal of Rational Mechanics and Analysis, 4:517–529, 1955

    1955

  22. [22]

    Spectral estimates for Riemannian submersions with fibers of basic mean curvature.The Journal of Geometric Analysis, 31(10):9951–9980, 2021

    Panagiotis Polymerakis. Spectral estimates for Riemannian submersions with fibers of basic mean curvature.The Journal of Geometric Analysis, 31(10):9951–9980, 2021

    2021

  23. [23]

    G. Pólya. On the eigenvalues of vibrating membranes.Proc. London Math. Soc., 11:419–433, 1961

    1961

  24. [24]

    Inequalities between Neumann and Dirichlet eigenvalues of Schrödinger operators.Journal of Spectral Theory, 11(3):915–933, 2021

    Jonathan Rohleder. Inequalities between Neumann and Dirichlet eigenvalues of Schrödinger operators.Journal of Spectral Theory, 11(3):915–933, 2021

    2021

  25. [25]

    Inequalities between Neumann and Dirichlet Laplacian eigenvalues on planar domains.Mathematische Annalen, 392:5553–5571, 2025

    Jonathan Rohleder. Inequalities between Neumann and Dirichlet Laplacian eigenvalues on planar domains.Mathematische Annalen, 392:5553–5571, 2025

    2025

  26. [26]

    Springer, 1979

    Manfred Scheunert.The Theory of Lie Superalgebras, volume 716 ofLecture Notes in Mathematics. Springer, 1979

    1979

  27. [27]

    Supersymmetry and morse theory.Journal of Differential Geometry, 17(4):661–692, 1982

    Edward Witten. Supersymmetry and morse theory.Journal of Differential Geometry, 17(4):661–692, 1982

    1982

  28. [28]

    S.-T. Yau. Review of geometry and analysis.Asian J. Math., 4(1):235–278, 2000. Kodaira’s issue

    2000

  29. [29]

    American Mathematical Society, Providence, RI, 2005

    Anton Zettl.Sturm-Liouville Theory, volume 121 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2005. Department of Mathematics, Universitat Jaume I-IMAC, E-12071, Castelló, Spain Email address:gimenov@mat.uji.es Department of Mathematics, Universidade Federal do Ceará, 60440-900, Fortaleza, Brazil Email address:pauloh...

    2005