pith. sign in

arxiv: 2509.01133 · v2 · submitted 2025-09-01 · 🧮 math.DG

On longitudinal differential operators and Nash blowups

Ruben Louis This is my paper

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

classification 🧮 math.DG
keywords singular foliationsNash algebroidHelffer-Nourrigat coneholonomy Lie algebroidslongitudinally elliptic operatorsPoisson structuressymplectic leaves
0
0 comments X

The pith

The Helffer-Nourrigat cone of a singular foliation is a union of symplectic leaves of the canonical Poisson structures on the dual of the holonomy Lie algebroids.

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

This paper shows how the Helffer-Nourrigat cone associated to a singular foliation arises from the Nash algebroid of that foliation. A reader might care because this description also reveals the cone as a union of symplectic leaves coming from Poisson structures on the duals of holonomy Lie algebroids. The work then uses the same setup to characterize which differential operators are longitudinally elliptic on the foliation. This extends earlier findings on elliptic operators in foliation contexts to the singular case.

Core claim

The Helffer-Nourrigat cone of a singular foliation is described in terms of the Nash algebroid associated to the foliation. Along the way, the cone is shown to be a union of symplectic leaves of the canonical Poisson structures on the dual of the holonomy Lie algebroids. Within this framework, longitudinally elliptic differential operators on the singular foliation are characterized, generalizing previous results.

What carries the argument

The Nash algebroid associated to the singular foliation, which encodes the geometry needed to express the Helffer-Nourrigat cone and to identify elliptic operators.

If this is right

  • The Helffer-Nourrigat cone decomposes into symplectic leaves of the Poisson structure on the dual holonomy algebroid.
  • Longitudinally elliptic operators on the foliation admit a characterization using properties of the Nash algebroid.
  • This framework generalizes known characterizations of elliptic operators from regular to singular foliations.

Where Pith is reading between the lines

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

  • Researchers could test this description on concrete examples of singular foliations such as those from singular group actions.
  • Similar algebroid constructions might extend to other invariants arising in foliation theory.
  • The approach may support new spectral or index-type results for operators defined on singular foliated spaces.

Load-bearing premise

The Nash algebroid for the singular foliation can be defined and its associated Poisson structures capture the relevant cone and leaf data.

What would settle it

A counterexample singular foliation in which the Helffer-Nourrigat cone fails to be a union of symplectic leaves under the Nash algebroid construction would disprove the main description.

read the original abstract

In this short note, we describe the Helffer-Nourrigat cone of a singular foliation in terms of the Nash algebroid associated to the foliation. Along the way, we show that the Helffer-Nourrigat cone is a union of symplectic leaves of the canonical Poisson structures on the dual of the holonomy Lie algebroids. We also provide, within this framework, a characterization of longitudinally elliptic differential operators on a singular foliation $\mathcal{F}$, generalizing results previously known in the literature.

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 paper claims that the Helffer-Nourrigat cone of a singular foliation can be expressed using the Nash algebroid associated to the foliation. It further asserts that this cone is a union of symplectic leaves of the canonical Poisson structures on the duals of the holonomy Lie algebroids, and provides a characterization of longitudinally elliptic differential operators on the foliation within this framework, generalizing prior results.

Significance. If the constructions and compatibilities hold in generality, the work would link Nash blowups, holonomy Lie algebroids, and Poisson geometry to the analysis of elliptic operators on singular foliations, offering a potentially unifying viewpoint. The explicit identification of the cone with symplectic leaves would be a concrete advance if verified.

major comments (1)
  1. [Abstract / main theorem] The central claim requires that a Nash algebroid exists for arbitrary singular foliations and that the Poisson leaf decomposition recovers the Helffer-Nourrigat cone. The manuscript states this in the abstract but the construction and verification at singularities (where regularity fails) is load-bearing; without an explicit general definition or proof that the algebroid properties suffice beyond the regular case, the characterization of longitudinally elliptic operators does not follow in full generality.
minor comments (1)
  1. [Introduction] Clarify the precise relationship between the Nash blowup and the holonomy Lie algebroid in the opening paragraphs to aid readers unfamiliar with the combination of these structures.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to confirm that the constructions and identifications hold at singular points. We address this concern directly below and clarify the generality of the definitions and proofs.

read point-by-point responses

  1. Referee: [Abstract / main theorem] The central claim requires that a Nash algebroid exists for arbitrary singular foliations and that the Poisson leaf decomposition recovers the Helffer-Nourrigat cone. The manuscript states this in the abstract but the construction and verification at singularities (where regularity fails) is load-bearing; without an explicit general definition or proof that the algebroid properties suffice beyond the regular case, the characterization of longitudinally elliptic operators does not follow in full generality.

    Authors: We thank the referee for this observation. The Nash algebroid associated to an arbitrary singular foliation is constructed explicitly in Definition 2.1 and the subsequent paragraphs of Section 2; the construction proceeds via the Nash blowup of the module of vector fields tangent to the foliation and makes no regularity assumption, remaining well-defined when the rank of the foliation drops. The identification of the Helffer-Nourrigat cone with the union of symplectic leaves of the canonical Poisson structure on the dual of the holonomy Lie algebroid is stated and proved in Theorem 3.2; the argument is local and uses only the Lie algebroid axioms together with the definition of the foliation, which are verified in charts that include singular strata. The characterization of longitudinally elliptic operators then follows in Theorem 4.1 as a direct consequence of this leaf decomposition and likewise holds without regularity hypotheses. We are prepared to add a short clarifying paragraph in Section 2 that isolates the singular-point verification if the referee considers the current exposition insufficiently explicit. revision: partial

Circularity Check

0 steps flagged

No circularity: claims rest on framework construction without self-referential reduction in visible text

full rationale

The abstract and provided context present the Helffer-Nourrigat cone as described in terms of the Nash algebroid and as a union of symplectic leaves on dual holonomy Lie algebroids, with a characterization of longitudinally elliptic operators generalizing prior literature. No equations, derivations, or explicit steps are quoted that reduce a prediction or result to a fitted input or self-citation by construction. The Nash algebroid is invoked as an associated object whose properties suffice for the description, but without load-bearing self-citations or ansatz smuggling visible, the derivation chain does not exhibit circularity. This is the expected honest non-finding when the manuscript supplies no reducible steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; ledger entries are inferred from terminology in the abstract and standard background in differential geometry.

axioms (2)
  • domain assumption Existence and basic properties of the Nash algebroid associated to a singular foliation
    The abstract states that the cone is described in terms of this algebroid, presupposing its construction and relevant structure.
  • domain assumption Canonical Poisson structures exist on the dual of holonomy Lie algebroids
    Used to define the symplectic leaves whose union is the Helffer-Nourrigat cone.

pith-pipeline@v0.9.0 · 5595 in / 1198 out tokens · 32053 ms · 2026-05-18T20:18:26.525843+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

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

  1. [1]

    A pseudodifferential calculus for maximally hypoelliptic operators and the helffer-nourrigat conjecture

    Iakovos Androulidakis, Omar Mohsen, and Robert Yuncken. A pseudodifferential calculus for maximally hypoelliptic operators and the helffer-nourrigat conjecture. arXiv preprint arXiv:2201.12060 , 2022

    work page arXiv 2022

  2. [2]

    The holonomy groupoid of a singular foliation

    Iakovos Androulidakis and Georges Skandalis. The holonomy groupoid of a singular foliation. Journal für die reine und angewandte M athematik , 2009(626):1--37, 2009. https://doi.org/10.5167/uzh-23589

    work page doi:10.5167/uzh-23589 2009

  3. [3]

    Pseudodifferential calculus on a singular foliation

    Iakovos Androulidakis and Georges Skandalis. Pseudodifferential calculus on a singular foliation. J. Noncommut. Geom. , 5(1):125--152, 2011

    work page 2011

  4. [4]

    Smoothness of holonomy covers for singular foliations and essential isotropy

    Iakovos Androulidakis and Marco Zambon. Smoothness of holonomy covers for singular foliations and essential isotropy. Mathematische Zeitschrift , 275(3):921--951, 2013

    work page 2013

  5. [5]

    Smoothness of holonomy covers for singular foliations and essential isotropy

    Iakovos Androulidakis and Marco Zambon. Smoothness of holonomy covers for singular foliations and essential isotropy. Mathematische Zeitschrift , 275:921--951, 2013

    work page 2013

  6. [6]

    Singularities of holomorphic foliations

    Paul Baum and Raoul Bott. Singularities of holomorphic foliations. J. Differ. Geom. , 7:279--342, 1972

    work page 1972

  7. [7]

    Geometric tool kit for higher spin gravity (part ii): An introduction to lie algebroids and their enveloping algebras

    Xavier Bekaert. Geometric tool kit for higher spin gravity (part ii): An introduction to lie algebroids and their enveloping algebras. International Journal of Modern Physics A , 38(25):2330013, 2023

    work page 2023

  8. [8]

    Distributions involutives singuli\`eres

    Dominique Cerveau. Distributions involutives singuli\`eres. Ann. Inst. Fourier (Grenoble) , 29(3):xii, 261--294, 1979

    work page 1979

  9. [9]

    Integrability of Lie brackets

    Marius Crainic and Rui Loja Fernandes. Integrability of Lie brackets. Ann. Math. (2) , 157(2):575--620, 2003

    work page 2003

  10. [10]

    Lectures on Poisson geometry , volume 217 of Grad

    Marius Crainic, Rui Loja Fernandes, and Ioan M a rcu t . Lectures on Poisson geometry , volume 217 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2021

    work page 2021

  11. [11]

    A survey of foliations and operator algebras

    Alain Connes. A survey of foliations and operator algebras. 1982

    work page 1982

  12. [12]

    Holonomy G roupoids of S ingular F oliations

    Claire Debord. Holonomy G roupoids of S ingular F oliations. J. Differential Geom. , 58(3):467--500, 07 2001. https://doi.org/10.4310/jdg/1090348356

    work page doi:10.4310/jdg/1090348356 2001

  13. [13]

    Hypoellipticit\'e de polyn\^omes de champs de vecteurs et conjectures de H elffer etnourrigat

    Claire Debord. Hypoellipticit\'e de polyn\^omes de champs de vecteurs et conjectures de H elffer etnourrigat. arXiv preprint arXiv:2504.13508 , 2025

    work page arXiv 2025

  14. [14]

    The differential geometry of foliations, II

    Robert Hermann. The differential geometry of foliations, II . Journal of Mathematics and Mechanics , 11(2):303--315, 1962. http://www.jstor.org/stable/24900924

    work page arXiv 1962

  15. [15]

    Hypoellipticité maximale pour des opérateurs polynômes de champs de vecteurs

    Bernard Helffer and Jean Nourrigat. Hypoellipticité maximale pour des opérateurs polynômes de champs de vecteurs. Journées équations aux dérivées partielles , pages 1--2, 1980

    work page 1980

  16. [16]

    L ie- R inehart algebras, G erstenhaber algebras and B atalin- V ilkovisky algebras

    Johannes Huebschmann. L ie- R inehart algebras, G erstenhaber algebras and B atalin- V ilkovisky algebras. Ann. Inst. Fourier (Grenoble) , 48(2):425--440, 1998

    work page 1998

  17. [17]

    Duality for Lie - Rinehart algebras and the modular class

    Johannes Huebschmann. Duality for Lie - Rinehart algebras and the modular class. J. Reine Angew. Math. , 510:103--159, 1999

    work page 1999

  18. [18]

    Lie- R inehart algebras, descent, and quantization , volume 43 of Fields Inst

    Johannes Huebschmann. Lie- R inehart algebras, descent, and quantization , volume 43 of Fields Inst. Commun. Amer. Math. Soc., Providence, RI, 2004

    work page 2004

  19. [19]

    On the history of Lie brackets, crossed modules, and Lie - Rinehart algebras

    Johannes Huebschmann. On the history of Lie brackets, crossed modules, and Lie - Rinehart algebras. J. Geom. Mech. , 13(3):385--402, 2021

    work page 2021

  20. [20]

    The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , volume 256 of Grundlehren der mathematischen Wissenschaften

    Lars Hörmander. The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , volume 256 of Grundlehren der mathematischen Wissenschaften . Springer Berlin Heidelberg, 1 edition, 1998. eBook package: Springer Book Archive

    work page 1998

  21. [21]

    Lie- Rinehart algebras \( \) acyclic lie \( \) -algebroids

    Camille Laurent-Gengoux and Ruben Louis. Lie- Rinehart algebras \( \) acyclic lie \( \) -algebroids. J. Algebra , 594:1--53, 2022

    work page 2022

  22. [22]

    Canonical geometric and algebraic structures hidden behind a singular foliation

    Camille Laurent-Gengoux, Ruben Louis, and Leonid Ryvkin. Canonical geometric and algebraic structures hidden behind a singular foliation. In Mario Garcia-Fernandez, David Iglesias Ponte, Eva Miranda, Carlos Oms, and Raimundo Rubio, editors, Advances in Poisson Geometry , Advanced Courses in Mathematics - CRM Barcelona. Birkh \"a user, Cham, 2025

    work page 2025

  23. [23]

    Camille Laurent-Gengoux, Ruben Louis, and Leonid Ryvkin. What is a singular foliation? In Mario Garcia-Fernandez, David Iglesias Ponte, Eva Miranda, Carlos Oms, and Raimundo Rubio, editors, Advances in Poisson Geometry , Advanced Courses in Mathematics - CRM Barcelona. Birkh \"a user, Cham, 2025

    work page 2025

  24. [24]

    Poisson structures , volume 347 of Grundlehren Math

    Camille Laurent-Gengoux, Anne Pichereau, and Pol Vanhaecke. Poisson structures , volume 347 of Grundlehren Math. Wiss. Berlin: Springer, 2012

    work page 2012

  25. [25]

    Poincar \'e - Birkhoff - Witt isomorphisms and Kapranov dg-manifolds

    Camille Laurent-Gengoux, Mathieu Sti \'e non, and Ping Xu. Poincar \'e - Birkhoff - Witt isomorphisms and Kapranov dg-manifolds. Adv. Math. , 387:62, 2021. Id/No 107792

    work page 2021

  26. [26]

    The universal L ie \( \)-algebroid of a singular foliation

    Camille Laurent-Gengoux , Sylvain Lavau , and Thomas Strobl . The universal L ie \( \)-algebroid of a singular foliation . Doc. Math. , 25:1571--1652, 2020

    work page 2020

  27. [27]

    A series of Nash resolutions of a singular foliation

    Ruben Louis. A series of N ash resolutions of a singular foliation. arXiv preprint arXiv:2301.08706 , 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  28. [28]

    On N ash resolution of (singular) L ie algebroids

    Ruben Louis. On N ash resolution of (singular) L ie algebroids. Mathematische Zeitschrift , 311:24, 2025

    work page 2025

  29. [29]

    The enveloping algebra of a lie algebra of differential operators, 2022

    Helge Oystein Maakestad. The enveloping algebra of a lie algebra of differential operators, 2022

    work page 2022

  30. [30]

    Kirill C. H. Mackenzie. General theory of L ie groupoids and L ie algebroids , volume 213 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 2005

    work page 2005

  31. [31]

    Moerdijk and J

    I. Moerdijk and J. Mrcun. On the universal enveloping algebra of a L ie- R inehart algebra, 2008

    work page 2008

  32. [32]

    Blow-up groupoid of singular foliations

    Omar Mohsen. Blow-up groupoid of singular foliations. arXiv preprint arXiv:2105.05201 , 2021

    work page arXiv 2021

  33. [33]

    Archana S. Morye. Note on the S erre- S wan theorem. Mathematische Nachrichten , 286(2-3):272--278, 2013

    work page 2013

  34. [34]

    Pseudodifferential operators on differential groupoids

    Victor Nistor, Alan Weinstein, and Ping Xu. Pseudodifferential operators on differential groupoids. Pac. J. Math. , 189(1):117--152, 1999

    work page 1999

  35. [35]

    Nash residues of singular holomorphic foliations

    Jean P aul B rasselet and T atsuo S uwa. Nash residues of singular holomorphic foliations. Asian Journal of Mathematics , 4:37--50, 2000

    work page 2000

  36. [36]

    Almost L ie algebroids and characteristic classes

    Marcela Popescu, Paul Popescu, et al. Almost L ie algebroids and characteristic classes. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , 15:021, 2019

    work page 2019

  37. [37]

    M. J. Pflaum, H. Posthuma, and X. Tang. The index of geometric operators on Lie groupoids. Indag. Math., New Ser. , 25(5):1135--1153, 2014

    work page 2014

  38. [38]

    Picard variety of an isolated singular point

    Hugo Rossi. Picard variety of an isolated singular point. Rice Univ. Stud. , 54(4):63--73, 1968

    work page 1968

  39. [39]

    Residues of singular holomorphic foliations

    Sinan Sert\"oz. Residues of singular holomorphic foliations. Compositio Mathematica , 70(3):227--243, 1989

    work page 1989

  40. [40]

    P. Stefan. Accessibility and foliations with singularities. Bull. Am. Math. Soc. , 80:1142--1145, 1974

    work page 1974

  41. [41]

    P. Stefan. Integrability of systems of vector fields. J. Lond. Math. Soc., II. Ser. , 21:544--556, 1980

    work page 1980

  42. [42]

    Sussmann

    Hector J. Sussmann. Orbits of families of vector fields and integrability of distributions. Trans. Am. Math. Soc. , 180:171--188, 1973

    work page 1973

  43. [43]

    Sussmann

    Hector J. Sussmann. Orbits of families of vector fields and integrability of systems with singularities. Bull. Am. Math. Soc. , 79:197--199, 1973

    work page 1973

  44. [44]

    Richard G. Swan. Vector B undles and P rojective modules. Transactions of the American Mathematical Society , 105(2):264--277, 1962. https://doi.org/10.1090/S0002-9947-1962-0143225-6

    work page doi:10.1090/s0002-9947-1962-0143225-6 1962

  45. [45]

    Weinstein

    Pavol S evera and Alan J. Weinstein. Poisson geometry with a 3-form background. Progress of Theoretical Physics Supplement , 144:145--154, 2001

    work page 2001