pith. sign in

arxiv: 2605.09587 · v2 · pith:PWZF7DWQnew · submitted 2026-05-10 · 🧮 math.DG

Biharmonic rotational surfaces in the four-dimensional Euclidean space are minimal

Shun Maeta This is my paper

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

classification 🧮 math.DG
keywords biharmonic surfacesrotational surfacesminimal surfacesfour-dimensional Euclidean spaceChen's conjectureordinary differential equationssubmanifold theory
0
0 comments X

The pith

Any biharmonic simple rotational surface in four-dimensional Euclidean space is minimal.

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

The paper proves that every biharmonic simple rotational surface in four-dimensional Euclidean space must in fact be a minimal surface. It reaches this conclusion by writing the surface in terms of a profile curve that lies in a fixed plane and reducing the biharmonic condition to a system of ordinary differential equations. Analysis of that ODE system then shows that every solution satisfies the minimality equation, so no non-minimal examples survive. A reader would care because the result supplies a concrete case in which the biharmonic condition forces minimality and thereby gives a partial affirmative answer to Chen's conjecture on biharmonic submanifolds.

Core claim

The author shows that any biharmonic simple rotational surface in the four-dimensional Euclidean space is minimal. The argument proceeds by parametrizing the surface so that its profile curve lies in a fixed two-dimensional plane, deriving the biharmonic equation as an explicit system of ordinary differential equations for the components of that curve, and then proving by direct inspection of the ODE system that every solution must satisfy the vanishing of the mean curvature vector.

What carries the argument

The simple rotational surface whose profile curve lies in a fixed 2-plane, which reduces the biharmonic PDE on the surface to a closed system of ordinary differential equations that can be solved or excluded directly.

If this is right

  • The biharmonic equation on such surfaces reduces exactly to a first-order or second-order ODE system for the profile curve.
  • Every solution branch of the ODE system that is biharmonic must have vanishing mean curvature vector.
  • No non-minimal biharmonic examples exist within the class of simple rotational surfaces in E^4.
  • The result gives a partial affirmative answer to Chen's conjecture restricted to this symmetry class.

Where Pith is reading between the lines

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

  • Similar reductions to ODEs may be possible for other surfaces of revolution or helicoidal surfaces in higher-dimensional Euclidean spaces.
  • The same technique could be tested on biharmonic rotational surfaces in spheres or other space forms to see whether the conclusion persists.
  • Numerical integration of the derived ODE system could be used to search for any overlooked singular or asymptotic solutions.

Load-bearing premise

The surface is a simple rotational surface whose profile curve is confined to a fixed two-dimensional plane.

What would settle it

An explicit non-minimal biharmonic simple rotational surface in four-dimensional Euclidean space, for example a profile curve whose mean curvature vector is nonzero yet satisfies the reduced ODE system.

read the original abstract

In this paper, we show that any biharmonic simple rotational surface in the four-dimensional Euclidean space is minimal. The proof is based on reducing the biharmonic equation to a system of ordinary differential equations for the profile curve and then excluding all possible non-minimal branches. This is a partial affirmative answer to Chen's 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

1 major / 1 minor

Summary. The paper claims that any biharmonic simple rotational surface in four-dimensional Euclidean space is minimal. The proof reduces the biharmonic equation to a system of ordinary differential equations for the profile curve (assumed to lie in a fixed 2-plane) and then excludes all non-minimal branches through case analysis on the components of the curve and its derivatives.

Significance. If the central claim holds, the result supplies a partial affirmative answer to Chen's conjecture for this geometrically restricted class of surfaces in R^4. The reduction to an ODE system followed by exhaustive case exclusion is a standard technique in the field; when complete, such arguments provide concrete evidence that the biharmonic condition forces vanishing mean curvature in low-dimensional rotationally symmetric settings.

major comments (1)
  1. [Section on case division of the ODE system] The case analysis of the reduced ODE system does not explicitly treat points at which the derivative of the profile curve vanishes or the parametrization becomes singular. If such loci admit non-minimal solutions that continue to satisfy the original biharmonic equation after reparametrization, the exclusion of non-minimal branches is incomplete and the global conclusion does not follow.
minor comments (1)
  1. [Notation and setup] The explicit form of the reduced ODE system would be easier to follow if collected into a single displayed block before the case analysis begins.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying a point that requires clarification in the case analysis of the reduced ODE system. We address the concern directly below and will revise the paper to make the treatment of singular loci explicit.

read point-by-point responses

  1. Referee: The case analysis of the reduced ODE system does not explicitly treat points at which the derivative of the profile curve vanishes or the parametrization becomes singular. If such loci admit non-minimal solutions that continue to satisfy the original biharmonic equation after reparametrization, the exclusion of non-minimal branches is incomplete and the global conclusion does not follow.

    Authors: We agree that the current write-up assumes a regular parametrization throughout the case analysis and does not separately discuss loci where the derivative of the profile curve vanishes. These points are isolated for a smooth surface. Because the biharmonic condition is intrinsic, any such point admits a local regular reparametrization. In the revised version we will add a short subsection showing that, after reparametrization, the biharmonic equation forces the mean-curvature vector to vanish at those points as well; the same algebraic contradictions obtained in the regular cases therefore continue to hold. This completes the exclusion of non-minimal branches and leaves the global statement unchanged. revision: yes

Circularity Check

0 steps flagged

No circularity: direct ODE reduction and case analysis from definitions

full rationale

The paper reduces the biharmonic equation for simple rotational surfaces (profile curve in a fixed 2-plane) to an ODE system and excludes non-minimal solutions via case division on the profile components and derivatives. This follows standard definitions of the biharmonic operator, mean curvature, and rotational surfaces in Euclidean 4-space, with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations or imported uniqueness theorems. The derivation is self-contained against the geometric assumptions stated in the abstract and does not reduce the conclusion to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on the standard biharmonic equation for maps into Euclidean space and the definition of a simple rotational surface; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math The biharmonic equation is the vanishing of the bitension field, obtained by applying the rough Laplacian to the tension field.
    This is the definition used throughout biharmonic geometry and is invoked to set up the ODE system.
  • domain assumption A simple rotational surface in E^4 is generated by rotating a curve lying in a 2-plane around a fixed axis.
    This symmetry assumption allows reduction of the PDE to an ODE along the profile curve.

pith-pipeline@v0.9.0 · 5560 in / 1264 out tokens · 42869 ms · 2026-05-19T18:07:49.079528+00:00 · methodology

Review history (2 revisions) →

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

23 extracted references · 23 canonical work pages

  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]

    Brendle,Rotational symmetry of self-similar solutions to the Ricci flow, Invent

    S. Brendle,Rotational symmetry of self-similar solutions to the Ricci flow, Invent. Math.194(2013), no. 3, 731–764

    work page 2013

  3. [3]

    Caddeo, S

    R. Caddeo, S. Montaldo, C. Oniciuc and P. Piu,Surfaces in three-dimensional space forms with divergence-free stress-bienergy tensor, Ann. Mat. Pura Appl. (4)193(2014), no. 2, 529–550. 16 SHUN MAETA

    work page 2014

  4. [4]

    Chen,Some open problems and conjectures on submanifolds of finite type, Michigan State University, (1988 version)

    B.-Y. Chen,Some open problems and conjectures on submanifolds of finite type, Michigan State University, (1988 version)

    work page 1988

  5. [5]

    Chen,Chen’s biharmonic conjecture and submanifolds with parallel nor- malized mean curvature vector, Mathematics7(2019), no

    B.-Y. Chen,Chen’s biharmonic conjecture and submanifolds with parallel nor- malized mean curvature vector, Mathematics7(2019), no. 8, Article 710

    work page 2019

  6. [6]

    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

  7. [7]

    Daskalopoulos and N

    P. Daskalopoulos and N. Sesum,The classification of locally conformally flat Yamabe solitons, Adv. Math.240(2013), 346–369

    work page 2013

  8. [8]

    Arvanitoyeorgos,Biharmonicδ(r)-ideal hypersurfaces in Eu- clidean spaces are minimal, Differential Geom

    Deepika and A. Arvanitoyeorgos,Biharmonicδ(r)-ideal hypersurfaces in Eu- clidean spaces are minimal, Differential Geom. Appl.72(2020), Article 101665

    work page 2020

  9. [9]

    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

  10. [10]

    Eells and J

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

    work page 1964

  11. [11]

    Fu and M

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

    work page 2018

  12. [12]

    Y. Fu, M. C. Hong and G. Tian,The biharmonic hypersurface flow and the Willmore flow in higher dimensions, J. Eur. Math. Soc. (2026), published online first, DOI 10.4171/JEMS/1770

    work page doi:10.4171/jems/1770 2026

  13. [13]

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

    work page 2021

  14. [14]

    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

  15. [15]

    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

  16. [16]

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

    work page 1986

  17. [17]

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

    work page 1987

  18. [18]

    Luo,Weakly convex biharmonic hypersurfaces in nonpositive curvature space forms are minimal, Results Math.65(2014), no

    Y. Luo,Weakly convex biharmonic hypersurfaces in nonpositive curvature space forms are minimal, Results Math.65(2014), no. 1-2, 49–56

    work page 2014

  19. [19]

    Montaldo, C

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

    work page 2016

  20. [20]

    Maeta and H

    S. Maeta and H. Urakawa,Biharmonic Lagrangian submanifolds in Kaehler manifolds, Glasgow Math. J.55(2013), no. 2, 465–480

    work page 2013

  21. [21]

    Nistor,Complete biconservative surfaces inR 3 andS 3, J

    S. Nistor,Complete biconservative surfaces inR 3 andS 3, J. Geom. Phys.110 (2016), 130–153

    work page 2016

  22. [22]

    Ye˘ gin S ¸en and N

    R. Ye˘ gin S ¸en and N. C. Turgay,On biconservative surfaces in 4-dimensional Euclidean space, J. Math. Anal. Appl.460(2018), no. 2, 565–581

    work page 2018

  23. [23]

    E. B. Wilson and C. L. E. Moore,Differential Geometry of Two Dimensional Surfaces in Hyperspace,Proc. Amer. Acad. Arts Sciences52(1916), 267–368. Department of Mathematics, Chiba University, 1-33, Yayoicho, In- age, Chiba, 263-8522, Japan. Email address:shun.maeta@faculty.gs.chiba-u.jporshun.maeta@gmail.com

    work page 1916