Bounded cohomology and optimal separating constant for representations

Abstract

Let $Σ$ be a closed oriented surface of genus $>1$ and $M$ a complete hyperbolic 3-manifold with a marking $i:Σ\longrightarrow M$. We consider the case that $M$ has no parabolic cusps and at least one of the two ends is simply degenerate. For $\varGamma=π_1(Σ)$, let $ρ_M:\varGamma\longrightarrow \mathrm{PSL}_2(\mathbb{C})$ be the holonomy of $M$ and $ρ:\varGamma\longrightarrow \mathrm{PSL}_2(\mathbb{C})$ any representation in $\mathrm{PSL}_2(\mathbb{C})$. We will show that, if $ρ$ is discrete and non-faithful, then \[ \|[\mathrm{Vol}(ρ)]-[\mathrm{Vol}(ρ_M)]\|_\infty\geq \boldsymbol{v}_3 \] holds, where $[\mathrm{Vol}(ρ)]$ denotes the bounded fundamental class of $ρ$ in the bounded cohomology $H_b^3(\varGamma,\mathbb{R})$ of $\varGamma$ and $\boldsymbol{v}_3$ is the volume of a regular ideal 3-simplex in $\mathbb{H}^3$. As an application, we present a rigidity theorem for $ρ_M$ in the set of representations $ρ$ of $\varGamma$ in $\mathrm{PSL}_2(\mathbb{C})$ in terms of $[\mathrm{Vol}(ρ)]$. The rigidity theorem implies that $\boldsymbol{v}_3$ is the optimal separating constant.