<p>Given a connected semisimple Lie group <i>G</i>, Monod (Trans. Amer. Math. Soc. B 144–159, 2022) has recently proved that the measurable cohomology of the <i>G</i>-action <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*_m(G \curvearrowright G/P)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mi>m</mi> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>↷</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>P</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on the Furstenberg boundary <i>G</i>/<i>P</i>, where <i>P</i> is a minimal parabolic subgroup, maps surjectively on the measurable cohomology of <i>G</i> through the evaluation on a fixed basepoint. Additionally, the kernel of this map depends entirely on the invariant cohomology of a maximal split torus. In this paper we show a similar result for a fixed subgroup <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(L&lt;P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>&lt;</mo> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation> such that the stabilizer of almost every pair of points in <i>G</i>/<i>L</i> is compact. More precisely, we show that the cohomology of the <i>G</i>-action <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^p_m(G \curvearrowright G/L)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mi>m</mi> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>↷</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>L</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> maps surjectively onto <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^p_m(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mi>m</mi> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with a kernel isomorphic to <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{p-1}_m(L)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mi>m</mi> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Examples of such groups are given either by any term of the derived series of the unipotent radical <i>N</i> of <i>P</i> or by a maximal split torus <i>A</i>. We conclude the paper by computing explicitly some cocycles on quotients of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{SL}(2,\mathbb {K})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SL</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10711_2025_1006_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}=\mathbb {R}, \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">K</mi> <mo>=</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Kernels in measurable cohomology for transitive actions

  • Michelle Bucher,
  • Alessio Savini

摘要

Given a connected semisimple Lie group G, Monod (Trans. Amer. Math. Soc. B 144–159, 2022) has recently proved that the measurable cohomology of the G-action \(H^*_m(G \curvearrowright G/P)\) H m ( G G / P ) on the Furstenberg boundary G/P, where P is a minimal parabolic subgroup, maps surjectively on the measurable cohomology of G through the evaluation on a fixed basepoint. Additionally, the kernel of this map depends entirely on the invariant cohomology of a maximal split torus. In this paper we show a similar result for a fixed subgroup \(L<P\) L < P such that the stabilizer of almost every pair of points in G/L is compact. More precisely, we show that the cohomology of the G-action \(H^p_m(G \curvearrowright G/L)\) H m p ( G G / L ) maps surjectively onto \(H^p_m(G)\) H m p ( G ) with a kernel isomorphic to \(H^{p-1}_m(L)\) H m p - 1 ( L ) . Examples of such groups are given either by any term of the derived series of the unipotent radical N of P or by a maximal split torus A. We conclude the paper by computing explicitly some cocycles on quotients of \(\textrm{SL}(2,\mathbb {K})\) SL ( 2 , K ) for \(\mathbb {K}=\mathbb {R}, \mathbb {C}\) K = R , C .