arXiv Science⌕ Search

arXiv subjects

Michelle Bucher

Publications and source records attributed to Michelle Bucher.

At least 19 recordsLinked to original sources
arXiv2026

Exponential growth rates of even Coxeter groups

Let $W$ be an even Coxeter group. We prove that among all Coxeter systems generating $W$ the unique even Coxeter system realizes the minimal exponential growth. Our proof relies on comparing the exponential growth rates in the explicit algorithm of Mihalik which from any Coxeter system of an even Coxeter group eventually produces the unique even one. The main new ingredient is that blow downs along pseudo-transpositions do not increase the exponential growth rate.

math.GR↗
arXiv2025

Some explicit cocycles on the Furstenberg boundary for products of isometries of hyperbolic spaces and $\mathrm{SL}(3,\mathbb{K})$

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 kernel that can be entirely described in terms of invariants in the cohomology of a maximal split torus $A<G$. In a recent paper we refine Monod's result and show in particular that the cohomology of non-alternating cocycles on $G/P$ is in general not trivial and lies in the kernel of the evaluation. In this paper we describe explicitly such non-alternating and alternating cocycles on $G/P$ in low degrees when $G$ is either a product of isometries of real hyperbolic spaces or $G=\mathrm{SL}(3,\mathbb{K})$, where $\mathbb{K}$ is either the real or the complex field. As a consequence, we deduce that the comparison map $H^*_{m,b}(G)\rightarrow H^*_m(G)$ from the measurable bounded cohomology is injective in degree $3$ for nontrivial products of isometries of hyperbolic spaces. We get also another proof of the injectivity for $G=\mathrm{SL}(3,\mathbb{K})$, when $\mathbb{K}$ is either the real field or the complex one.

math.GR↗
arXiv2025

Continuous cochains on Furstenberg boundaries and injectivity of the comparison map

Monod proved that any continuous cohomology of a semisimple Lie group $G$ can be represented by a measurable cocycle on the associated Furstenberg boundary, which we upgraded to an alternating cocycle. In the current paper we improve that result by showing that we can actually take a representing cocycle which is continuous on an explicit subset of generic tuples. We give an analogous result in the case of bounded cohomology. Finally, we exploit this characterization to prove the injectivity of the comparison map in degree $3$ for $\mathrm{Isom}^\circ(\mathbb{H}_{\mathbb{C}}^n)$, when $n \geq 2$, and in degree $4$ for $\mathrm{Isom}^\circ(\mathbb{H}^n_{\mathbb{R}})$, when $n \geq 2$.

math.GR↗
arXiv2025

Kernels in measurable cohomology for transitive actions

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}$.

math.GR↗
arXiv2025

Projections from Furstenberg boundaries onto maximal flats and barycenter maps

Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in G/P$ is opposite to the Weyl chambers determined by $F$, we define a projection $Φ(F, x) \in F$ which is continuous and $G$-equivariant. Furthermore, if $q \geq 3$, we exhibit a $G$-equivariant continuous map defined on an open subset of full measure of the space of $q$-tuples of $(G/P)^q$ with image in $G/K$. When $G$ is the orientation preserving isometries of real hyperbolic space and $q = 3$, we recover the geometric barycenter of the corresponding ideal triangle. All our proofs are constructive.

math.GR↗
arXiv2024

Alternating cochains on Furstenberg boundaries and measurable cohomology

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 $$H^{2k}_{m,\mathrm{alt}}(G\curvearrowright G/P)\cong H^{2k}_m(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$.

math.GR↗
arXiv2020

Surface bundles over surfaces: new inequalities between signature, simplicial volume and Euler characteristic

We present three new inequalities tying the signature, the simplicial volume and the Euler characteristic of surface bundles over surfaces. Two of them are true for any surface bundle, while the third holds on a specific family of surface bundles, namely the ones that arise through a ramified covering. These are the main known examples of bundles with non-zero signature.

math.GT↗
arXiv2020

Integrality of Volumes of Representations

Let M be an oriented complete hyperbolic n-manifold of finite volume. Using the definition of volume of a representation previously given by the authors in [BucherBurgerIozzi2013] we show that the volume of a representation of the fundamental group of M into the connected component of the isometry group of hyperbolic n-space, properly normalized, takes integer values if n=2m is at least 4. If M is not compact and 3-dimensional, it is known that the volume is not locally constant. In this case we give explicit examples of representations with volume as arbitrary as the volume of hyperbolic manifolds obtained from M via Dehn fillings.

math.GT↗
arXiv2019

The simplicial volume of mapping tori of 3-manifolds

We prove that any mapping torus of a closed 3-manifold has zero simplicial volume. When the fiber is a prime 3-manifold, classification results can be applied to show vanishing of the simplicial volume, however the case of reducible fibers is by far more subtle. We thus analyse the possible self-homeomorphisms of reducible 3-manifolds, and use this analysis to produce an explicit representative of the fundamental class of the corresponding mapping tori. To this end, we introduce a new technique for understanding self-homeomorphisms of connected sums in arbitrary dimensions on the level of classifying spaces and for computing the simplicial volume. In particular, we extend our computations to mapping tori of certain connected sums in higher dimensions. Our main result completes the picture for the vanishing of the simplicial volume of fiber bundles in dimension four. Moreover, we deduce that dimension four together with the trivial case of dimension two are the only dimensions where all mapping tori have vanishing simplicial volume. As a group theoretic consequence, we derive an alternative proof of the fact that the fundamental group $G$ of a mapping torus of a 3-manifold $M$ is Gromov hyperbolic if and only if $M$ is virtually a connected sum $\# S^2\times S^1$ and $G$ does not contain $\mathbb{Z}^2$.

math.GT↗
arXiv2017

The cup product of Brooks quasimorphisms

We prove the vanishing of the cup product of the bounded cohomology classes associated to any two Brooks quasimorphisms on the free group. This is a consequence of the vanishing of the square of a universal class for tree automorphism groups.

math.GR↗
arXiv2017

The bounded Borel class and complex representations of 3-manifold groups

If $Γ<\mathrm{PSL}(2,\mathbb{C})$ is a lattice, we define an invariant of a representation $Γ\rightarrow \mathrm{PSL}(n,\mathbb{C})$ using the Borel class $β(n)\in \mathrm{H}^3_\mathrm{c}(\mathrm{PSL}(n,\mathbb{C}),\mathbb{R})$. We show that the invariant is bounded and its maximal value is attained by conjugation of the composition of the lattice embedding with the irreducible complex representation $\mathrm{PSL}(2,\mathbb{C})\rightarrow \mathrm{PSL}(n,\mathbb{C})$. Major ingredients of independent interest are the extension to degenerate configuration of flags of a Goncharov cocycle and its study, as well as the identification of $\mathrm{H}^3_\mathrm{c}(\mathrm{SL}(n,\mathbb{C}),\mathbb{R})$ as a normed space.

math.GT↗
arXiv2016

Vanishing simplicial volume for certain affine manifolds

We show that closed aspherical manifolds supporting an affine structure, whose holonomy map is injective and contains a pure translation, must have vanishing simplicial volume. This provides some further evidence for the veracity of the Auslander Conjecture. Along the way, we provide a simple cohomological criterion for aspherical manifolds with normal amenable subgroups of $π_1$ to have vanishing simplicial volume. This answers a special case of a question due to Lück.

math.GT↗
arXiv2016

The bounded cohomology of SL_2 over local fields and S-integers

It is proved that the continuous bounded cohomology of SL_2(k) vanishes in all positive degrees whenever k is a non-Archimedean local field. This holds more generally for boundary-transitive groups of tree automorphisms and implies low degree vanishing for SL_2 over S-integers.

math.GR↗
arXiv2016

A note on semi-conjugacy for circle actions

We define a notion of semi-conjugacy between orientation-preserving actions of a group on the circle, which for fixed point free actions coincides with a classical definition of Ghys. We then show that two circle actions are semi-conjugate if and only if they have the same bounded Euler class. This settles some existing confusion present in the literature.

math.GT↗
arXiv2015

Minimal exponential growth rates of metabelian Baumslag-Solitar groups and lamplighter groups

We prove that for any prime $p\geq 3$ the minimal exponential growth rate of the Baumslag-Solitar group $BS(1,p)$ and the lamplighter group $\mathcal{L}_p=(\mathbb{Z}/p\mathbb{Z})\wr \mathbb{Z}$ are equal. We also show that for $p=2$ this claim is not true and the growth rate of $BS(1,2)$ is equal to the positive root of $x^3-x^2-2$, whilst the one of the lamplighter group $\mathcal{L}_2$ is equal to the golden ratio $(1+\sqrt5)/2$. The latter value also serves to show that the lower bound of A.Mann from [Mann, Journal of Algebra 326, no. 1 (2011) 208--217] for the growth rates of non-semidirect HNN extensions is optimal.

math.GR↗
arXiv2015

A quantitative version of a theorem by Jungreis

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume |M| of M is equal to vol(M)/v_n, where v_n is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio vol(M)/|M| is strictly smaller than v_n if M is compact with non-empty geodesic boundary. We prove here a quantitative version of Jungreis' result for n>3, which bounds from below the ratio |M|/vol(M) in terms of the ratio between the volume of the boundary of M and the volume of M. As a consequence, we show that a sequence {M_i} of compact hyperbolic n-manifolds with geodesic boundary is such that the limit of vol(M_i)/|M_i| equals v_n if and only if the volume of the boundary of M_i grows sublinearly with respect to the volume of the boundary of M_i. We also provide estimates of the simplicial volume of hyperbolic manifolds with geodesic boundary in dimension three.

math.GT↗
arXiv2013

Isometric Embeddings in Bounded Cohomology

This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the vertex groups in the bounded cohomology of the fundamental group of the graph of groups. With a similar technique we prove that if (X,Y) is a pair of CW-complexes and the fundamental group of each connected component of Y is amenable, the isomorphism between the relative bounded cohomology of (X,Y) and the bounded cohomology of X in degree at least 2 is isometric. As an application we provide easy and self-contained proofs of Gromov Equivalence Theorem and of the additivity of the simplicial volume with respect to gluings along π_1-injective boundary components with amenable fundamental group.

math.GT↗