arxiv: 2601.08854 · v4 · submitted 2026-01-02 · ⚛️ physics.gen-ph

Recognition: 3 theorem links

· Lean Theorem

On Geometric Evolution and Microlocal Regularity of the Navier-Stokes Equations

Sebasti\'an Al\'i Sacasa-C\'espedes

Authors on Pith no claims yet

Pith reviewed 2026-05-16 18:40 UTC · model grok-4.3

classification ⚛️ physics.gen-ph

keywords Navier-Stokes equationsmicrolocal regularitygeometric evolutionRiemannian manifoldcosphere bundleblowup criteriondirectional entropylifted dynamics

0 comments

The pith

A smooth Navier-Stokes solution on a manifold fails to extend past time T exactly when deformation integrability, directional-entropy boundedness, or lifted-energy boundedness fails.

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

The paper introduces a microlocal framework that lifts the incompressible Navier-Stokes flow on a Riemannian manifold to a linear transport-dissipation equation on the compact unit cosphere bundle. This lift is achieved via a normal-coordinate transform justified by the homogeneity of the principal symbol, allowing the velocity gradient to act as coefficients in an effective geometric evolution on phase space. Tracking dissipation of a microlocal energy, an angular volume functional, and a directional entropy then produces an intrinsic criterion for the maximal time of smooth existence. The result recasts the regularity question as a question of whether these three controls remain bounded, with viscosity appearing through spectral coercivity of the lifted operator. The global regularity problem is thereby turned into a structural-stability question for a symmetry-constrained compact system.

Core claim

A smooth solution fails to extend past time T if and only if at least one of three intrinsic microlocal controls fails: deformation integrability, directional-entropy boundedness, or lifted-energy boundedness. The lifted dynamics on S*M is governed by an effective affine connection that induces a Ricci-type evolution; an asymptotic symmetry-lock forces angular isotropy once fiber volumes vanish, obstructing microlocal angular singularities. The framework is verified explicitly on the flat torus and extended to Euclidean space under a uniform-coordinate assumption.

What carries the argument

The normal-coordinate microlocal transform that lifts the nonlinear Navier-Stokes velocity to a linear non-autonomous transport-dissipation equation on the unit cosphere bundle S*M, with coefficients encoding the original flow's geometric quantities.

If this is right

Smooth extension beyond T requires simultaneous boundedness of all three controls.
Viscosity enters the criterion explicitly through spectral coercivity of the lifted operator.
The same geometric equivalence holds on any smooth oriented Riemannian manifold once the lift is defined.
Asymptotic vanishing of fiber volumes enforces angular isotropy and blocks microlocal angular singularities.
The flat-torus case verifies every step of the construction without additional hypotheses.

Where Pith is reading between the lines

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

If the equivalence holds, then any future proof or disproof of global regularity must exhibit or rule out the failure of one of the three controls rather than working solely with classical Sobolev estimates.
The lifted system on the compact phase space may admit new numerical or geometric methods for detecting incipient singularities before they appear in physical space.
The effective connection and Ricci-type evolution suggest possible links to other geometric flows on cotangent bundles, though such comparisons lie outside the present argument.

Load-bearing premise

The normal-coordinate microlocal transform is well-defined and the lifted linear dynamics on S*M faithfully encodes the regularity properties of the original nonlinear flow without introducing or hiding singularities.

What would settle it

Construct or numerically realize a smooth solution that blows up at finite time T while deformation integrability, directional entropy, and lifted energy all remain bounded through T, or a solution in which one of these quantities diverges but the solution nevertheless extends smoothly past T.

read the original abstract

We propose a microlocal-Riemannian framework for the three-dimensional incompressible Navier-Stokes equations on a smooth oriented Riemannian manifold (M,g). The dynamics is lifted to the unit cosphere bundle S*M via a normal-coordinate microlocal transform whose construction is justified by the positive homogeneity of the principal symbol of the linearised system in the cotangent fiber variable. Once the velocity field is fixed, the lifted dynamics is a linear non-autonomous transport-dissipation equation on a compact phase space; its coefficients encode intrinsic geometric quantities of the original flow. We introduce a microlocal energy, an angular volume functional and a directional entropy, and analyse their dissipation along the lifted dynamics. An effective affine connection encodes the back-reaction of the velocity gradient on the geometry of S*M and gives rise to a Ricci-type microlocal evolution. The framework yields a sharp geometric equivalence: a smooth solution fails to extend past time T if and only if at least one of three intrinsic microlocal controls -- deformation integrability, directional-entropy boundedness, or lifted-energy boundedness -- fails. A dimensional analysis exhibits a symmetry-lock phenomenon, in which the asymptotic vanishing of the volume of fibers enforces angular isotropy and topologically obstructs the formation of microlocal angular singularities. The framework is illustrated explicitly on the flat torus, where every assumption is verified, and is extended to the Euclidean setting under a uniform-coordinate hypothesis. The global regularity problem is not resolved here; rather, it is recast as a structural-stability question for a compact, symmetry-constrained, microlocally coercive evolution system, with the role of viscosity made explicit through spectral coercivity.

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 lifts Navier-Stokes to the cosphere bundle and claims blow-up is equivalent to failure of one of three microlocal controls, but the derivations for the lift and equivalence are not shown.

read the letter

The core claim is that a smooth solution blows up at T exactly when deformation integrability, directional-entropy boundedness, or lifted-energy boundedness fails after lifting the flow to the unit cosphere bundle via a normal-coordinate microlocal transform. The lifted equation is linear transport-dissipation on a compact space, with coefficients from the velocity field, an effective affine connection, and a Ricci-type evolution. A symmetry-lock from fiber-volume vanishing is said to force isotropy and block angular singularities. The torus case verifies the setup explicitly, and the Euclidean extension uses a uniform-coordinate assumption. This recasts regularity as structural stability rather than direct analysis, with viscosity entering through spectral coercivity. The combination of the specific lift, the three functionals, and the symmetry-lock argument is not in the cited prior work. The framework is coherent on its own terms and gives a geometric handle that could be useful for readers interested in microlocal methods for fluids. The main gap is that the abstract and summary state the equivalence and dissipation properties without derivations, error estimates, or explicit checks on how the quadratic convective term and nonlocal pressure lift. The lifted dynamics are built from the original velocity, so there is a real risk that the controls restate the solution rather than independently detect blow-up. If remainders from the nonlinearity are not controlled by the three functionals, one direction of the claimed iff can fail. The stress-test point about the transform preserving regularity without introducing or hiding singularities from the nonlinear terms is a substantive concern until the calculations are examined. This is for people working on geometric or microlocal approaches to PDEs who want to see the regularity problem in new coordinates. It shows clear thinking in the construction and honest engagement with the open problem. I would bring it to a reading group to walk through the lift. I would not cite it until the technical steps are verified. It deserves peer review because the framework is internally consistent and the torus verification is concrete; referees can check whether the lift closes the gaps.

Referee Report

3 major / 2 minor

Summary. The manuscript proposes a microlocal-Riemannian framework for the 3D incompressible Navier-Stokes equations on a smooth oriented Riemannian manifold by lifting the dynamics to the unit cosphere bundle S*M via a normal-coordinate microlocal transform justified by positive homogeneity of the principal symbol. It introduces a microlocal energy, angular volume functional, and directional entropy, analyzes their dissipation along the resulting linear non-autonomous transport-dissipation equation, and defines an effective affine connection yielding a Ricci-type microlocal evolution. The central claim is a sharp geometric equivalence: a smooth solution fails to extend past time T if and only if at least one of deformation integrability, directional-entropy boundedness, or lifted-energy boundedness fails. The framework is illustrated on the flat torus (with all assumptions verified) and extended to Euclidean space under a uniform-coordinate hypothesis; the global regularity problem is recast as a structural-stability question for a compact, symmetry-constrained system.

Significance. If the lifting is shown to faithfully encode the quadratic nonlinearity and nonlocal pressure without introducing or concealing singularities, and if the equivalence is established with explicit estimates, the work would recast the Navier-Stokes regularity problem in intrinsic geometric terms on a compact phase space, making the dissipative role of viscosity explicit via spectral coercivity and highlighting a symmetry-lock obstruction to angular singularities. This could supply new blow-up criteria and tools for related nonlinear geometric PDEs.

major comments (3)

[Abstract] Abstract (central equivalence statement): The claim that a smooth solution fails to extend past T iff at least one of the three microlocal controls fails rests on unshown derivations; no error estimates, explicit verification steps, or control of remainder terms from the convective nonlinearity (u·∇)u and Leray pressure projection are supplied, making the soundness of the iff statement unverifiable from the text.
[Abstract and lifted-dynamics section] Lifted dynamics construction (Abstract and § on normal-coordinate transform): The lifted linear transport-dissipation equation is built directly from the original velocity field, with the three controls (deformation integrability, directional entropy, lifted energy) defined in terms of the same lifted quantities; explicit estimates are required to demonstrate that this construction does not render one direction of the equivalence tautological or fail to capture quadratic/nonlocal effects.
[Abstract] Effective affine connection and Ricci-type evolution (Abstract): The back-reaction encoded by the effective affine connection on S*M must be shown to produce a closed system whose dissipation controls all singularities arising from the original nonlinear terms; without this, the direction 'control failure implies blow-up' remains open.

minor comments (2)

[Abstract and torus illustration] Clarify the precise domain and regularity assumptions under which the normal-coordinate microlocal transform is well-defined on a general manifold versus the flat-torus verification.
[Flat-torus illustration] In the flat-torus example, expand the verification of all assumptions with explicit coordinate computations to improve reproducibility.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments correctly note that the central equivalence requires more explicit supporting derivations and estimates to be fully verifiable. We have revised the manuscript to supply these elements in the relevant sections and a new appendix, without altering the core framework or claims.

read point-by-point responses

Referee: [Abstract] Abstract (central equivalence statement): The claim that a smooth solution fails to extend past T iff at least one of the three microlocal controls fails rests on unshown derivations; no error estimates, explicit verification steps, or control of remainder terms from the convective nonlinearity (u·∇)u and Leray pressure projection are supplied, making the soundness of the iff statement unverifiable from the text.

Authors: We agree that the abstract states the equivalence concisely. The full manuscript derives the lifted dynamics and the equivalence in Sections 4–5 via dissipation analysis of the microlocal energy, angular volume, and directional entropy along the transport-dissipation equation. To make the argument verifiable, we have added explicit error estimates in a new Appendix A that control the remainder terms arising from the convective nonlinearity and Leray projection. These estimates confirm that the lifted quantities faithfully encode the original quadratic and nonlocal effects, establishing both directions of the equivalence with quantitative bounds. revision: yes
Referee: [Abstract and lifted-dynamics section] Lifted dynamics construction (Abstract and § on normal-coordinate transform): The lifted linear transport-dissipation equation is built directly from the original velocity field, with the three controls (deformation integrability, directional entropy, lifted energy) defined in terms of the same lifted quantities; explicit estimates are required to demonstrate that this construction does not render one direction of the equivalence tautological or fail to capture quadratic/nonlocal effects.

Authors: The lifted equation is constructed from the velocity field via the normal-coordinate transform justified by homogeneity of the principal symbol. The three controls are nevertheless independent because their dissipation rates are derived from distinct geometric quantities (deformation tensor, angular measure, and lifted kinetic energy). We have inserted explicit a priori estimates in the revised Section 3 that bound the deviation between the lifted energy and the original NS energy balance, showing that quadratic and nonlocal contributions are preserved rather than rendered tautological. These estimates also verify that the construction captures the full nonlinear effects without concealment of singularities. revision: yes
Referee: [Abstract] Effective affine connection and Ricci-type evolution (Abstract): The back-reaction encoded by the effective affine connection on S*M must be shown to produce a closed system whose dissipation controls all singularities arising from the original nonlinear terms; without this, the direction 'control failure implies blow-up' remains open.

Authors: The effective affine connection is defined so that its curvature terms close the system by feeding the velocity-gradient back-reaction into the geometry of S*M, yielding the Ricci-type evolution equation. Dissipation of the microlocal quantities along this closed evolution then controls singularities. We have expanded the derivation in the revised Section 6 with explicit estimates demonstrating that failure of any one control produces a contradiction with assumed smoothness of the original solution, thereby establishing the 'control failure implies blow-up' direction. The estimates rely on spectral coercivity of the dissipation operator and the compactness of the phase space. revision: yes

Circularity Check

1 steps flagged

Equivalence claim is self-definitional: controls are constructed from the lifted dynamics of the given solution

specific steps

self definitional [Abstract (equivalence statement)]
"The framework yields a sharp geometric equivalence: a smooth solution fails to extend past time T if and only if at least one of three intrinsic microlocal controls -- deformation integrability, directional-entropy boundedness, or lifted-energy boundedness -- fails."

The lifted dynamics on S*M is obtained by applying the normal-coordinate microlocal transform to the velocity field of the original solution; the controls are then introduced as functionals (microlocal energy, angular volume, directional entropy) whose dissipation is analyzed along this lifted equation. The claimed equivalence therefore holds by how the controls are defined from the input solution, not by an independent argument that their breakdown forces singularity formation in the nonlinear NS system.

full rationale

The paper constructs the lifted transport-dissipation equation directly from the velocity field of a given smooth NS solution, then defines the three microlocal controls (deformation integrability, directional-entropy boundedness, lifted-energy boundedness) in terms of dissipation along that same lifted dynamics. The central iff statement therefore reduces to a definitional equivalence rather than an independent derivation. No external benchmark or independent verification is supplied to show that control failure implies blow-up in the original nonlinear system; the reduction follows from the construction itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 4 invented entities

The framework rests on standard Riemannian geometry and microlocal analysis plus several newly introduced objects whose independence from the target regularity claim is not yet demonstrated.

axioms (2)

domain assumption The principal symbol of the linearised Navier-Stokes system is positively homogeneous in the cotangent fiber variable
Invoked to justify construction of the normal-coordinate microlocal transform.
standard math The manifold (M,g) is smooth and oriented
Background assumption for the Riemannian setting.

invented entities (4)

microlocal energy no independent evidence
purpose: Measure of intensity along lifted dynamics
New functional introduced to track dissipation
angular volume functional no independent evidence
purpose: Track symmetry and fiber volume
New functional used in symmetry-lock argument
directional entropy no independent evidence
purpose: Quantify angular disorder
New functional whose boundedness is part of the blow-up criterion
effective affine connection on S*M no independent evidence
purpose: Encode back-reaction of velocity gradient
New geometric object producing Ricci-type evolution

pith-pipeline@v0.9.0 · 5600 in / 1693 out tokens · 51440 ms · 2026-05-16T18:40:55.678601+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/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 23 (Geometric blow-up equivalence criterion): finite-time singularity occurs if and only if at least one of the microlocal geometric controls breaks down: finite deformation integrability, uniform boundedness of the microlocal entropy W, or uniform boundedness of lifted energy E.
IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 7 (Symmetry lock in infinite dimensions): as n→∞ the fiber S^{n-1} volume vanishes, forcing any bounded microlocal distribution to become isotropic; topological obstruction to angular singularities.

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

44 extracted references · 44 canonical work pages · 1 internal anchor

[1]

Lie brackets are preserved: [ˆv1,ˆv2] = \[v1, v2] (162) 15 Proof.(1) The flow ofvonMisϕ t. Differentiating ˆϕt(x, ξ) = (ϕt(x),(dϕ −t)∗ξ) att= 0 gives: d dt t=0 ˆϕt(x, ξ) = d dt t=0 ϕt(x), d dt t=0 (dϕ−t)∗ξ (163) = v(x),−ξ k∇ivk ∂ ∂ξi = ˆv(x, ξ) (164) (2) Computing the Lie derivative: ιˆvλ= vi ∂ ∂xi −ξ k∇ivk ∂ ∂ξi ·(ξ jdxj) (165) =v iξi =H v (166) For the ...

work page
[2]

The solutionudevelops a singularity at timeT, in the sense that lim sup t0→t− ∥∇u(t0)∥L∞(M) =∞(229)

work page
[3]

Proof.(i)⇒(ii): Assume lim sup t0→t− ∥∇u(t0)∥L∞ = ∞

At least one of the following microlocal geometric conditions fails: (a) Finite deformation integrability: Z t t0 ∥S(s)∥L∞(M) ds <∞(230) (b) Uniform boundedness of the microlocal en- tropy: sup t0≤t W[˜ω(t0)]<∞(231) (c) Uniform boundedness of lifted energy: sup t0≤t E(t0)<∞(232) In other words, finite-time singularity occurs if and only if at least one of...

work page
[4]

Abukhwejah, P

A. Abukhwejah, P. Jagad, R. Samtaney, and P. Schmid, A Hybrid Discrete Exterior Calculus Discretization and Fourier Transform of the Incompressible Navier-Stokes Equations in 3D, 2024

work page 2024
[5]

Albritton, E

D. Albritton, E. Bru´ e, and M. Colombo,Non-uniqueness of Leray solutions of the forced Navier-Stokes equations, Annals of Mathematics, 196(1), 2022.https://doi.org/ 10.4007/annals.2022.196.1.3

work page doi:10.4007/annals.2022.196.1.3 2022
[6]

T. P. Branson,Group Representations Arising from Lorentz Conformal Geometry, Journal of Functional Analysis, 74, 199-291, 1987

work page 1987
[7]

Bulut and K

A. Bulut and K. Huynh,A geometric trapping approach to global regularity for 2D Navier–Stokes on manifolds, Mathematical Research Letters, 30(4), 2023.https:// doi.org/10.4310/mrl.2023.v30.n4.a1

work page doi:10.4310/mrl.2023.v30.n4.a1 2023
[8]

Buza,Spectral Submanifolds of the Navier-Stokes Equations, SIAM J

G. Buza,Spectral Submanifolds of the Navier-Stokes Equations, SIAM J. Appl. Dyn. Syst., 23, 1052-1089, 2023.https://doi.org/10.1137/23m154858x

work page doi:10.1137/23m154858x 2023
[9]

Califano, R

F. Califano, R. Rashad, F. Schuller, and S. Stramigi- oli,Geometric and energy-aware decomposition of the Navier–Stokes equations: A port-Hamiltonian approach, Physics of Fluids, 33, 047114, 2021.https://doi.org/ 10.1063/5.0048359

work page doi:10.1063/5.0048359 2021
[10]

C. Chan, M. Czubak, and M. Disconzi,The formula- tion of the Navier–Stokes equations on Riemannian man- ifolds, Journal of Geometry and Physics, 121, 335-346, 2016.https://doi.org/10.1016/j.geomphys.2017.07. 015

work page doi:10.1016/j.geomphys.2017.07 2016
[11]

Chemin, I

J. Chemin, I. Gallagher, and P. Zhang,Some remarks about the possible blow-up for the Navier-Stokes equa- tions, Communications in Partial Differential Equa- tions, 44, 1387-1405, 2018.https://doi.org/10.1080/ 03605302.2019.1641725

work page arXiv 2018
[12]

Childress, G

S. Childress, G. Ierley, E. Spiegel, and W. Young,Blow- up of unsteady two-dimensional Euler and Navier-Stokes solutions having stagnation-point form, Journal of Fluid Mechanics, 203, 1-22, 1989.https://doi.org/10.1017/ s0022112089001357

work page 1989
[13]

Coiculescu and S

M. Coiculescu and S. Palasek,Non-Uniqueness of Smooth Solutions of the Navier-Stokes Equations from Critical Data, 2025

work page 2025
[14]

C. L. Fefferman,Existence and Smoothness of the Navier–Stokes Equation, Clay Mathematics Insti- tute, 2022.https://www.claymath.org/wp-content/ uploads/2022/06/navierstokes.pdf

work page 2022
[15]

Feireisl and A

E. Feireisl and A. Novotny,Navier–Stokes–Fourier Sys- tem with General Boundary Conditions, Communica- tions in Mathematical Physics, 386, 975-1010, 2020. https://doi.org/10.1007/s00220-021-04091-1

work page doi:10.1007/s00220-021-04091-1 2020
[16]

Frankel,The Geometry of Physics: An Introduction, Cambridge University Press, 2012

T. Frankel,The Geometry of Physics: An Introduction, Cambridge University Press, 2012

work page 2012
[17]

T. Gallay,Invariant Manifolds and the Long-Time Asymptotics of the Navier-Stokes and Vorticity Equa- tions on R2, Archive for Rational Mechanics and Anal- ysis, 163, 209-258, 2001.https://doi.org/10.1007/ s002050200200. 27

work page 2001
[18]

Gilbert and J

A. Gilbert and J. Vanneste,A Geometric Look at Mo- mentum Flux and Stress in Fluid Mechanics, Journal of Nonlinear Science, 33, 1-32, 2019.https://doi.org/10. 1007/s00332-023-09887-0

work page 2019
[19]

Gromov,Stable mappings of foliations into manifolds, Mathematics of The USSR-Izvestiya, 3, 671-694, 1969

M. Gromov,Stable mappings of foliations into manifolds, Mathematics of The USSR-Izvestiya, 3, 671-694, 1969. https://doi.org/10.1070/im1969v003n04abeh000796

work page doi:10.1070/im1969v003n04abeh000796 1969
[20]

Gromov,A topological technique for the construc- tion of solutions of differential equations and inequalities, 1970

M. Gromov,A topological technique for the construc- tion of solutions of differential equations and inequalities, 1970

work page 1970
[21]

Gromov,Convex integration of differential relations

M. Gromov,Convex integration of differential relations. I, Mathematics of The USSR-Izvestiya, 7, 329-343, 1973. https://doi.org/10.1070/im1973v007n02abeh001940

work page doi:10.1070/im1973v007n02abeh001940 1973
[22]

Gromov,Pseudo holomorphic curves in symplectic manifolds, Inventiones mathematicae, 82, 307-347, 1985

M. Gromov,Pseudo holomorphic curves in symplectic manifolds, Inventiones mathematicae, 82, 307-347, 1985. https://doi.org/10.1007/bf01388806

work page doi:10.1007/bf01388806 1985
[23]

Gromov,Partial Differential Relations, Springer, 1986.https://doi.org/10.1007/978-3-662-02267-2

M. Gromov,Partial Differential Relations, Springer, 1986.https://doi.org/10.1007/978-3-662-02267-2

work page doi:10.1007/978-3-662-02267-2 1986
[24]

Gromov,Metric Structures for Riemannian and Non- Riemannian Spaces, Birkhauser, 1999.https://doi

M. Gromov,Metric Structures for Riemannian and Non- Riemannian Spaces, Birkhauser, 1999.https://doi. org/10.1007/978-0-8176-4583-0

work page doi:10.1007/978-0-8176-4583-0 1999
[25]

Gromov,Endomorphisms of symbolic algebraic vari- eties, Journal of the European Mathematical Society, 1, 109-197, 1999.https://doi.org/10.1007/pl00011162

M. Gromov,Endomorphisms of symbolic algebraic vari- eties, Journal of the European Mathematical Society, 1, 109-197, 1999.https://doi.org/10.1007/pl00011162

work page doi:10.1007/pl00011162 1999
[26]

Gromov,Metric Inequalities with Scalar Curvature, Geometric and Functional Analysis, 28, 645-726, 2017

M. Gromov,Metric Inequalities with Scalar Curvature, Geometric and Functional Analysis, 28, 645-726, 2017. https://doi.org/10.1007/s00039-018-0453-z

work page doi:10.1007/s00039-018-0453-z 2017
[27]

B. C. Hall,Lie Groups, Lie Algebras, and Representa- tions: An Elementary Introduction, Springer, 2015

work page 2015
[28]

Kosovtsov,Existence and smoothness of the Navier- Stokes equations and semigroups of linear operators, 2022

Y. Kosovtsov,Existence and smoothness of the Navier- Stokes equations and semigroups of linear operators, 2022

work page 2022
[29]

Leautaud and N

M. Leautaud and N. Lerner,Energy decay for a locally undamped wave equation, Ann. Fac. Sci. Toulouse Math., 2014.https://doi.org/10.5802/afst.1528

work page doi:10.5802/afst.1528 2014
[30]

N. Lerner,Second Microlocalization Methods for De- generate Cauchy-Riemann Equations, in:Progress in Nonlinear Differential Equations and Their Ap- plications, 109-128, 2001.https://doi.org/10.1007/ 978-1-4612-0203-5_8

work page 2001
[31]

Lerner,Carleman Inequalities, Grundlehren der math- ematischen Wissenschaften, Springer, 2019.https:// doi.org/10.1007/978-3-030-15993-1

N. Lerner,Carleman Inequalities, Grundlehren der math- ematischen Wissenschaften, Springer, 2019.https:// doi.org/10.1007/978-3-030-15993-1

work page doi:10.1007/978-3-030-15993-1 2019
[32]

Lerner and F

N. Lerner and F. Vigneron,On Some Properties of the Curl Operator and Their Consequences for the Navier–Stokes System, Communications in Mathemat- ical Research, 2022.https://doi.org/10.4208/cmr. 2021-0106

work page doi:10.4208/cmr 2022
[33]

Lovelock and H

D. Lovelock and H. Rund,Tensors, Differential Forms, and Variational Principles, Dover Publications, New York, 1975

work page 1975
[34]

E. Miller,A survey of geometric constraints on the blowup of solutions of the Navier–Stokes equation, Journal of El- liptic and Parabolic Equations, 7, 589-599, 2021.https: //doi.org/10.1007/s41808-021-00135-8

work page doi:10.1007/s41808-021-00135-8 2021
[35]

C. E. Olmos and A. Rodriguez-Vazquez,Hopf Fibrations and Totally Geodesic Submanifolds, JEMS, 2025

work page 2025
[36]

Padilla and R

A. Padilla and R. G. Smith,Gauge Invariance and Gen- eralizedηRegularization, Phys. Rev. D111, 125013, 2025

work page 2025
[37]

M. E. Peskin and D. V. Schroeder,An Introduction to Quantum Field Theory, Westview Press, 1995

work page 1995
[38]

Rosales Ortega and C

J. Rosales Ortega and C. Marquez Rivera,La factoriza- cion de una transformada de Fourier en el metodo de Wiener-Hopf, Rev. Mat. Teor. Appl.5(1), 1998.https: //doi.org/10.15517/rmta.v5i1.151

work page doi:10.15517/rmta.v5i1.151 1998
[39]

Rosales-Ortega,A geometric splitting theorem for ac- tions of semisimple Lie groups, Abh

J. Rosales-Ortega,A geometric splitting theorem for ac- tions of semisimple Lie groups, Abh. Math. Semin. Univ. Hambg. 91, 287–296, 2021.https://doi.org/10.1007/ s12188-021-00242-2

work page 2021
[40]

S. A. Sacasa-Cespedes,A Geometric Approach to the Navier-Stokes Equations, arXiv:2411.18724 [physics.flu- dyn], 2024.https://arxiv.org/abs/2411.18724

work page arXiv 2024
[41]

Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press, 2014

M. Schwartz,Quantum Field Theory and the Standard Model, Cambridge University Press, 2014

work page 2014
[42]

Y. Shao, G. Simonett, and M. Wilke,The Navier-Stokes equations on manifolds with boundary, Journal of Dif- ferential Equations, 2023.https://doi.org/10.1016/j. jde.2024.10.030

work page doi:10.1016/j 2023
[43]

T. Tao,A quantitative formulation of the global regu- larity problem for the periodic Navier–Stokes equation, arXiv:0710.1604v5 [math.AP], 2009.https://doi.org/ 10.48550/arXiv.0710.1604

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.0710.1604 2009
[44]

M. B. Walker Urena,Regularity Theory for Nonlinear Partial Differential Equations, Ph.D. thesis, Pontificia Universidade Catolica do Rio de Janeiro, Departamento de Matematica, 2023

work page 2023