Table of Contents
Fetching ...

Kernels in measurable cohomology for transitive actions

Michelle Bucher, Alessio Savini

Abstract

Given a connected semisimple Lie group $G$, Monod has recently proved that the measurable cohomology of the $G$-action $H^*_m(G \curvearrowright 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$ 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)$ maps surjectively onto $H^p_m(G)$ with a kernel isomorphic to $H^{p-1}_m(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 $\mathrm{SL}(2,\mathbb{K})$ for $\mathbb{K}=\mathbb{R}, \mathbb{C}$.

Kernels in measurable cohomology for transitive actions

Abstract

Given a connected semisimple Lie group , Monod has recently proved that the measurable cohomology of the -action on the Furstenberg boundary , where is a minimal parabolic subgroup, maps surjectively on the measurable cohomology of 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 such that the stabilizer of almost every pair of points in is compact. More precisely, we show that the cohomology of the -action maps surjectively onto with a kernel isomorphic to . Examples of such groups are given either by any term of the derived series of the unipotent radical of or by a maximal split torus . We conclude the paper by computing explicitly some cocycles on quotients of for .
Paper Structure (9 sections, 13 theorems, 77 equations, 2 figures)

This paper contains 9 sections, 13 theorems, 77 equations, 2 figures.

Key Result

Theorem 1

Monod Let $G$ be a connected semisimple Lie group with finite center. The evaluation map is surjective and its kernel fits into a short exact sequence for $k \geqslant 3$, and, for $k=2$, there is an isomorphism

Figures (2)

  • Figure 1: The first page ${}^{II}E_1$
  • Figure 2: The second page ${}^{II}E_2$

Theorems & Definitions (23)

  • Theorem 1
  • Theorem 2
  • Corollary 3
  • Corollary 4
  • Theorem 5
  • Theorem 6
  • Proposition 7
  • proof
  • Lemma 8
  • proof
  • ...and 13 more