<p>We introduce a cochain complex for ample groupoids <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> using a flat resolution defining their homology with coefficients in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb Z\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>. We prove that the cohomology of this cochain complex with values in a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>-module <i>M</i> coincides with the previously introduced continuous cocycle cohomology of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>. In particular, this groupoid cohomology is invariant under Morita equivalence. We derive an exact sequence for the cohomology of skew products by a <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-valued cocycle. We indicate how to compute the cohomology with coefficients in a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_451_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>-module <i>M</i> for <i>AF</i>-groupoids and for certain action groupoids.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Cohomology of ample groupoids

  • Valentin Deaconu,
  • Marius Ionescu

摘要

We introduce a cochain complex for ample groupoids \(\mathcal {G}\) G using a flat resolution defining their homology with coefficients in \(\mathbb Z\) Z . We prove that the cohomology of this cochain complex with values in a \(\mathcal {G}\) G -module M coincides with the previously introduced continuous cocycle cohomology of \(\mathcal {G}\) G . In particular, this groupoid cohomology is invariant under Morita equivalence. We derive an exact sequence for the cohomology of skew products by a \(\mathbb {Z}\) Z -valued cocycle. We indicate how to compute the cohomology with coefficients in a \(\mathcal {G}\) G -module M for AF-groupoids and for certain action groupoids.