<p>The homology and cohomology of invariant group chains have been defined by Kevin Knudson. Later, we introduce the invariant cohomology of a <i>Q</i>-group <i>G</i> with coefficients in a <i>Q</i>-<i>G</i> module <i>M</i>,&#xa0; denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_739_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(HH^{*}_{Q}(G,M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mmultiscripts> <mi>H</mi> <mi>Q</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper we prove that we can replace the bar resolution <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_739_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_{*}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>B</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by the normalized bar resolution <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_739_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_{*}^{N}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>B</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mi>N</mi> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to calculate the invariant cohomology. In this way, the modules that make up the normalized bar resolution are free <i>Q</i>-<i>G</i> modules when the action of <i>Q</i> on <i>G</i> is free. Using this normalized bar resolution, we construct a spectral sequence converging to <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_739_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(HH^{*}_{Q}(G,M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mmultiscripts> <mi>H</mi> <mi>Q</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and finally, with this spectral sequence we prove that the invariant cohomology is not equal, in general, to the cohomology of the group <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_739_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\rtimes Q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>⋊</mo> <mi>Q</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

A spectral sequence for the invariant cohomology of free actions

  • Carlos Aquino,
  • Angelina Lopez Madrigal,
  • Rolando Jimenez

摘要

The homology and cohomology of invariant group chains have been defined by Kevin Knudson. Later, we introduce the invariant cohomology of a Q-group G with coefficients in a Q-G module M,  denoted by \(HH^{*}_{Q}(G,M)\) H H Q ( G , M ) . In this paper we prove that we can replace the bar resolution \(B_{*}(G)\) B ( G ) by the normalized bar resolution \(B_{*}^{N}(G)\) B N ( G ) to calculate the invariant cohomology. In this way, the modules that make up the normalized bar resolution are free Q-G modules when the action of Q on G is free. Using this normalized bar resolution, we construct a spectral sequence converging to \(HH^{*}_{Q}(G,M)\) H H Q ( G , M ) and finally, with this spectral sequence we prove that the invariant cohomology is not equal, in general, to the cohomology of the group \(G\rtimes Q\) G Q .