-
The Serre spectral sequence in bounded cohomology
Authors:
Kevin Li,
Marco Moraschini,
George Raptis
Abstract:
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 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.
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
Topological volumes of certain complete affine manifolds
Authors:
Alberto Casali,
Marco Moraschini
Abstract:
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ück in the case of complete affine manifolds.
Our construction also provides the vanishing of stable integral simplic…
▽ More
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ück 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.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Some remarks on acyclicity in bounded cohomology
Authors:
Marco Moraschini,
George Raptis
Abstract:
We show that a surjective homomorphism $\varphi \colon Γ\to K$ of (discrete) groups induces an isomorphism $H^\bullet_b(K; V) \to H^\bullet_b(Γ; \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 cohom…
▽ More
We show that a surjective homomorphism $\varphi \colon Γ\to K$ of (discrete) groups induces an isomorphism $H^\bullet_b(K; V) \to H^\bullet_b(Γ; \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 $Γ$ has trivial bounded cohomology with respect to all dual normed trivial $Γ$-modules.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
The algebraic cheap rebuilding property
Authors:
Kevin Li,
Clara Loeh,
Marco Moraschini,
Roman Sauer,
Matthias Uschold
Abstract:
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. We introduce an algebraic version of Abért--Bergeron--Frączyk--Ga…
▽ More
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. We introduce an algebraic version of Abért--Bergeron--Frączyk--Gaboriau's cheap rebuilding property that implies vanishing of torsion homology growth and admits a combination theorem. As an application, we show that certain graphs of groups with amenable vertex groups and elementary amenable edge groups have vanishing torsion homology growth.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Displacement techniques in bounded cohomology
Authors:
Caterina Campagnolo,
Francesco Fournier-Facio,
Yash Lodha,
Marco Moraschini
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 20 September, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
An algebraic criterion for the vanishing of bounded cohomology
Authors:
Caterina Campagnolo,
Francesco Fournier-Facio,
Yash Lodha,
Marco Moraschini
Abstract:
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 questio…
▽ More
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ö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.
△ Less
Submitted 6 July, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Bounded Cohomology Classes of Exact Forms
Authors:
Ludovico Battista,
Stefano Francaviglia,
Marco Moraschini,
Filippo Sarti,
Alessio Savini
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 5 April, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Bounded acyclicity and relative simplicial volume
Authors:
Kevin Li,
Clara Loeh,
Marco Moraschini
Abstract:
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 acycli…
▽ More
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.
△ Less
Submitted 11 February, 2022;
originally announced February 2022.
-
Amenable covers and integral foliated simplicial volume
Authors:
Clara Loeh,
Marco Moraschini,
Roman Sauer
Abstract:
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.
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.
△ Less
Submitted 12 June, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Bounded cohomology and binate groups
Authors:
Francesco Fournier-Facio,
Clara Loeh,
Marco Moraschini
Abstract:
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 provid…
▽ More
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.
△ Less
Submitted 21 March, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
On the simplicial volume and the Euler characteristic of (aspherical) manifolds
Authors:
Clara Loeh,
Marco Moraschini,
George Raptis
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 June, 2022; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability
Authors:
Francesco Fournier-Facio,
Clara Loeh,
Marco Moraschini
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 October, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Amenability and Acyclicity in Bounded Cohomology Theory
Authors:
Marco Moraschini,
George Raptis
Abstract:
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 ma…
▽ More
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.
△ Less
Submitted 6 December, 2022; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Topological volumes of fibrations: A note on open covers
Authors:
Clara Loeh,
Marco Moraschini
Abstract:
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.
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.
△ Less
Submitted 8 September, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Amenable category and complexity
Authors:
Pietro Capovilla,
Clara Loeh,
Marco Moraschini
Abstract:
Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and topological complexity.
Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and topological complexity.
△ Less
Submitted 18 March, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Simplicial volume via normalised cycles
Authors:
Clara Loeh,
Marco Moraschini
Abstract:
We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $\ell^1$-semi-norm on singular homology in all dimensions.
We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $\ell^1$-semi-norm on singular homology in all dimensions.
△ Less
Submitted 22 May, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Multiplicative constants and maximal measurable cocycles in bounded cohomology
Authors:
Marco Moraschini,
Alessio Savini
Abstract:
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.
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.
△ Less
Submitted 21 July, 2021; v1 submitted 20 December, 2019;
originally announced December 2019.
-
Stable integral simplicial volume of 3-manifolds
Authors:
Daniel Fauser,
Clara Loeh,
Marco Moraschini,
José Pedro Quintanilha
Abstract:
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.
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.
△ Less
Submitted 14 April, 2021; v1 submitted 14 October, 2019;
originally announced October 2019.
-
A Matsumoto-Mostow result for Zimmer's cocycles of hyperbolic lattices
Authors:
Marco Moraschini,
Alessio Savini
Abstract:
As for the theory of maximal representations, we introduce the volume of a Zimmer's cocycle $Γ\times X \rightarrow \mbox{PO}^\circ(n, 1)$, where $Γ$ is a torsion-free (non-)uniform lattice in $\mbox{PO}^\circ(n, 1)$, with $n \geq 3$, and $X$ is a suitable standard Borel probability $Γ$-space. Our numerical invariant extends the volume of representations for (non-)uniform lattices to measurable coc…
▽ More
As for the theory of maximal representations, we introduce the volume of a Zimmer's cocycle $Γ\times X \rightarrow \mbox{PO}^\circ(n, 1)$, where $Γ$ is a torsion-free (non-)uniform lattice in $\mbox{PO}^\circ(n, 1)$, with $n \geq 3$, and $X$ is a suitable standard Borel probability $Γ$-space. Our numerical invariant extends the volume of representations for (non-)uniform lattices to measurable cocycles and in the uniform setting it agrees with the generalized version of the Euler number of self-couplings. We prove that our volume of cocycles satisfies a Milnor-Wood type inequality in terms of the volume of the manifold $Γ\backslash \mathbb{H}^n$. This invariant can be interpreted as a suitable multiplicative constant between bounded cohomology classes. This allows us to characterize maximal cocycles for being cohomologous to the cocycle induced by the standard lattice embedding via a measurable map $X \rightarrow \mbox{PO}(n, 1)$ with essentially constant sign.
As a by-product of our rigidity result for the volume of cocycles, we give a new proof of the mapping degree theorem. This allows us to provide a complete characterization of maps homotopic to local isometries between closed hyperbolic manifolds in terms of maximal cocycles.
In dimension $n = 2$, we introduce the notion of Euler number of measurable cocycles associated to closed surface groups. It extends the classic Euler number of representations and it agrees with the generalized version of the Euler number of self-couplings up to a multiplicative constant. We show a Milnor-Wood type inequality whose upper bound is given by the modulus of the Euler characteristic. This gives an alternative proof of the same result for the generalized version of the Euler number of self-couplings. Finally, we characterize maximal cocycles as those which are cohomologous to the one induced by a hyperbolization.
△ Less
Submitted 24 September, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Gromov's theory of multicomplexes with applications to bounded cohomology and simplicial volume
Authors:
Roberto Frigerio,
Marco Moraschini
Abstract:
The simplicial volume is a homotopy invariant of manifolds introduced by Gromov in 1982. In order to study its main properties, Gromov himself initiated the dual theory of bounded cohomology, that developed into an active and independent research field. Gromov's theory of bounded cohomology was based on the use of multicomplexes, which are simplicial structures that generalize simplicial complexes…
▽ More
The simplicial volume is a homotopy invariant of manifolds introduced by Gromov in 1982. In order to study its main properties, Gromov himself initiated the dual theory of bounded cohomology, that developed into an active and independent research field. Gromov's theory of bounded cohomology was based on the use of multicomplexes, which are simplicial structures that generalize simplicial complexes without allowing all the degeneracies appearing in simplicial sets.
In the first part of this paper we lay the foundation of the theory of multicomplexes. We construct the singular multicomplex K(X) associated to a topological space X, and we prove that K(X) is homotopy equivalent to $X$ for every CW complex X. Following Gromov, we introduce the notion of completeness, which translates into the context of multicomplexes the Kan condition for simplicial sets. We then develop the homotopy theory of complete multicomplexes.
In the second part we apply the theory of multicomplexes to the study of the bounded cohomology of topological spaces. We provide complete proofs of Gromov's Mapping Theorem (which implies that the bounded cohomology of a space only depends on its fundamental group) and of Gromov's Vanishing Theorem, which ensures the vanishing of the simplicial volume of closed manifolds admitting an amenable cover of small multiplicity.
The third part is devoted to the study of locally finite chains on non-compact spaces. We expand some ideas of Gromov to provide complete proofs of a criterion for the vanishing and a criterion for the finiteness of the simplicial volume of open manifolds. As a by-product of these results, we prove a criterion for the l^1-invisibility of closed manifolds in terms of amenable covers. As an application, we give the first complete proof of the vanishing of the simplicial volume of the product of three open manifolds.
△ Less
Submitted 19 December, 2019; v1 submitted 22 August, 2018;
originally announced August 2018.
-
Ideal simplicial volume of manifolds with boundary
Authors:
Roberto Frigerio,
Marco Moraschini
Abstract:
We define the ideal simplicial volume for compact manifolds with boundary. Roughly speaking, the ideal simplicial volume of a manifold $M$ measures the minimal size of possibly ideal triangulations of $M$ "with real coefficients", thus providing a variation of the ordinary simplicial volume defined by Gromov in 1982, the main difference being that ideal simplices are now allowed to appear in repre…
▽ More
We define the ideal simplicial volume for compact manifolds with boundary. Roughly speaking, the ideal simplicial volume of a manifold $M$ measures the minimal size of possibly ideal triangulations of $M$ "with real coefficients", thus providing a variation of the ordinary simplicial volume defined by Gromov in 1982, the main difference being that ideal simplices are now allowed to appear in representatives of the fundamental class.
We show that the ideal simplicial volume is bounded above by the ordinary simplicial volume, and that it vanishes if and only if the ordinary simplicial volume does. We show that, for manifolds with amenable boundary, the ideal simplicial volume coincides with the classical one, whereas for hyperbolic manifolds with geodesic boundary it can be strictly smaller. We compute the ideal simplicial volume of an infinite family of hyperbolic $3$-manifolds with geodesic boundary, for which the exact value of the classical simplicial volume is not known, and we exhibit examples where the ideal simplicial volume provides shaper bounds on mapping degrees than the classical simplicial volume.
△ Less
Submitted 11 April, 2019; v1 submitted 14 February, 2018;
originally announced February 2018.
-
On volumes of hyperideal tetrahedra with constrained edge lengths
Authors:
Roberto Frigerio,
Marco Moraschini
Abstract:
Hyperideal tetrahedra are the fundamental building blocks of hyperbolic 3-manifolds with geodesic boundary. The study of their geometric properties (in particular, of their volume) has applications also in other areas of low-dimensional topology, like the computation of quantum invariants of 3-manifolds and the use of variational methods in the study of circle packings on surfaces.
The Schläfli…
▽ More
Hyperideal tetrahedra are the fundamental building blocks of hyperbolic 3-manifolds with geodesic boundary. The study of their geometric properties (in particular, of their volume) has applications also in other areas of low-dimensional topology, like the computation of quantum invariants of 3-manifolds and the use of variational methods in the study of circle packings on surfaces.
The Schläfli formula neatly describes the behaviour of the volume of hyperideal tetrahedra with respect to dihedral angles, while the dependence of volume on edge lengths is worse understood. In this paper we prove that, for every $\ell<\ell_0$, where $\ell_0$ is an explicit constant, regular hyperideal tetrahedra of edge length $\ell$ maximize the volume among hyperideal tetrahedra whose edge lengths are all not smaller than $\ell$.
This result provides a fundamental step in the computation of the ideal simplicial volume of an infinite family of hyperbolic 3-manifolds with geodesic boundary.
△ Less
Submitted 11 April, 2019; v1 submitted 16 January, 2018;
originally announced January 2018.
-
Abstract sectional category in model structures on topological spaces
Authors:
Marco Moraschini,
Aniceto Murillo
Abstract:
We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical notion. As a result, the same conclusions hold for the abstract Lusternik-Schnirelmann category and the abstract topological complexity of a space.
We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical notion. As a result, the same conclusions hold for the abstract Lusternik-Schnirelmann category and the abstract topological complexity of a space.
△ Less
Submitted 2 December, 2015; v1 submitted 28 June, 2015;
originally announced June 2015.
