pith. machine review for the scientific record. sign in

arxiv: 2604.17619 · v1 · submitted 2026-04-19 · 🧮 math.DG · math.SG

Recognition: unknown

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

Yi Lin
Authors on Pith no claims yet

Pith reviewed 2026-05-10 05:05 UTC · model grok-4.3

classification 🧮 math.DG math.SG
keywords transverse averaging operatorbasic cohomologyRiemannian foliationdiffeological de Rham cohomologyLie algebra cohomologyhomogeneous spacenon-closed subgrouprelative cohomology
0
0 comments X

The pith

A transverse averaging operator maps closed basic forms to invariant representatives in the same cohomology class and equates the diffeological de Rham cohomology of G/H to relative Lie algebra cohomology.

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

The paper constructs an averaging operator for basic forms on a Riemannian foliation that uses only infinitesimal transverse Lie algebra data, without needing a global compact group action. This operator takes any closed basic form to an invariant basic form that lies in the same basic cohomology class. Applied to the diffeological space G/H with H not necessarily closed, the construction yields an isomorphism between the diffeological de Rham cohomology and the relative Lie algebra cohomology H(g, h) when G over the closure of H is compact and g is of compact type. When h is an ideal the isomorphism simplifies further to H(g/h) under the single compactness assumption on G over the closure of H.

Core claim

We introduce a transverse averaging operator for basic forms on a Riemannian foliation equipped with an isometric transverse Lie algebra action, under the assumption that the leaf closure space is compact. We show that it sends every closed basic form to an invariant basic form representing the same basic cohomology class. As a main application, we compute the diffeological de Rham cohomology of the homogeneous space G/H, where G is a connected Lie group, not necessarily compact, and H is a connected Lie subgroup, not necessarily closed. Assuming that g is of compact type and that G/overline{H} is compact, we prove that H^•_dR(G/H) ≅ H^•(g, h). If, in addition, h is an ideal in g, then under

What carries the argument

The transverse averaging operator, built purely from infinitesimal transverse Lie algebra data on a Riemannian foliation whose leaf-closure space is compact, which produces invariant representatives while preserving basic cohomology classes.

If this is right

  • Closed basic forms on such foliations admit invariant representatives in the same class.
  • The diffeological de Rham cohomology of G/H equals the relative Lie algebra cohomology H(g, h) when G over the closure of H is compact and g has compact type.
  • When h is an ideal the isomorphism becomes H(g/h) under the weaker single assumption that G over the closure of H is compact.
  • The operator is defined without reference to any global group integration and depends only on local transverse data.

Where Pith is reading between the lines

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

  • The same infinitesimal construction may extend to other transverse actions on foliations that are not necessarily homogeneous spaces.
  • The result suggests that basic cohomology computations can sometimes bypass the need for global compactness of the acting group.
  • One could test the isomorphism on concrete examples such as quotients by dense windings in tori to see the cohomology match explicitly.

Load-bearing premise

The space of leaf closures must be compact and the transverse Lie algebra action must act by isometries on the Riemannian foliation.

What would settle it

An explicit closed basic form on a Riemannian foliation with isometric transverse action whose image under the averaging operator lies in a different basic cohomology class would show that the operator fails to preserve classes.

read the original abstract

In this article, we introduce a transverse averaging operator for basic forms on a Riemannian foliation equipped with an isometric transverse Lie algebra action, under the assumption that the leaf closure space is compact. Unlike the classical averaging operator in equivariant geometry, which is defined by integration over a compact Lie group, our operator is built purely from infinitesimal transverse data and does not require any global group action. We show that it sends every closed basic form to an invariant basic form representing the same basic cohomology class. As a main application, we compute the diffeological de Rham cohomology of the homogeneous space $G/H$, where $G$ is a connected Lie group, not necessarily compact, and $H$ is a connected Lie subgroup, not necessarily closed. Let $\mathfrak g$ and $\mathfrak h$ be the Lie algebras of $G$ and $H$, respectively. Assuming that $\mathfrak g$ is of compact type and that $G/\overline{H}$ is compact, we prove that \[ H^\bullet_{dR}(G/H)\cong H^\bullet(\mathfrak g,\mathfrak h). \] If, in addition, $\mathfrak h$ is an ideal in $\mathfrak g$, then under the weaker assumption that $G/\overline{H}$ is compact, we obtain \[ H^\bullet_{dR}(G/H)\cong H^\bullet(\mathfrak g/\mathfrak h), \] without requiring $\mathfrak g$ to be of compact type.

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

2 major / 3 minor

Summary. The paper introduces a transverse averaging operator for basic forms on a Riemannian foliation with an isometric transverse Lie algebra action, assuming compactness of the leaf closure space. Unlike classical group averaging, the operator is constructed purely from infinitesimal transverse data. It is shown to map every closed basic form to an invariant basic form in the same basic cohomology class. The main application computes the diffeological de Rham cohomology of the homogeneous space G/H (G connected Lie group, H connected subgroup not necessarily closed), proving H^•_dR(G/H) ≅ H^•(g, h) when g is of compact type and G/¯H is compact, and H^•_dR(G/H) ≅ H^•(g/h) when h is an ideal in g under the weaker compactness assumption on G/¯H.

Significance. If the central claims hold, this provides a new infinitesimal tool for cohomology computations on quotients by non-closed subgroups, extending averaging techniques beyond compact group actions to diffeological and foliated settings. The isomorphisms reduce the topological cohomology to algebraic relative Lie algebra cohomology under explicit geometric hypotheses, which is a substantive contribution bridging foliation theory and Lie algebra cohomology. The parameter-free construction from transverse data is a notable strength.

major comments (2)
  1. The abstract asserts that the operator sends closed basic forms to invariant ones in the same class, but the precise construction and proof that it is independent of auxiliary choices (e.g., transverse metric) must be verified in the section defining the operator, as this is load-bearing for both the general property and the subsequent isomorphisms.
  2. In the statement of the main isomorphism theorems, the necessity of 'g of compact type' (versus the weaker hypothesis when h is ideal) should be justified by an explicit counter-example or reduction showing where the proof fails without it; this assumption appears in the abstract but its role in the averaging step needs explicit citation to the relevant lemma or proposition.
minor comments (3)
  1. Notation for the diffeological de Rham cohomology H^•_dR(G/H) should be introduced with a brief reminder of its definition in the context of the quotient diffeology, to aid readers unfamiliar with the setting.
  2. The compactness assumptions (leaf closure space compact, G/¯H compact) are stated in the abstract; ensure they are restated verbatim at the beginning of each theorem statement for clarity.
  3. A short remark comparing the transverse operator to the classical averaging operator (e.g., in equivariant de Rham theory) would help situate the novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points for clarity and justification, which we address below. We will incorporate revisions to strengthen the exposition without altering the core results.

read point-by-point responses

  1. Referee: The abstract asserts that the operator sends closed basic forms to invariant ones in the same class, but the precise construction and proof that it is independent of auxiliary choices (e.g., transverse metric) must be verified in the section defining the operator, as this is load-bearing for both the general property and the subsequent isomorphisms.

    Authors: The construction of the transverse averaging operator is given explicitly in the section on its definition, using only the infinitesimal transverse Lie algebra action together with a transverse metric. Independence from the choice of transverse metric is established by showing that any two such metrics yield operators that agree on closed basic forms up to an exact term, thereby preserving the basic cohomology class; this is proven directly from the infinitesimal data without reference to a global group. The mapping property for closed forms to invariant ones in the same class follows immediately from this construction and is stated as the main general theorem. We agree that the load-bearing nature warrants more prominent cross-references, and we will revise the abstract and the opening of the relevant section to include a concise summary of the independence argument. revision: yes

  2. Referee: In the statement of the main isomorphism theorems, the necessity of 'g of compact type' (versus the weaker hypothesis when h is ideal) should be justified by an explicit counter-example or reduction showing where the proof fails without it; this assumption appears in the abstract but its role in the averaging step needs explicit citation to the relevant lemma or proposition.

    Authors: The compact type hypothesis on g enters the proof precisely at the step where the transverse averaging operator is applied to produce an invariant representative: it guarantees that the infinitesimal action admits a compatible invariant transverse metric under which the operator is well-defined and projects onto the invariants. When h is an ideal, the quotient Lie algebra structure allows the cohomology to be identified directly with the Chevalley-Eilenberg complex of g/h, bypassing the need for this metric and hence for compact type. We will add an explicit citation to the lemma establishing the metric existence (used only in the general case) immediately after the theorem statements, together with a short reduction paragraph indicating the precise point at which the argument fails without compact type. While we do not include a concrete counterexample in the present manuscript, the reduction makes the necessity transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation begins by constructing a transverse averaging operator directly from infinitesimal transverse Lie algebra data on a Riemannian foliation (under explicit compactness and isometry hypotheses). The operator is shown to map closed basic forms to invariant basic forms in the same class via direct verification of its properties. This is then applied to identify the diffeological de Rham cohomology of G/H with the relative Lie algebra cohomology H•(g,h) (or H•(g/h) when h is ideal). All steps are self-contained algebraic and differential-geometric arguments that do not reduce any claimed result to a fitted input, self-definition, or load-bearing self-citation; the hypotheses are stated as external conditions required for the operator to function as claimed.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The central claims rest on standard axioms of differential geometry, Lie algebra cohomology, and foliation theory. The transverse averaging operator is the primary new construction introduced by the paper.

axioms (3)
  • standard math Standard definitions and properties of basic forms, basic cohomology, and Riemannian foliations
    Invoked throughout the definition of the operator and the cohomology computations.
  • standard math Standard definitions of relative Lie algebra cohomology H^*(g, h) and H^*(g/h)
    Used as the target of the isomorphisms in the main theorems.
  • domain assumption Existence and properties of diffeological de Rham cohomology on quotients
    Assumed as the cohomology theory being computed for G/H.
invented entities (1)
  • transverse averaging operator no independent evidence
    purpose: To map closed basic forms to invariant basic forms while preserving cohomology classes using only infinitesimal data
    Newly defined in the paper from the transverse Lie algebra action.

pith-pipeline@v0.9.0 · 5561 in / 1635 out tokens · 63483 ms · 2026-05-10T05:05:03.994459+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. De Rham Cohomology of Certain Diffeological Quotients

    math.DG 2026-05 conditional novelty 6.0

    An equivariant isomorphism identifies diffeological de Rham forms on certain quotients M/H with H-invariant basic forms on the foliated manifold, generalizing prior results on homogeneous spaces.

Reference graph

Works this paper leans on

16 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bott and L

    R. Bott and L. Tu,Differential forms in algebraic topology, Springer-Verlag, New York, 1982

    1982

  2. [2]

    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

  3. [3]

    Bourbaki,Lie Groups and Lie Algebras, Chapters 7–9, Translated from French, Elements of Mathe- matics (Berlin), Springer-Verlag, Berlin, 2005

    N. Bourbaki,Lie Groups and Lie Algebras, Chapters 7–9, Translated from French, Elements of Mathe- matics (Berlin), Springer-Verlag, Berlin, 2005

    2005

  4. [4]

    Clark and F

    B. Clark and F. Ziegler,The de Rham cohomology of a Lie group modulo a dense subgroup, Proc. Amer. Math. Soc. (to appear)

  5. [5]

    Goertsches and D

    O. Goertsches and D. T¨ oben,Equivariant basic cohomology of Riemannian foliations, J. Reine Angew. Math.745(2018), 1–40

    2018

  6. [6]

    Guillemin and S

    V. Guillemin and S. Sternberg,Supersymmetry and equivariant de Rham theory, Springer-Verlag, New York, 1999

    1999

  7. [7]

    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

  8. [8]

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

    1988

  9. [9]

    Lin and X

    Y. Lin and X. Yang,Equivariant formality of Hamiltonian transversely symplectic foliations, Pacific J. Math.298(2019), no. 1, 59–82

    2019

  10. [10]

    Lin and R

    Y. Lin and R. Sjamaar,Cohomological localization for transverse Lie algebra actions on Riemannian foliations, arXiv:1806.01908v1

    work page arXiv

  11. [11]

    Lin and Z

    Y. Lin and Z. Wang,Equivariant Morse theory for Lie algebra actions on Riemannian foliations, Preprint, arXiv:2401.01338

    work page arXiv

  12. [12]

    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

  13. [13]

    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

    2023

  14. [14]

    Molino,Riemannian foliations, With appendices by G

    P. Molino,Riemannian foliations, With appendices by G. Cairns, Y. Carri` ere, ´E. Ghys, E. Salem and V. Sergiescu, Birkh¨ auser, Boston, 1988

    1988

  15. [15]

    Reinhart,Harmonic integrals on foliated manifolds, Amer

    B. Reinhart,Harmonic integrals on foliated manifolds, Amer. J. Math.81(1959), 529–536

    1959

  16. [16]

    Sergiescu,Cohomologie basique et dualit´ e des feuilletages riemanniens, Ann

    V. Sergiescu,Cohomologie basique et dualit´ e des feuilletages riemanniens, Ann. Inst. Fourier (Grenoble) 35(1985), no. 3, 137–158. Y. Lin, Department of Mathematical Sciences, Georgia Southern University, Statesboro, GA, 30460 USA Email address:yilin@georgiasouthern.edu

    1985