Showing 1–29 of 29 results for author: Bucher, M

Projections from Furstenberg boundaries onto maximal flats and barycenter maps

Authors: Michelle Bucher, Alessio Savini

Abstract: 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… ▽ More 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. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 12 pages

MSC Class: 22F30; 57S20

Kernels in measurable cohomology for transitive actions

Authors: 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 c… ▽ More 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}$. △ Less

Submitted 13 April, 2025; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 15 pages, we slightly improved the exposition of the previous version, to appear on Geom. Dedicata

MSC Class: 22E41; 57T10

Alternating cochains on Furstenberg boundaries and measurable cohomology

Authors: Michelle Bucher, Alessio Savini

Abstract: 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… ▽ More 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$. △ Less

Submitted 9 April, 2024; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: 12 pages

MSC Class: 22E41; 57T10

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

Authors: Michelle Bucher, Alessio Savini

Abstract: 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 the maximal split torus $A<G$. In a re… ▽ More 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 the maximal split torus $A<G$. In a recent paper the authors refine Monod's result and show in particular that the cohomology of non-alternating cocycles on $G/P$, namely those lying in the kernel of the alternation map, 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$, which is new for nontrivial products of isometries of hyperbolic spaces. △ Less

Submitted 24 August, 2023; v1 submitted 21 September, 2022; originally announced September 2022.

Comments: 35 pages, 2 Figures

MSC Class: 22E41 57T10

Trivial cup products in bounded cohomology of the free group via aligned chains

Authors: Sofia Amontova, Michelle Bucher

Abstract: We prove that the cup product of $Δ$-decomposable quasimorphisms, Brooks quasimorphisms or Rolli quasimorphisms with any bounded cohomology class of arbitrary positive degree is trivial. We prove that the cup product of $Δ$-decomposable quasimorphisms, Brooks quasimorphisms or Rolli quasimorphisms with any bounded cohomology class of arbitrary positive degree is trivial. △ Less

Submitted 27 March, 2022; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: 13 pages, 3 figures; remark deleted in section 1, typos corrected, v4: changes in sections 4 and 6, to appear in Forum Mathematicum

The simplicial volume of mapping tori of 3-manifolds

Authors: Michelle Bucher, Christoforos Neofytidis

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 November, 2019; v1 submitted 27 December, 2018; originally announced December 2018.

Comments: 17 pages; v2: small changes, to appear in Mathematische Annalen

Journal ref: Math. Ann. 376 (2020), 1429--1447

The cup product of Brooks quasimorphisms

Authors: Michelle Bucher, Nicolas Monod

Abstract: 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. 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. △ Less

Submitted 3 November, 2017; v1 submitted 6 October, 2017; originally announced October 2017.

Comments: 7 pages

Second Order Optimality Conditions and Improved Convergence Results for a Scholtes-type Regularization for a Continuous Reformulation of Cardinality Constrained Optimization Problems

Authors: Max Bucher, Alexandra Schwartz

Abstract: We consider nonlinear optimization problems with cardinality constraints. Based on a continuous reformulation we introduce second order necessary and sufficient optimality conditions. Under such a second order condition, we can guarantee local uniqueness of M-stationary points. Finally, we use this observation to provide extended local convergence theory for a Scholtes-type relaxation method for c… ▽ More We consider nonlinear optimization problems with cardinality constraints. Based on a continuous reformulation we introduce second order necessary and sufficient optimality conditions. Under such a second order condition, we can guarantee local uniqueness of M-stationary points. Finally, we use this observation to provide extended local convergence theory for a Scholtes-type relaxation method for cardinality constrained optimization problems, which guarantees the existence and convergence of the iterates under suitable assumptions. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Convergence of a Scholtes-type Regularization Method for Cardinality-Constrained Optimization Problems with an Application in Sparse Robust Portfolio Optimization

Authors: Martin Branda, Max Bucher, Michal Červinka, Alexandra Schwartz

Abstract: We consider general nonlinear programming problems with cardinality constraints. By relaxing the binary variables which appear in the natural mixed-integer programming formulation, we obtain an almost equivalent nonlinear programming problem, which is thus still difficult to solve. Therefore, we apply a Scholtes-type regularization method to obtain a sequence of easier to solve problems and invest… ▽ More We consider general nonlinear programming problems with cardinality constraints. By relaxing the binary variables which appear in the natural mixed-integer programming formulation, we obtain an almost equivalent nonlinear programming problem, which is thus still difficult to solve. Therefore, we apply a Scholtes-type regularization method to obtain a sequence of easier to solve problems and investigate the convergence of the obtained KKT points. We show that such a sequence converges to an S-stationary point, which corresponds to a local minimizer of the original problem under the assumption of convexity. Additionally, we consider portfolio optimization problems where we minimize a risk measure under a cardinality constraint on the portfolio. Various risk measures are considered, in particular Value-at-Risk and Conditional Value-at-Risk under normal distribution of returns and their robust counterparts under moment conditions. For these investment problems formulated as nonlinear programming problems with cardinality constraints we perform a numerical study on a large number of simulated instances taken from the literature and illuminate the computational performance of the Scholtes-type regularization method in comparison to other considered solution approaches: a mixed-integer solver, a direct continuous reformulation solver and the Kanzow-Schwartz regularization method, which has already been applied to Markowitz portfolio problems. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 23 pages, 4 figures

Vanishing simplicial volume for certain affine manifolds

Authors: Michelle Bucher, Chris Connell, Jean-François Lafont

Abstract: 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… ▽ More 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. △ Less

Submitted 3 October, 2016; originally announced October 2016.

MSC Class: 22E41; 53A15

Journal ref: Proc. Amer. Math. Soc. 146 (2018), pgs. 1287-1294

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

Authors: Michelle Bucher, Nicolas Monod

Abstract: 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. 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. △ Less

Submitted 16 September, 2016; originally announced September 2016.

Improving Semantic Embedding Consistency by Metric Learning for Zero-Shot Classification

Authors: Maxime Bucher, Stéphane Herbin, Frédéric Jurie

Abstract: This paper addresses the task of zero-shot image classification. The key contribution of the proposed approach is to control the semantic embedding of images -- one of the main ingredients of zero-shot learning -- by formulating it as a metric learning problem. The optimized empirical criterion associates two types of sub-task constraints: metric discriminating capacity and accurate attribute pred… ▽ More This paper addresses the task of zero-shot image classification. The key contribution of the proposed approach is to control the semantic embedding of images -- one of the main ingredients of zero-shot learning -- by formulating it as a metric learning problem. The optimized empirical criterion associates two types of sub-task constraints: metric discriminating capacity and accurate attribute prediction. This results in a novel expression of zero-shot learning not requiring the notion of class in the training phase: only pairs of image/attributes, augmented with a consistency indicator, are given as ground truth. At test time, the learned model can predict the consistency of a test image with a given set of attributes , allowing flexible ways to produce recognition inferences. Despite its simplicity, the proposed approach gives state-of-the-art results on four challenging datasets used for zero-shot recognition evaluation. △ Less

Submitted 27 July, 2016; originally announced July 2016.

Comments: in ECCV 2016, Oct 2016, amsterdam, Netherlands. 2016

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

Authors: Michelle Bucher, Caterina Campagnolo

Abstract: 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. 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. △ Less

Submitted 2 December, 2020; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: 14 pages. Simplified the proof of Proposition 1.2. This is the final version, accepted in Geometriae Dedicata

MSC Class: 55R10; 57R22

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

Authors: Michelle Bucher, Alexey Talambutsa

Abstract: 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… ▽ More 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. △ Less

Submitted 11 June, 2015; originally announced June 2015.

Comments: 16 pages, 6 figures

MSC Class: 20F65; 20F69; 20E08

A quantitative version of a theorem by Jungreis

Authors: Michelle Bucher, Roberto Frigerio, Cristina Pagliantini

Abstract: 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 co… ▽ More 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. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Comments: 2 figures, formerly part of arXiv:1208.0545

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

Authors: Michelle Bucher, Marc Burger, Alessandra Iozzi

Abstract: 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 representat… ▽ More 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. △ Less

Submitted 27 May, 2017; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: Several typos have been corrected

MSC Class: 57M27; 57T10; 53C35

Journal ref: Duke Math. J. 167, no. 17 (2018), 3129-3169

Robust Corrective Control Measures in Power Systems with Dynamic Line Rating

Authors: Matthias A. Bucher, Göran Andersson

Abstract: Dynamic Thermal Line Rating (DLR) is deemed to be an effective way to increase transmission capacities and therefore enabling additional operational flexibility. The transmission capacities are dynamically determined based on current or expected weather conditions. First pilot projects have proven its efficiency. In this paper we present two approaches to determine the location and amount of rampi… ▽ More Dynamic Thermal Line Rating (DLR) is deemed to be an effective way to increase transmission capacities and therefore enabling additional operational flexibility. The transmission capacities are dynamically determined based on current or expected weather conditions. First pilot projects have proven its efficiency. In this paper we present two approaches to determine the location and amount of ramping capabilities for corrective control measures in the case of errors in the forecast of the line rating. Both approaches result in robust optimization problems, where the first approach guarantees that there is a suitable remedial action for every realization of uncertainty in a given uncertainty set. The corrective control action is calculated once the forecast error is known. The second approach relies on affine policies which directly relate the current line rating to corrective control measures, if needed, which enables a decentralized operation. In case studies, the two approaches are compared and the reduction of overall operational costs is demonstrated exemplarily for different parameters. △ Less

Submitted 31 October, 2014; originally announced October 2014.

A note on semi-conjugacy for circle actions

Authors: Michelle Bucher, Roberto Frigerio, Tobias Hartnick

Abstract: 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. 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. △ Less

Submitted 7 June, 2016; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 39 pages. Improved version of the previous manuscript, incorporating further historical remarks and a discussion of the equivalence between semiconjugacy and monotone equivalence

Integrality of Volumes of Representations

Authors: Michelle Bucher, Marc Burger, Alessandra Iozzi

Abstract: 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… ▽ More 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. △ Less

Submitted 1 March, 2020; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: According to the suggestions of the referee, the article has been almost completely rewritten with the respect to the first version

MSC Class: 53C24; 22E40; 22E41

Isometric Embeddings in Bounded Cohomology

Authors: Michelle Bucher, Marc Burger, Roberto Frigerio, Alessandra Iozzi, Cristina Pagliantini, Maria Beatrice Pozzetti

Abstract: 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 a… ▽ More 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. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Comments: The text overlaps with the submission https://arxiv.boxedpaper.com/abs/1205.1022 by the same authors

MSC Class: 55N10; 57N65

Proportionality principle for the simplicial volume of families of Q-rank 1 locally symmetric spaces

Authors: Michelle Bucher, Inkang Kim, Sungwoon Kim

Abstract: We establish the proportionality principle between the Riemannian volume and locally finite simplicial volume for Q-rank 1 locally symmetric spaces covered by products of hyperbolic spaces, giving the first examples for manifolds whose cusp groups are not necessarily amenable. Also, we give a simple direct proof of the proportionality principle for the locally finite simplicial volume and the rela… ▽ More We establish the proportionality principle between the Riemannian volume and locally finite simplicial volume for Q-rank 1 locally symmetric spaces covered by products of hyperbolic spaces, giving the first examples for manifolds whose cusp groups are not necessarily amenable. Also, we give a simple direct proof of the proportionality principle for the locally finite simplicial volume and the relative simplicial volume of Q-rank 1 locally symmetric spaces with amenable cusp groups established by Löh and Sauer. △ Less

Submitted 21 September, 2012; originally announced September 2012.

Comments: 23 pages

MSC Class: 53C35; 22E41

Exponential growth rates of free and amalgamated products

Authors: Michelle Bucher, Alexey Talambutsa

Abstract: We prove that there is a gap between $\sqrt{2}$ and $(1+\sqrt{5})/2$ for the exponential growth rate of free products $G=A*B$ not isomorphic to the infinite dihedral group. For amalgamated products $G=A*_C B$ with $([A:C]-1)([B:C]-1)\geq2$, we show that lower exponential growth rate than $\sqrt{2}$ can be achieved by proving that the exponential growth rate of the amalgamated product… ▽ More We prove that there is a gap between $\sqrt{2}$ and $(1+\sqrt{5})/2$ for the exponential growth rate of free products $G=A*B$ not isomorphic to the infinite dihedral group. For amalgamated products $G=A*_C B$ with $([A:C]-1)([B:C]-1)\geq2$, we show that lower exponential growth rate than $\sqrt{2}$ can be achieved by proving that the exponential growth rate of the amalgamated product $\mathrm{PGL}(2,\mathbb{Z})\cong (C_2\times C_2) *_{C_2} D_6$ is equal to the unique positive root of the polynomial $z^3-z-1$. This answers two questions by Avinoam Mann [The growth of free products, Journal of Algebra 326, no. 1 (2011) 208--217]. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 17 pages, 7 figures

MSC Class: 20F65; 20E06; 20E08; 20F69

The simplicial volume of 3-manifolds with boundary

Authors: M. Bucher, R. Frigerio, C. Pagliantini

Abstract: We provide sharp lower bounds for the simplicial volume of compact $3$-manifolds in terms of the simplicial volume of their boundaries. As an application, we compute the simplicial volume of several classes of $3$-manifolds, including handlebodies and products of surfaces with the interval. Our results provide the first exact computation of the simplicial volume of a compact manifold whose boundar… ▽ More We provide sharp lower bounds for the simplicial volume of compact $3$-manifolds in terms of the simplicial volume of their boundaries. As an application, we compute the simplicial volume of several classes of $3$-manifolds, including handlebodies and products of surfaces with the interval. Our results provide the first exact computation of the simplicial volume of a compact manifold whose boundary has positive simplicial volume. We also compute the minimal number of tetrahedra in a (loose) triangulation of the product of a surface with the interval. △ Less

Submitted 28 January, 2015; v1 submitted 2 August, 2012; originally announced August 2012.

Comments: 24 pages, 5 figures. Section 6 has been removed, and will appear in a separate paper by the same authors. This version has been accepted for publication by the Journal of Topology

MSC Class: 53C23; 57N10 (Primary) 57M50; 57N65 (Secondary)

Isometric properties of relative bounded cohomology

Authors: Michelle Bucher, Marc Burger, Roberto Frigerio, Alessandra Iozzi, Cristina Pagliantini, Maria Beatrice Pozzetti

Abstract: We show that the isomorphism induced by the inclusion of pairs $(X,\emptyset)\subset (X,Y)$ between the relative bounded cohomology of $(X,Y)$ and the bounded cohomology of $X$ is isometric in degree at least 2 if the fundamental group of each connected component of $Y$ is amenable. As an application we provide a self-contained proof of Gromov Equivalence theorem and a generalization of a result o… ▽ More We show that the isomorphism induced by the inclusion of pairs $(X,\emptyset)\subset (X,Y)$ between the relative bounded cohomology of $(X,Y)$ and the bounded cohomology of $X$ is isometric in degree at least 2 if the fundamental group of each connected component of $Y$ is amenable. As an application we provide a self-contained proof of Gromov Equivalence theorem and a generalization of a result of Fujiwara and Manning on the simplicial volume of generalized Dehn fillings. △ Less

Submitted 18 May, 2012; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: There is one more author, as well as three more theorems

A Dual Interpretation of the Gromov--Thurston Proof of Mostow Rigidity and Volume Rigidity for Representations of Hyperbolic Lattices

Authors: Michelle Bucher, Marc Burger, Alessandra Iozzi

Abstract: We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our approach gives in particular a proof of Thurston's version of Gromov's proof of Mostow Rigidity (also in the non-cocompact case), which is dual to the Gromov--Thur… ▽ More We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our approach gives in particular a proof of Thurston's version of Gromov's proof of Mostow Rigidity (also in the non-cocompact case), which is dual to the Gromov--Thurston proof using the simplicial volume invariant.} △ Less

Submitted 4 May, 2012; originally announced May 2012.

Milnor-Wood inequalities for products

Authors: Michelle Bucher, Tsachik Gelander

Abstract: We prove Milnor-Wood inequalities for local products of manifolds. As a consequence, we establish the generalized Chern Conjecture for products $M\times Σ^k$ for any product of a manifold $M$ with a product of $k$ copies of a surface $Σ$ for $k$ sufficiently large. We prove Milnor-Wood inequalities for local products of manifolds. As a consequence, we establish the generalized Chern Conjecture for products $M\times Σ^k$ for any product of a manifold $M$ with a product of $k$ copies of a surface $Σ$ for $k$ sufficiently large. △ Less

Submitted 1 January, 2012; originally announced January 2012.

Comments: 8 pages; MSC keywords: characteristic classes and numbers

MSC Class: 57R20

Journal ref: Algebr. Geom. Topol. 13 (2013) 1733-1742

The norm of the Euler class

Authors: Michelle Bucher, Nicolas Monod

Abstract: We prove that the norm of the Euler class E for flat vector bundles is $2^{-n}$ (in even dimension $n$, since it vanishes in odd dimension). This shows that the Sullivan--Smillie bound considered by Gromov and Ivanov--Turaev is sharp. We construct a new cocycle representing E and taking only the two values $\pm 2^{-n}$; a null-set obstruction prevents any cocycle from existing on the projective sp… ▽ More We prove that the norm of the Euler class E for flat vector bundles is $2^{-n}$ (in even dimension $n$, since it vanishes in odd dimension). This shows that the Sullivan--Smillie bound considered by Gromov and Ivanov--Turaev is sharp. We construct a new cocycle representing E and taking only the two values $\pm 2^{-n}$; a null-set obstruction prevents any cocycle from existing on the projective space. We establish the uniqueness of an antisymmetric representative for E in bounded cohomology. △ Less

Submitted 13 September, 2010; originally announced September 2010.

Comments: 19 pages

Journal ref: Math. Annalen 353 No. 2 (2012), 523--544

The generalized Chern conjecture for manifolds that are locally a product of surfaces

Authors: Michelle Bucher, Tsachik Gelander

Abstract: We consider closed manifolds that admit a metric locally isometric to a product of symmetric planes. For such manifolds, we prove that the Euler characteristic is an obstruction to the existence of flat structures, confirming an old conjecture proved by Milnor in dimension 2. In particular, the Chern conjecture follows in these cases. The proof goes via a new sharp Milnor--Wood inequality for Ri… ▽ More We consider closed manifolds that admit a metric locally isometric to a product of symmetric planes. For such manifolds, we prove that the Euler characteristic is an obstruction to the existence of flat structures, confirming an old conjecture proved by Milnor in dimension 2. In particular, the Chern conjecture follows in these cases. The proof goes via a new sharp Milnor--Wood inequality for Riemannian manifolds that are locally a product of hyperbolic planes. Furthermore, we analyze the possible flat vector bundles over such manifolds. Over closed Hilbert--Blumenthal modular varieties, we show that there are finitely many flat structures with nonzero Euler number and none of them corresponds to the tangent bundle. Some of the main results were announced in C.R. Acad. Sci. Paris, Ser. I 346 (2008) 661-666. △ Less

Submitted 23 May, 2009; v1 submitted 9 February, 2009; originally announced February 2009.

Comments: 36 pages. New title, modified abstract and introduction

MSC Class: 57R20; 53C35

Milnor-Wood inequalities for manifolds locally isometric to a product of hyperbolic planes

Authors: Michelle Bucher, Tsachik Gelander

Abstract: This note describes sharp Milnor--Wood inequalities for the Euler number of flat oriented vector bundles over closed Riemannian manifolds locally isometric to products of hyperbolic planes. One consequence is that such manifolds do not admit an affine structure, confirming Chern--Sullivan's conjecture in this case. The manifolds under consideration are of particular interest, since in contrary t… ▽ More This note describes sharp Milnor--Wood inequalities for the Euler number of flat oriented vector bundles over closed Riemannian manifolds locally isometric to products of hyperbolic planes. One consequence is that such manifolds do not admit an affine structure, confirming Chern--Sullivan's conjecture in this case. The manifolds under consideration are of particular interest, since in contrary to many other locally symmetric spaces they do admit flat vector bundle of the corresponding dimension. When the manifold is irreducible and of higher rank, it is shown that flat oriented vector bundles are determined completely by the sign of the Euler number. △ Less

Submitted 12 April, 2008; originally announced April 2008.

Comments: 6 pages

MSC Class: 57R20; 53C35