pith. sign in

arxiv: 2605.15578 · v1 · pith:JZGITLPJnew · submitted 2026-05-15 · 🧮 math.DG

λ-biharmonic Riemannian submersions from manifolds with constant sectional curvature

Shun Maeta , Miho Shito This is my paper

Pith reviewed 2026-05-19 20:02 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C4358E20
keywords λ-biharmonic mapsRiemannian submersionsconstant sectional curvaturenon-existence theoremsbiharmonic mapstension field
0
0 comments X p. Extension
pith:JZGITLPJ Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{JZGITLPJ}

Prints a linked pith:JZGITLPJ badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

λ-biharmonic Riemannian submersions from constant curvature manifolds do not exist except when curvature is negative and λ takes the critical value.

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

The paper proves non-existence results for λ-biharmonic Riemannian submersions, which extend the usual biharmonic condition by a real parameter λ multiplying one term in the bitension field. The domain is an (n+1)-dimensional Riemannian manifold of constant sectional curvature c and the target is n-dimensional. The authors identify λ = 2(n-1)c as the critical threshold. When λ differs from this value, no such submersion exists (subject to a dimensional restriction when c > 0). When λ equals the critical value, non-existence holds for c ≥ 0 while explicit examples are constructed for c < 0.

Core claim

We prove non-existence of λ-biharmonic Riemannian submersions from (n+1)-dimensional manifolds of constant sectional curvature c to n-dimensional manifolds. The critical value λ = 2(n-1)c plays a decisive role. When λ ≠ 2(n-1)c, nonexistence holds although a dimensional assumption is needed in the positive curvature case. When λ = 2(n-1)c, non-existence holds in the nonnegative curvature case, whereas explicit examples are given in the negative curvature case. In the complete connected positive-curvature setting the Gromoll-Grove theorem yields harmonicity in all dimensions.

What carries the argument

The bitension field equation of the λ-biharmonic condition, which reduces to an algebraic relation on the mean curvature vector when the domain has constant sectional curvature.

If this is right

  • When λ differs from 2(n-1)c the submersion cannot exist from any constant-curvature domain of the given dimensions.
  • When λ equals 2(n-1)c and c is nonnegative the submersion cannot exist.
  • When c is negative and λ equals 2(n-1)c such submersions can be constructed explicitly.
  • In the complete connected positive-curvature case the submersion is necessarily harmonic for any λ.

Where Pith is reading between the lines

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

  • The critical value λ = 2(n-1)c may mark the point at which the extra λ-term exactly cancels the curvature contribution in the reduced equation.
  • The same reduction technique could be tested on domains whose sectional curvatures are merely bounded from one side rather than constant.
  • The results indicate that generalized biharmonic submersions remain rare in spaces of nonnegative curvature.

Load-bearing premise

The domain manifold has constant sectional curvature c, which is used to simplify the bitension field equation and obtain the stated non-existence conclusions.

What would settle it

An explicit example of a non-harmonic λ-biharmonic Riemannian submersion from a manifold of positive constant sectional curvature with λ different from 2(n-1)c and n less than 5 would contradict the claimed non-existence in that regime.

read the original abstract

In this paper, we study \lambda-biharmonic Riemannian submersions, which generalize biharmonic Riemannian submersions. We prove non-existence results for \lambda-biharmonic Riemannian submersions from (n + 1)-dimensional Riemannian manifolds with constant sectional curvature c to n-dimensional Riemannian manifolds. Our results show that the critical value \lambda = 2(n - 1)c plays a decisive role. When \lambda \ne 2(n - 1)c, we prove a nonexistence theorem, although a dimensional assumption is needed in the positive curvature case. On the other hand, when \lambda = 2(n - 1)c, we prove a non-existence theorem in the nonnegative curvature case, whereas in the negative curvature case, we construct explicit examples. The only remaining local case is the positively curved case with \lambda \ne 2(n - 1)c and n \ge 5, while in the complete connected positive-curvature setting the theorem of Gromoll and Grove yields harmonicity in all dimensions.

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 paper studies λ-biharmonic Riemannian submersions π from an (n+1)-dimensional manifold M with constant sectional curvature c to an n-dimensional manifold N. It proves non-existence when λ ≠ 2(n−1)c (with a dimensional restriction when c>0), non-existence when λ=2(n−1)c and c≥0, and constructs explicit examples when λ=2(n−1)c and c<0. In the complete positive-curvature setting the Gromoll–Grove theorem is applied after reduction to harmonicity.

Significance. If the derivations hold, the work supplies sharp non-existence theorems that isolate the critical threshold λ=2(n−1)c and supplies explicit constructions together with a clean application of the Gromoll–Grove theorem. These results refine the classification of biharmonic submersions under constant-curvature hypotheses and furnish falsifiable distinctions between existence and non-existence regimes.

minor comments (3)
  1. The abstract states that 'a dimensional assumption is needed in the positive curvature case' without naming the threshold; the precise lower bound on n should appear already in the abstract and in the statement of the relevant theorem.
  2. Notation for the λ-bitension field and the precise meaning of 'λ-biharmonic' should be recalled or referenced in the introduction so that readers outside the immediate subfield can follow the reduction steps without consulting earlier papers.
  3. In the negative-curvature construction, the verification that the given maps are indeed Riemannian submersions and satisfy the λ-biharmonic equation at the critical value would benefit from one additional displayed line confirming the curvature term cancellation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive recommendation of minor revision. The referee's summary accurately reflects the non-existence theorems for λ-biharmonic Riemannian submersions when λ ≠ 2(n−1)c (with the noted dimensional restriction for c > 0), the non-existence result when λ = 2(n−1)c and c ≥ 0, and the explicit constructions for λ = 2(n−1)c and c < 0, together with the application of the Gromoll–Grove theorem in the complete positive-curvature case.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives its non-existence results for λ-biharmonic Riemannian submersions by direct simplification of the bitension field equation under the constant sectional curvature assumption on the domain. The critical threshold λ = 2(n-1)c emerges explicitly from this algebraic reduction, after which the authors perform case-by-case analysis for the sign of c, the relation of λ to the threshold, and local versus complete settings. Explicit examples are constructed in the negative-curvature equal-λ case, and the Gromoll–Grove theorem is applied only after the local analysis has already reduced the problem to ordinary harmonicity. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the derivation remains self-contained against the stated geometric hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard axioms of Riemannian geometry together with the definition of λ-biharmonic submersions; no free parameters or new postulated entities are introduced.

axioms (2)
  • standard math Riemannian manifolds are smooth manifolds with a positive-definite metric tensor.
    This is the foundational setting assumed for all curvature calculations and submersion definitions.
  • domain assumption The λ-biharmonic condition is defined by a parameterized bitension field equation that reduces to the biharmonic case when λ takes a specific value.
    The paper treats this parameterized equation as the object of study.

pith-pipeline@v0.9.0 · 5715 in / 1362 out tokens · 55717 ms · 2026-05-19T20:02:05.558915+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

38 extracted references · 38 canonical work pages · 1 internal anchor

  1. [1]

    M. A. Akyol and Y.-L. Ou,Biharmonic Riemannian submersions, Ann. Mat. Pura Appl. (4)198(2019), no. 2, 559–570

    work page 2019

  2. [2]

    Balmu¸ s, S

    A. Balmu¸ s, S. Montaldo and C. Oniciuc,Classification results for biharmonic submanifolds in spheres, Israel J. Math.168(2008), 201–220

    work page 2008

  3. [3]

    Balmu¸ s, S

    A. Balmu¸ s, S. Montaldo and C. Oniciuc,Biharmonic hypersurfaces in 4-dimensional space forms, Math. Nachr.283(2010), no. 12, 1696–1705

    work page 2010

  4. [4]

    H. Bibi, E. Loubeau and C. Oniciuc,Unique continuation property for biharmonic hypersurfaces in spheres, Ann. Global Anal. Geom.60(2021), no. 4, 807–827

    work page 2021

  5. [5]

    Caddeo, S

    R. Caddeo, S. Montaldo and C. Oniciuc,Biharmonic submanifolds ofS 3, Internat J. Math.12(2001), no. 8, 867–876

    work page 2001

  6. [6]

    Caddeo, S

    R. Caddeo, S. Montaldo and C. Oniciuc,Biharmonic submanifolds in spheres, Israel J. Math.130 (2002), 109–123

    work page 2002

  7. [7]

    Chen,Some open problems and conjectures on submanifolds of finite type, Soochow J

    B.-Y. Chen,Some open problems and conjectures on submanifolds of finite type, Soochow J. Math.17 (1991), no. 2, 169–188

    work page 1991

  8. [8]

    Chen and S

    B.-Y. Chen and S. Ishikawa,Biharmonic pseudo-Riemannian submanifolds in pseudo-Euclidean spaces, Kyushu J. Math.52(1998), no. 1, 167–185

    work page 1998

  9. [9]

    Chen and M

    B.-Y. Chen and M. I. Munteanu,Biharmonic ideal hypersurfaces in Euclidean spaces, Differential Geom. Appl.31(2013), no. 1, 1–16

    work page 2013

  10. [10]

    Defever,Hypersurfaces ofE 4 with harmonic mean curvature vector, Math

    F. Defever,Hypersurfaces ofE 4 with harmonic mean curvature vector, Math. Nachr.196(1998), 61–69

    work page 1998

  11. [11]

    H. I. Eliasson,Introduction to global calculus of variations, in Global anal. appl., Volume II, 113–135 (IAEA, Vienna, 1974)

    work page 1974

  12. [12]

    Eells and L

    J. Eells and L. Lemaire,A report on harmonic maps, Bull. London Math. Soc.10(1978), no. 1, 1–68

    work page 1978

  13. [13]

    Eells and L

    J. Eells and L. Lemaire,Selected topics in harmonic maps, CBMS Regional Conference Series in Math- ematics, 50, Conf. Board Math. Sci., Washington, DC, 1983 Amer. Math. Soc., Providence, RI, 1983

    work page 1983

  14. [14]

    Eells and J

    J. Eells and J. H. Sampson,Harmonic mappings of Riemannian manifolds. Amer. J. Math.86, (1964), 109-160

    work page 1964

  15. [15]

    Falcitelli, S

    M. Falcitelli, S. Ianu¸ s and A. M. Pastore,Riemannian submersions and related topics, World Sci. Publ., River Edge, NJ, 2004. 20 SHUN MAETA AND MIHO SHITO

    work page 2004

  16. [16]

    Fetcu and C

    D. Fetcu and C. Oniciuc,Biharmonic and biconservative hypersurfaces in space forms, inDifferential geometry and global analysis—in honor of Tadashi Nagano, 65–90, Contemp. Math., 777, Amer. Math. Soc., RI

    work page

  17. [17]

    Y. Fu, M. C. Hong and X. Zhan,On Chen’s biharmonic conjecture for hypersurfaces inR 5, Adv. Math. 383(2021), Paper No. 107697, 28 pp

    work page 2021

  18. [18]

    Y. Fu, M. C. Hong and X. Zhan,Biharmonic conjectures on hypersurfaces in a space form, Trans. Amer. Math. Soc.376(2023), no. 12, 8411–8445

    work page 2023

  19. [19]

    Gromoll and K

    D. Gromoll and K. Grove,One-Dimensional Metric Foliations in Constant Curvature SpacesDifferential Geom. Complex Anal., Springer, (1985), 165-168

    work page 1985

  20. [20]

    Z. Guan, H. Li and L. Vrancken,Four dimensional biharmonic hypersurfaces in nonzero space forms have constant mean curvature, J. Geom. Phys.160(2021), Paper No. 103984, 15 pp

    work page 2021

  21. [21]

    Hasanis and T

    T. Hasanis and T. Vlachos,Hypersurfaces inE 4 with harmonic mean curvature vector field, Math. Nachr.172(1995), 145–169

    work page 1995

  22. [22]

    G. Y. Jiang,2-Harmonic maps and their first and second variational formulas, Chin. Ann. Math. Ser. A,7(1986) 389-402

    work page 1986

  23. [23]

    Loubeau and S

    E. Loubeau and S. Montaldo,Biminimal immersions, Proc. Edinb. Math. Soc. (2)51(2008), no. 2, 421–437

    work page 2008

  24. [24]

    Luo and S

    Y. Luo and S. Maeta,Biharmonic hypersurfaces in a sphere, Proc. Amer. Math. Soc.145(2017), 3109-3116

    work page 2017

  25. [25]

    Maeta,Properly immersed submanifolds in complete Riemannian manifolds,Adv

    S. Maeta,Properly immersed submanifolds in complete Riemannian manifolds,Adv. Math.253(2014), 139-151

    work page 2014

  26. [26]

    Maeta,Biharmonic hypersurfaces with bounded mean curvature,Proc

    S. Maeta,Biharmonic hypersurfaces with bounded mean curvature,Proc. Amer. Math. Soc.145(2017), 1773-1779

    work page 2017

  27. [27]

    Classification of biharmonic Riemannian submersions from manifolds with constant sectional curvature

    S. Maeta, M. Shito,Classification of biharmonic Riemannian submersions from manifolds with constant sectional curvature, preprint 2025, arXiv:2509.05939

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  28. [28]

    Montaldo, C

    S. Montaldo, C. Oniciuc and A. Ratto,On cohomogeneity one biharmonic hypersurfaces into the Eu- clidean space, J. Geom. Phys.106(2016), 305–313

    work page 2016

  29. [29]

    Nakauchi and H

    N. Nakauchi and H. Urakawa,Biharmonic hypersurfaces in a Riemannian manifold with non-positive Ricci curvature, Ann. Global Anal. Geom.40(2011), no. 2, 125–131

    work page 2011

  30. [30]

    O’Neill,The fundamental equations of a submersion, Michigan Math

    B. O’Neill,The fundamental equations of a submersion, Michigan Math. J.13(1966), 459–469

    work page 1966

  31. [31]

    Ou,A short survey on biharmonic Riemannian submersions, Int

    Y.-L. Ou,A short survey on biharmonic Riemannian submersions, Int. Electron. J. Geom.17(2024), no. 1, 259–266

    work page 2024

  32. [32]

    Ou and B.-Y

    Y.-L. Ou and B.-Y. Chen,Biharmonic submanifolds and biharmonic maps in Riemannian geometry, World Sci. Publ., Hackensack, NJ, [2020]©2020

    work page 2020

  33. [33]

    Ou and L

    Y.-L. Ou and L. Tang,On the generalized Chen’s conjecture on biharmonic submanifolds, Michigan Math. J.61(2012), no. 3, 531–542

    work page 2012

  34. [34]

    Z. P. Wang and Y.-L. Ou,Biharmonic Riemannian submersions from 3-manifolds, Math. Z.269, (2011) 917-925

    work page 2011

  35. [35]

    Z. -P. Wang, Y. -L. Ou, and Q.-L. Liu,Harmonic and biharmonic Riemannian submersions from Sol space, preprint 2023, arXiv:2302.11693

    work page arXiv 2023

  36. [36]

    Z. -P. Wang and Y. -L. Ou,Biharmonic isometric immersions into and biharmonic Riemannian sub- mersions from a generalized Berger sphere, preprint 2023, arXiv:2302.11692

    work page arXiv 2023

  37. [37]

    Wang and Y.-L

    Z.-P. Wang and Y.-L. Ou,Biharmonic Riemannian submersions from a 3-dimensional BCV space, J. Geom. Anal.34(2024), no. 2, Paper No. 63, 21 pp

    work page 2024

  38. [38]

    Wang and Y.-L

    Z.-P. Wang and Y.-L. Ou,Biharmonic Riemannian submersions from the product spaceM 2 ×R, J. Geom. Anal.35(2025), no. 1, Paper No. 20, 20 pp. Department of Mathematics, Chiba University, 1-33, Yayoicho, Inage, Chiba, 263-8522, Japan. Email address:shun.maeta@faculty.gs.chiba-u.jporshun.maeta@gmail.com Department of Mathematics, Chiba University, 1-33, Yayoi...

    work page 2025