The closure of linear foliations

Ivan Struchiner; Mateus de Melo

arxiv: 2501.19103 · v1 · submitted 2025-01-31 · 🧮 math.DG

The closure of linear foliations

Mateus de Melo , Ivan Struchiner This is my paper

Pith reviewed 2026-05-23 04:33 UTC · model grok-4.3

classification 🧮 math.DG

keywords singular Riemannian foliationsfoliation closurelinear foliationsprojectable foliationsRiemannian manifoldsleaf closuresvector bundlesframe bundles

0 comments

The pith

The closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian foliation.

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

The paper establishes that the closure of a singular Riemannian foliation on a complete Riemannian manifold remains a smooth singular Riemannian foliation. This matters to a sympathetic reader because it shows the foliation structure stays regular after closure, so properties of the original foliation carry over without new singularities from the closure operation. The argument proceeds by first deriving conditions under which projectable foliations are Riemannian, then transferring those conditions to linear foliations on vector bundles and their lifts to frame bundles. Finally the conditions are applied to the linearization of the foliation around leaf closures, proving smoothness directly in the semi-local model.

Core claim

By establishing conditions for a projectable foliation to be Riemannian through the use of compatible connections, and applying those conditions to linear foliations on vector bundles together with their lifts to frame bundles, the closure of a singular Riemannian foliation is shown to be smooth directly in the linear semi-local model around leaf closures, thereby proving the statement for complete Riemannian manifolds.

What carries the argument

Conditions for projectable foliations to be Riemannian via compatible connections, applied to linear foliations on vector bundles and their linearizations around leaf closures.

If this is right

The closure foliation inherits the Riemannian property from the original foliation.
Smoothness of the closure holds directly in the linear semi-local model.
No intermediate results on orbit-like foliations are required for the proof.
The method extends the projectable conditions from vector bundles to the full manifold setting.

Where Pith is reading between the lines

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

The emphasis on projectability and linear models may allow similar direct arguments for closure questions in other classes of foliations on manifolds.
If the linear semi-local model applies more broadly, global properties of foliations could be reduced to local bundle calculations.
The avoidance of analytic tools suggests the geometric conditions alone suffice for many closure statements in differential geometry.

Load-bearing premise

The foliation admits a linear semi-local model around leaf closures to which the projectable Riemannian condition can be transferred without additional analytic hypotheses.

What would settle it

A concrete singular Riemannian foliation on a complete Riemannian manifold whose leaf closure fails to be a smooth foliation or fails to satisfy the Riemannian condition.

read the original abstract

This paper presents a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) Theorem, which states that the closure of a singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian foliation. Our approach circumvents several technical and analytical tools employed in the previous proof of the Theorem, resulting in a more direct geometric demonstration. We first establish conditions for a projectable foliation to be Riemannian, focusing on compatible connections. We then apply these results to linear foliations on vector bundles and their lifts to frame bundles. Finally, we use these findings to the linearization of singular Riemannian foliations around leaf closures. This method allows us to prove the smoothness of the closure directly for the linear semi-local model, bypassing the need for intermediate results on orbit-like foliations.

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

This paper supplies a simplified geometric proof of the existing MAR theorem rather than a new result.

read the letter

The main takeaway is that this is a new proof of the Molino-Alexandrino-Radeschi theorem, not a new theorem. The authors replace earlier technical machinery with a route that first gives conditions for projectable foliations to be Riemannian via compatible connections, then checks those conditions on linear foliations and frame-bundle lifts, and finally transfers the setup to the linear semi-local model around leaf closures to conclude that the closure is smooth. That sequence is the actual contribution. It is more direct than prior arguments and avoids some analytic intermediates, which is a legitimate methodological improvement for anyone who needs to work with the theorem. The geometric emphasis on projectability and linear models is the part that feels cleaner. The soft spot is the linearization transfer itself. The abstract asserts that the projectable Riemannian property carries over without extra hypotheses on the transverse metric or completeness, but that step is load-bearing and would need careful verification in the full text to confirm there are no hidden compatibility conditions or scope restrictions. If the details check out, the argument holds; if they rely on unstated properties of the model, the proof would need tightening. This is a paper for people already inside singular Riemannian foliations who want a shorter route to the MAR statement. A broader differential geometry audience would probably skip it. I would bring it to a reading group only if the group is already working in that subfield. I would not cite it in my own work. It deserves peer review because a cleaner proof of a standard organizing result is worth archiving even if the advance is incremental.

Referee Report

1 major / 2 minor

Summary. The paper claims to give a simplified geometric proof of the Molino-Alexandrino-Radeschi (MAR) theorem: the closure of any singular Riemannian foliation on a complete Riemannian manifold is itself a smooth singular Riemannian foliation. The argument proceeds by first characterizing when a projectable foliation is Riemannian (via existence of a compatible connection), then verifying the property for linear foliations on vector bundles and their frame-bundle lifts, and finally transferring the conclusion to the linear semi-local model around leaf closures.

Significance. If the central reductions hold, the manuscript supplies a direct geometric route to the MAR theorem that avoids several analytic and technical devices used in earlier proofs. The explicit focus on projectable foliations and linear models is a clear organizational strength.

major comments (1)

[linearization section] The transfer step from the linear semi-local model back to the original foliation (abstract, final paragraph) is load-bearing for the claim that the closure is smooth; the manuscript must explicitly confirm that projectability and connection compatibility survive the linearization without additional transverse-metric hypotheses, as this is the weakest assumption identified in the architecture.

minor comments (2)

Notation for the compatible connection in the projectable case should be introduced once and used consistently across the linear and frame-bundle sections.
Add a short remark clarifying how completeness of the ambient manifold is used only in the final transfer, not in the linear-model arguments.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The single major comment is addressed below; we agree that greater explicitness is warranted in the linearization transfer and will revise accordingly.

read point-by-point responses

Referee: [linearization section] The transfer step from the linear semi-local model back to the original foliation (abstract, final paragraph) is load-bearing for the claim that the closure is smooth; the manuscript must explicitly confirm that projectability and connection compatibility survive the linearization without additional transverse-metric hypotheses, as this is the weakest assumption identified in the architecture.

Authors: We agree that the transfer step is central and that the manuscript would benefit from an explicit confirmation. The linearization is constructed so that the projectable structure and the compatible connection are preserved by the very definition of the linear model (see the projectable-foliation characterization and the frame-bundle lift). Nevertheless, to meet the referee's request under the weakest hypotheses, we will add a short dedicated paragraph in the linearization section that recalls the relevant properties from earlier sections and states that no extra transverse-metric assumptions are required for the survival of projectability and connection compatibility. This clarification strengthens the exposition without changing the argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation establishes general conditions for a projectable foliation to be Riemannian via compatible connections, then applies these to linear foliations on vector bundles and their frame-bundle lifts, and finally transfers the properties to the linear semi-local model around leaf closures to conclude smoothness of the closure. This chain is presented as relying on standard background in Riemannian geometry and foliation theory without any step that reduces by the paper's own equations to a fitted input, a self-defined quantity, or a load-bearing self-citation whose support is internal to the authors' prior work. The central claim therefore remains independent of the inputs in the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a proof in differential geometry and therefore rests on standard background results of the field rather than new fitted parameters or invented entities.

axioms (1)

standard math Standard axioms and constructions of Riemannian geometry and foliation theory (existence of compatible connections, projectability, linearization near orbits).
Invoked throughout the reductions described in the abstract.

pith-pipeline@v0.9.0 · 5657 in / 1314 out tokens · 42458 ms · 2026-05-23T04:33:27.740542+00:00 · methodology

The closure of linear foliations

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)