We bound the $L^2$-norm of an $L^2$ harmonic $1$-form in an orientable cusped hyperbolic $3$-manifold $M$ by its topological complexity, measured by the Thurston norm, up to a constant depending on $M$. It generalizes two inequalities of Brock-Dunfield. We also study the sharpness of the inequalities in the closed and cusped cases, using the interaction of minimal surfaces and harmonic forms. We unify various results by defining two functionals on orientable closed and cusped hyperbolic $3$-manifolds, and formulate several questions and conjectures.
We study hyperbolic cohomology classes in the general context of simplicial complexes and prove homological invariance statements for them. We relate the existence of hyperbolic cohomology classes to the non-amenability of the fundamental group. In degree two we clarify the relation between hyperbolic and atoroidal classes, leading to an application to symplectically atoroidal manifolds.
This paper shows that one cannot "hear" the rational cohomology ring of a hyperbolic 3-manifold. More precisely, while it is well-known that strongly isospectral manifolds have the same cohomology as vector spaces, we give an example of compact hyperbolic 3-manifolds that are strongly isospectral but have nonisomorphic rational cohomology rings. Along the way we implement a computer program which finds the nullity of the cup product map $H^1(M;\mathbb{Q})\wedge H^1(M;\mathbb{Q})\rightarrow H^2(M;\mathbb{Q})$ for any aspherical space in terms of the presentation of the fundamental group.
For a complete hyperbolic three manifold M, we consider the representations of its fundamental group obtained by composing a lift of the holonomy with complex finite dimensional representations of SL(2,C). We prove a vanishing result for the cohomology of M with coefficients twisted by these representations, using techniques of Matsushima-Murakami. We give some applications to local rigidity.
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into the inverse limit of the second bounded cohomologies of its hyperbolically embedded virtually free subgroups. This result is new and non-trivial even in the case where $G$ is a (non-free) hyperbolic gro…
We study the relationship between two norms on the first cohomology of a hyperbolic 3-manifold: the purely topological Thurston norm and the more geometric harmonic norm. Refining recent results of Bergeron, Şengün, and Venkatesh as well as older work of Kronheimer and Mrowka, we show that these norms are roughly proportional with explicit constants depending only on the volume and injectivity radius of the hyperbolic 3-manifold itself. Moreover, we give families of examples showing that some (but not all) qualitative aspects of our estimates are sharp. Finally, we exhibit closed hyperbolic 3-…
In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the integers and is a finite abelian group. We show that the order of the 2nd cohomology grows exponentially as the local system grows. We also consider the twisted Ruelle zeta function of a closed arithmetic hyperbolic 3-manifold and we express the leading coefficient of its Laurent expansion at the origin in terms of the orders of the torsion subgroups of the c…
We construct combinatorial volume forms of hyperbolic three manifolds fibering over the circle. These forms define non-trivial classes in bounded cohomology. After introducing a new seminorm on exact bounded cohomology, we use these combinatorial classes to show that, in degree 3, the zero norm subspace of the bounded cohomology of an acylindrically hyperbolic group is infinite dimensional. In the appendix we use the same techniques to give a cohomological proof of a lower bound, originally due to Brock, on the volume of the mapping torus of a cobounded pseudo-Anosov homeomorphism of a closed …
It was proved by Mineyev and Yaman that, if $(Γ, Γ')$ is a relatively hyperbolic pair, the comparison map $$ H_b^k(Γ, Γ'; V) \to H^k(Γ, Γ'; V) $$ is surjective for every $k \ge 2$, and any bounded $Γ$--module $V$. By exploiting results of Groves and Manning, we give another proof of this result. Moreover, we prove the opposite implication under weaker hypotheses than the ones required by Mineyev and Yaman.
We give a group cohomological description of the Čech cohomology of the Bowditch boundary of a relatively hyperbolic group pair, generalizing a result of Bestvina-Mess about hyperbolic groups. In case of a relatively hyperbolic Poincaré duality group pair, we show the Bowditch boundary is a homology manifold. For a three-dimensional Poincaré duality pair, we recover the theorem of Tshishiku-Walsh stating that the boundary is homeomorphic to a two-sphere.
Any action of a group $Γ$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $Γ$. We prove that the bounded cohomology of finitely generated Kleinian groups without parabolic elements distinguishes the asymptotic geometry of geometrically infinite ends of hyperbolic $3$-manifolds. That is, if two homotopy equivalent hyperbolic manifolds with infinite volume and without parabolic cusps have different geometrically infinite end invariants, then they define a $2$ dimensional subspace of bounded cohomology. Our techniques apply to…
On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold. In a companion paper, this formula is used to derive exponential growth of torsion in cohomology of arithmetic groups.
For a compact, oriented, hyperbolic $n$-manifold $(M,g)$, realised as $M= Γ\backslash \mathbb{H}^{n}$ where $Γ$ is a torsion-free cocompact subgroup of $SO(n,1)$, we establish and study a relationship between differential geometric cohomology on $M$ and algebraic invariants of the group $Γ$. In particular for $\mathbb{F}$ an irreducible $SO(n,1)$-module, we show that the group cohomology with coefficients $H^{\bullet}(Γ, \mathbb{F})$ is isomorphic to the cohomology of an appropriate projective BGG complex on $M$. This yields the geometric interpretation that $H^{\bullet}(Γ, \mathbb{F})$ parame…
Let $M$ be a negatively curved compact Riemannian manifold with (possibly empty) convex boundary. Every closed differential $2$-form $ξ\inΩ^2(M)$ defines a bounded cocycle $c_ξ\in C_b^2(M)$ by integrating $ξ$ over straightened $2$-simplices. In particular Barge and Ghys proved that, when $M$ is a closed hyperbolic surface, $Ω^2(M)$ injects this way in $H_b^2(M)$ as an infinite dimensional subspace. We show that any class of the form $[c_ξ]$, where $ξ$ is an exact differential 2-form, belongs to the radical of the cup product on the graded algebra $H_b^\bullet(M)$.
Given a representation of a link group, we introduce a trilinear form, as a topological invariant. We show that, if the link is either hyperbolic or a knot with malnormality, then the trilinear form equals the pairing of the (twisted) triple cup product and the fundamental relative 3-class. Further, we give some examples of the computation.
This article provides sufficient conditions for a closed hyperbolic 3-manifold $M$ with non zero first Betti number to fiber over the circle, and to find a fiber in $M$. Those conditions are formulated in terms of the behavior the circular characteristic in finite regular covers of $M$. We define the circular characteristic as an invariant associated to a non trivial cohomology class $α$ of $M$, using a Heegaard characteristic.
We generalize the result of Brandenbursky and Marcinkowski for the bounded cohomology of transformation groups to infinite volume case. To state the result, we introduce the notion of norm controlled cohomology as a generalization of bounded cohomology. This cohomology theory also provides a framework for relative quasimorphisms.
Previous work of the authors studies minimal triangulations of closed 3-manifolds using a characterisation of low degree edges, embedded layered solid torus subcomplexes and 1-dimensional $\mathbb{Z}_2$-cohomology. The underlying blueprint is now used in the study of minimal ideal triangulations. As an application, it is shown that the monodromy ideal triangulations of the hyperbolic once-punctured torus bundles are minimal.
We establish a link between the holomorphic derivatives of Thurston's hyperbolic gluing equations on an ideally triangulated finite volume hyperbolic 3-manifold and the cohomology of the sheaf of infinitesimal isometries. Moreover, we provide a geometric reformulation of the non-abelian Reidemeister torsion corresponding to the adjoint of the monodromy representation of the hyperbolic structure. These results are then applied to the study of the `1-loop Conjecture' of Dimofte-Garoufalidis, which we generalize to arbitrary 1-cusped hyperbolic 3-manifolds. We rigorously verify the generalized co…
In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology where the isomorphisms commute with restriction and co-restriction. We can also construct arbitrarily large collections of pairwise non-isomorphic smooth projective surfaces where these isomorphisms in co…
A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to a certain isoperimetric inequality. * The fundamental group of symplectically hyperbolic manifold is non-amenable. We also construct hyperbolic symplectic forms on certain bundles and Lefschetz fibrations,…
We introduce a norm on the real 1-cohomology of finite 2-complexes determined by the Euler characteristics of graphs on these complexes. We also introduce twisted Alexander-Fox polynomials of groups and show that they give rise to norms on the real 1-cohomology of groups. Our main theorem states that for a finite 2-complex X, the norm on H^1(X; R) determined by graphs on X majorates the Alexander-Fox norms derived from π_1(X).
We show that for acylindrically hyperbolic groups $Γ$ (with no nontrivial finite normal subgroups) and arbitrary unitary representation $ρ$ of $Γ$ in a (nonzero) uniformly convex Banach space the vector space $H^2_b(Γ;ρ)$ is infinite dimensional. The result was known for the regular representations on $\ell^p(Γ)$ with $1<p<\infty$ by a different argument. But our result is new even for a non-abelian free group in this great generality for representations, and also the case for acylindrically hyperbolic groups follows as an application.
This is a survey on Reidemeister torsion for hyperbolic three-manifolds of finite volume. Torsions are viewed as topological invariants and also as functions on the variety of representations in $\operatorname{ SL}_2(\mathbb C)$. In both cases, the torsions may also be computed after composing with finite dimensional representations of $\operatorname{ SL}_2(\mathbb C)$. In addition the paper deals with the torsion of the adjoint representation as a function on the variety of $\operatorname{ PSL}_{n+1}(\mathbb C)$-characters, using that the first cohomology group with coefficients twisted by th…
For any orientable finite-volume hyperbolic 3-manifold, this paper proves that the profinite isomorphism type of the fundamental group uniquely determines the isomorphism type of the first integral cohomology, as marked with the Thurston norm and the fibered classes; moreover, up to finite ambiguity, the profinite isomorphism type determines the isomorphism type of the fundamental group, among the class of finitely generated 3-manifold groups.
Let $M$ be a compact oriented three-manifold whose interior is hyperbolic of finite volume. We prove a variation formula for the volume on the variety of representations of $M$ in $\operatorname{SL}_n(\mathbb C)$. Our proof follows the strategy of Reznikov's rigidity when $M$ is closed, in particular we use Fuks' approach to variations by means of Lie algebra cohomology. When $n=2$, we get back Hodgson's formula for variation of volume on the space of hyperbolic Dehn fillings. Our formula also yields the variation of volume on the space of decorated triangulations obtained by Bergeron-Falbel-G…
The invariant measured foliations of a pseudo-Anosov homeomorphism induce a natural (singular) Sol structure on mapping tori of surfaces with pseudo-Anosov monodromy. We show that when the pseudo-Anosov $ϕ:S\rightarrow S$ has orientable foliations and does not have 1 as an eigenvalue of the induced cohomology action on the closed surface, then the Sol structure can be deformed to nearby cone hyperbolic structures, in the sense of projective structures. The cone angles can be chosen to be decreasing from multiples of $2π$.
The aim of this paper is to discuss some applications of the relation between Seiberg-Witten theory and two natural norms defined on the first cohomology group of a closed 3-manifold N - the Alexander and Thurston norms. We start by giving a "new" proof of McMullen's inequality between these norms, and then use these norms to study two problems related to symplectic 4-manifolds of the form S^1xN. First we prove that - as long as N is irreducible - the unit balls of these norms are related in a way similar to the case of fibered 3-manifolds, supporting the conjecture that N is fibered. Second, …
For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more structure. If M is a complex singularity link then the normalized Euler-characteristic can be compared with the analytic invariants. The Seiberg--Witten Invariant Conjecture is discussed in the light of this new object.
We consider the cohomology group $H^1(Γ, ρ)$ of a discrete subgroup $Γ\subset G=SU(n, 1)$ and the symmetric tensor representation $ρ$ on $S^m(\mathbb C^{n+1})$. We give an elementary proof of the Eichler-Shimura isomorphism that harmonic forms $H^1(Γ\backslash G/K, ρ)$ are $(0, 1)$-forms for the automorphic holomorphic bundle induced by the representation $S^m(\mathbb C^{n})$ of $K$.
We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic 3-manifolds and we deduce the following theorem: Given an arithmetically defined cocompact subgroup of SL(2,C), provided the underlying quaternion algebra meets some conditions, there is a decreasing sequence of finite index subgroups of such that the first Betti number grows at least as fast as the squa…
