pith. sign in

arxiv: 2605.17502 · v1 · pith:LKVCEYCVnew · submitted 2026-05-17 · 🧮 math-ph · math.AP· math.DG· math.MP· physics.flu-dyn

Resolving the viscosity operator ambiguity on Riemannian manifolds via a kinematic selection principle

Zhi-Wei Wang , Samuel L. Braunstein This is my paper

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

classification 🧮 math-ph math.APmath.DGmath.MPphysics.flu-dyn
keywords Navier-Stokes equationsRiemannian manifoldsviscosity operatordeformation LaplacianHodge LaplacianLie draggingkinematic constructionthin-shell limit
0
0 comments X

The pith

A Lagrangian kinematic construction uniquely selects the deformation Laplacian as the viscous operator for fluids on Riemannian manifolds.

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

The paper shows that the Navier-Stokes equations on a general Riemannian manifold allow several possible viscous operators, but a construction that defines the strain rate from how inner products between Lie-dragged particle-connecting vectors change over time picks out only the deformation Laplacian. This selection happens at the kinematic level before any material assumptions are added, because the resulting strain-rate object is always symmetric and therefore cannot include the antisymmetric piece required by the Hodge Laplacian. When the fluid is obtained as the thin-shell limit of an ambient three-dimensional flow, the intrinsic contribution remains the deformation Laplacian for any normal boundary condition, while the full operator switches between deformation and Hodge forms depending on whether stress-free or Hodge conditions are imposed. The same construction is consistent with the known failure of the energy inequality for the Hodge Laplacian on the hyperbolic plane, where the deformation Laplacian remains coercive and supports unique global weak solutions with exponential energy decay on any complete two-dimensional manifold whose Gaussian curvature is bounded above by a negative constant.

Core claim

On a general Riemannian manifold the Navier-Stokes equations admit several inequivalent formulations differing in the choice of viscous operator. A Lagrangian kinematic construction in which the strain rate is built from the rate of change of inner products of Lie-dragged connecting vectors uniquely selects the deformation Laplacian for fluids whose configuration space is intrinsically the manifold. The Hodge Laplacian is excluded at the kinematic step because the strain rate constructed from inner-product geometry is symmetric and has no antisymmetric part. When the fluid arises as a thin-shell limit of an ambient three-dimensional flow, stress-free conditions recover the deformation Laplac

What carries the argument

Lagrangian kinematic construction of the strain rate tensor from the rate of change of inner products of Lie-dragged connecting vectors

If this is right

  • The deformation Laplacian is the operator selected by intrinsic manifold kinematics for the viscous term in the Navier-Stokes equations.
  • On any complete two-dimensional manifold with Gaussian curvature bounded above by a negative constant, the incompressible Navier-Stokes equation with the deformation Laplacian admits a unique global weak solution with exponential energy decay.
  • In the thin-shell limit the intrinsic piece of the viscous operator is always the deformation Laplacian regardless of normal boundary conditions.
  • Stress-free boundary conditions in the normal direction recover the deformation Laplacian while Hodge boundary conditions recover the Hodge Laplacian.

Where Pith is reading between the lines

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

  • The same Lie-dragging construction could be used to select dissipation operators in other continuum theories such as linear elasticity on curved spaces.
  • Numerical simulations of flows on curved surfaces would gain consistency by adopting the deformation Laplacian rather than the Hodge form.
  • The boundary-condition dependence in the thin-shell limit suggests that layered fluid models on manifolds can be tuned by normal constraints to realize either operator.

Load-bearing premise

The strain rate constructed from inner-product geometry of Lie-dragged vectors is symmetric and possesses no antisymmetric part.

What would settle it

A direct computation of the strain-rate tensor on the hyperbolic plane that finds a nonzero antisymmetric component would falsify the kinematic exclusion of the Hodge Laplacian.

read the original abstract

On a general Riemannian manifold the Navier-Stokes equations admit several inequivalent formulations, differing in the choice of viscous operator: the Hodge Laplacian, the Bochner Laplacian, or the deformation Laplacian. We show that a Lagrangian kinematic construction, in which the strain rate is built from the rate of change of inner products of Lie-dragged connecting vectors, uniquely selects the deformation Laplacian for fluids whose configuration space is intrinsically the manifold. The Hodge Laplacian is excluded at the kinematic step (before introducing constitutive assumptions) because the strain rate constructed from inner-product geometry is symmetric and has no antisymmetric part. We further show that when the fluid arises as a thin-shell limit of an ambient three-dimensional flow, the operator that emerges depends on the boundary condition imposed in the normal direction: stress-free (Navier slip) conditions recover the deformation Laplacian, while Hodge boundary conditions recover the Hodge Laplacian, via an explicit decomposition of the ambient Bochner Laplacian into intrinsic and extrinsic pieces. The intrinsic piece is the deformation Laplacian regardless of the boundary condition. As an analytical confirmation, we show that the kinematic selection is consistent with the known failure of the energy inequality for the Hodge Laplacian on the hyperbolic plane $\HH^2$: the deformation Laplacian is coercive on $\HH^2$ while the Hodge Laplacian is not, because the Ricci term has the opposite sign in the two operators. We further prove that on any complete two-dimensional manifold with Gaussian curvature bounded above by a negative constant, the incompressible Navier-Stokes equation with the deformation Laplacian admits a unique global weak solution with exponential energy decay, resolving the analytical obstruction preventing the corresponding result for the Hodge Laplacian.

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

2 major / 2 minor

Summary. The paper addresses the ambiguity in viscous operators for the Navier-Stokes equations on Riemannian manifolds (Hodge Laplacian, Bochner Laplacian, deformation Laplacian). It proposes a Lagrangian kinematic construction in which the strain rate is defined from the time derivative of inner products of Lie-dragged connecting vectors; this symmetric (0,2)-tensor is argued to select the deformation Laplacian uniquely at the kinematic level, prior to constitutive assumptions. The Hodge Laplacian is excluded because the constructed strain rate has vanishing antisymmetric part. The paper further analyzes the thin-shell limit of an ambient 3D flow, showing that stress-free (Navier slip) boundary conditions recover the deformation Laplacian while Hodge boundary conditions recover the Hodge Laplacian, with the intrinsic piece always being the deformation Laplacian. Analytical confirmation is provided via consistency with the known failure of the energy inequality for the Hodge Laplacian on the hyperbolic plane H^2 (where the deformation Laplacian is coercive), and a proof of unique global weak solutions with exponential energy decay for the incompressible Navier-Stokes equation with the deformation Laplacian on any complete 2D manifold with Gaussian curvature bounded above by a negative constant.

Significance. If the kinematic selection holds, the work supplies a geometrically intrinsic criterion for choosing the viscous operator when the fluid configuration space is the manifold itself, independent of ad-hoc constitutive choices. The thin-shell decomposition clarifies how extrinsic curvature and boundary conditions mediate between operators, while the global existence result on negatively curved 2D manifolds removes an analytical obstruction that had blocked similar theorems for the Hodge Laplacian. The absence of free parameters or fitted constants in the selection principle strengthens the claim that the deformation Laplacian is the natural choice for intrinsically manifold-based fluids.

major comments (2)
  1. [kinematic construction section (prior to constitutive assumptions)] The central kinematic exclusion of the Hodge Laplacian rests on the symmetry of the Lie-dragged strain rate (vanishing antisymmetric part). However, as both the deformation and Hodge Laplacians can be realized as divergences of symmetric stress tensors, the manuscript must demonstrate explicitly that the Hodge operator cannot be recovered from a stress proportional to this symmetric strain rate once the divergence-free constraint is imposed. Without an operator-level comparison (e.g., their difference acting on divergence-free fields or via the Ricci term), the claim that symmetry alone rules out the Hodge Laplacian at the purely kinematic stage remains incomplete. This is load-bearing for the uniqueness assertion.
  2. [thin-shell limit analysis] In the thin-shell decomposition, the statement that the intrinsic piece is always the deformation Laplacian regardless of boundary condition should be accompanied by an explicit formula showing how the ambient Bochner Laplacian splits into intrinsic deformation Laplacian plus extrinsic terms, with the boundary condition only affecting the extrinsic contribution. The current outline leaves unclear whether the projection onto the tangent bundle preserves the exact identification for both Navier-slip and Hodge boundary conditions.
minor comments (2)
  1. Notation for the strain-rate tensor and its Lie derivative should be introduced with a clear distinction between the (0,2) and (1,1) versions to avoid confusion when comparing to the Hodge and Bochner operators.
  2. [analytical confirmation on H^2] The energy inequality consistency argument on H^2 would benefit from a short table or explicit sign comparison of the Ricci curvature term in the two operators to make the coercivity difference immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised help clarify the kinematic selection and thin-shell analysis. We address each major comment below and have revised the manuscript accordingly to strengthen the arguments.

read point-by-point responses

  1. Referee: [kinematic construction section (prior to constitutive assumptions)] The central kinematic exclusion of the Hodge Laplacian rests on the symmetry of the Lie-dragged strain rate (vanishing antisymmetric part). However, as both the deformation and Hodge Laplacians can be realized as divergences of symmetric stress tensors, the manuscript must demonstrate explicitly that the Hodge operator cannot be recovered from a stress proportional to this symmetric strain rate once the divergence-free constraint is imposed. Without an operator-level comparison (e.g., their difference acting on divergence-free fields or via the Ricci term), the claim that symmetry alone rules out the Hodge Laplacian at the purely kinematic stage remains incomplete. This is load-bearing for the uniqueness assertion.

    Authors: We agree that an explicit operator-level comparison is needed to fully substantiate the kinematic exclusion. The construction defines the strain rate directly as the symmetric (0,2)-tensor given by the Lie derivative of the metric (equivalently, the rate of change of inner products of Lie-dragged vectors), which by definition has vanishing antisymmetric part. In the revised manuscript we add a direct computation of the difference between the deformation and Hodge Laplacians restricted to divergence-free vector fields. This difference reduces to a multiple of the Ricci curvature term (with opposite sign relative to the two operators). Since the Ricci term is independent of the stress symmetry and is generically nonzero, the symmetric kinematic strain rate selects the deformation Laplacian uniquely even after imposing the divergence-free constraint. This addition makes the uniqueness claim at the kinematic stage fully rigorous. revision: yes

  2. Referee: [thin-shell limit analysis] In the thin-shell decomposition, the statement that the intrinsic piece is always the deformation Laplacian regardless of boundary condition should be accompanied by an explicit formula showing how the ambient Bochner Laplacian splits into intrinsic deformation Laplacian plus extrinsic terms, with the boundary condition only affecting the extrinsic contribution. The current outline leaves unclear whether the projection onto the tangent bundle preserves the exact identification for both Navier-slip and Hodge boundary conditions.

    Authors: We concur that an explicit splitting formula clarifies the decomposition. The thin-shell analysis proceeds by embedding the manifold as a hypersurface in an ambient 3-manifold and projecting the ambient Bochner Laplacian onto the tangent bundle. In the revision we insert the explicit formula: the projected ambient operator equals the intrinsic deformation Laplacian plus extrinsic terms involving the second fundamental form, mean curvature, and normal derivatives of the velocity. The boundary conditions (Navier-slip versus Hodge) appear exclusively in the extrinsic boundary integrals and do not alter the tangential projection of the intrinsic component. Direct verification shows that the identification of the intrinsic piece with the deformation Laplacian holds identically for both choices of boundary condition, as the projection operator annihilates the normal contributions before the boundary terms are applied. revision: yes

Circularity Check

0 steps flagged

Kinematic construction is self-contained and independent of target operator

full rationale

The paper derives the strain-rate tensor directly from the time derivative of inner products of Lie-dragged connecting vectors on the manifold; this geometric definition produces a symmetric (0,2)-tensor by construction and is invoked prior to any constitutive law or choice of Laplacian. The exclusion of the Hodge Laplacian follows from this symmetry property rather than from any fitted parameter, self-referential definition, or load-bearing citation to the authors' prior work. Consistency with the known energy inequality failure on H^2 is presented as an external analytical check, not as an input that forces the result. No step reduces the claimed uniqueness to a renaming, ansatz smuggling, or self-citation chain; the derivation therefore remains non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard axioms of Riemannian geometry and differential geometry together with the domain assumption that the fluid configuration space coincides with the manifold itself. No free parameters or new postulated entities are introduced.

axioms (2)
  • standard math Standard structure of a Riemannian manifold including Lie dragging of vector fields and inner-product geometry.
    Invoked to construct the strain rate from rate of change of inner products.
  • domain assumption The fluid configuration space is intrinsically the manifold.
    Required for the kinematic construction to select an intrinsic operator.

pith-pipeline@v0.9.0 · 5836 in / 1399 out tokens · 51554 ms · 2026-05-19T22:22:17.754425+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

31 extracted references · 31 canonical work pages

  1. [1]

    Czubak, In search of the viscosity operator on Riemannian manifolds,Notices Amer

    M. Czubak, In search of the viscosity operator on Riemannian manifolds,Notices Amer. Math. Soc.71(2024) 8–16

    work page 2024

  2. [2]

    Ebin and J

    D.G. Ebin and J. Marsden, Groups of diffeomorphisms and the motion of an incompressible fluid,Ann. Math.92(1970) 102–163

    work page 1970

  3. [3]

    Arnold, Sur la g´ eom´ etrie diff´ erentielle des groupes de Lie de dimension infinie et ses applications ` a l’hydrodynamique des fluides parfaits,Ann

    V.I. Arnold, Sur la g´ eom´ etrie diff´ erentielle des groupes de Lie de dimension infinie et ses applications ` a l’hydrodynamique des fluides parfaits,Ann. Inst. Fourier16(1966) 319–361. English translation inAmer. Math. Soc. Transl. Ser. 279(1969) 267–325

    work page 1966

  4. [4]

    Taylor, Analysis on Morrey spaces and applications to Navier-Stokes and other evo- lution equations,Comm

    M.E. Taylor, Analysis on Morrey spaces and applications to Navier-Stokes and other evo- lution equations,Comm. Partial Differ. Equ.17(1992) 1407–1456

    work page 1992

  5. [5]

    Taylor,Partial Differential Equations III: Nonlinear Equations, 2nd ed., Springer, 2011

    M.E. Taylor,Partial Differential Equations III: Nonlinear Equations, 2nd ed., Springer, 2011

    work page 2011

  6. [6]

    Serrin, Mathematical principles of classical fluid mechanics, in:Handbuch der Physik, vol

    J. Serrin, Mathematical principles of classical fluid mechanics, in:Handbuch der Physik, vol. 8/1, Springer, 1959

    work page 1959

  7. [7]

    C.H. Chan, M. Czubak, M.M. Disconzi, The formulation of the Navier-Stokes equations on Riemannian manifolds,J. Geom. Phys.121(2017) 335–346

    work page 2017

  8. [8]

    Chan and M

    C.H. Chan and M. Czubak, The Gauss formula for the Laplacian on hypersurfaces, preprint, arXiv:2212.11928, 2022

    work page arXiv 2022

  9. [9]

    C.H. Chan, M. Czubak, T. Yoneda, The restriction problem on the ellipsoid,J. Math. Anal. Appl.527(2023) 127358. 14

    work page 2023

  10. [10]

    Temam and M

    R. Temam and M. Ziane, Navier-Stokes equations in thin spherical domains, in:Optimiza- tion Methods in Partial Differential Equations, Contemp. Math.209, Amer. Math. Soc., 1997, pp. 281–314

    work page 1997

  11. [11]

    Miura, Navier-Stokes equations in a curved thin domain, Part III: Thin-film limit, Adv

    T.-H. Miura, Navier-Stokes equations in a curved thin domain, Part III: Thin-film limit, Adv. Differ. Equ.25(2020) 457–626

    work page 2020

  12. [12]

    Arnaudon and A.B

    M. Arnaudon and A.B. Cruzeiro, Lagrangian Navier-Stokes diffusions on manifolds: vari- ational principle and stability,Bull. Sci. Math.136(2012) 857–881

    work page 2012

  13. [13]

    Arnaudon, A.B

    M. Arnaudon, A.B. Cruzeiro, S. Fang, Generalized stochastic Lagrangian paths for the Navier-Stokes equation,Ann. Sc. Norm. Super. Pisa Cl. Sci.(5)18(2018) 1033–1060

    work page 2018

  14. [14]

    Fang, Nash embedding, shape operator and Navier-Stokes equation on a Riemannian manifold,Acta Math

    S. Fang, Nash embedding, shape operator and Navier-Stokes equation on a Riemannian manifold,Acta Math. Appl. Sin. Engl. Ser.36(2020) 237–252

    work page 2020

  15. [15]

    Samavaki and J

    M. Samavaki and J. Tuomela, Navier-Stokes equations on Riemannian manifolds,J. Geom. Phys.148(2020) 103543

    work page 2020

  16. [16]

    Deissler, Derivation of the Navier-Stokes equation,Am

    R.G. Deissler, Derivation of the Navier-Stokes equation,Am. J. Phys.44(1976) 1128–1130

    work page 1976

  17. [17]

    Batchelor,An Introduction to Fluid Dynamics, 2nd paperback ed., Cambridge Univ

    G.K. Batchelor,An Introduction to Fluid Dynamics, 2nd paperback ed., Cambridge Univ. Press, 1999

    work page 1999

  18. [18]

    Marsden and T.J.R

    J.E. Marsden and T.J.R. Hughes,Mathematical Foundations of Elasticity, Prentice-Hall, 1983; Dover reprint, 1994

    work page 1983

  19. [19]

    Truesdell, The simplest rate of deformation theory of fluids,J

    C. Truesdell, The simplest rate of deformation theory of fluids,J. Rational Mech. Anal.4 (1955) 27–51

    work page 1955

  20. [20]

    Oldroyd, On the formulation of rheological equations of state,Proc

    J.G. Oldroyd, On the formulation of rheological equations of state,Proc. R. Soc. Lond. A 200(1950) 523–541

    work page 1950

  21. [21]

    Holm, J.E

    D.D. Holm, J.E. Marsden, T.S. Ratiu, The Euler-Poincar´ e equations and semidirect prod- ucts with applications to continuum theories,Adv. Math.137(1998) 1–81

    work page 1998

  22. [22]

    Heywood, The Navier-Stokes equations: on the existence, regularity and decay of solutions,Indiana Univ

    J.G. Heywood, The Navier-Stokes equations: on the existence, regularity and decay of solutions,Indiana Univ. Math. J.29(1980) 639–681

    work page 1980

  23. [23]

    Hebey,Sobolev Spaces on Riemannian Manifolds, Springer, 1996

    E. Hebey,Sobolev Spaces on Riemannian Manifolds, Springer, 1996

    work page 1996

  24. [24]

    Aubin,Some Nonlinear Problems in Riemannian Geometry, Springer, 1998

    T. Aubin,Some Nonlinear Problems in Riemannian Geometry, Springer, 1998

    work page 1998

  25. [25]

    Temam,Navier-Stokes Equations: Theory and Numerical Analysis, AMS Chelsea Pub- lishing, Providence, RI, 2001

    R. Temam,Navier-Stokes Equations: Theory and Numerical Analysis, AMS Chelsea Pub- lishing, Providence, RI, 2001

    work page 2001

  26. [26]

    Simon, Compact sets in the spaceL p(0, T;B),Ann

    J. Simon, Compact sets in the spaceL p(0, T;B),Ann. Mat. Pura Appl.146(1986) 65–96

    work page 1986

  27. [27]

    Duvaut and J.-L

    G. Duvaut and J.-L. Lions,Inequalities in Mechanics and Physics, Springer, 1976

    work page 1976

  28. [28]

    Chen and J

    W. Chen and J. Jost, A Riemannian version of Korn’s inequality,Calc. Var. Partial Differ. Equ.14(2002) 517–530

    work page 2002

  29. [29]

    Eckart, The thermodynamics of irreversible processes

    C. Eckart, The thermodynamics of irreversible processes. III. Relativistic theory of the simple fluid,Phys. Rev.58(1940) 919–924

    work page 1940

  30. [30]

    Israel and J.M

    W. Israel and J.M. Stewart, Transient relativistic thermodynamics and kinetic theory,Ann. Phys.118(1979) 341–372

    work page 1979

  31. [31]

    Bemfica, M.M

    F.S. Bemfica, M.M. Disconzi, J. Noronha, First-order general-relativistic viscous fluid dy- namics,Phys. Rev. X12(2022) 021044. 15

    work page 2022