arxiv: 2605.01891 · v2 · submitted 2026-05-03 · 🧮 math.DG · math.SG

Recognition: unknown

De Rham Cohomology of Certain Diffeological Quotients

Yi Lin

Authors on Pith no claims yet

Pith reviewed 2026-05-09 16:08 UTC · model grok-4.3

classification 🧮 math.DG math.SG

keywords De Rham cohomologydiffeological spacesquotient spacesLie group actionsbasic formsfoliationsequivariant maps

0 comments

The pith

The pullback by the quotient map identifies the de Rham complex on M/H with the H-invariant basic forms on M under specified conditions.

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

This paper proves an equivariant extension of the identification between diffeological differential forms on a leaf space and basic forms on the foliated manifold. For a group H acting smoothly by foliation-preserving diffeomorphisms on a foliated manifold, the identification is shown to be equivariant. Applied to quotients M/H from locally free actions of Lie groups, possibly not second countable, the pullback map gives an isomorphism between the diffeological de Rham complex on the quotient and the complex of H-invariant basic forms, provided H is second countable or a subduction condition holds on the component group action. This framework incorporates computations for certain homogeneous spaces as special cases.

Core claim

Under the conditions that H acts smoothly and locally freely on a second countable manifold M, with F the foliation by orbits of the identity component H0, and either H second countable or the induced action of H/H0 on M/H0 being a subduction, the pullback by the quotient map π_H identifies the complex of diffeological forms on M/H with the H-invariant basic forms on (M, F).

What carries the argument

The pullback map induced by the quotient map π_H from M to M/H, which establishes the isomorphism of cochain complexes Ω^•(M/H) ≅ Ω^•(M, F)^H.

If this is right

The de Rham cohomology of the diffeological space M/H can be computed using H-invariant basic forms on M.
Results on the cohomology of homogeneous spaces G/H for dense subgroups H follow directly from this identification.
The equivariant identification preserves the group action structure in the cohomology computation.
Such quotients M/H have their diffeological de Rham cohomology determined by the invariant basic cohomology of the foliation.

Where Pith is reading between the lines

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

Without the subduction condition, alternative approaches might be needed to describe the forms on the quotient.
This suggests potential extensions to other types of group actions or cohomology theories in the diffeological setting.
Applications could include studying the cohomology of more general singular spaces arising from non-free actions.

Load-bearing premise

That the action of the component group on the space of H0-orbits satisfies the subduction condition when H is not second countable.

What would settle it

Construction of a non-second-countable Lie group H acting locally freely on M where the component group action is not a subduction and the pullback fails to be an isomorphism on the de Rham complexes.

read the original abstract

Hector, Mac\'{\i}as-Virg\'os, and Sanmart\'{\i}n-Carb\'on identified the complex of diffeological differential forms on the leaf space of a foliation with the complex of basic forms on the foliated manifold, yielding a canonical isomorphism of cochain complexes. In this short note we prove an equivariant version of their theorem: if a group $H$ acts smoothly on a foliated manifold $(M,\mathcal F)$ by foliation-preserving diffeomorphisms, so that the action descends to the leaf space $M/\mathcal F$, then this canonical identification is $H$-equivariant. As an application, we compute the diffeological de Rham cohomology of quotients $M/H$ arising from smooth, locally free actions of Lie groups that are not necessarily connected or second countable. More precisely, let $H$ be a Lie group, not necessarily second countable, acting smoothly and locally freely on a second countable manifold $M$. Let $H_0$ be its identity component, and let $\mathcal F$ be the foliation by $H_0$-orbits. If $H$ is second countable, or, in the non-second-countable case, if the induced component-group action on $M/H_0$ satisfies a natural subduction condition, then pullback by the quotient map $\pi_H:M\to M/H$ identifies the de Rham complex of diffeological forms on $M/H$ with the complex of $H$-invariant basic forms: \[ \Omega^\bullet(M/H)\cong \Omega^\bullet(M,\mathcal F)^H . \] This places the recent result on homogeneous spaces $G/H$ for dense subgroups $H\subset G$ in a broader foliation-theoretic framework, from which it follows as a direct consequence.

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 gives a clean equivariant extension of the basic forms identification for diffeological quotients and applies it to non-second-countable Lie groups under a subduction condition.

read the letter

The main takeaway is that this short note proves an equivariant version of the Hector-Macías-Virgós-Sanmartín-Carbón theorem on de Rham cohomology for diffeological leaf spaces. Specifically, for a group H acting smoothly and locally freely on a foliated manifold, the pullback identifies the diffeological forms on the quotient with the invariant basic forms, provided H is second countable or the component group action satisfies subduction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an equivariant extension of the Hector–Macías-Virgós–Sanmartín-Carbón identification: for a smooth, locally free action of a Lie group H on a second-countable manifold M, with F the foliation by H_0-orbits, the pullback by the quotient map π_H yields an isomorphism of cochain complexes Ω^•(M/H) ≅ Ω^•(M, F)^H whenever H is second countable or the induced component-group action on M/H_0 satisfies the subduction condition. The result is applied to place computations of diffeological de Rham cohomology for quotients M/H (including homogeneous spaces G/H with dense subgroups) in a foliation-theoretic setting.

Significance. If the argument holds, the paper supplies a canonical, explicitly conditioned isomorphism that extends the non-equivariant leaf-space result to group actions that need not be second countable. This framework directly recovers recent cohomology computations for dense-subgroup quotients as special cases and supplies verifiable hypotheses under which diffeological de Rham cohomology of the quotient can be read off from H-invariant basic forms on M.

minor comments (2)

The subduction condition on the component-group action is stated clearly in the abstract and introduction but would benefit from a brief parenthetical reminder of its precise meaning (e.g., that the quotient map M/H_0 → (M/H_0)/(H/H_0) is a subduction) when it is invoked in the proof of the main theorem.
Notation for the foliation F and the basic-form complex Ω^•(M, F) is consistent, yet the manuscript could add a one-sentence cross-reference to the non-equivariant Hector–Macías-Virgós–Sanmartín-Carbón theorem immediately before stating the equivariant isomorphism.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The referee's description of the main result—an equivariant extension of the Hector–Macías-Virgós–Sanmartín-Carbón isomorphism under the stated hypotheses on H—matches our intent precisely. No major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity: equivariant extension of independent prior theorem

full rationale

The derivation begins from the Hector–Macías-Virgós–Sanmartín-Carbón isomorphism (cited as external prior work by different authors) and adds an equivariance argument under the H-action to obtain Ω^•(M/H) ≅ Ω^•(M, F)^H. This step is a direct verification of compatibility with the group action and does not reduce any quantity to a fitted parameter, self-definition, or load-bearing self-citation. The application to M/H quotients follows immediately from the stated hypotheses (locally free action, second-countability or subduction condition) without renaming known results or smuggling ansatzes. The paper is self-contained against the external benchmark of the cited non-equivariant theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the existence of the non-equivariant isomorphism from Hector et al., standard properties of diffeological forms and basic forms, and the definition of locally free actions and subductions. No free parameters or invented entities are introduced.

axioms (2)

standard math The non-equivariant identification of diffeological forms on the leaf space with basic forms holds (Hector-Macías-Virgós-Sanmartín-Carbón theorem).
Invoked as the base case that is extended to the equivariant setting.
domain assumption Smooth locally free actions of Lie groups induce foliations by orbits of the identity component.
Standard in foliation theory; used to define F.

pith-pipeline@v0.9.0 · 5631 in / 1409 out tokens · 60614 ms · 2026-05-09T16:08:41.822085+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Bourbaki,Lie Groups and Lie Algebras, Chapters 1–3, Springer-Verlag, 1989

N. Bourbaki,Lie Groups and Lie Algebras, Chapters 1–3, Springer-Verlag, 1989

1989
[2]

Clark and F

B. Clark and F. Ziegler,The de Rham cohomology of a Lie group modulo a dense subgroup, Trans. Amer. Math. Soc. 379 (2026), no. 4, 2887–2917

2026
[3]

Iglesias-Zemmour,Diffeology, Mathematical Surveys and Monographs, 185, American Mathematical Society, Providence, RI, 2013

P. Iglesias-Zemmour,Diffeology, Mathematical Surveys and Monographs, 185, American Mathematical Society, Providence, RI, 2013

2013
[4]

Hector, E

G. Hector, E. Mac´ ıas-Virg´ os, and E. Sanmart´ ın-Carb´ on,De Rham cohomology of diffeological spaces and foliations, Indag. Math. (N.S.)21(2010), no. 3–4, 212–220

2010
[5]

A. W. Knapp,Lie Groups, Lie Algebras, and Cohomology, Mathematical Notes, vol. 34, Princeton University Press, Princeton, NJ, 1988

1988
[6]

A Transverse Averaging Operator and Cohomology of Quotients by Non-closed Subgroups

Y. Lin,A transverse averaging operator and cohomology of quotients by non-closed subgroups, Preprint, arXiv:2604.17619 [math.DG], 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[7]

Miyamoto,The basic de Rham complex of a singular foliation, Int

D. Miyamoto,The basic de Rham complex of a singular foliation, Int. Math. Res. Not. IMRN 2023, no. 8, 6364–6401. Y. Lin, Department of Mathematical Sciences, Georgia Southern University, Statesboro, GA, 30460 USA Email address:yilin@georgiasouthern.edu

2023