pith. sign in

arxiv: 2509.05939 · v3 · pith:DPYV64OYnew · submitted 2025-09-07 · 🧮 math.DG

Classification of biharmonic Riemannian submersions from manifolds with constant sectional curvature

Shun Maeta , Miho Shito This is my paper

Pith reviewed 2026-05-18 18:42 UTC · model grok-4.3

classification 🧮 math.DG
keywords biharmonic Riemannian submersionsconstant sectional curvatureharmonic mapsRiemannian geometryChen's conjecturecodimension one
0
0 comments X

The pith

Biharmonic Riemannian submersions from constant sectional curvature manifolds are exactly the harmonic ones.

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

This paper generalizes a 2011 result on biharmonic Riemannian submersions from three-dimensional constant-curvature manifolds to surfaces. It proves the equivalence for arbitrary dimensions by constructing an adapted orthonormal frame that simplifies the biharmonic equation and then applying the curvature properties of the domain. A sympathetic reader would care because the result classifies all such submersions in this setting and supplies an affirmative codimension-one analogue to Chen's conjecture.

Core claim

We prove that a Riemannian submersion from an (n+1)-dimensional Riemannian manifold with constant sectional curvature to an n-dimensional Riemannian manifold is biharmonic if and only if it is harmonic. This follows from constructing an adapted orthonormal frame that simplifies the biharmonic equation for Riemannian submersions together with direct analysis of the curvature properties of manifolds with constant sectional curvature.

What carries the argument

Adapted orthonormal frame that simplifies the biharmonic equation for Riemannian submersions, allowing constant sectional curvature to reduce biharmonicity to harmonicity.

If this is right

  • It classifies all biharmonic submersions from constant sectional curvature domains in codimension one.
  • It affirms the codimension-one Riemannian submersion analogue of Chen's conjecture.
  • It extends the three-dimensional result of Wang and Ou to arbitrary dimensions.
  • Biharmonicity and harmonicity coincide for Riemannian submersions under constant sectional curvature.

Where Pith is reading between the lines

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

  • Similar frame simplifications might classify biharmonic submersions when curvature is bounded rather than constant.
  • The result suggests checking whether the equivalence persists for submersions with non-constant but controlled curvature.
  • Low-dimensional explicit computations on spheres or hyperbolic spaces could provide independent verification.
  • It connects to broader questions about when biharmonic maps reduce to harmonic maps in restricted geometries.

Load-bearing premise

An adapted orthonormal frame exists that simplifies the biharmonic equation enough for the constant sectional curvature to force the equivalence with harmonicity.

What would settle it

An explicit example of a biharmonic but non-harmonic Riemannian submersion from a constant sectional curvature manifold to an n-dimensional base would disprove the claim.

read the original abstract

In 2011, Wang and Ou (Math. Z. {\bf 269}:917-925, 2011) showed that any biharmonic Riemannian submersion from a 3-dimensional Riemannian manifold with constant sectional curvature to a surface is harmonic. In this paper, we generalize the 3-dimensional setting to arbitrary dimensions. By constructing an adapted orthonormal frame, we simplify the biharmonic equation for Riemannian submersions and analyze the curvature properties of Riemannian manifolds with constant sectional curvature. As a result, we prove that a Riemannian submersion from an $(n+1)$-dimensional Riemannian manifold with constant sectional curvature to an $n$-dimensional Riemannian manifold is biharmonic if and only if it is harmonic. This result may also be viewed as an affirmative codimension-one Riemannian submersion analogue of Chen's conjecture, the generalized Chen's conjecture, and the BMO conjecture.

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 proves that a Riemannian submersion from an (n+1)-dimensional manifold with constant sectional curvature to an n-dimensional manifold is biharmonic if and only if it is harmonic. The argument proceeds by constructing an adapted orthonormal frame that reduces the bitension field, then using the curvature identities of constant sectional curvature to show that any nonzero tension field produces a nonzero bitension term; this generalizes the 3-dimensional result of Wang and Ou (2011) and supplies a codimension-one affirmative case for Chen's conjecture and its variants.

Significance. If the central calculation holds, the result supplies a clean classification theorem for biharmonic submersions in constant-curvature domains and furnishes supporting evidence for several open conjectures in the codimension-one setting. The direct local-frame reduction and the explicit use of curvature contractions constitute a reproducible, self-contained proof strategy that avoids additional assumptions on the O'Neill tensors beyond the rank-one vertical distribution.

minor comments (3)
  1. [§2] §2 (Preliminaries): the definition of the adapted frame {E_1,…,E_n,E_{n+1}} should include an explicit statement that E_{n+1} is chosen to be the unit vertical vector field; without this sentence the subsequent trace computations in §4 are harder to follow.
  2. [Eq. (3.4)] Eq. (3.4): the expression for the bitension field τ_2(π) contains a term involving the curvature operator R^M; a one-line reminder that sectional curvature is constant (equal to c) would prevent the reader from having to recall the value from the introduction.
  3. [Theorem 4.1] Theorem 4.1: the statement “if and only if it is harmonic” is correct, but the proof would be clearer if the two directions were separated into (i) harmonic ⇒ biharmonic (always true) and (ii) biharmonic ⇒ harmonic (the new content).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the recognition of its generalization of the Wang-Ou 3-dimensional result, and the recommendation for minor revision. We appreciate the referee's view that the local-frame reduction and curvature contractions provide a reproducible proof strategy supporting codimension-one cases of Chen's conjecture and related open problems.

Circularity Check

0 steps flagged

No significant circularity; direct proof from definitions

full rationale

The paper establishes its main theorem via an explicit construction of an adapted orthonormal frame that reduces the bitension field equation for codimension-one Riemannian submersions, followed by direct substitution of the constant-sectional-curvature condition to show that any nonzero tension field produces a nonzero bitension term. This is a standard local calculation in differential geometry that begins from the definitions of harmonic and biharmonic maps together with the O'Neill tensor formalism; no parameter is fitted and then relabeled as a prediction, no quantity is defined in terms of the result it is used to prove, and the cited 2011 result of Wang and Ou is external prior work rather than a self-citation chain. The derivation therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition of biharmonic maps, the existence of an adapted orthonormal frame for Riemannian submersions, and the algebraic curvature identities that hold when sectional curvature is constant. No free parameters or invented entities appear.

axioms (2)
  • domain assumption Riemannian manifolds with constant sectional curvature satisfy the standard curvature identities used to simplify the biharmonic equation.
    Invoked when analyzing curvature properties after constructing the adapted frame.
  • domain assumption The biharmonic equation for a Riemannian submersion reduces via the adapted orthonormal frame.
    Central technical step stated in the abstract.

pith-pipeline@v0.9.0 · 5676 in / 1298 out tokens · 38048 ms · 2026-05-18T18:42:46.314804+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. \lambda-biharmonic Riemannian submersions from manifolds with constant sectional curvature

    math.DG 2026-05 unverdicted novelty 6.0

    Non-existence results for λ-biharmonic Riemannian submersions from constant-curvature (n+1)-manifolds to n-manifolds, plus constructions when λ equals the critical value in negative curvature.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · cited by 1 Pith paper

  1. [1]

    Akutagawa and S

    K. Akutagawa and S. Maeta,Biharmonic properly immersed submanifolds in Euclidean spaces, Geom. Dedicata164(2013), 351–355

    work page 2013

  2. [2]

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

    work page 2019

  3. [3]

    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

  4. [4]

    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

  5. [5]

    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. 18 SHUN MAETA AND MIHO SHITO

    work page 2021

  6. [6]

    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

  7. [7]

    Caddeo, S

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

    work page 2002

  8. [8]

    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

  9. [9]

    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

  10. [10]

    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

  11. [11]

    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

  12. [12]

    I. M. Dimitri´ c,Quadric representation and submanifolds of finite type, ProQuest LLC, Ann Arbor, MI, 1989

    work page 1989

  13. [13]

    I. M. Dimitri´ c,Submanifolds ofE m with harmonic mean curvature vector, Bull. Inst. Math. Acad. Sinica20(1992), no. 1, 53–65

    work page 1992

  14. [14]

    Falcitelli, S

    M. Falcitelli, S. Ianu¸ s and A. M. Pastore,Riemannian submersions and related topics, World Sci. Publ., River Edge, NJ, 2004

    work page 2004

  15. [15]

    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

  16. [16]

    Fu,Biharmonic hypersurfaces with three distinct principal curvatures in Euclidean space, Tohoku Math

    Y. Fu,Biharmonic hypersurfaces with three distinct principal curvatures in Euclidean space, Tohoku Math. J. (2)67(2015), no. 3, 465–479

    work page 2015

  17. [17]

    Fu,Biharmonic hypersurfaces with three distinct principal curvatures in spheres, Math

    Y. Fu,Biharmonic hypersurfaces with three distinct principal curvatures in spheres, Math. Nachr.288 (2015), no. 7, 763–774

    work page 2015

  18. [18]

    Fu and M

    Y. Fu and M. C. Hong,Biharmonic hypersurfaces with constant scalar curvature in space forms, Pacific J. Math.294(2018), no. 2, 329–350

    work page 2018

  19. [19]

    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

  20. [20]

    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

  21. [21]

    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

  22. [22]

    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

  23. [23]

    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

  24. [24]

    G. Y. Jiang,Some non-existence theorems of 2-harmonic isometric immersions into Euclidean spaces, Chin. Ann. Math. Ser. A,8(1987) 376-383

    work page 1987

  25. [25]

    Luo and S

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

    work page 2017

  26. [26]

    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

  27. [27]

    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

  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]

    Oniciuc,Biharmonic maps between Riemannian manifolds, An

    C. Oniciuc,Biharmonic maps between Riemannian manifolds, An. S ¸tiint ¸. Univ. Al. I. Cuza Ia¸ si. Mat. (N.S.)48(2002), no. 2, 237–248 (2003). CLASSIFICATION OF BIHARMONIC SUBMERSIONS 19

    work page 2002

  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,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

  34. [34]

    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

  35. [35]

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

    work page 2011

  36. [36]

    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

    work page 2025

  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]

    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

  39. [39]

    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. 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,...

    work page arXiv 2023