2023/06/29 by Michelle Bucher, Bucher, Michelle, Alessio Savini +1 · 1 citation
Computer Science · Mathematics · #22E41 #57T10 #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT) #Topological and Geometric Data Analysis
paper · pdf · doi:10.48550/arxiv.2306.17294
openalex publication_date 2023/06/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Nicolas Monod showed that the evaluation map H^*m(G\curvearrowright G/P)\longrightarrow H^*m(G) between the measurable cohomology of the action of a connected semisimple Lie group G on its Furstenberg boundary G/P and the measurable cohomology of G is surjective with a non-trivial kernel in all degrees below a constant depending on G and less than or equal to the rank of G plus 2. When we were looking for explicit representatives of classes in this kernel, we were astonished to discover that some of these nontrivial classes have trivial alternation. In this paper, we refine Monod's result by identifying the non-alternating and alternating cohomology classes in this kernel. As a consequence, we show that H^*m(G) is isomorphic to the alternating measurable cohomology of G acting on G/P in all even degrees H2km,alt(G\curvearrowright G/P)≅ H2km(G), for a majority of Lie groups, namely those for which the longest element of the Weyl group acts as -1 on the Lie algebra of a maximal split torus A in G.