Pith. sign in

REVIEW 3 major objections 4 minor 13 references

Simplicial sheaves of modules and Morita invariance of groupoid cohomology

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims that Morita invariance of groupoid cohomology, cohomology with coefficients in representations, and Bott–Schulman cohomology all follow from one condition on sheaves of modules over a groupoid's nerve.

desk verdict A genuinely useful unified framework for Morita invariance, but Lemma 4.12 is not proved and the stated left augmentation is not even a chain map with the paper's sign convention, so the main theorems do not yet follow as written. read the letter →

arxiv 2509.07285 v1 pith:WBYLDSFT submitted 2025-09-08 math.DG math.OA

Xiang Tang , Joel Villatoro This is my paper · ORCID
classification math.DGmath.OA MSC 22A2258H0518G3055N30
keywords LiegroupoidsMoritaequivalencegroupoidcohomologycosimplicialmodulessimplicialsheavesBott–Schulmandecalageweak
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Lie groupoids are atlases for singular quotient spaces, and a cohomology theory built from a groupoid is only meaningful if it does not depend on which atlas one chooses—that is, if it is Morita invariant. This paper claims that a single framework proves Morita invariance for the standard theories: it views each as a sheaf of modules (or a sheaf of complexes) on the nerve of the groupoid, and shows that weak equivalences induce isomorphisms in cohomology whenever the sheaf is 'good' or comes from a sheaf on the big site. The proof is deliberately low-tech, based on the shift double of the nerve, an auxiliary double groupoid attached to the homomorphism, and local retractions patched together with partitions of unity. If correct, the paper replaces several separate Morita-invariance arguments with one sufficient condition.

What carries the argument

The shift double (decalage) of a cosimplicial object, which arranges left and right shifts into rows and columns; the F-double groupoid attached to a homomorphism F:H→G; target families and the goodness condition; and left retractions of cosimplicial modules, assembled globally from local ones via partitions of unity. The proof factors the pullback through the shift double and shows the relevant augmentations are acyclic by constructing explicit left retracts.

What would settle it

Construct a Lie groupoid G and a naturally occurring cosimplicial module E over G, together with a local section r_0:U→G^1 of the target map, such that the associated target family {r_n} cannot be lifted to a family of comorphisms (r_n)^# satisfying (r_n)^#∘ϕ^{n+1}_i = Id for i=0 and (r_n)^#∘ϕ^{n+1}_i = ϕ^n_{i−1}∘(r_{n−1})^# for 1≤i≤n. Such an E would show goodness is not automatic and would remove that example from the coverage of Theorem 9.9.

Watch

Extended reading notes

Core claim

The central claim is Theorem 9.9 (big-site variant Theorem 9.11): for a weak equivalence F:H→G and a good cosimplicial complex E over G, the pullback F^#:E→F^*E, e↦e⊗1, is an isomorphism in cohomology; for a sheaf of complexes on the big site, E_F:E_H→E_G is an isomorphism. Goodness (Definition 7.8) is a Kan-like condition: every local section of the target map lifts to a compatible family of module comorphisms. The authors know no non-good example and consider sufficiently functorial modules good, but give no characterization. The corollaries—groupoid cohomology, representation coefficients, Bott–Schulman cohomology, and compactly supported versions—are instances of this single result.

Load-bearing premise

The pullback theorem for cosimplicial complexes assumes the 'goodness' condition (Definition 7.8), and the paper gives no proof or characterization that natural examples satisfy it; if a natural example fails, the proof's local retraction step collapses and the Morita-invariance conclusion for that example does not follow.

Editorial extensions

If this is right

  • Morita equivalent Lie groupoids have isomorphic groupoid cohomology.
  • Cohomology with coefficients in a groupoid representation is Morita invariant, recovering earlier results without a separate argument.
  • Bott–Schulman cohomology of a Lie groupoid is Morita invariant.
  • Compactly supported versions of these cohomology theories are Morita invariant as well (Corollary 1.6).
  • Any sheaf of complexes on the big site of smooth manifolds—for example differential forms—produces a Morita-invariant cohomology theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If goodness turns out to be automatic for all cosimplicial complexes arising from natural bundles and geometric structures, then Theorem 9.9 would cover essentially every cohomology theory of this type, making the condition a convenience rather than a restriction.
  • The local-section-plus-partition-of-unity method suggests the same strategy should extend to simplicial manifolds satisfying mild Kan-like conditions, beyond Lie groupoids, as the authors themselves note.
  • A direct testable extension is to apply the framework to only partially functorial sheaves—compactly supported forms or distribution-valued sections—to see where goodness can fail.
  • The framework likely also gives Morita invariance for twisted de Rham cohomology associated to flat connections or local systems, whenever the twist is functorial enough to be good.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes a unified framework for proving Morita invariance of cohomology theories associated to Lie groupoids. The central objects are cosimplicial sheaves of modules (or complexes) on the nerve of a Lie groupoid, subject to a 'goodness' condition (Definition 7.8). The main results, Theorem 8.9 and Theorem 9.9, assert that for a good cosimplicial module (or complex) E over G and a weak equivalence F:H→G, the natural pullback e↦e⊗1 induces an isomorphism in cohomology. Parallel statements for sheaves on the big site are given as Theorems 8.7 and 9.11. The proofs use the shift double (décalage) construction, the associated double/triple complexes, partitions of unity to patch local retractions, and an F-double groupoid attached to a groupoid homomorphism. Known Morita-invariance results for groupoid cohomology, representation-valued cohomology, and Bott–Shulman cohomology are derived as corollaries.

Significance. If the main theorems are correct, the paper gives a single sufficient condition covering several formerly separate Morita-invariance results, and it offers a low-tech, explicit route via retractions and partitions of unity. The explicit construction of local retractions and their patching is a genuine strength. However, the validity of the framework currently depends on a missing proof of one leg of Lemma 4.12 and on an unproved claim that big-site sheaves are automatically good. These issues are local and likely repairable, but they are load-bearing for the stated theorems.

major comments (3)
  1. [§4.5, Lemma 4.12] The left augmentation L_V is not proved to be a quasi-isomorphism, and as stated it is not a chain map with respect to the paper's total differential. Definition 4.11 sets L_V(e)=φ_0^{n+1}e in D^{n,0}. In the total complex (Definition 2.20), d_tot = d_H + (-1)^p d_V, so on D^{n,0} the vertical component is multiplied by (-1)^n. Using (CS1) one gets d_H L_V=0 and d_V L_V = L_V δ, hence d_tot L_V = (-1)^n L_V δ, not L_V δ. Thus L_V is not a morphism of cochain complexes without a supplemental Koszul sign. The proof of Lemma 4.12 also explicitly relies on 'right retractions' that are never defined or constructed. Since L is used in the commutative diagram in the proofs of Theorems 8.3, 8.7, 8.9, 9.9, and 9.11, this gap affects all central claims. Please supply the corrected sign and prove the required row acyclicity.
  2. [Definition 7.8 and §8.3] The 'goodness' condition is a strong, paper-specific hypothesis, and the paper asserts without proof that 'any module which is sufficiently functorial is easily seen to be good' and that any big-site sheaf is automatically good. These assertions underpin Theorems 8.7 and 9.11, as well as the application of Theorem 8.9 to Bott–Shulman cohomology. Since no characterization or proof is given, the theorems are conditional on an unverified property. Please either prove the claim for big-site sheaves and for the examples in Section 7, or explicitly state goodness as a hypothesis in the main theorems and restrict the corollaries accordingly.
  3. [§9.1, Lemma 9.3 and §2.4, Lemma 2.22] Lemmas 2.22 and 9.3 are central to the argument and are stated without proof. Lemma 2.22 is standard and may be acceptable, but Lemma 9.3, the triple-complex augmentation lemma, is not standard in the same way and is only justified by a remark that it can be proved by collapsing directions. Since Theorem 9.9 and Theorem 9.11 depend on Lemma 9.3, please include a proof or a precise reference; at minimum, spell out the collapsing argument.
minor comments (4)
  1. [§3.3, Definition 3.6] The formula for δL[rks]_n contains 'V(n+m)' where m is not defined. Probably it should be V(n+k) or the displayed index should be clarified.
  2. [§1, Corollary 1.2 statement] In Theorem 1.2, 'the pullback cosimplicial complex on G' should be 'on H' to match the statement in Section 9.3. There is also a typo 'Bott-Shulmann' in the Introduction.
  3. [§8.4, Lemma 8.10] The sentence 'Since B_E⊗P_F^* is injective it must be a quasi-isomorphism' is not by itself a valid implication. The preceding claim that the map admits a left retract is the relevant reason; please rephrase to avoid a logical gap.
  4. [§7.4, Definition 7.14] The final displayed line defines F^#: Ch(E)→Ch(F^*W); the target should be Ch(F^*E).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is self-contained given the explicitly stated 'goodness' assumption, with one non-circular proof gap.

full rationale

The paper derives Morita invariance from three explicit ingredients: (i) the shift-double augmentations L and B (Lemma 4.12), (ii) explicit retractions for P_F and local retractions for F_shift∘L (Theorems 8.3, Lemmas 8.10, 8.11), and (iii) the 'goodness' lifting condition (Definition 7.8). The target result is never assumed as an input: goodness is a local lifting property for sections of the target map, not an encoding of the cohomology isomorphism. No fitted parameters appear, and the corollaries citing [Cra03] and [AC13] are independent prior results, not load-bearing for the main proofs. The only flagged issue is in Lemma 4.12, where the left augmentation L_V is declared a quasi-isomorphism by 'a symmetrical argument' using 'right retractions' that are not formally defined or constructed. That is a genuine missing-proof gap, but it is not circularity: it is an unproved ingredient, not a reduction of the conclusion to itself. Likewise, the remark that the authors know no non-good natural example is a domain-assumption comment, not a circular step. Overall, the central claim has independent mathematical content and is not forced by self-citation or by definition.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No fitted constants or new physical entities are introduced. The paper's own contribution is the 'goodness' condition and the target-family lifting machinery; these are proof assumptions, not outputs fitted to data.

assumptions (4)
  • ad hoc to paper Goodness of cosimplicial modules (Definition 7.8): arbitrary local target sections r_0:U->G^1 lift to module comorphisms satisfying the target family relations; authors assert all functorial modules are good but give no proof.
    This is the key sufficient condition for Theorem 9.9. Its scope is not characterized; the authors state they know no non-good example.
  • standard math Augmentation Lemma 2.22 and its triple-complex analogue Lemma 9.3: acyclic left/bottom augmentations induce total-cohomology isomorphisms.
    Invoked as standard spectral sequence facts, but no proof or citation is supplied in the text.
  • domain assumption Weak equivalence characterization: F is a weak equivalence iff F_0 is smoothly essentially surjective and Hom-spaces are bijective; used to define unique lifts h in Theorem 8.3.
    This is the standard definition of weak equivalence for Lie groupoids and is assumed throughout.
  • domain assumption Surjective submersions admit local sections and manifolds admit partitions of unity compatible with the coface maps (Lemma 8.2).
    Used to glue local retractions into global left retracts. For non-Hausdorff G^1 this may require extra justification, which the paper does not address in detail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Simplicial sheaves of modules and Morita invariance of groupoid cohomology." pith.science (2026). https://pith.science/paper/WBYLDSFT

@misc{pith2026250907285,
  author       = {Pith},
  title        = {Pith review of: Simplicial sheaves of modules and Morita invariance of groupoid cohomology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WBYLDSFT}},
  note         = {Machine review of arXiv:2509.07285}
}
read the original abstract

In this article we develop a unified framework for proving Morita invariance of cohomology theories associated to Lie groupoids. Our approach is to view these cohomology theories as arising from sheaves of modules on the nerve of the groupoid. We establish criteria for when such sheaves of modules give rise to Morita invariant cohomology theories.

Figures

Figures reproduced from arXiv: 2509.07285 by the authors.

Figure 1
Figure 1. Face maps above the line are the ones included in the SRr2s 3. Shifting (Co)simplicial structures (Decalages) Simplicial sets come with a lot of inherited structure. We will now highlight some operations one can apply to any simplicial set to construct new simplicial sets. In the existing literature this operation is referred to as the “decalage” of a simplicial set. In this article we will simply refer to the opera… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Representations up to homotopy and bott's spectral sequence for lie groupoids

    Camilo Arias Abad and Marius Crainic. Representations up to homotopy and bott's spectral sequence for lie groupoids. Advances in Mathematics , 248:416--452, 2013

    work page 2013

  2. [2]

    Differentiable stacks and gerbes

    Kai Behrend and Ping Xu. Differentiable stacks and gerbes. J. Symplectic Geom. , 9(3):285--341, 2011

    work page 2011

  3. [3]

    C ech- D e R ham theory for leaf spaces of foliations

    Marius Crainic and Ieke Moerdijk. C ech- D e R ham theory for leaf spaces of foliations. Math. Ann. , 328(1-2):59--85, 2004

    work page 2004

  4. [4]

    Differentiable and algebroid cohomology, van E st isomorphisms, and characteristic classes

    Marius Crainic. Differentiable and algebroid cohomology, van E st isomorphisms, and characteristic classes. Comment. Math. Helv. , 78(4):681--721, 2003

    work page 2003

  5. [5]

    On the cohomology of differentiable stacks, 2024

    Matias del Hoyo, Cristian Ortiz, and Fernando Studzinski. On the cohomology of differentiable stacks, 2024

    work page 2024

  6. [6]

    Haefliger

    A. Haefliger. Differential cohomology. In Differential topology ( V arenna, 1976) , pages 19--70. Liguori, Naples, 1979

    work page 1976

  7. [7]

    Complexe cotangent et d\'eformations

    Luc Illusie. Complexe cotangent et d\'eformations. I , volume Vol. 239 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1971

    work page 1971

  8. [8]

    On the van E st homomorphism for L ie groupoids

    David Li-Bland and Eckhard Meinrenken. On the van E st homomorphism for L ie groupoids. Enseign. Math. , 61(1-2):93--137, 2015

    work page 2015

Show all 13 references
  1. [9]

    Van E st differentiation and integration

    Eckhard Meinrenken and Mar\'ia Amelia Salazar. Van E st differentiation and integration. Math. Ann. , 376(3-4):1395--1428, 2020

    2020

  2. [10]

    Muhly and Dana P

    Paul S. Muhly and Dana P. Williams. Groupoid cohomology and the D ixmier- D ouady class. Proc. London Math. Soc. (3) , 71(1):109--134, 1995

    1995

  3. [11]

    A groupoid approach to C -algebras , volume 793 of Lecture Notes in Mathematics

    Jean Renault. A groupoid approach to C -algebras , volume 793 of Lecture Notes in Mathematics . Springer, Berlin, 1980

    1980

  4. [12]

    Groupoid cohomology and extensions

    Jean-Louis Tu. Groupoid cohomology and extensions. Trans. Amer. Math. Soc. , 358(11):4721--4747, 2006

    2006

  5. [13]

    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

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.