REVIEW 2 major objections 4 minor 1 cited by
$b^k$-algebroids and the variety of foliation jets
T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper proves that b^{k+1}-type singular foliations are encoded by k-th order foliations — distributions involutive up to order k — and that, for a closed connected hypersurface, their isotopy classes form a character variety of the fund
desk verdict The b^{k+1}-type classification holds together; the only real soft spot is the unverified use of the [BBLM20] splitting theorem in the local normal form, which is fixable and not fatal. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are: (1) the k-th order Atiyah algebroid at_k(E), the Lie algebroid of k-jets of projectable vector fields on a tubular neighbourhood E → W, whose Lie algebroid splittings are exactly the k-th order foliations; (2) the jet group G_{k,l} = J^k Diff(R^l, 0), the group of k-jets of diffeomorphisms of R^l fixing the origin, with Levy decomposition K_{k,l} ⋊ GL(R^l); (3) the k-th frame bundle Fr_k(E), principal G_{k,l}-bundle of k-jets of frames of the normal bundle, whose Atiyah algebroid is at_k(E) — so each k-th order foliation is a flat connection and holonomy is a representation of π_1(W); (4) the extension class e(F), the obstruction to extending to order k+1, given
What would settle it
On W = S^3 (trivial π_1) with trivial normal bundle, Corollary 8.42 predicts a single isotopy class of b^{k+1}-type algebroids — all isotopic to Scott's bundle. Producing two non-isotopic such algebroids would refute the classification. Or, in the genus-g surface example with trivial line bundle, the paper predicts a b^4-algebroid extends to b^5 exactly when Σ(x_i z_i − y_i w_i) = 0 (Example 7.1); computing the extension class of a parameter choice with non-zero value and finding an extension anyway would refute Corollary 4.7. A third check: Corollary 9.9 says ∫_{S^2} e(F) = 0 for every sphere
Extended reading notes
Core claim
Singular foliations of b^{k+1}-type — vector fields tangent to W to order k — correspond one-to-one with k-th order foliations (distributions involutive up to order k). With a tubular neighbourhood, these are equivalently Lie algebroid splittings of the k-th order Atiyah algebroid at_k(E) or flat connections on the k-th frame bundle Fr_k(E). Holonomy yields a Riemann-Hilbert correspondence: classes of foliations are conjugacy classes of ρ: π_1(W) → G_{k,l}; for a closed connected hypersurface, isotopy classes form Hom_{ν_W}(π_1(W), G_{k,1})/G^0_{k,1}, with Scott's bundles as the trivial class. Extension to order k+1 is obstructed by an extension class e(F) in H^2(W, Sym^{k+1}(ν*)⊗ν).
Load-bearing premise
The dictionary rests on one imported splitting theorem: locally around W, every b^{k+1}-type foliation is isomorphic to the model spanned by monomials x^I ∂_{x_i} of weight k+1 in the normal coordinates together with the tangent directions of W. If this normal form fails for some germ, the bijection with k-th order foliations collapses.
Editorial extensions
If this is right
- Hypersurface algebroids of b^{k+1}-type — the generalizations of logarithmic and b-tangent bundles used in index theory, Poisson geometry, and integrable systems — are classified by the topology of W: up to isotopy they are exactly the points of Hom_{ν_W}(π_1(W), G_{k,1})/G^0_{k,1}.
- Scott's b^{k+1}-tangent bundles, whose definition requires a choice of defining-function jet, all represent the same isotopy class; the auxiliary choice is immaterial.
- The extension problem is decidable from a cohomology class: a k-th order foliation extends to order k+1 if and only if e(F) = 0, and when an extension exists the space of extensions is a torsor for H^1_∇(W, Sym^{k+1}(E*)⊗E) modulo the stabilizer of the holonomy.
- Because e(F) is aspherical (its integral over every map of S^2 into W vanishes), the existence of higher-order extensions is governed by H^1 and H^2 of W with local coefficients — a cohomological, not homotopical, constraint.
Reading between the lines
- Since G_{k,l} has the homotopy type of GL(R^l), the entire b^{k+1}-moduli space is assembled from cohomology classes of W with coefficients in symmetric powers of the normal bundle; the smooth structure of M near W enters only through the isomorphism class of the normal bundle and the flat connection it induces — a much coarser invariant than the full foliation data.
- Lemma 10.3 implies the linear model (the trivial representation) lies in the closure of every component of the character variety; read as a deformation principle, every b^{k+1}-type algebroid degenerates to Scott's bundle, which could make the trivial representation a universal starting point for constructing new structures by unfolding along paths in the moduli space.
- A testable boundary case: run the bijection for non-compact W, manifolds with corners, or normal bundles without any flat connection — cases where the imported splitting theorems' hypotheses are strained; the dictionary should break exactly where the local monomial model fails.
- The extension class viewed as a section of a vector bundle over the character stack makes extendability a zero-set condition; one could seek analogous sections for higher-order deformations of other singular geometric structures built on b-type tangent bundles, transferring the paper's obstruction theory wholesale.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces and classifies singular foliations of b^{k+1}-type, a class of singular foliations whose local model is the module generated by monomials of weight k+1 in the normal directions together with the tangent distribution of a submanifold W. The central result is a bijection between such foliations and k-th order foliations on the k-th order neighbourhood of W, and, after choosing a tubular neighbourhood, with Lie algebroid splittings of the k-th order Atiyah algebroid and flat G_{k,l}-connections on the k-th order frame bundle. Using topological groupoids and holonomy, the authors prove a Riemann-Hilbert correspondence, a topological refinement, and an isotopy classification. In codimension one this yields a homeomorphism between isotopy classes of hypersurface algebroids of b^{k+1}-type and a G^0_{k,1}-quotient of a representation variety of π_1(W). The paper also studies the extension problem from k-th to (k+1)-st order foliations, defining an extension class e(F) and showing it can be viewed as a section of a vector bundle over the k-jet character stack. Several explicit examples, including surface, Heisenberg, mapping-torus, and codimension-two cases, are computed.
Significance. If correct, the paper gives a substantial and coherent classification of a natural class of singular foliations and Lie algebroids, connecting them to jet geometry, Atiyah algebroids, and representation varieties of the fundamental group. The Riemann-Hilbert correspondence for k-th order foliations, the isotopy-level classification, and the extension-class theory are new and likely to be useful for later work on b^k-geometry and Poisson geometry. The paper is careful and detailed: the proofs are largely self-contained once standard splitting, Riemann-Hilbert, and Van Est inputs are accepted, and the examples in Section 7 provide concrete, checkable predictions. The explicit computation of extension classes and the description of the character stack are notable strengths.
major comments (2)
- [Section 3, Proposition 3.1(a)] The proof applies the splitting theorem for singular foliations [BBLM20] to a leaf L of an auxiliary foliation C complementary to W. As written, the hypotheses of the theorem are not stated or verified. At points of L that are not on W, Tan_k(W,F) is all of TM, so L is contained in a regular leaf and is not transverse to the leaves in the usual geometric sense. This step is load-bearing: it produces the local normal form that identifies Tan_k(W,F) as b^{k+1}-type and is used in the bijection (c) and in Theorem 6.19. I suspect the intended hypothesis is the algebraic transversality condition T_xM = F_x + T_xL for all x∈L, which does hold here (trivially off W, and by complementarity of C on W). The authors should state the precise version of [BBLM20] they use and verify this condition explicitly.
- [Section 8.1.6, Theorem 8.7 proof] The proof contains the assertion: 'Since V_t|_W=0, and assuming that k ≥ 1, the linear approximation of V_t vanishes, implying that ν(φ_t)=id.' This is false: in the local model, the vector field V = z ∂_y lies in Tan_k(W,F), vanishes on W, but has a nonzero first jet. The conclusion ν(φ_t)=id is nevertheless correct, and the missing justification is that the normal component of any section of Tan_k lies in I^{k+1}TM, so the induced map on the normal bundle is the identity. This step should be corrected, since Theorem 8.7 is used in the proof of Theorem 8.35 to identify the kernel of the Riemann-Hilbert fibration.
minor comments (4)
- [Proposition 1.4 proof] The proof uses the notation i^!A after introducing γ^!A; the former should presumably be γ^!A. Please fix this typo.
- [Section 6.2.1] 'Levy decomposition' should be 'Levi decomposition'.
- [Theorem 9.3] 'cohology' should be 'cohomology'.
- [Theorem 8.35 and Section 8.2.4] The notation Rep(Frk(E),g) is used, but the framing is denoted φ elsewhere; use a consistent symbol, e.g. Rep(Fr_k(E),φ).
Circularity Check
No significant circularity: the b^{k+1}/k-jet bijection and Riemann-Hilbert classification are derived from independent splitting and Riemann-Hilbert inputs, not from the conclusions being assumed.
full rationale
The paper's central derivation is not circular. Definition 1.5 introduces b^{k+1}-type singular foliations via an explicit local normal form; this is a definition of a class of objects, not an assumption of the classification theorem. Proposition 3.1 proves the equivalence with k-th order foliations: the forward direction forms Tan_k(W,F) and invokes the splitting theorem of [BBLM20] to obtain the local model, while the inverse direction reads off I_k(A) from the local model and checks directly that it is a k-th order foliation. The bijection I_k/P_k is then a consequence of the local model, not a restatement of it. The Riemann-Hilbert classification (Theorems 8.4, 8.35, 8.41 and Corollary 8.42) reduces, through Theorem 6.4, to the classical Riemann-Hilbert correspondence for flat principal bundles developed in Appendix C; this is an external, independently established input. The extension class e(F) (Definition 4.6, Corollary 4.7, Corollary 6.8) is the standard extension class of the Lie algebroid sequence (4.1), and its vanishing criterion is the usual splitting obstruction, not a fitted parameter or a renamed prediction. Self-citations are not load-bearing in a circular way: [BdPW23] is mentioned only as the origin of the project, and [BBLM20], despite sharing an author, is a published theorem with stated hypotheses and an independent proof, so it constitutes real external evidence under the review rules. The only notable concern is that the proof of Proposition 3.1 does not spell out the verification of the hypotheses of [BBLM20] for the auxiliary leaf L; this is a correctness or hypothesis-checking issue, not a circularity. No equation of the paper is shown to be equivalent to its own input by construction, and no fitted constant is relabelled as a prediction.
Assumptions & free parameters
assumptions (5)
- standard math Splitting theorem for Lie algebroids and singular foliations ([Duf01, Fer02, Wei00, BLM19], [BBLM20])
- standard math Classical Riemann-Hilbert correspondence for smooth flat connections on principal bundles (Appendix C, Theorem C.7)
- standard math Van Est isomorphism comparison for Lie groupoid cohomology ([WX91], [Cra03])
- standard math Contractibility of the space of tubular neighbourhood embeddings and the isotopy extension theorem (Lemma B.8, [Cer61], [God07])
- domain assumption W is closed and connected, and codimension l and order k are fixed
Cite this review
Pith. "Pith review of $b^k$-algebroids and the variety of foliation jets." pith.science (2026). https://pith.science/paper/6YVS3CXN
@misc{pith2026250820241,
author = {Pith},
title = {Pith review of: $b^k$-algebroids and the variety of foliation jets},
year = {2026},
howpublished = {\url{https://pith.science/paper/6YVS3CXN}},
note = {Machine review of arXiv:2508.20241}
}
abstract
We introduce and classify singular foliations of $b^{k+1}$-type, which formalize the properties of vector fields that are tangent to a submanifold $W \subset M$ to order $k$. When $W$ is a hypersurface, these structures are Lie algebroids generalizing the $b^{k+1}$-tangent bundles introduced by Scott. We prove that singular foliations of $b^{k+1}$-type are encoded by $k$-th order foliations: jets of distributions that are involutive up to order $k$, equivalently described as foliations on the $k$-th order neighborhood of $W$. Using this encoding, we construct topological groupoids of $k$-th order foliations and employ the holonomy invariant to show that these groupoids fiber over certain character stacks, yielding Riemann-Hilbert style classifications up to local isomorphism and isotopy. We also study the problem of extending a $k$-th order foliation to a $(k+1)$-st order foliation. We prove that this is obstructed by a characteristic class that arises as a section of a vector bundle over the relevant character stack.
Forward citations
Cited by 1 Pith paper
-
Polynomial degeneration and the Poisson geometry of truncated polynomials
Symplectic forms on hypersurface algebroids yield generically symplectic Poisson structures whose variation along the degeneracy locus is controlled by the obstruction to lifting truncated-polynomial representations.
Reference graph
Works this paper leans on
-
[1]
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 Mathematik , 2009(626):1--37, 2009
work page 2009
-
[2]
Deformation spaces and normal forms around transversals
Francis Bischoff, Henrique Bursztyn, Hudson Lima, and Eckhard Meinrenken. Deformation spaces and normal forms around transversals. Compos. Math. , 156(4):697--732, 2020
work page 2020
-
[3]
Jets of foliations and b^k -algebroids, 2023
Francis Bischoff, \'A lvaro del Pino, and Aldo Witte. Jets of foliations and b^k -algebroids, 2023
work page 2023
-
[4]
Normal forms and moduli stacks for logarithmic flat connections
Francis Bischoff. Normal forms and moduli stacks for logarithmic flat connections. J. Algebraic Geom. , 34(2):331--379, 2025
work page 2025
-
[5]
Splitting theorems for P oisson and related structures
Henrique Bursztyn, Hudson Lima, and Eckhard Meinrenken. Splitting theorems for P oisson and related structures. J. Reine Angew. Math. , 754:281--312, 2019
work page 2019
-
[6]
Poisson geometry on b^k -algebroids, work in progress, 2025
Francis Bischoff and Aldo Witte. Poisson geometry on b^k -algebroids, work in progress, 2025
work page 2025
-
[7]
Alberto Candel and Lawrence Colon. Foliations i. Graduate Studies in Mathematics , 23, 2000
work page 2000
-
[8]
Topologie de certains espaces de plongements
Jean Cerf. Topologie de certains espaces de plongements. Bulletin de la Société Mathématique de France , 89:227--380, 1961
work page 1961
Show all 42 references
-
[9]
Cavalcanti and Marco Gualtieri
Gil R. Cavalcanti and Marco Gualtieri. Stable generalized complex structures. Proc. Lond. Math. Soc. (3) , 116(5):1075--1111, 2018
2018
-
[10]
Self-crossing stable generalized complex structures
Gil Cavalcanti, Ralph Klaasse, and Aldo Witte. Self-crossing stable generalized complex structures. Journal of Symplectic Geometry , 20:761--811, 01 2022
2022
-
[11]
Integrable systems on singular symplectic manifolds: from local to global
Robert Cardona and Eva Miranda. Integrable systems on singular symplectic manifolds: from local to global. Int. Math. Res. Not. IMRN , 24:19565--19616, 2022
2022
-
[12]
Differentiable and algebroid cohomology, van est isomorphisms, and characteristic classes
Marius Crainic. Differentiable and algebroid cohomology, van est isomorphisms, and characteristic classes. Commentarii Mathematici Helvetici , 78(4):681--721, 2003
2003
-
[13]
\' E quations diff\' e rentielles \`a points singuliers r\' e guliers , volume Vol
Pierre Deligne. \' E quations diff\' e rentielles \`a points singuliers r\' e guliers , volume Vol. 163 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1970
1970
-
[14]
Hodge theory
Pierre Deligne. Hodge theory. ii. Publication Mathematique IHES , 40:5--58, 1971
1971
-
[15]
Normal forms for L ie algebroids
Jean-Paul Dufour. Normal forms for L ie algebroids. In Lie algebroids and related topics in differential geometry ( W arsaw, 2000) , volume 54 of Banach Center Publ. , pages 35--41. Polish Acad. Sci. Inst. Math., Warsaw, 2001
2000
-
[16]
Regularisation of lie algebroids and applications
\'A lvaro del Pino and Aldo Witte. Regularisation of lie algebroids and applications. Journal of Geometry and Physics , 194:105023, 2023
2023
-
[17]
Arrangements and cohomology
Michael Falk. Arrangements and cohomology. Annals of Combinatorics , 1(1):135--157, 1997
1997
-
[18]
Lie algebroids, holonomy and characteristic classes
Rui Loja Fernandes. Lie algebroids, holonomy and characteristic classes. Adv. Math. , 170(1):119--179, 2002
2002
-
[19]
A classification of neighborhoods around leaves of a singular foliation
Simon-Raphael Fischer and Camille Laurent-Gengoux. A classification of neighborhoods around leaves of a singular foliation. arXiv preprint arXiv:2401.05966 , 2024
2024
-
[20]
Groupoids and Algebras of Certain Singular Foliations with Finitely Many Leaves
Michael D Francis. Groupoids and Algebras of Certain Singular Foliations with Finitely Many Leaves . The Pennsylvania State University, 2021
2021
-
[21]
On singular foliations tangent to a given hypersurface
Michael D Francis. On singular foliations tangent to a given hypersurface. Journal of Noncommutative Geometry , 2024
2024
-
[22]
Gualtieri and S
M. Gualtieri and S. Li. Symplectic groupoids of log symplectic manifolds. International Mathematics Research Notices , 2014(11):3022--3074, 2014
2014
-
[23]
Gualtieri, S
M. Gualtieri, S. Li, and B. Pym. The Stokes groupoids. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2018(739):81--119, 2018
2018
-
[24]
Symplectic and poisson geometry on b-manifolds
Victor Guillemin, Eva Miranda, and Ana Rita Pires. Symplectic and poisson geometry on b-manifolds. Advances in Mathematics , 264:864--896, 2014
2014
-
[25]
Desingularizing b^m -symplectic structures
Victor Guillemin, Eva Miranda, and Jonathan Weitsman. Desingularizing b^m -symplectic structures. Int. Math. Res. Not. IMRN , 10:2981--2998, 2019
2019
-
[26]
Guillemin, Eva Miranda, and Jonathan Weitsman
Victor W. Guillemin, Eva Miranda, and Jonathan Weitsman. On geometric quantization of b^m -symplectic manifolds. Math. Z. , 298(1-2):281--288, 2021
2021
-
[27]
Higher string topology operations
Veronique Godin. Higher string topology operations. arXiv preprint arXiv:0711.4859 , 2007
2007 arXiv
-
[28]
M. Gromov. Partial differential relations , volume 9 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) . Springer-Verlag, Berlin, 1986
1986
-
[29]
Poisson structures of divisor-type
Ralph L Klaasse. Poisson structures of divisor-type. arXiv preprint arXiv:1811.04226 , 2018
2018 arXiv
-
[30]
Symplectic, P oisson, and contact geometry on scattering manifolds
Melinda Lanius. Symplectic, P oisson, and contact geometry on scattering manifolds. Pacific J. Math. , 310(1):213--256, 2021
2021
-
[31]
Mackenzie
K. Mackenzie. Lie groupoids and L ie algebroids in differential geometry , volume 124 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1987
1987
-
[32]
Richard B. Melrose. The A tiyah- P atodi- S inger index theorem , volume 4 of Research Notes in Mathematics . A K Peters, Ltd., Wellesley, MA, 1993
1993
-
[33]
Moerdijk and J
I. Moerdijk and J. Mr c un. On integrability of infinitesimal actions. American Journal of Mathematics , 124(3):567--593, 2002
2002
-
[34]
Which singular tangent bundles are isomorphic?, 2025
Eva Miranda and Pablo Nicol \'a s. Which singular tangent bundles are isomorphic?, 2025
2025
-
[35]
Deformations of log-symplectic structures
Ioan M a rcu t and Boris Osorno Torres. Deformations of log-symplectic structures. J. Lond. Math. Soc. (2) , 90(1):197--212, 2014
2014
-
[36]
The geometry of E -manifolds
Eva Miranda and Geoffrey Scott. The geometry of E -manifolds. Rev. Mat. Iberoam. , 37(3):1207--1224, 2021
2021
-
[37]
K. C. H. Mackenzie and P. Xu. Integration of Lie bialgebroids. Topology , 39(3):445--467, 2000
2000
-
[38]
Theory of logarithmic differential forms and logarithmic vector fields
Kyoji Saito. Theory of logarithmic differential forms and logarithmic vector fields. J. Fac. Sci. Univ. Tokyo Sect. IA Math , 27(2):265--291, 1980
1980
-
[39]
The geometry of b^k manifolds
Geoffrey Scott. The geometry of b^k manifolds. J. Symplectic Geom. , 14(1):71--95, 2016
2016
-
[40]
Almost invariant submanifolds for compact group actions
Alan Weinstein. Almost invariant submanifolds for compact group actions. J. Eur. Math. Soc. (JEMS) , 2(1):53--86, 2000
2000
-
[41]
Elementary structure of real algebraic varieties
Hassler Whitney. Elementary structure of real algebraic varieties. Ann. of Math.y , 66(2):545--556, 1957
1957
-
[42]
Extensions of symplectic groupoids and quantization
Alan Weinstein and Ping Xu. Extensions of symplectic groupoids and quantization. J. Reine Angew. Math. , 417:159--189, 1991
1991
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.