arXiv subjects
Publications and source records attributed to Marco Moraschini.
We prove that the minimal volume entropy of mapping tori over oriented closed smooth $3$-manifolds vanishes. Our approach uses a variation of the amenable category and a suitable version of the minimal volume entropy of a homology class introduced by Babenko and Sabourau.
We provide upper bounds for logarithmic torsion homology growth and Betti number growth of groups, phrased in the language of measured group theory.
We construct the analogue of the Serre spectral sequence for the bounded cohomology of simplicial sets with seminormed local coefficients. As applications, we obtain a (non-isometric) generalization of Gromov's mapping theorem and some partial results on the simplicial volume of manifold bundles.
We provide an estimate of the amenable category of oriented closed connected complete affine manifolds whose fundamental group contains an infinite amenable normal subgroup. As an application we show that all such manifolds have zero simplicial volume. This answers a question by L\"uck in the case of complete affine manifolds. Our construction also provides the vanishing of stable integral simplicial volume and minimal volume entropy. This means that such manifolds satisfy integral approximation.
We show that a surjective homomorphism $\varphi \colon \Gamma \to K$ of (discrete) groups induces an isomorphism $H^\bullet_b(K; V) \to H^\bullet_b(\Gamma; \varphi^{-1} V)$ in bounded cohomology for all dual normed $K$-modules $V$ if and only if the kernel of $\varphi$ is boundedly acyclic. This complements a previous result by the authors that characterized this class of group homomorphisms as bounded cohomology equivalences with respect to $\mathbb{R}$-generated Banach $K$-modules. We deduce a characterization of the class of maps between path-connected spaces that induce isomorphisms in bounded cohomology with respect to coefficients in all dual normed modules, complementing the corresponding result shown previously in terms of $\mathbb{R}$-generated Banach modules. The main new input is the proof of the fact that every boundedly acyclic group $\Gamma$ has trivial bounded cohomology with respect to all dual normed trivial $\Gamma$-modules.
We present an axiomatic approach to combination theorems for various homological properties of groups and, more generally, of chain complexes. Examples of such properties include algebraic finiteness properties, $\ell^2$-invisibility, $\ell^2$-acyclicity, lower bounds for Novikov--Shubin invariants, and vanishing of homology growth. As a key example, we introduce an algebraic version of Ab\'ert--Bergeron--Fr\k{a}czyk--Gaboriau's cheap rebuilding property that implies vanishing of torsion homology growth and fits into our axiomatic framework for combination theorems. In particular, we obtain that certain graphs of groups with amenable vertex groups and elementary amenable edge groups have vanishing torsion homology growth.
Several algebraic criteria, reflecting displacement properties of transformation groups, have been used in the past years to prove vanishing of bounded cohomology and stable commutator length. Recently, the authors introduced the property of commuting cyclic conjugates, a new displacement technique that is widely applicable and provides vanishing of the bounded cohomology in all positive degrees and all dual separable coefficients. In this note we consider the most recent along with the by now classical displacement techniques and we study implications among them as well as counterexamples.
We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds; the group of interval exchange transformations of the half line; piecewise linear and piecewise projective groups of the line, giving strong answers to questions of Calegari and Navas; direct limit linear groups of relevance in algebraic $K$-theory, thereby answering a question by Kastenholz and Sroka and a question of two of the authors and L{\"o}h; and certain subgroups of big mapping class groups, such as the stable braid group and the stable mapping class group, proving a conjecture of Bowden. Moreover, we prove that in the recently introduced framework of enumerated groups, the generic group has vanishing bounded cohomology with separable dual coefficients. At the heart of our approach is an elementary algebraic criterion called the commuting cyclic conjugates condition that is readily verifiable for the aforementioned large classes of groups.
Johnson's characterization of amenable groups states that a discrete group $Γ$ is amenable if and only if $H_b^{n \geq 1}(Γ; V) = 0$ for all dual normed $\mathbb{R}[Γ]$-modules V. In this paper, we extend the previous result to homomorphisms by proving the converse of the Mapping Theorem: a surjective group homomorphism $ϕ\colon Γ\to K$ has amenable kernel H if and only if the induced inflation map $H^\bullet_b(K; V^H) \to H^\bullet_b(Γ; V)$ is an isometric isomorphism for every dual normed $\mathbb{R}[Γ]$-module V. In addition, we obtain an analogous characterization for the (smaller) class of surjective group homomorphisms $ϕ\colon Γ\to K$ with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all Banach $Γ$-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms, that is, the class of group homomorphisms $ϕ\colon Γ\to K$ for which the restriction maps in bounded cohomology $H^\bullet_b(K; V) \to H^\bullet_b(Γ; ϕ^{-1}V)$ are isomorphisms for a suitable family of dual normed $\mathbb{R}[K]$-modules V including the trivial $\mathbb{R}[K]$-module $\mathbb{R}$. We then extend the first and third results to topological spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients.
On negatively curved compact manifolds, it is possible to associate to every closed form a bounded cocycle - hence a bounded cohomology class - via integration over straight simplices. The kernel of this map is contained in the space of exact forms. We show that in degree 2 this kernel is trivial, in contrast with higher degree. In other words, exact non-zero $2$-forms define non-trivial bounded cohomology classes. This result is the higher dimensional version of a classical theorem by Barge and Ghys for surfaces. As a consequence, one gets that the second bounded cohomology of negatively curved manifolds contains an infinite dimensional space, whose classes are explicitly described by integration of forms. This also showcases that some recent results by Marasco (arXiv:2202.04419, arXiv:2209.00560) can be applied in higher dimension to obtain new non-trivial results on the vanishing of certain cup products and Massey products. Some other applications are discussed.
We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group. On the other hand, we construct a continuum of finitely generated groups, whose bounded cohomology has uncountable dimension in all degrees greater than or equal to~$2$, and a concrete finitely presented one. Countable non-amenable groups with these two extreme properties were previously known to exist, but these constitute the first finitely generated/finitely presented examples. Finally, we show that various algorithmic problems on bounded cohomology are undecidable.
In analogy with ordinary simplicial volume, we show that integral foliated simplicial volume of oriented closed connected aspherical $n$-manifolds that admit an open amenable cover of multiplicity at most $n$ is zero. This implies that the fundamental groups of such manifolds have fixed price and are cheap as well as reproves some statements about homology growth.
A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study various versions of Gromov's question and collect strategies towards affirmative answers and strategies towards negative answers to this problem. Moreover, we put Gromov's question into context with other open problems in low- and high-dimensional topology. A special emphasis is put on a comparative analysis of the additivity properties of the simplicial volume and the Euler characteristic for manifolds with boundary. We explain that the simplicial volume defines a symmetric monoidal functor (TQFT) on the amenable cobordism category, but not on the whole cobordism category. In addition, using known computations of simplicial volumes, we conclude that the fundamental group of the 4-dimensional amenable cobordism category is not finitely generated. We also consider new variations of Gromov's question. Specifically, we show that counterexamples exist among aspherical spaces that are only homology equivalent to oriented closed connected manifolds.
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic. We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups $F$, $T$, and $V$ is as simple as possible.
We provide new vanishing and glueing results for relative simplicial volume, following up on two current themes in bounded cohomology: The passage from amenable groups to boundedly acyclic groups and the use of equivariant topology. More precisely, we consider equivariant nerve pairs and relative classifying spaces for families of subgroups. Typically, we apply this to uniformly boundedly acyclic families of subgroups. Our methods also lead to vanishing results for $\ell^2$-Betti numbers of aspherical CW-pairs with small relative amenable category and to a relative version of a result by Dranishnikov and Rudyak concerning mapping degrees and the inheritance of freeness of fundamental groups.
We establish a straightforward estimate for the number of open sets with fundamental group constraints needed to cover the total space of fibrations. This leads to vanishing results for simplicial volume and minimal volume entropy, e.g., for certain mapping tori.
Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices.
We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory.