Nonpositive Curvature of the quantomorphism group and quasigeostrophic motion

Jae Min Lee; Stephen C. Preston

arxiv: 1907.10256 · v2 · pith:3MOAY3IGnew · submitted 2019-07-24 · 🧮 math.DG

Nonpositive Curvature of the quantomorphism group and quasigeostrophic motion

Jae Min Lee , Stephen C. Preston This is my paper

Pith reviewed 2026-05-24 16:51 UTC · model grok-4.3

classification 🧮 math.DG

keywords quantomorphism groupquasi-geostrophic equationsectional curvatureFroude numberRossby numberLagrangian stabilitynonpositive curvaturegeophysical flows

0 comments

The pith

The quantomorphism group has nonpositive sectional curvature for quasi-geostrophic flows with one-variable stream functions when Froude and Rossby numbers are nonzero.

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

This paper calculates the sectional curvature of the quantomorphism group whose geodesics satisfy the quasi-geostrophic equation. For the special case of stream functions that depend on only one variable, the authors obtain an explicit curvature formula by simplifying Arnold's general expression. The formula reveals a criterion under which the curvature operator is nonpositive. Nonzero values of the Froude and Rossby numbers both contribute to this nonpositivity, which in turn indicates Lagrangian stability of the corresponding flows.

Core claim

The paper computes the sectional curvature of the quantomorphism group D_q(M) for quasi-geostrophic flows with one-variable stream functions by simplifying Arnold's general formula when the vector field is close to a Killing field and using the Green's function explicitly. It establishes a criterion for the curvature operator to be nonpositive and shows that nonzero Froude and Rossby numbers both tend to stabilize flows in the Lagrangian sense.

What carries the argument

The simplification of Arnold's general sectional curvature formula for vector fields close to Killing fields, followed by explicit evaluation with the Green's function.

If this is right

Nonzero Froude number contributes to nonpositive sectional curvature.
Nonzero Rossby number contributes to nonpositive sectional curvature.
Nonpositive sectional curvature implies Lagrangian stability for the flows considered.
The derived criterion identifies when the curvature operator remains nonpositive.

Where Pith is reading between the lines

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

The same simplification technique might apply to other one-parameter families of stream functions beyond the cases already checked.
If the curvature remains nonpositive for a wider class of flows, the stability conclusion could extend to more realistic geophysical models.
Direct numerical integration of the geodesic equation on the quantomorphism group could test whether the curvature sign correlates with observed trajectory behavior.

Load-bearing premise

The vector field is sufficiently close to a Killing field so that Arnold's general curvature formula simplifies to an explicit expression involving the Green's function.

What would settle it

An explicit computation of the sectional curvature for a specific one-variable stream function with nonzero Froude and Rossby numbers that nevertheless yields a positive value in some plane would falsify the nonpositivity claim.

read the original abstract

In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude number and the Rossby number on curvature. The main technique to obtain a usable formula is a simplification of Arnold's general formula in the case where a vector field is close to a Killing field, and then use the Green's function explicitly. We show that nonzero Froude number and Rossby numbers both tend to stabilize flows in the Lagrangian sense.

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

The paper delivers an explicit sectional curvature formula for one-variable stream functions on the quantomorphism group by simplifying Arnold near Killing fields, but the lack of error control on that step leaves the nonpositive sign unverified.

read the letter

The paper computes an explicit sectional curvature formula for the quantomorphism group on flows whose stream function depends on only one variable. It starts from Arnold's general expression, approximates for fields close to Killing, plugs in the Green's function, and extracts dependence on the Froude and Rossby numbers to conclude that nonzero values of both make curvature nonpositive and therefore stabilize the flow in the Lagrangian sense. That explicit formula and the resulting parameter criterion are new relative to the cited literature. The technique itself is standard and the derivation is a direct specialization, so the calculation is reproducible in principle once the steps are written out. The main limitation is the near-Killing simplification. The abstract invokes it for the one-variable case but supplies no quantitative bound on the deviation or remainder estimate for the curvature operator. Without that control the claimed sign is not guaranteed, even if the simplified expression looks nonpositive. If the full text contains a verification or an explicit error term for the flows considered, the gap closes; otherwise the central claim rests on an uncontrolled approximation. This is niche work aimed at people already using infinite-dimensional geometry on geophysical models. A reader who wants a concrete stability criterion expressed through curvature will find a usable formula here, provided the approximation holds. The paper deserves peer review because the underlying tools are established and the result is checkable, but any referee should focus on whether the near-Killing step is justified with bounds rather than just asserted.

Referee Report

1 major / 2 minor

Summary. The paper computes the sectional curvature of the quantomorphism group D_q(M) whose geodesics satisfy the quasi-geostrophic equation, restricting to stream functions that depend on only one variable. It obtains an explicit formula by simplifying Arnold's general curvature expression under the assumption that the vector field is close to a Killing field and then substituting the Green's function; from this it derives a criterion for nonpositive sectional curvature and concludes that nonzero Froude and Rossby numbers both act to stabilize the flow in the Lagrangian sense.

Significance. If the derivation is made rigorous, the result supplies a concrete geometric criterion linking the sign of sectional curvature on D_q(M) to the stabilizing influence of the Froude and Rossby numbers, extending Arnold's framework from the Euler equations to the quantomorphism group. The explicit use of the Green's function for one-variable stream functions is a technical strength that could yield falsifiable predictions for Lagrangian stability in geophysical flows.

major comments (1)

[Abstract and curvature derivation section] Abstract and the section containing the curvature derivation: the central claim that the sectional curvature is nonpositive (and hence that nonzero Froude/Rossby numbers stabilize flows) rests on replacing Arnold's general formula with an explicit expression that holds only when the vector field is sufficiently close to a Killing field. No quantitative bound on the deviation from the Killing condition, nor an estimate of the remainder term in the curvature operator, is supplied; without such control the sign of the resulting expression is not guaranteed even for one-variable stream functions.

minor comments (2)

[Introduction] The introduction should include a brief, self-contained definition of the quantomorphism group D_q(M) and the precise dependence of the Green's function on the Froude and Rossby numbers before the simplification is invoked.
[Curvature calculation] Notation for the stream function and the one-variable restriction should be stated explicitly at the beginning of the curvature calculation to avoid ambiguity when the Green's function is substituted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for greater rigor in controlling the approximation used in the curvature formula. We address the major comment below.

read point-by-point responses

Referee: [Abstract and curvature derivation section] Abstract and the section containing the curvature derivation: the central claim that the sectional curvature is nonpositive (and hence that nonzero Froude/Rossby numbers stabilize flows) rests on replacing Arnold's general formula with an explicit expression that holds only when the vector field is sufficiently close to a Killing field. No quantitative bound on the deviation from the Killing condition, nor an estimate of the remainder term in the curvature operator, is supplied; without such control the sign of the resulting expression is not guaranteed even for one-variable stream functions.

Authors: We agree that the derivation approximates Arnold's formula under the assumption that the vector field is close to a Killing field and that no explicit bound on the deviation or remainder estimate is currently provided. In the one-variable stream-function setting the Green's function yields an explicit leading term whose sign is controlled by the Froude and Rossby numbers, but the error term was left unestimated. We will revise the curvature-derivation section (and the abstract) to include a quantitative estimate of the remainder, showing that the nonpositivity persists whenever the deviation from the Killing condition is sufficiently small relative to the nonzero Froude/Rossby parameters. This will be stated as a precise regime of validity rather than an unconditional claim. revision: yes

Circularity Check

0 steps flagged

Derivation from Arnold's external formula with Green's function is self-contained; no circular reduction

full rationale

The paper derives its sectional curvature formula by starting from Arnold's established general curvature formula for the diffeomorphism group and applying a simplification valid when the vector field is close to a Killing field, followed by explicit use of the Green's function for one-variable stream functions. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the nonpositive curvature criterion and stabilization claims for nonzero Froude/Rossby numbers follow directly from this explicit expression without circularity. The approximation assumption affects validity but does not create a definitional loop or force the result to match its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background assumptions from Riemannian geometry and fluid dynamics together with one paper-specific simplification assumption; no free parameters or invented entities are introduced.

axioms (2)

domain assumption M is a compact Riemannian manifold without boundary
Required for the diffeomorphism group and Killing fields to be well-defined in the standard setting of Arnold-type geometry.
ad hoc to paper The vector field is close to a Killing field
Invoked explicitly to simplify Arnold's general curvature formula to a usable expression.

pith-pipeline@v0.9.0 · 5653 in / 1256 out tokens · 33369 ms · 2026-05-24T16:51:07.758725+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The main technique to obtain a usable formula is a simplification of Arnold’s general formula in the case where a vector field is close to a Killing field, and then use the Green’s function explicitly.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

K(X,Y) = ∫ (∂y(ψ'' gx) - ½(α²ψ' - β)gx) Λ^{-1}(...) dν - ∫ (ψ'' gx)² dν

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

16 extracted references · 16 canonical work pages

[1]

Arnold: collected works vol

Arnold, V.I., On the diﬀerential geometry of inﬁnite-di mensional Lie groups and its application to the hydrody- namics of perfect ﬂuids, translation of the French original , in Vladimir I. Arnold: collected works vol. 2 , Springer, New York, 2014

work page 2014
[2]

Arnold and B

V. Arnold and B. Khesin, Topological methods in hydrodyn amics, Springer, Vol. 125, 1999

work page 1999
[3]

Bauer, P

M. Bauer, P. Harms, and S.C. Preston, Vanishing distance phenomena and the geometric approach to SQG, arXiv:1805.04401

work page arXiv
[4]

Ebin and J

D. Ebin and J. Marsden, Groups of diﬀeomorphisms and the m otion of an incompressible ﬂuid, Ann. Math. , 102–163, 1970

work page 1970
[5]

Ebin and S

D. Ebin and S. Preston, Riemannian geometry of the contac tomorphism group, Arnold Math. J. , 1(1), 5–36, 2015

work page 2015
[6]

Holm and V

D. Holm and V. Zeitlin, Hamilton’s principle for quasige ostrophic motion, Phys. Fluids , 10(4), 800–806, 1998

work page 1998
[7]

Khesin, J

B. Khesin, J. Lenells, G. Misiolek, and S. Preston, Curva tures of Sobolev Metrics on Diﬀeomorphism Groups Pure Appl. Math. Quart. , 9(2), 291–332, 2013

work page 2013
[8]

Majda, Introduction to PDEs and Waves for the Atmosphe re and Ocean, Amer

A. Majda, Introduction to PDEs and Waves for the Atmosphe re and Ocean, Amer. Math. Soc. , Vol. 9, 2003

work page 2003
[9]

Misiolek, Stability of Flows of Ideal Fluids and the Ge ometry of the Group of Diﬀeomorphisms, Indiana Univ

G. Misiolek, Stability of Flows of Ideal Fluids and the Ge ometry of the Group of Diﬀeomorphisms, Indiana Univ. Math. J. , 42(1), 215–235, 1993

work page 1993
[10]

Pedlosky, Geophysical ﬂuid dynamics, Springer, 2013

J. Pedlosky, Geophysical ﬂuid dynamics, Springer, 2013

work page 2013
[11]

Preston, For ideal ﬂuids, Eulerian and Lagrangian instabilities are equivalent, Geom

S.C. Preston, For ideal ﬂuids, Eulerian and Lagrangian instabilities are equivalent, Geom. Funct. Anal. 14(5), 1044–1062, 2004

work page 2004
[12]

Preston, Nonpositive curvature on the area-prese rving diﬀeomorphism group, J

S.C. Preston, Nonpositive curvature on the area-prese rving diﬀeomorphism group, J. Geom. Phys. , 53(2), 226– 248, 2005

work page 2005
[13]

Vizman, Cocycles and stream functions in quasigeost rophic motion, J

C. Vizman, Cocycles and stream functions in quasigeost rophic motion, J. Nonlin. Math. Phys. , 15(2), 140–146, 2008

work page 2008
[14]

Washabaugh, The SQG equation as a geodesic equation, Arch

P. Washabaugh, The SQG equation as a geodesic equation, Arch. Rat. Mech. Anal. , 222(3), 1269–1284, 2016

work page 2016
[15]

Washabaugh and S.C

P. Washabaugh and S.C. Preston, The geometry of axisymm etric ideal ﬂuid ﬂows with swirl, Arnold Math. J. 3(2), 175—185, 2017

work page 2017
[16]

Zeitlin and R.A

V. Zeitlin and R.A. Pasmanter, On the diﬀerential geome try approach to geophysical ﬂows, Phys. Lett. A , 189, 59–63, 1994 Department of Mathematics, KTH Royal Institute of Technolo gy, 100 44 Stockholm, Sweden E-mail address : lee9@kth.se Department of Mathematics, Brooklyn College and the Gradua te Center, City University of New York, NY 11106, USA E-ma...

work page 1994

[1] [1]

Arnold: collected works vol

Arnold, V.I., On the diﬀerential geometry of inﬁnite-di mensional Lie groups and its application to the hydrody- namics of perfect ﬂuids, translation of the French original , in Vladimir I. Arnold: collected works vol. 2 , Springer, New York, 2014

work page 2014

[2] [2]

Arnold and B

V. Arnold and B. Khesin, Topological methods in hydrodyn amics, Springer, Vol. 125, 1999

work page 1999

[3] [3]

Bauer, P

M. Bauer, P. Harms, and S.C. Preston, Vanishing distance phenomena and the geometric approach to SQG, arXiv:1805.04401

work page arXiv

[4] [4]

Ebin and J

D. Ebin and J. Marsden, Groups of diﬀeomorphisms and the m otion of an incompressible ﬂuid, Ann. Math. , 102–163, 1970

work page 1970

[5] [5]

Ebin and S

D. Ebin and S. Preston, Riemannian geometry of the contac tomorphism group, Arnold Math. J. , 1(1), 5–36, 2015

work page 2015

[6] [6]

Holm and V

D. Holm and V. Zeitlin, Hamilton’s principle for quasige ostrophic motion, Phys. Fluids , 10(4), 800–806, 1998

work page 1998

[7] [7]

Khesin, J

B. Khesin, J. Lenells, G. Misiolek, and S. Preston, Curva tures of Sobolev Metrics on Diﬀeomorphism Groups Pure Appl. Math. Quart. , 9(2), 291–332, 2013

work page 2013

[8] [8]

Majda, Introduction to PDEs and Waves for the Atmosphe re and Ocean, Amer

A. Majda, Introduction to PDEs and Waves for the Atmosphe re and Ocean, Amer. Math. Soc. , Vol. 9, 2003

work page 2003

[9] [9]

Misiolek, Stability of Flows of Ideal Fluids and the Ge ometry of the Group of Diﬀeomorphisms, Indiana Univ

G. Misiolek, Stability of Flows of Ideal Fluids and the Ge ometry of the Group of Diﬀeomorphisms, Indiana Univ. Math. J. , 42(1), 215–235, 1993

work page 1993

[10] [10]

Pedlosky, Geophysical ﬂuid dynamics, Springer, 2013

J. Pedlosky, Geophysical ﬂuid dynamics, Springer, 2013

work page 2013

[11] [11]

Preston, For ideal ﬂuids, Eulerian and Lagrangian instabilities are equivalent, Geom

S.C. Preston, For ideal ﬂuids, Eulerian and Lagrangian instabilities are equivalent, Geom. Funct. Anal. 14(5), 1044–1062, 2004

work page 2004

[12] [12]

Preston, Nonpositive curvature on the area-prese rving diﬀeomorphism group, J

S.C. Preston, Nonpositive curvature on the area-prese rving diﬀeomorphism group, J. Geom. Phys. , 53(2), 226– 248, 2005

work page 2005

[13] [13]

Vizman, Cocycles and stream functions in quasigeost rophic motion, J

C. Vizman, Cocycles and stream functions in quasigeost rophic motion, J. Nonlin. Math. Phys. , 15(2), 140–146, 2008

work page 2008

[14] [14]

Washabaugh, The SQG equation as a geodesic equation, Arch

P. Washabaugh, The SQG equation as a geodesic equation, Arch. Rat. Mech. Anal. , 222(3), 1269–1284, 2016

work page 2016

[15] [15]

Washabaugh and S.C

P. Washabaugh and S.C. Preston, The geometry of axisymm etric ideal ﬂuid ﬂows with swirl, Arnold Math. J. 3(2), 175—185, 2017

work page 2017

[16] [16]

Zeitlin and R.A

V. Zeitlin and R.A. Pasmanter, On the diﬀerential geome try approach to geophysical ﬂows, Phys. Lett. A , 189, 59–63, 1994 Department of Mathematics, KTH Royal Institute of Technolo gy, 100 44 Stockholm, Sweden E-mail address : lee9@kth.se Department of Mathematics, Brooklyn College and the Gradua te Center, City University of New York, NY 11106, USA E-ma...

work page 1994