De Rham Cohomology of Certain Diffeological Quotients
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917462021242880 |
|---|---|
| author | Lin, Yi |
| author_facet | Lin, Yi |
| contents | Hector, Mac\'ıas-Virgós, and Sanmart\'ın-Carbón 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 $π_H:M\to M/H$ identifies the de Rham complex of diffeological forms on $M/H$ with the complex of $H$-invariant basic forms: \[ Ω^\bullet(M/H)\cong Ω^\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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_01891 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | De Rham Cohomology of Certain Diffeological Quotients Lin, Yi Differential Geometry Symplectic Geometry Hector, Mac\'ıas-Virgós, and Sanmart\'ın-Carbón 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 $π_H:M\to M/H$ identifies the de Rham complex of diffeological forms on $M/H$ with the complex of $H$-invariant basic forms: \[ Ω^\bullet(M/H)\cong Ω^\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. |
| title | De Rham Cohomology of Certain Diffeological Quotients |
| topic | Differential Geometry Symplectic Geometry |
| url | https://arxiv.org/abs/2605.01891 |