BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Roberto Frigerio appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
Bounded cohomology of groups was first defined by Johnson and Trauber during the seventies in the context of Banach algebras. As an independent and very active research field, however, bounded cohomology started to develop in 1982, thanks to the pioneering paper "Volume and Bounded Cohomology" by M. Gromov, where the definition of bounded cohomology was extended to deal also with topological spaces. The aim of this monograph is to provide an introduction to bounded cohomology of discrete groups and of topological spaces. We also describe some applications of the theory to related active research fields (that have been chosen according to the taste and the knowledge of the author). The book is essentially self-contained. Even if a few statements do not appear elsewhere and some proofs are slighlty different from the ones already available in the literature, the monograph does not contain original results. In the first part of the book we settle the fundamental definitions of the theory, and we prove some (by now classical) results on low-dimensional bounded cohomology and on bounded cohomology of topological spaces. Then we describe how bounded cohomology has proved useful in the study of the simplicial volume of manifolds, for the classification of circle actions, for the definition and the description of maximal representations of surface groups, and in the study of higher rank flat vector bundles (also in relation with the Chern conjecture).
Two groups are virtually isomorphic if they can be obtained one from the other via a finite number of steps, where each step consists in taking a finite extension or a finite index subgroup (or viceversa). Virtually isomorphic groups are always quasi-isometric, and a group G is quasi-isometrically rigid if every group quasi-isometric to G is virtually isomorphic to G. In this survey we describe quasi-isometric rigidity results for fundamental groups of manifolds which can be decomposed into geometric pieces. After stating by now classical results on lattices in semisimple Lie groups, we focus on the class of fundamental groups of $3$-manifolds, and describe the behaviour of quasi-isometries with respect to the Milnor-Kneser prime decomposition (following Papasoglu and Whyte) and with respect to the JSJ decomposition (following Kapovich and Leeb). We also discuss quasi-isometric rigidity results for fundamental groups of higher dimensional graph manifolds, that were recently defined by Lafont, Sisto and the author. Our main tools are the study of geometric group actions and quasi-actions on Riemannian manifolds and on trees of spaces, via the analysis of the induced actions on asymptotic cones.
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.
We consider the relation between simplicial volume and two of its variants: the stable integral simplicial volume and the integral foliated simplicial volume. The definition of the latter depends on a choice of a measure preserving action of the fundamental group on a probability space. We show that integral foliated simplicial volume is monotone with respect to weak containment of measure preserving actions and yields upper bounds on (integral) homology growth. Using ergodic theory we prove that simplicial volume, integral foliated simplicial volume and stable integral simplicial volume coincide for closed hyperbolic 3-manifolds and closed aspherical manifolds with amenable residually finite fundamental group (being equal to zero in the latter case). However, we show that integral foliated simplicial volume and the classical simplicial volume do not coincide for hyperbolic manifolds of dimension at least 4.
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.
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic manifold with toric cusps. The various pieces are attached together via affine maps of the boundary tori. We require all the hyperbolic factors in the pieces to have dimension at least 3. Our main goal is to study this class of graph manifolds from the viewpoint of rigidity theory. We show that, in high dimensions, the Borel conjecture holds for our graph manifolds. We also show that smooth rigidity holds within the class: two graph manifolds are homotopy equivalent if and only if they are diffeomorphic. We introduce the notion of irreducible graph manifolds, which form a subclass which has better coarse geometric properties. We establish some structure theory for finitely generated groups which are quasi-isometric to the fundamental group of an irreducible graph manifold: any such group has a graph of groups splitting with strong constraints on the edge and vertex groups. Finally, we prove that in every dimension >3 there exist examples of irreducible graph manifolds which do not support any locally CAT(0) metric.
Measure homology was introduced by Thurston in order to compute the simplicial volume of hyperbolic manifolds. Berlanga endowed measure homology with a structure of graded locally convex (possibly non-Hausdorff) topological vector space. In this note we completely characterize Berlanga's topology on measure homology of CW-complexes, showing in particular that it is Hausdorff. This answers a question posed by Berlanga.
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.
Let the complexity of a closed manifold M be the minimal number of simplices in a triangulation of M. Such a quantity is clearly submultiplicative with respect to finite coverings, and by taking the infimum on all finite coverings of M normalized by the covering degree we can promote it to a multiplicative invariant, a characteristic number already considered by Milnor and Thurston, which call the "stable complexity" of M. We study here the relation between the stable complexity of M and Gromov's simplicial volume ||M||. It is immediate to show that ||M|| is smaller or equal than the stable complexity of M and it is natural to ask whether the two quantities coincide on aspherical manifolds with residually finite fundamental group. We show that this is not always the case: there is a constant C_n<1 such that ||M|| is smaller than C_n times the stable complexity for any hyperbolic manifold M of dimension at least 4. The question in dimension 3 is still open in general. We prove that the stable complexity equals ||M|| for any aspherical irreducible 3-manifold M whose JSJ decomposition consists of Seifert pieces and/or hyperbolic pieces commensurable with the figure-eight knot complement. The equality holds for all closed hyperbolic 3-manifolds if a particular three-dimensional version of the Ehrenpreis conjecture is true.
We denote by Q_F the family of the Alexander quandle structures supported by finite fields. For every k-component oriented link L, every partition P of L into h:=|P| sublinks, and every labelling z of such a partition by the natural numbers z_1,...,z_n, the number of X-colorings of any diagram of (L,z) is a well-defined invariant of (L,P), of the form q^(a_X(L,P,z)+1) for some natural number a_X(L,P,z). Letting X and z vary in Q_F and among the labellings of P, we define a derived invariant A_Q(L,P)=sup a_X(L,P,z). If P_M is such that |P_M|=k, we show that A_Q(L,P_M) is a lower bound for t(L), where t(L) is the tunnel number of L. If P is a "boundary partition" of L and g(L,P) denotes the infimum among the sums of the genera of a system of disjoint Seifert surfaces for the L_j's, then we show that A_Q(L,P) is at most 2g(L,P)+2k-|P|-1. We set A_Q(L):=A_Q(L,P_m), where |P_m|=1. By elaborating on a suitable version of a result by Inoue, we show that when L=K is a knot then A_Q(K) is bounded above by A(K), where A(K) is the breadth of the Alexander polynomial of K. However, for every g we exhibit examples of genus-g knots having the same Alexander polynomial but different quandle invariants A_Q. Moreover, in such examples A_Q provides sharp lower bounds for the genera of the knots. On the other hand, A_Q(L) can give better lower bounds on the genus than A(L), when L has at least two components. We show that in order to compute A_Q(L) it is enough to consider only colorings with respect to the constant labelling z=1. In the case when L=K is a knot, if either A_Q(K)=A(K) or A_Q(K) provides a sharp lower bound for the knot genus, or if A_Q(K)=1, then A_Q(K) can be realized by means of the proper subfamily of quandles X=(F_p,*), where p varies among the odd prime numbers.
Given a (genus 2) cube-with-holes M, i.e. the complement in S^3 of a handlebody H, we relate intrinsic properties of M (like its cut number) with extrinsic features depending on the way the handlebody H is knotted in S^3. Starting from a first level of knotting that requires the non-existence of a planar spine for H, we define several instances of knotting of H in terms of the non-existence of spines with special properties. Some of these instances are implied by an intrinsic counterpart in terms of the non-existence of special cut-systems for M. We study a natural partial order on these instances of knotting, as well as its intrinsic counterpart, and the relations between them. To this aim, we recognize a few effective "obstructions" based on recent quandle-coloring invariants for spatial handlebodies, on the extension to the context of spatial handlebodies of tools coming from the theory of homology boundary links, on the analysis of appropriate coverings of M, and on the very classical use of Alexander elementary ideals of the fundamental group of M. Our treatment of the matter also allows us to revisit a few old-fashioned beautiful themes of 3-dimensional geometric topology.
Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular homology (on the category of CW-complexes), and it was then shown by Loeh that, in the absolute case, such isomorphism is in fact an isometry with respect to the L^1-seminorm on singular homology and the total variation seminorm on measure homology. Loeh's result plays a fundamental role in the use of measure homology as a tool for computing the simplicial volume of Riemannian manifolds. This paper deals with an extension of Loeh's result to the relative case. We prove that relative singular homology and relative measure homology are isometrically isomorphic for a wide class of topological pairs. Our results can be applied for instance in computing the simplicial volume of Riemannian manifolds with boundary. Our arguments are based on new results about continuous (bounded) cohomology of topological pairs, which are probably of independent interest.
Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices (endowed with the compact-open topology) defines a continuous real function. We prove that at least for "reasonable" spaces the inclusion of Cc(X) in C(X) induces an isomorphism in cohomology, thus answering a question posed by Mostow. We also prove that such isomorphism is isometric with respect to the L^infty-norm on cohomology defined by Gromov. As an application, we discuss a cohomological proof of Gromov's proportionality principle for the simplicial volume of Riemannian manifolds.
The goal of this paper is to describe and clarify as much as possible the 3-dimensional topology underlying the Helmholtz cuts method, which occurs in a wide theoretic and applied literature about Electromagnetism, Fluid dynamics and Elasticity on domains of the ordinary space. We consider two classes of bounded domains that satisfy mild boundary conditions and that become "simple" after a finite number of disjoint cuts along properly embedded surfaces. For the first class (Helmholtz), "simple" means that every curl-free smooth vector field admits a potential. For the second (weakly-Helmholtz), we only require that a potential exists for the restriction of every curl-free smooth vector field defined on the whole initial domain. By means of classical and rather elementary facts of 3-dimensional geometric and algebraic topology, we give an exhaustive description of Helmholtz domains, realizing that their topology is forced to be quite elementary (in particular, Helmholtz domains with connected boundary are just possibly knotted handlebodies, and the complement of any non-trivial link is not Helmholtz). The discussion about weakly-Helmholtz domains is a bit more advanced, and their classification appears to be a quite difficult issue. Nevertheless, we provide several interesting characterizations of them and, in particular, we point out that the class of links with weakly-Helmholtz complements eventually coincides with the class of the so-called homology boundary links, that have been widely studied in Knot Theory.
Let n>2 and let M be an orientable complete finite volume hyperbolic n-manifold with (possibly empty) geodesic boundary having Riemannian volume vol(M) and simplicial volume ||M||. A celebrated result by Gromov and Thurston states that if M has empty boundary then the ratio between vol(M) and ||M|| is equal to v_n, where v_n is the volume of the regular ideal geodesic n-simplex in hyperbolic n-space. On the contrary, Jungreis and Kuessner proved that if the boundary of M is non-empty, then such a ratio is strictly less than v_n. We prove here that for every a>0 there exists k>0 (only depending on a and n) such that if the ratio between the volume of the boundary of M and the volume of M is less than k, then the ratio between vol(M) and ||M|| is greater than v_n-a. As a consequence we show that for every a>0 there exists a compact orientable hyperbolic n-manifold M with non-empty geodesic boundary such that the ratio between vol(M) and ||M|| is greater than v_n-a. Our argument also works in the case of empty boundary, thus providing a somewhat new proof of the proportionality principle for non-compact finite-volume hyperbolic n-manifolds without boundary.
Suppose n>2, let M,M' be n-dimensional connected complete finite-volume hyperbolic manifolds with non-empty geodesic boundary, and suppose that the fundamental group of M is quasi-isometric to the fundamental group of M' (with respect to the word metric). Also suppose that if n=3, then the boundaries of M and of M' are compact. We show that M is commensurable with M'. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as above and G is a finitely generated group which is quasi-isometric to the fundamental group of M, then there exists a hyperbolic manifold with geodesic boundary M'' with the following properties: M'' is commensurable with M, and G is a finite extension of a group which contains the fundamental group of M'' as a finite-index subgroup.
We establish a bijective correspondence between the set T(n) of 3-dimensional triangulations with n tetrahedra and a certain class H(n) of relative handlebodies (i.e. handlebodies with boundary loops, as defined by Johannson) of genus n+1. We show that the manifolds in H(n) are hyperbolic (with geodesic boundary, and cusps corresponding to the loops), have least possible volume, and simplest boundary loops. Mirroring the elements of H(n) in their geodesic boundary we obtain a class D(n) of cusped hyperbolic manifolds, previously considered by D. Thurston and the first named author. We show that also D(n) corresponds bijectively to T(n), and we study some Dehn fillings of the manifolds in D(n). As consequences of our constructions, we also show that: - A triangulation of a 3-manifold is uniquely determined up to isotopy by its 1-skeleton; - If a 3-manifold M has an ideal triangulation with edges of valence at least 6, then M is hyperbolic and the edges are homotopically non-trivial, whence homotopic to geodesics; - Every finite group G is the isometry group of a closed hyperbolic 3-manifold with volume less than a constant times |G|^9.
Let M and N be n-dimensional connected orientable finite-volume hyperbolic manifolds with geodesic boundary, and let f be a given isomorphism between the fundamental groups of M and N. We study the problem whether there exists an isometry between M and N which induces f. We show that this is always the case if the dimension of M and N is at least four, while in the three-dimensional case the existence of an isometry inducing f is proved under some (necessary) additional conditions on f. Such conditions are trivially satisfied if the boundaries of M and N are both compact.
Using the theory of hyperbolic manifolds with totally geodesic boundary, we provide for every integer n greater than 1 a class of such manifolds all having Matveev complexity equal to n and Heegaard genus equal to n+1. All the elements of this class have a single boundary component of genus n, and the numbers of distinct members of the class grows at least exponentially with n.
We classify the orientable finite-volume hyperbolic 3-manifolds having non-empty compact totally geodesic boundary and admitting an ideal triangulation with at most four tetrahedra. We also compute the volume of all such manifolds, we describe their canonical Kojima decomposition, and we discuss manifolds having cusps. The manifolds built from one or two tetrahedra were previously known. There are 151 different manifolds built from three tetrahedra, realizing 18 different volumes. Their Kojima decomposition always consists of tetrahedra (but occasionally requires four of them). And there is a single cusped manifold, that we can show to be a knot complement in a genus-2 handlebody. Concerning manifolds built from four tetrahedra, we show that there are 5033 different ones, with 262 different volumes. The Kojima decomposition consists either of tetrahedra (as many as eight of them in some cases), or of two pyramids, or of a single octahedron. There are 30 manifolds having a single cusp, and one having two cusps. Our results were obtained with the aid of a computer. The complete list of manifolds (in SnapPea format) and full details on their invariants are available on the world wide web.