pith. sign in

arxiv: 2603.27847 · v2 · submitted 2026-03-29 · 🧮 math.AP

Equivariant critical point theory and bifurcation of 3d gravity-capillary Stokes waves

Tommaso Barbieri , Massimiliano Berti , Marco Mazzucchelli This is my paper

Pith reviewed 2026-05-14 21:14 UTC · model grok-4.3

classification 🧮 math.AP
keywords Stokes wavesgravity-capillary wavesbifurcationequivariant Morse-Conley theorywater wavesLyapunov-Schmidt reduction
0
0 comments X

The pith

Multiple geometrically distinct three-dimensional Stokes waves bifurcate from any non-resonant two-dimensional one, all with identical momentum.

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

The paper proves that any non-resonant two-dimensional Stokes wave gives rise to several distinct three-dimensional periodic traveling waves sharing the same momentum. This clustering arises from the Hamiltonian structure of the water wave equations and their symmetry groups. The proof relies on a variational reduction followed by equivariant critical point theory on a space with torus symmetry. Such a phenomenon explains the appearance of multiple wave forms in physical observations of fluids. The approach handles singularities near two-dimensional waves by fully exploiting the symmetries.

Core claim

We establish that for any non-resonant 2D Stokes wave, the gravity-capillary water wave equations admit multiple bifurcations to geometrically distinct truly 3D Stokes waves with the same momentum. This is shown by a variational Lyapunov-Schmidt reduction combined with equivariant Morse-Conley theory applied to a functional on a joined topological space invariant under a 2-torus action, circumventing singularities via exhaustive use of symmetry groups.

What carries the argument

equivariant Morse-Conley theory for a functional on a joined topological space invariant under a 2-torus action after variational Lyapunov-Schmidt reduction

Load-bearing premise

The two-dimensional Stokes wave must satisfy a non-resonance condition so that the topological arguments in the equivariant theory apply.

What would settle it

Numerical simulation or physical observation of a non-resonant 2D Stokes wave without any bifurcating 3D waves of the same momentum would disprove the bifurcation result.

Figures

Figures reproduced from arXiv: 2603.27847 by Marco Mazzucchelli, Massimiliano Berti, Tommaso Barbieri.

Figure 1
Figure 1. Figure 1: The closed convex cone C in (1.27) associated to three resonant wave vectors j1, j2 and j3. According to The￾orem 1.3 bifurcation of Stokes waves u with momentum I(u) = a occurs if and only if a ∈ C, while 3d-Stokes waves emerge when a ∈ int(C) (if a ∈ ∂C then any u is 2d). The scenario a is not collinear with any resonant wave vector was addressed in [15], see the improved Theorem 1.2. The case a is colli… view at source ↗
read the original abstract

We establish novel existence results of $3d$ gravity-capillary periodic traveling waves. In particular we prove the bifurcation of multiple, geometrically distinct truly $3d$ Stokes waves having the same momentum of any non-resonant $2d$ Stokes wave. This unexpected clustering phenomenon of Stokes waves, observed in physical fluids, is a fundamental consequence of the Hamiltonian nature of the water waves equations, their symmetry groups, and novel topological arguments. We employ a variational Lyapunov-Schmidt reduction combined with equivariant Morse-Conley theory for a functional defined on a joined topological space invariant under a $2$-torus action. Although the reduction is a priori singular near the hyperplanes of $2d$-waves, we circumvent this difficulty by exhaustive use of the symmetry groups. This approach yields a complete bifurcation picture of $3d $ gravity-capillary Stokes waves.

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 manuscript establishes novel existence results for 3D gravity-capillary periodic traveling waves. Specifically, it proves the bifurcation of multiple, geometrically distinct truly 3D Stokes waves that share the same momentum as any non-resonant 2D Stokes wave. The approach combines a variational Lyapunov-Schmidt reduction with equivariant Morse-Conley theory applied to a functional on a joined topological space that is invariant under a 2-torus action. The reduction, though a priori singular near the hyperplanes of 2D waves, is handled through exhaustive use of the symmetry groups, yielding a complete bifurcation picture.

Significance. If the central claims hold, this work is significant for providing a rigorous mathematical foundation for the observed clustering of 3D Stokes waves in physical fluids. It highlights the role of the Hamiltonian structure, symmetry groups, and topological methods in water-wave equations, advancing the field of nonlinear PDEs and bifurcation theory for gravity-capillary waves. The use of equivariant Morse-Conley theory on a symmetry-invariant joined space is a notable technical strength.

major comments (1)
  1. [Reduction procedure and equivariant Morse-Conley theory] The Lyapunov-Schmidt reduction is described as a priori singular near the 2D-wave hyperplanes, with the singularity circumvented by symmetry groups. However, explicit estimates on the kernel of the linearized operator under the 2-torus action are needed to confirm that the reduced functional is well-defined and non-degenerate on the relevant strata, as required for the equivariant Morse-Conley index calculations to produce the claimed multiplicity of geometrically distinct 3D waves.
minor comments (1)
  1. [Introduction and main theorems] Clarify the precise statement of the non-resonance condition on the 2D wave and its role in the topological arguments, including any dependence on the capillary parameter.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript's significance and for the constructive comment on the reduction procedure. We address the point below and clarify how the symmetry groups ensure the required non-degeneracy.

read point-by-point responses

  1. Referee: [Reduction procedure and equivariant Morse-Conley theory] The Lyapunov-Schmidt reduction is described as a priori singular near the 2D-wave hyperplanes, with the singularity circumvented by symmetry groups. However, explicit estimates on the kernel of the linearized operator under the 2-torus action are needed to confirm that the reduced functional is well-defined and non-degenerate on the relevant strata, as required for the equivariant Morse-Conley index calculations to produce the claimed multiplicity of geometrically distinct 3D waves.

    Authors: We agree that making the kernel estimates fully explicit will improve clarity. In the manuscript the non-resonance assumption on the 2D waves (Definition 1.2) guarantees that the linearized operator at any 2D Stokes wave has a kernel precisely equal to the tangent space of the 2-torus orbit generated by translations and phase shifts. The Lyapunov-Schmidt reduction is performed on the orthogonal complement to this orbit inside the symmetry-invariant subspace; on that complement the operator is invertible by the spectral gap coming from non-resonance (see the variational formulation in Section 2 and the reduction step in Proposition 3.4). The 2-torus action decomposes the function space into isotypic components, and the reduction is carried out stratum by stratum on the fixed-point sets, where the operator remains Fredholm with trivial kernel in the directions transverse to the orbit. Consequently the reduced functional is well-defined and C^2 on each stratum, allowing the equivariant Morse-Conley index to be computed directly and to yield the stated multiplicity. We will add an explicit lemma (new Lemma 3.5) stating the kernel dimension and the invertibility constant in the revised version. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard equivariant topology and symmetry handling.

full rationale

The paper establishes bifurcation results for 3d gravity-capillary Stokes waves via variational Lyapunov-Schmidt reduction and equivariant Morse-Conley theory on a 2-torus invariant space. The abstract explicitly notes that the a priori singular reduction near 2d-wave hyperplanes is circumvented by exhaustive use of symmetry groups, but this is a technical step in the proof rather than a definitional or fitted reduction. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain. The central claim rests on established Hamiltonian symmetries and topological arguments that are independent of the target multiplicity result, rendering the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Hamiltonian structure of the water waves equations, their symmetry groups (2-torus action), and standard results from equivariant critical point theory; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The water waves equations are Hamiltonian and invariant under a 2-torus action generated by translations and rotations.
    Invoked in the abstract to justify the joined topological space and equivariant reduction.
  • standard math Standard results from variational Lyapunov-Schmidt reduction and equivariant Morse-Conley theory apply once the symmetry is used to handle singularities.
    Core technical tools cited without further derivation in the abstract.

pith-pipeline@v0.9.0 · 5451 in / 1307 out tokens · 27166 ms · 2026-05-14T21:14:11.083546+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

59 extracted references · 59 canonical work pages

  1. [1]

    Acta Math

    Amick C., Fraenkel L., Toland J.,On the Stokes conjecture for the wave of extreme form. Acta Math. 148, 193–214, 1982

    work page 1982

  2. [2]

    F., Bott R.,The Yang-Mills equations over Riemann surfaces.Philos

    Atiyah M. F., Bott R.,The Yang-Mills equations over Riemann surfaces.Philos. Trans. Roy. Soc. London Ser. A, 1505, 523–615, 308, 1983

    work page 1983

  3. [3]

    S., Groves M

    Bagri G. S., Groves M. D.,A Spatial Dynamics Theory for Doubly Periodic Travelling Gravity-Capillary Surface Waves on Water of Infinite Depth. J. Dyn. Diff. Equat., 27:343-370, 2015

    work page 2015

  4. [4]

    Barbieri T., Berti M., Maspero A., Mazzucchelli M.,Bifurcation of gravity-capillary Stokes waves with constant vorticity. J. Differential Equations 451, 113753, 2026

    work page 2026

  5. [5]

    Lecture Notes in Math., 1560 Springer-Verlag, Berlin, x+152 pp., 1993

    Bartsch T.,Topological methods for variational problems with symmetries. Lecture Notes in Math., 1560 Springer-Verlag, Berlin, x+152 pp., 1993

    work page 1993

  6. [6]

    Bartsch T.A generalization of the Weinstein-Moser theorems on periodic orbits of a Hamiltonian system near an equilibrium. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 14, no. 6, 691-718, 1997

    work page 1997

  7. [7]

    Mathematische Zeitschrift, 3, 341–356, 204, 1990

    Bartsch T., Clapp M.,Bifurcation theory for symmetric potential operators and the equivariant cup-length. Mathematische Zeitschrift, 3, 341–356, 204, 1990

    work page 1990

  8. [8]

    CLVIII, 1991

    Benci V.,A New Approach to the Morse-Conley Theory and Some Applications.Annali di Matematica pura ed applicata (IV), Vol. CLVIII, 1991. 58

    work page 1991

  9. [9]

    Berti M., Franzoi L., Maspero A.,Traveling quasi-periodic water waves with constant vorticity.Arch. Rat. Mech. Anal., 240, 99-202, 2021

    work page 2021

  10. [10]

    Berti M., Franzoi L., Maspero A.,Pure gravity traveling quasi-periodic water waves with constant vorticity. Comm. Pure Applied Math., 77(2): 990–1064, 2024

    work page 2024

  11. [11]

    Berti M., Maspero A., Ventura P.,On the analyticity of the Dirichlet-Neumann operator and Stokes waves. Rend. Lincei Mat. Appl., 33, 611–650, 2022

    work page 2022

  12. [12]

    E.,Introduction to Compact Transformation Groups

    Bredon G. E.,Introduction to Compact Transformation Groups. Academic Press, New York and London, 1972

    work page 1972

  13. [13]

    Conley C.,Isolated invariant sets and the Morse index., iii+89, American Mathematical Society, Providence, RI, CBMS Regional Conference Series in Mathematics, 38, 1978

    work page 1978

  14. [14]

    Acta Math

    Constantin A., Strauss W., Varvaruca E.,Global bifurcation of steady gravity water waves with critical layers. Acta Math. 217, no. 2, 195–262, 2016

    work page 2016

  15. [15]

    Craig W., Nicholls D.,Traveling two and three dimensional capillary gravity water waves. SIAM J. Math. Anal., 32, 323-359, 2000

    work page 2000

  16. [16]

    Craig W., Nicholls D.,Traveling gravity water waves in two and three dimensions.Eur. J. Mech. B Fluids, 21(6):615-641, 2002

    work page 2002

  17. [17]

    Craig W., Sulem C.,Numerical simulation of gravity water waves. J. Comput. Phys., 108, 73-83, 1993

    work page 1993

  18. [18]

    Annals of Mathematics, Vol

    Dold A.,Partitions of Unity in the Theory of Fibrations. Annals of Mathematics, Vol. 78, No. 2, 1963

    work page 1963

  19. [19]

    Dubreil-Jacotin M.-L.,Sur la d´ etermination rigoureuse des ondes permanentes p´ eriodiques d’ampleur finie. J. Math. Pures Appl. 13, 217-291, 1934

    work page 1934

  20. [20]

    Fadell E., Husseini S.,An ideal-valued cohomological index theory with applications to Borsuk-Ulam and Bourgin- Yang theorems.Ergodic Theory and Dynamical Systems, 73–85, 1988

    work page 1988

  21. [21]

    Inventiones Math

    Fadell E., Rabinowitz P.,Generalized cohomological index theories for the group actions with an application to bifurcation questions for Hamiltonian systems. Inventiones Math. 45, 139-174, 1978

    work page 1978

  22. [22]

    Feola R., Giuliani F.,Quasi-periodic traveling waves on an infinitely deep fluid under gravity.Memoires AMS, Volume 295, 164 pp., 2024

    work page 2024

  23. [23]

    Feola R., Montalto R., Terracina S.,Time quasi-periodic 3d traveling gravity water waves.Arxiv 2509.10318, 2025

    work page arXiv 2025

  24. [24]

    Ergodic Theory Dynam

    Floer A., Zehnder E.,The equivariant Conley index and bifurcations of periodic solutions of Hamiltonian systems. Ergodic Theory Dynam. Systems, 87–97, 8∗, 1988

    work page 1988

  25. [25]

    Goyon R.,Contribution ` a la th´ eorie des houles. Ann. Sci. Univ. Toulouse 22, 1-55, 1958

    work page 1958

  26. [26]

    Nonlinear Sci

    Groves M., Haragus M.,A Bifurcation Theory for Three-Dimensional Oblique Travelling Gravity-Capillary Water Waves.J. Nonlinear Sci. 13, 397–447, 2003

    work page 2003

  27. [27]

    Proceedings of the Royal Society of Edinburgh: Section A Mathematics

    Groves M., Mielke A.,A spatial dynamics approach to three-dimensional gravity-capillary steady water waves. Proceedings of the Royal Society of Edinburgh: Section A Mathematics. 131(1):b 83-136, 2001

    work page 2001

  28. [28]

    Groves M., Nilsson D., Pasquali S., Wahl´ en E.,Analytical study of a generalised Dirichlet–Neumann operator and application to three-dimensional water waves on Beltrami flows. J. Diff. Eq., 413(25): 129-189, 2024

    work page 2024

  29. [29]

    Hammack J.L., Henderson D.M., Segur H.,Progressive waves with persistent, two-dimensional surface patterns in deep water. J. Fluid Mech. 532, 1–51, 2005

    work page 2005

  30. [30]

    Hatcher A.,Algebraic topology.xii+544, Cambridge University Press, 2002

    work page 2002

  31. [31]

    Quarterly of Applied Mathematics, 80, 2, 317-401, 2022

    Haziot S., Hur V.M., Strauss W., Toland J., Wahlen E., Walsh S., Wheeler M.,Traveling water waves -the ebb and flow of two centuries. Quarterly of Applied Mathematics, 80, 2, 317-401, 2022

    work page 2022

  32. [32]

    Iooss G., Plotnikov P.,Small divisor problem in the theory of three-dimensional water gravity waves. Mem. Amer. Math. Soc., 200(940):viii+128, 2009

    work page 2009

  33. [33]

    Iooss G., Plotnikov P.,Asymmetrical tridimensional traveling gravity waves. Arch. Rat. Mech. Anal., 200(3):789–880, 2011

    work page 2011

  34. [34]

    Royal Soc

    Jones M., Toland J.,The bifurcation and secondary bifurcation of capillary gravity waves.Proc. Royal Soc. London Ser. A, 399, 391–417, 1985

    work page 1985

  35. [35]

    Jones M., Toland J.,Symmetry and bifurcation of capillary gravity waves.Arch. Rat. Mech. Anal., 96, 29–53, 1986

    work page 1986

  36. [36]

    Kozlov V., Lokharu E.Global Bifurcation and Highest Waves on Water of Finite Depth.Arch. Ration. Mech. Anal. 247, 5, 98, 2023

    work page 2023

  37. [37]

    Ann., 93, 264-314, 1925

    Levi-Civita T.,D´ etermination rigoureuse des ondes permanentes d’ ampleur finie.Math. Ann., 93, 264-314, 1925

    work page 1925

  38. [38]

    Arch Rational Mech Anal 238, 607–637, 2020

    Lokharu E., Seth D., Wahl´ en E.,An Existence Theory for Small-Amplitude Doubly Periodic Water Waves with Vorticity. Arch Rational Mech Anal 238, 607–637, 2020. 59

    work page 2020

  39. [39]

    Nonlinear Anal.: Real World Applications,14, 131-149, 2013

    Martin C.I.,Local bifurcation and regularity for steady periodic capillary-gravity water waves with constant vorticity. Nonlinear Anal.: Real World Applications,14, 131-149, 2013

    work page 2013

  40. [40]

    W., Stasheff J

    Milnor J. W., Stasheff J. D.,Characteristic classes, vii+331, Princeton Univ. Press, Annals of Math. Studies, 76, 1974

    work page 1974

  41. [41]

    Morse M.,The calculus of variations in the large.Reprint of the 1932 original, xii+368, American Mathematical Society, Providence, RI, American Mathematical Society Colloquium Publications, 18, 1996

    work page 1932

  42. [42]

    Moser J.,Periodic orbits near an Equilibrium and a Theorem by Alan Weinstein. Comm. Pure Appl. Math., XXIX, 1976

    work page 1976

  43. [43]

    Cambridge University Press, 2010

    McCleary J.,A User’s Guide to Spectral Sequences. Cambridge University Press, 2010

    work page 2010

  44. [44]

    I.,On steady waves

    Nekrasov A. I.,On steady waves. Izv. Ivanovo-Voznesenk. Politekhn. 3, 1921

    work page 1921

  45. [45]

    Mathematical methods in the applied sciences, 4113-4145, Volume 42, Issue 2, 2019

    Nilsson D.,Three-dimensional internal gravity-capillary waves in finite depth. Mathematical methods in the applied sciences, 4113-4145, Volume 42, Issue 2, 2019

    work page 2019

  46. [46]

    I.,A proof of the Stokes conjecture in the theory of surface waves

    Plotnikov P. I.,A proof of the Stokes conjecture in the theory of surface waves. Dinamika Sploshn Sred, 57, 41–76, 1982

    work page 1982

  47. [47]

    Rational Mech

    Reeder J., Shinbrot M.,On Wilton Ripples, II: Rigorous Results, Arch. Rational Mech. Anal. 77, 321–347, 1981

    work page 1981

  48. [48]

    Reeder J., Shinbrot M.,Three-dimensional, nonlinear wave interaction in water of constant depth.Nonlinear Anal., T.M.A., 5(3), 303–323, 1981

    work page 1981

  49. [49]

    Number 1, 1985

    Salamon D.,Connected simple systems and the Conley index of isolated invariant sets.Transactions of the AMS, Volume 291. Number 1, 1985

    work page 1985

  50. [50]

    Ad- vances in Math

    Seth D., Varholm K., Wahl´ en E.,Symmetric doubly periodic gravity-capillary waves with small vorticity. Ad- vances in Math. 447, 109-683, 2024

    work page 2024

  51. [51]

    Spanier E.,Algebraic topology.reprint of the 1966, Springer-Verlag, xvi+528 pp., ISBN:0-387-94426-5, 1995

    work page 1966

  52. [52]

    Stokes G.,On the theory of oscillatory waves. Trans. Cambridge Phil. Soc. 8, 441-455, 1847

    work page

  53. [53]

    Struik D.,D´ etermination rigoureuse des ondes irrotationelles p´ eriodiques dans un canal ´ a profondeur finie. Math. Ann. 95, 595-634, 1926

    work page 1926

  54. [54]

    W.,Introductory lectures on equivariant cohomology

    Tu L. W.,Introductory lectures on equivariant cohomology. Princeton University Press, 2021

    work page 2021

  55. [55]

    Wahl´ en E.,Steady periodic capillary-gravity waves with vorticity. SIAM J. Math. Anal. 38, 921-943, 2006

    work page 2006

  56. [56]

    Wahl´ en E., Weber J.,Large-amplitude steady gravity water waves with general vorticity and critical layers.Duke Math. J. 173 (11), 2197-2258, 2024

    work page 2024

  57. [57]

    Weinstein A.,Normal modes for non-linear Hamiltonian systems. Inv. Math., 20, 47-57, 1973

    work page 1973

  58. [58]

    Zakharov V.E.,Stability of periodic waves of finite amplitude on the surface of a deep fluid. J. Appl. Mech. Tech. Phys., 9, 73-83, 1968

    work page 1968

  59. [59]

    Rational Mech

    Zeidler E.,Existenzbeweis f¨ ur cnoidal waves unter Ber¨ ucksichtigung der Oberfl¨ achen spannung.Arch. Rational Mech. Anal, 41, 81-107, 1971. Tommaso Barbieri SISSA, Via Bonomea 265, 34136, Trieste, Italy tbarbier@sissa.it Massimiliano Berti SISSA, Via Bonomea 265, 34136, Trieste, Italy berti@sissa.it Marco Mazzucchelli Sorbonne Universit´ e, Universit´ ...

    work page 1971