arxiv: 2605.09587 · v1 · submitted 2026-05-10 · 🧮 math.DG

Recognition: no theorem link

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

Shun Maeta

Pith reviewed 2026-05-12 04:41 UTC · model grok-4.3

classification 🧮 math.DG

keywords biharmonic surfacesrotational surfacesminimal surfacesfour-dimensional Euclidean spaceordinary differential equationsprofile curvesurfaces of revolution

0 comments

The pith

Any biharmonic rotational surface in the 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 demonstrates that biharmonic rotational surfaces in four-dimensional Euclidean space must in fact be minimal surfaces. It achieves this by parametrizing the surface via a profile curve rotated in the ambient space and deriving the conditions imposed by the biharmonic equation. These conditions simplify to ordinary differential equations that only admit solutions where the mean curvature is zero. A reader cares because this shows that within the class of rotational surfaces, biharmonicity is equivalent to minimality, helping to understand the relationship between these two properties in higher-dimensional geometry.

Core claim

Any biharmonic rotational surface in the four-dimensional Euclidean space is minimal. The proof proceeds by reducing the biharmonic equation to a system of ordinary differential equations for the profile curve and then excluding all possible non-minimal branches through direct analysis of the resulting ODE system.

What carries the argument

The system of ordinary differential equations obtained by restricting the biharmonic equation to rotational surfaces generated by a profile curve.

If this is right

All biharmonic rotational surfaces in four-dimensional Euclidean space satisfy the minimal surface equation.
The only biharmonic rotational surfaces are the minimal ones.
This rules out non-minimal rotational surfaces as potential examples in the study of biharmonic maps.

Where Pith is reading between the lines

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

The technique of reducing to ODEs on the profile curve may apply to other symmetric biharmonic surfaces.
Similar conclusions could be drawn for biharmonic hypersurfaces or in higher dimensions.
Numerical integration of the ODE system could provide further confirmation that no non-minimal solutions exist.

Load-bearing premise

The biharmonic equation reduces to a closed system of ODEs for the profile curve under the assumed rotational parametrization in four-dimensional Euclidean space, with all non-minimal solutions then excluded by direct analysis.

What would settle it

Discovery of a specific profile curve that generates a non-minimal surface in four-dimensional Euclidean space yet obeys the biharmonic equation would disprove the claim.

read the original abstract

In this paper, we show that any biharmonic 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.

Desk Editor's Note private letter to a colleague

Maeta proves biharmonic rotational surfaces in R^4 are minimal by reducing the bitension equation to an ODE system on the profile curve and excluding non-minimal solutions.

read the letter

Maeta shows that any biharmonic rotational surface in Euclidean 4-space is minimal. The argument reduces the biharmonic condition to a closed ODE system for the generating curve under the rotational parametrization, then checks that every solution has vanishing mean curvature vector. This is a direct case of Chen's conjecture for surfaces with this symmetry. The reduction works cleanly because the ambient space is flat and the rotation preserves the relevant geometric quantities like the mean curvature and its derivatives. The exclusion of non-minimal branches follows from analyzing the resulting differential equations without extra parameters or assumptions. The method is standard for symmetric submanifolds and the outline given matches what one expects for this setting. The paper is short and focused, which helps. One soft spot is that the explicit ODE system and the full case-by-case exclusion are not visible from the abstract alone, so a referee would need to verify that no solution branches were overlooked in the analysis. If the calculations hold, the result is reliable; nothing in the described strategy indicates a gap. This is useful for specialists working on biharmonic maps or classification problems in low-dimensional Euclidean space. A reader already familiar with Chen's conjecture and symmetry reductions will get the most out of it, as it supplies one more affirmative instance and a reusable technique. It is not broad enough to change the field on its own, but the claim is precise and the approach is reproducible. I would send it to peer review. The central argument is grounded enough to merit checking the details rather than desk rejection.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that any biharmonic rotational surface in four-dimensional Euclidean space is minimal. The argument reduces the vanishing of the bitension field to a closed system of ODEs for the profile curve under the rotational parametrization in R^4, then performs a direct case analysis to exclude all non-minimal solutions. This yields a partial affirmative answer to Chen's conjecture.

Significance. If the central claim holds, the result supplies a new verified case for Chen's conjecture on biharmonic submanifolds of Euclidean space, specifically for codimension-two rotational surfaces. The symmetry-reduction technique is standard and leverages the flat ambient metric to close the ODE system without additional assumptions; the explicit exclusion of non-minimal branches adds a concrete, falsifiable verification step that strengthens the literature on biharmonic maps.

major comments (1)

[§3] §3 (Reduction to ODEs): the manuscript states that the biharmonic equation reduces to a closed ODE system for the profile curve, but the explicit component equations (involving the mean curvature vector and its Laplacian) are not displayed. Without these, independent verification that the system is indeed closed and that all branches have been enumerated is not possible from the text alone.

minor comments (2)

[§2] The notation for the rotational axis and the profile curve parametrization should be introduced with a diagram or explicit coordinate formulas in §2 to aid readability.
A brief remark on whether the analysis covers degenerate cases (vanishing rotational radius) would clarify completeness of the branch exclusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive recommendation. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

Referee: [§3] §3 (Reduction to ODEs): the manuscript states that the biharmonic equation reduces to a closed ODE system for the profile curve, but the explicit component equations (involving the mean curvature vector and its Laplacian) are not displayed. Without these, independent verification that the system is indeed closed and that all branches have been enumerated is not possible from the text alone.

Authors: We agree that the explicit component-wise equations are not written out in §3. In the revised manuscript we will insert the full system obtained by setting each component of the bitension field to zero. This will consist of the four scalar ODEs coming from the vanishing of the tangential and normal parts of τ₂(φ) after substituting the rotational parametrization and the expressions for the mean curvature vector H and its Laplacian. The added display will make the closure of the system and the subsequent case analysis fully verifiable from the text. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained symmetry reduction

full rationale

The paper reduces the bitension field equation to a closed ODE system on the profile curve via the assumed rotational parametrization in flat R^4, then excludes non-minimal solutions by direct integration and case analysis of the resulting ODEs. This is a standard, non-circular technique: the reduction follows from the intrinsic definition of the biharmonic operator and the preservation properties of the rotational action in Euclidean space, with no fitted parameters, self-referential definitions, or load-bearing self-citations required for the exclusion step. The argument stands on explicit computation rather than renaming or importing uniqueness from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on the standard definition of the biharmonic operator in Euclidean space and the existence of a rotational parametrization; no new entities or fitted constants are introduced.

axioms (2)

standard math The biharmonic equation is the vanishing of the bitension field, a fourth-order elliptic operator built from the Laplacian of the mean curvature vector.
Invoked as the definition of biharmonicity throughout the field.
domain assumption A rotational surface in R^4 admits a parametrization by a profile curve rotated around a fixed axis, reducing the PDE to an ODE system.
Standard symmetry reduction used in the proof sketch.

pith-pipeline@v0.9.0 · 5328 in / 1223 out tokens · 27266 ms · 2026-05-12T04:41:14.784346+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[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]

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]

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

work page 2014
[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]

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]

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]

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]

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]

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]

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]

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]

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. 16 SHUN MAETA

work page doi:10.4171/jems/1770 2026
[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]

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]

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]

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]

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]

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]

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]

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]

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]

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