-
Projections from Furstenberg boundaries onto maximal flats and barycenter maps
Authors:
Michelle Bucher,
Alessio Savini
Abstract:
Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in G/P$ is opposite to the Weyl chambers determined by $F$, we define a projection $Φ(F, x) \in F$ which is continuous and $G$-equivariant. Furthermore, if…
▽ More
Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in G/P$ is opposite to the Weyl chambers determined by $F$, we define a projection $Φ(F, x) \in F$ which is continuous and $G$-equivariant. Furthermore, if $q \geq 3$, we exhibit a $G$-equivariant continuous map defined on an open subset of full measure of the space of $q$-tuples of $(G/P)^q$ with image in $G/K$. When $G$ is the orientation preserving isometries of real hyperbolic space and $q = 3$, we recover the geometric barycenter of the corresponding ideal triangle. All our proofs are constructive.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Measurable bounded cohomology of $t$-discrete measured groupoids via resolutions
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
We define bounded cohomology of $t$-discrete measured groupoids with coefficients into measurable bundles of Banach spaces. Our approach via homological algebra extends the classic theory developed by Ivanov and by Monod. As a consequence, we show that the bounded cohomology of a $t$-discrete groupoid $\mathcal{G}$ can be computed using any amenable $\mathcal{G}$-space. In particular, we can compu…
▽ More
We define bounded cohomology of $t$-discrete measured groupoids with coefficients into measurable bundles of Banach spaces. Our approach via homological algebra extends the classic theory developed by Ivanov and by Monod. As a consequence, we show that the bounded cohomology of a $t$-discrete groupoid $\mathcal{G}$ can be computed using any amenable $\mathcal{G}$-space. In particular, we can compute bounded cohomology using strong boundaries.
△ Less
Submitted 28 March, 2025;
originally announced March 2025.
-
Boundaries and equivariant maps for ergodic groupoids
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman \cite{BF14} for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=Γ\ltimes X$ obtained by a probability measure preserving action $Γ\curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly…
▽ More
We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman \cite{BF14} for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=Γ\ltimes X$ obtained by a probability measure preserving action $Γ\curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly $(B_- \times X, B_+ \times X)$, where $(B_-,B_+)$ is a boundary pair for $Γ$. For any measured groupoid $(\mathcal{G},ν)$, we prove that the Poisson boundaries associated to the Markov operators generated by a probability measure equivalent to $ν$ provide other examples of our definition.
Following Bader and Furman \cite{BF:Unpub}, we define algebraic representability for an ergodic groupoid $(\mathcal{G},ν)$. In this way, given any measurable representation $ρ:\mathcal{G} \rightarrow H$ into the $κ$-points of an algebraic $κ$-group $\mathbf{H}$, we obtain $ρ$-equivariant maps $\mathcal{B}_\pm \rightarrow H/L_\pm$, where $L_\pm=\mathbf{L}_\pm(κ)$ for some $κ$-subgroups $\mathbf{L}_\pm<\mathbf{H}$. In the particular case when $κ=\mathbb{R}$ and $ρ$ is Zariski dense, we show that $L_\pm$ must be minimal parabolic subgroups.
△ Less
Submitted 4 June, 2025; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Kernels in measurable cohomology for transitive actions
Authors:
Michelle Bucher,
Alessio Savini
Abstract:
Given a connected semisimple Lie group $G$, Monod has recently proved that the measurable cohomology of the $G$-action $H^*_m(G \curvearrowright G/P)$ on the Furstenberg boundary $G/P$, where $P$ is a minimal parabolic subgroup, maps surjectively on the measurable cohomology of $G$ through the evaluation on a fixed basepoint. Additionally, the kernel of this map depends entirely on the invariant c…
▽ More
Given a connected semisimple Lie group $G$, Monod has recently proved that the measurable cohomology of the $G$-action $H^*_m(G \curvearrowright G/P)$ on the Furstenberg boundary $G/P$, where $P$ is a minimal parabolic subgroup, maps surjectively on the measurable cohomology of $G$ through the evaluation on a fixed basepoint. Additionally, the kernel of this map depends entirely on the invariant cohomology of a maximal split torus. In this paper we show a similar result for a fixed subgroup $L<P$ such that the stabilizer of almost every pair of points in $G/L$ is compact. More precisely, we show that the cohomology of the $G$-action $H^p_m(G \curvearrowright G/L)$ maps surjectively onto $H^p_m(G)$ with a kernel isomorphic to $H^{p-1}_m(L)$. Examples of such groups are given either by any term of the derived series of the unipotent radical $N$ of $P$ or by a maximal split torus $A$. We conclude the paper by computing explicitly some cocycles on quotients of $\mathrm{SL}(2,\mathbb{K})$ for $\mathbb{K}=\mathbb{R}, \mathbb{C}$.
△ Less
Submitted 13 April, 2025; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Alternating cochains on Furstenberg boundaries and measurable cohomology
Authors:
Michelle Bucher,
Alessio Savini
Abstract:
Nicolas Monod showed that the evaluation map $$H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the measurable cohomology of $G$ is surjective with a non-trivial kernel in all degrees below a constant depending on $G$ and less than or equal to the rank of $G$ plus…
▽ More
Nicolas Monod showed that the evaluation map $$H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the measurable cohomology of $G$ is surjective with a non-trivial kernel in all degrees below a constant depending on $G$ and less than or equal to the rank of $G$ plus $2$. When we were looking for explicit representatives of classes in this kernel, we were astonished to discover that some of these nontrivial classes have trivial alternation. In this paper, we refine Monod's result by identifying the non-alternating and alternating cohomology classes in this kernel. As a consequence, we show that $H^*_m(G)$ is isomorphic to the alternating measurable cohomology of $G$ acting on $G/P$ in all even degrees $$H^{2k}_{m,\mathrm{alt}}(G\curvearrowright G/P)\cong H^{2k}_m(G),$$ for a majority of Lie groups, namely those for which the longest element of the Weyl group acts as $-1$ on the Lie algebra of a maximal split torus $A$ in $G$.
△ Less
Submitted 9 April, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
Measurable bounded cohomology of measured groupoids
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a measure class preserving action of a locally compact group $G$ on a regular space is isomorphic to the continuous bounded cohomology of $G$ with twisted coefficie…
▽ More
We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a measure class preserving action of a locally compact group $G$ on a regular space is isomorphic to the continuous bounded cohomology of $G$ with twisted coefficients. We also prove the invariance of measurable bounded cohomology under similarity. As an application, we compare the bounded cohomology of (weakly) orbit equivalent actions and of measure equivalent groups. In this way we recover an isomorphism in bounded cohomology similar to one proved by Monod and Shalom. For amenable groupoids, we show that the measurable bounded cohomology vanishes. This generalizes previous results by Monod, Anantharaman-Delaroche and Renault, and Blank.
△ Less
Submitted 16 April, 2023;
originally announced April 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.
-
Some explicit cocycles on the Furstenberg boundary for products of isometries of hyperbolic spaces and $\mathrm{SL}(3,\mathbb{K})$
Authors:
Michelle Bucher,
Alessio Savini
Abstract:
Nicolas Monod showed that the evaluation map $H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the measurable cohomology of $G$ is surjective with a kernel that can be entirely described in terms of invariants in the cohomology of the maximal split torus $A<G$. In a re…
▽ More
Nicolas Monod showed that the evaluation map $H^*_m(G\curvearrowright G/P)\longrightarrow H^*_m(G)$ between the measurable cohomology of the action of a connected semisimple Lie group $G$ on its Furstenberg boundary $G/P$ and the measurable cohomology of $G$ is surjective with a kernel that can be entirely described in terms of invariants in the cohomology of the maximal split torus $A<G$. In a recent paper the authors refine Monod's result and show in particular that the cohomology of non-alternating cocycles on $G/P$, namely those lying in the kernel of the alternation map, is in general not trivial and lies in the kernel of the evaluation. In this paper we describe explicitly such non-alternating and alternating cocycles on $G/P$ in low degrees when $G$ is either a product of isometries of real hyperbolic spaces or $G=\mathrm{SL}(3,\mathbb{K})$, where $\mathbb{K}$ is either the real or the complex field. As a consequence, we deduce that the comparison map $H^*_{m,b}(G)\rightarrow H^*_m(G)$ from the measurable bounded cohomology is injective in degree $3$, which is new for nontrivial products of isometries of hyperbolic spaces.
△ Less
Submitted 24 August, 2023; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Orbital cohomology and Kahler rigidity
Authors:
Alessio Savini
Abstract:
In the late $70$'s Feldman and Moore defined the cohomology associated to a countable equivalence relation with coefficients in an Abelian Polish group. When the equivalence relation is the orbital one, that is it is induced by a measure preserving action of a countable group $Γ$ on a standard Borel probability space $(X,μ)$, it still makes sense to consider the Feldmann-Moore $1$-cohomology with…
▽ More
In the late $70$'s Feldman and Moore defined the cohomology associated to a countable equivalence relation with coefficients in an Abelian Polish group. When the equivalence relation is the orbital one, that is it is induced by a measure preserving action of a countable group $Γ$ on a standard Borel probability space $(X,μ)$, it still makes sense to consider the Feldmann-Moore $1$-cohomology with $G$-coefficients, where this time $G$ can be any topological group. The latter cohomology, denoted by $H^1(Γ\curvearrowright X;G)$, is very misterious and hard to compute, except for some exceptional cases.
In this expository paper we are going to focus our attention on the particular case when $Γ$ is a finitely generated group and $G$ is a Hermitian Lie group. We are going to give some recent rigidity results in this context and we will see how those results can be used to say something relevant about (some subsets of) the orbital cohomology.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
On the trivializability of rank-one cocycles with an invariant field of projective measures
Authors:
Alessio Savini
Abstract:
Let $G$ be $\text{SO}^\circ(n,1)$ for $n \geq 3$ and consider a lattice $Γ< G$. Given a standard Borel probability $Γ$-space $(Ω,μ)$, consider a measurable cocycle $σ:Γ\times Ω\rightarrow \mathbf{H}(κ)$, where $\mathbf{H}$ is a connected algebraic $κ$-group over a local field $κ$. Under the assumption of compatibility between $G$ and the pair $(\mathbf{H},κ)$, we show that if $σ$ admits an equivar…
▽ More
Let $G$ be $\text{SO}^\circ(n,1)$ for $n \geq 3$ and consider a lattice $Γ< G$. Given a standard Borel probability $Γ$-space $(Ω,μ)$, consider a measurable cocycle $σ:Γ\times Ω\rightarrow \mathbf{H}(κ)$, where $\mathbf{H}$ is a connected algebraic $κ$-group over a local field $κ$. Under the assumption of compatibility between $G$ and the pair $(\mathbf{H},κ)$, we show that if $σ$ admits an equivariant field of probability measures on a suitable projective space, then $σ$ is trivializable.
An analogous result holds in the complex hyperbolic case.
△ Less
Submitted 8 December, 2023; v1 submitted 7 May, 2022;
originally announced May 2022.
-
A Note on elementarity of virtual dendro-morphisms for higher rank lattices
Authors:
Alessio Savini
Abstract:
Let $Γ$ be a discrete countable group and let $(Ω,μ)$ be an ergodic standard Borel probability $Γ$-space. Given any non-elementary virtual dendro-morphism (that is a measurable cocycle in the automorphism group of a dendrite), we construct a unitary representation $V$ with no invariant vectors such that $\text{H}^2_b(Γ;V)$ contains a non-zero class. As a consequence, all virtual dendro-morphisms o…
▽ More
Let $Γ$ be a discrete countable group and let $(Ω,μ)$ be an ergodic standard Borel probability $Γ$-space. Given any non-elementary virtual dendro-morphism (that is a measurable cocycle in the automorphism group of a dendrite), we construct a unitary representation $V$ with no invariant vectors such that $\text{H}^2_b(Γ;V)$ contains a non-zero class. As a consequence, all virtual dendro-morphisms of a higher rank lattice must be elementary.
△ Less
Submitted 9 February, 2022; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Parametrized Kähler class and Zariski dense orbital 1-cohomology
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
Let $Γ$ be a finitely generated group and let $(X,μ_X)$ be an ergodic standard Borel probability $Γ$-space. Suppose that $G$ is the connected component of the identity of the isometry group of a Hermitian symmetric space. Given a Zariski dense measurable cocycle $σ:Γ\times X \rightarrow G$, we define the notion of parametrized Kähler class and we show that it completely determines the cocycle up t…
▽ More
Let $Γ$ be a finitely generated group and let $(X,μ_X)$ be an ergodic standard Borel probability $Γ$-space. Suppose that $G$ is the connected component of the identity of the isometry group of a Hermitian symmetric space. Given a Zariski dense measurable cocycle $σ:Γ\times X \rightarrow G$, we define the notion of parametrized Kähler class and we show that it completely determines the cocycle up to cohomology.x
△ Less
Submitted 4 June, 2025; v1 submitted 4 June, 2021;
originally announced June 2021.
-
Parametrized Euler class and semicohomology theory
Authors:
Alessio Savini
Abstract:
We extend Ghys' theory about semiconjugacy to the world of measurable cocycles. More precisely, given a measurable cocycle with values into $\text{Homeo}^+(\mathbb{S}^1)$, we can construct a $\text{L}^\infty$-parametrized Euler class in bounded cohomology. We show that such a class vanishes if and only if the cocycle can be lifted to $\text{Homeo}^+_{\mathbb{Z}}(\mathbb{R})$ and it admits an equiv…
▽ More
We extend Ghys' theory about semiconjugacy to the world of measurable cocycles. More precisely, given a measurable cocycle with values into $\text{Homeo}^+(\mathbb{S}^1)$, we can construct a $\text{L}^\infty$-parametrized Euler class in bounded cohomology. We show that such a class vanishes if and only if the cocycle can be lifted to $\text{Homeo}^+_{\mathbb{Z}}(\mathbb{R})$ and it admits an equivariant family of points.
We define the notion of semicohomologous cocycles and we show that two measurable cocycles are semicohomologous if and only if they induce the same parametrized Euler class. Since for minimal cocycles, semicohomology boils down to cohomology, the parametrized Euler class is constant for minimal cohomologous cocycles.
We conclude by studying the vanishing of the real parametrized Euler class and we obtain some results of elementarity.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Entropy rigidity for foliations by strictly convex projective manifolds
Authors:
Alessio Savini
Abstract:
Let $N$ be a compact manifold with a foliation $\mathscr{F}_N$ whose leaves are compact strictly convex projective manifolds. Let $M$ be a compact manifold with a foliation $\mathscr{F}_M$ whose leaves are compact hyperbolic manifolds of dimension bigger than or equal to $3$. Suppose to have a foliation-preserving homeomorphism $f:(N,\mathscr{F}_N) \rightarrow (M,\mathscr{F}_M)$ which is $C^1$-reg…
▽ More
Let $N$ be a compact manifold with a foliation $\mathscr{F}_N$ whose leaves are compact strictly convex projective manifolds. Let $M$ be a compact manifold with a foliation $\mathscr{F}_M$ whose leaves are compact hyperbolic manifolds of dimension bigger than or equal to $3$. Suppose to have a foliation-preserving homeomorphism $f:(N,\mathscr{F}_N) \rightarrow (M,\mathscr{F}_M)$ which is $C^1$-regular when restricted to leaves. In the previous situation there exists a well-defined notion of foliated volume entropies $h(N,\mathscr{F}_N)$ and $h(M,\mathscr{F}_M)$ and it holds $h(M,\mathscr{F}_M) \leq h(N,\mathscr{F}_N)$. Additionally, if equality holds, then the leaves must be homothetic.
△ Less
Submitted 12 January, 2021; v1 submitted 10 October, 2020;
originally announced October 2020.
-
Boundary maps and reducibility for cocycles into the isometries of CAT(0)-spaces
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
Let $Γ$ be a discrete countable group acting isometrically on a measurable field $\mathbf{X}$ of CAT(0)-spaces of finite telescopic dimension over some ergodic standard Borel probability $Γ$-space $(Ω,μ)$. If $\mathbf{X}$ does not admit any invariant Euclidean subfield, we prove that the measurable field $\widehat{\mathbf{X}}$ extended to a $Γ$-boundary admits an invariant section. In the case of…
▽ More
Let $Γ$ be a discrete countable group acting isometrically on a measurable field $\mathbf{X}$ of CAT(0)-spaces of finite telescopic dimension over some ergodic standard Borel probability $Γ$-space $(Ω,μ)$. If $\mathbf{X}$ does not admit any invariant Euclidean subfield, we prove that the measurable field $\widehat{\mathbf{X}}$ extended to a $Γ$-boundary admits an invariant section. In the case of constant fields this shows the existence of Furstenberg maps for measurable cocycles, extending results by Bader, Duchesne and Lécureux.
When $Γ<\mathrm{PU}(n,1)$ is a torsion-free lattice and the CAT(0)-space is $\mathcal{X}(p,\infty)$, we show that a maximal cocycle $σ:Γ\times Ω\rightarrow \mathrm{PU}(p,\infty)$ with a suitable boundary map is finitely reducible. As a consequence, we prove an infinite dimensional rigidity phenomenon for maximal cocycles in $\mathrm{PU}(1,\infty)$.
△ Less
Submitted 4 June, 2025; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Algebraic hull of maximal measurable cocycles of surface groups into Hermitian Lie groups
Authors:
Alessio Savini
Abstract:
Following the work of Burger, Iozzi and Wienhard for representations, in this paper we introduce the notion of maximal measurable cocycles of a surface group. More precisely, let $\mathbf{G}$ be a semisimple algebraic $\mathbb{R}$-group such that $G=\mathbf{G}(\mathbb{R})^\circ$ is of Hermitian type. If $Γ\leq L$ is a torsion-free lattice of a finite connected covering of $\text{PU}(1,1)$, given a…
▽ More
Following the work of Burger, Iozzi and Wienhard for representations, in this paper we introduce the notion of maximal measurable cocycles of a surface group. More precisely, let $\mathbf{G}$ be a semisimple algebraic $\mathbb{R}$-group such that $G=\mathbf{G}(\mathbb{R})^\circ$ is of Hermitian type. If $Γ\leq L$ is a torsion-free lattice of a finite connected covering of $\text{PU}(1,1)$, given a standard Borel probability $Γ$-space $(Ω,μ_Ω)$, we introduce the notion of Toledo invariant for a measurable cocycle $σ:Γ\times Ω\rightarrow G$.
The Toledo remains unchanged along $G$-cohomology classes and its absolute value is bounded by the rank of $G$. This allows to define maximal measurable cocycles. We show that the algebraic hull $\mathbf{H}$ of a maximal cocycle $σ$ is reductive and the centralizer of $H=\mathbf{H}(\mathbb{R})^\circ$ is compact. If additionally $σ$ admits a boundary map, then $H$ is of tube type and $σ$ is cohomologous to a cocycle stabilizing a unique maximal tube-type subdomain. This result is analogous to the one obtained for representations.
In the particular case $G=\text{PU}(n,1)$ maximality is sufficient to prove that $σ$ is cohomologous to a cocycle preserving a complex geodesic.
We conclude with some remarks about boundary maps of maximal Zariski dense cocycles.
△ Less
Submitted 20 November, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Integrable tautness of isometries of complex hyperbolic spaces
Authors:
Alessio Savini
Abstract:
Consider $n \geq 2$. In this paper we prove that the group $\text{PU}(n,1)$ is $1$-taut. This result concludes the study of $1$-tautness of rank-one Lie groups of non-compact type. Additionally the tautness property implies a classification of finitely generated groups which are $\text{L}^1$-measure equivalent to lattices of $\text{PU}(n,1)$. More precisely, we show that $\text{L}^1$-measure equiv…
▽ More
Consider $n \geq 2$. In this paper we prove that the group $\text{PU}(n,1)$ is $1$-taut. This result concludes the study of $1$-tautness of rank-one Lie groups of non-compact type. Additionally the tautness property implies a classification of finitely generated groups which are $\text{L}^1$-measure equivalent to lattices of $\text{PU}(n,1)$. More precisely, we show that $\text{L}^1$-measure equivalent groups must be extensions of lattices of $\text{PU}(n,1)$ by a finite group.
△ Less
Submitted 21 November, 2022; v1 submitted 11 March, 2020;
originally announced March 2020.
-
Superrigidity of maximal measurable cocycles of complex hyperbolic lattices
Authors:
Filippo Sarti,
Alessio Savini
Abstract:
Let $Γ$ be a torsion-free lattice of $\text{PU}(p,1)$ with $p \geq 2$ and let $(X,μ_X)$ be an ergodic standard Borel probability $Γ$-space. We prove that any maximal Zariski dense measurable cocycle $σ: Γ\times X \longrightarrow \text{SU}(m,n)$ is cohomologous to a cocycle associated to a representation of $\text{PU}(p,1)$ into $\text{SU}(m,n)$, with $1 < m \leq n$. The proof follows the line of Z…
▽ More
Let $Γ$ be a torsion-free lattice of $\text{PU}(p,1)$ with $p \geq 2$ and let $(X,μ_X)$ be an ergodic standard Borel probability $Γ$-space. We prove that any maximal Zariski dense measurable cocycle $σ: Γ\times X \longrightarrow \text{SU}(m,n)$ is cohomologous to a cocycle associated to a representation of $\text{PU}(p,1)$ into $\text{SU}(m,n)$, with $1 < m \leq n$. The proof follows the line of Zimmer' Superrigidity Theorem and requires the existence of a boundary map, that we prove in a much more general setting. As a consequence of our result, it cannot exist a maximal measurable cocycle with the above properties when $n\neq m$.
△ Less
Submitted 25 May, 2021; v1 submitted 10 February, 2020;
originally announced February 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.
-
Equivariant maps for measurable cocycles with values into higher rank Lie groups
Authors:
Alessio Savini
Abstract:
Let $G$ a semisimple Lie group of non-compact type and let $\mathcal{X}_G$ be the Riemannian symmetric space associated to it. Suppose $\mathcal{X}_G$ has dimension $n$ and it has no factor isometric to either $\mathbb{H}^2$ or $\text{SL}(3,\mathbb{R})/\text{SO}(3)$. Given a closed $n$-dimensional Riemannian manifold $N$, let $Γ=π_1(N)$ be its fundamental group and $Y$ its universal cover. Conside…
▽ More
Let $G$ a semisimple Lie group of non-compact type and let $\mathcal{X}_G$ be the Riemannian symmetric space associated to it. Suppose $\mathcal{X}_G$ has dimension $n$ and it has no factor isometric to either $\mathbb{H}^2$ or $\text{SL}(3,\mathbb{R})/\text{SO}(3)$. Given a closed $n$-dimensional Riemannian manifold $N$, let $Γ=π_1(N)$ be its fundamental group and $Y$ its universal cover. Consider a representation $ρ:Γ\rightarrow G$ with a measurable $ρ$-equivariant map $ψ:Y \rightarrow \mathcal{X}_G$. Connell-Farb described a way to construct a map $F:Y\rightarrow \mathcal{X}_G$ which is smooth, $ρ$-equivariant and with uniformly bounded Jacobian.
In this paper we extend the construction of Connell-Farb to the context of measurable cocycles. More precisely, if $(Ω,μ_Ω)$ is a standard Borel probability $Γ$-space, let $σ:Γ\times Ω\rightarrow G$ be a measurable cocycle. We construct a measurable map $F: Y \times Ω\rightarrow \mathcal{X}_G$ which is $σ$-equivariant, whose slices are smooth and they have uniformly bounded Jacobian. For such equivariant maps we define also the notion of volume and we prove a sort of mapping degree theorem in this particular context.
△ Less
Submitted 30 April, 2021; v1 submitted 13 November, 2019;
originally announced November 2019.
-
Natural maps for measurable cocycles of compact hyperbolic manifolds
Authors:
Alessio Savini
Abstract:
Let $\text{G}(n)$ be equal either to $\text{PO}(n,1),\text{PU}(n,1)$ or $\text{PSp}(n,1)$ and let $Γ\leq \text{G}(n)$ be a uniform lattice. Denote by $\mathbb{H}^n_K$ the hyperbolic space associated to $\text{G}(n)$, where $K$ is a division algebra over the reals of dimension $d=\dim_{\mathbb{R}} K$. Assume $d(n-1) \geq 2$.
In this paper we generalize natural maps to measurable cocycles. Given a…
▽ More
Let $\text{G}(n)$ be equal either to $\text{PO}(n,1),\text{PU}(n,1)$ or $\text{PSp}(n,1)$ and let $Γ\leq \text{G}(n)$ be a uniform lattice. Denote by $\mathbb{H}^n_K$ the hyperbolic space associated to $\text{G}(n)$, where $K$ is a division algebra over the reals of dimension $d=\dim_{\mathbb{R}} K$. Assume $d(n-1) \geq 2$.
In this paper we generalize natural maps to measurable cocycles. Given a standard Borel probability $Γ$-space $(X,μ_X)$, we assume that a measurable cocycle $σ:Γ\times X \rightarrow \text{G}(m)$ admits an essentially unique boundary map $φ:\partial_\infty \mathbb{H}^n_K \times X \rightarrow \partial_\infty \mathbb{H}^m_K$ whose slices $φ_x:\mathbb{H}^n_K \rightarrow \mathbb{H}^m_K$ are atomless for almost every $x \in X$. Then, there exists a $σ$-equivariant measurable map $F: \mathbb{H}^n_K \times X \rightarrow \mathbb{H}^m_K$ whose slices $F_x:\mathbb{H}^n_K \rightarrow \mathbb{H}^m_K$ are differentiable for almost every $x \in X$ and such that $\text{Jac}_a F_x \leq 1$ for every $a \in \mathbb{H}^n_K$ and almost every $x \in X$.
The previous properties allow us to define the natural volume $\text{NV}(σ)$ of the cocycle $σ$. This number satisfies the inequality $\text{NV}(σ) \leq \text{Vol}(Γ\backslash \mathbb{H}^n_K)$. Additionally, the equality holds if and only if $σ$ is cohomologous to the cocycle induced by the standard lattice embedding $i:Γ\rightarrow \text{G}(n) \leq \text{G}(m)$, modulo possibly a compact subgroup of $\text{G}(m)$ when $m>n$.
Given a continuous map $f:M \rightarrow N$ between compact hyperbolic manifolds, we also obtain an adaptation of the mapping degree theorem to this context.
△ Less
Submitted 2 September, 2021; v1 submitted 17 September, 2019;
originally announced September 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.
-
Borel invariant for measurable cocycles of 3-manifold groups
Authors:
Alessio Savini
Abstract:
We introduce the notion of pullback along a measurable cocycle and we use it to extend the Borel invariant studied by Bucher, Burger and Iozzi to the world of measurable cocycles. The Borel invariant is constant along cohomology classes and has bounded absolute value. This allows to define maximal cocycles. We conclude by proving that maximal cocycles are actually trivializable to the restriction…
▽ More
We introduce the notion of pullback along a measurable cocycle and we use it to extend the Borel invariant studied by Bucher, Burger and Iozzi to the world of measurable cocycles. The Borel invariant is constant along cohomology classes and has bounded absolute value. This allows to define maximal cocycles. We conclude by proving that maximal cocycles are actually trivializable to the restriction of the irreducible representation.
△ Less
Submitted 30 December, 2021; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Asymptotically Moebius maps and rigidity for the hyperbolic plane
Authors:
Alessio Savini
Abstract:
Let $S$ be a rank-one symmetric space of non-compact type and let $X$ be a $\text{CAT}(-1)$ space. A well-known result by Bourdon states that if a topological embedding $\varphi: \partial_\infty S \rightarrow \partial_\infty X$ respects cross ratios, that means $\text{cr}_S( ξ_0,η_0,ξ_1,η_1)=\text{cr}_X( \varphi(ξ_0),\varphi(η_0),\varphi(ξ_1),\varphi(η_1))$ for every…
▽ More
Let $S$ be a rank-one symmetric space of non-compact type and let $X$ be a $\text{CAT}(-1)$ space. A well-known result by Bourdon states that if a topological embedding $\varphi: \partial_\infty S \rightarrow \partial_\infty X$ respects cross ratios, that means $\text{cr}_S( ξ_0,η_0,ξ_1,η_1)=\text{cr}_X( \varphi(ξ_0),\varphi(η_0),\varphi(ξ_1),\varphi(η_1))$ for every $ξ_0,η_0,ξ_1,η_1 \in \partial_\infty S$, then $\varphi$ is induced by an isometric embedding of $S$ into $X$.
We generalize this result when $S=\mathbb{H}^2$ is the real hyperbolic plane as it follows. Let $\varphi_k: \partial_\infty \mathbb{H}^2 \rightarrow \partial_\infty X$ be a sequence of continuous maps which are asymptotically Moebius, that means $\lim_{k \to \infty} \text{cr}_X(\varphi_k(ξ_0),\varphi_k(η_0),\varphi_k(ξ_1),\varphi_k(η_1))=\text{cr}_{\mathbb{H}^2}( ξ_0,η_0,ξ_1,η_1)$ for every $ξ_0,η_0,ξ_1,η_1 \in \partial_\infty \mathbb{H}^2$. Assume that the isometry group $\text{Isom}(X)$ acts transitively on triples of distinct points of $\partial_\infty X$. Then there must exists a sequence $(g_k)_{k \in \mathbb{N}}$, $g_k \in \text{Isom}(X)$ and a map $\varphi_\infty: \partial_\infty \mathbb{H}^2\rightarrow \partial_\infty X$ such that $\lim_{k \to \infty} g_k\varphi_k(ξ)=\varphi_\infty(ξ)$ for every $ξ\in \partial_\infty \mathbb{H}^2$ and $\varphi_\infty$ is induced by an isometric embedding of $\mathbb{H}^2$ into $X$.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
Rigidity at infinity for the Borel function of the tetrahedral reflection lattice
Authors:
Alessio Savini
Abstract:
If $Γ$ is the fundamental group of a complete finite volume hyperbolic $3$-manifold, Guilloux conjectured that the Borel function on the $\text{PSL}(n,\mathbb{C})$-character variety of $Γ$ should be rigid at infinity, that is it should stay bounded away from its maximum at ideal points. In this paper we prove Guilloux's conjecture in the particular case of the reflection group associated to a regu…
▽ More
If $Γ$ is the fundamental group of a complete finite volume hyperbolic $3$-manifold, Guilloux conjectured that the Borel function on the $\text{PSL}(n,\mathbb{C})$-character variety of $Γ$ should be rigid at infinity, that is it should stay bounded away from its maximum at ideal points. In this paper we prove Guilloux's conjecture in the particular case of the reflection group associated to a regular ideal tetrahedron of $\mathbb{H}^3$.
△ Less
Submitted 15 November, 2021; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Rigidity at infinity for lattices in rank-one Lie groups
Authors:
Alessio Savini
Abstract:
Let $Γ$ be a non-uniform lattice in $PU(p,1)$ without torsion and with $p\geq2 $. We introduce the notion of volume for a representation $ρ:Γ\rightarrow PU(m,1)$ where $m \geq p$. We use this notion to generalize the Mostow--Prasad rigidity theorem. More precisely, we show that given a sequence of representations $ρ_n:Γ\rightarrow PU(m,1)$ such that…
▽ More
Let $Γ$ be a non-uniform lattice in $PU(p,1)$ without torsion and with $p\geq2 $. We introduce the notion of volume for a representation $ρ:Γ\rightarrow PU(m,1)$ where $m \geq p$. We use this notion to generalize the Mostow--Prasad rigidity theorem. More precisely, we show that given a sequence of representations $ρ_n:Γ\rightarrow PU(m,1)$ such that $\lim_{n \to \infty} \text{Vol}(ρ_n) =\text{Vol}(M)$, then there must exist a sequence of elements $g_n \in PU(m,1)$ such that the representations $g_n \circ ρ_n \circ g_n^{-1}$ converge to a reducible representation $ρ_\infty$ which preserves a totally geodesic copy of $\mathbb{H}^p_\mathbb{C}$ and whose $\mathbb{H}^p_\mathbb{C}$-component is conjugated to the standard lattice embedding $i:Γ\rightarrow PU(p,1) < PU(m,1)$. Additionally, we show that the same definitions and results can be adapted when $Γ$ is a non-uniform lattice of $PSp(p,1)$ without torsion and for representations $ρ:Γ\rightarrow PSp(m,1)$, still mantaining the hypothesis $m \geq p \geq 2$.
△ Less
Submitted 21 June, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
The $ω$-Borel invariant for representations into $SL(n,\mathbb{C}_ω)$
Authors:
Alessio Savini
Abstract:
Let $Γ$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $ω$-Borel invariant $β_n^ω(ρ_ω)$ associated to a representation $ρ_ω: Γ\rightarrow SL(n,\mathbb{C}_ω)$, where $\mathbb{C}_ω$ is a field which can be constructed as a quotient of a suitable subset of $\mathbb{C}^\mathbb{N}$ with the data of a non-principal ultrafilter $ω$ on $\mathbb{N}$ and a…
▽ More
Let $Γ$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $ω$-Borel invariant $β_n^ω(ρ_ω)$ associated to a representation $ρ_ω: Γ\rightarrow SL(n,\mathbb{C}_ω)$, where $\mathbb{C}_ω$ is a field which can be constructed as a quotient of a suitable subset of $\mathbb{C}^\mathbb{N}$ with the data of a non-principal ultrafilter $ω$ on $\mathbb{N}$ and a real divergent sequence $λ_l$ such that $λ_l \geq 1$. Since a sequence of $ω$-bounded representations $ρ_l$ into $SL(n,\mathbb{C})$ determines a representation $ρ_ω$ into $SL(n,\mathbb{C}_ω)$, for $n=2$ we study the relation between the invariant $β^ω_2(ρ_ω)$ and the sequence of Borel invariants $β_2(ρ_l)$. We conclude by showing that if a sequence of representations $ρ_l:Γ\rightarrow SL(2,\mathbb{C})$ induces a representation $ρ_ω:Γ\rightarrow SL(2,\mathbb{C}_ω)$ which determines a reducible action on the asymptotic cone $C_ω(\mathbb{H}^3,d/λ_l,O)$ with non-trivial length function, then it holds $β^ω_2(ρ_ω)=0$.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Volume rigidity at ideal points of the character variety of hyperbolic 3-manifolds
Authors:
Stefano Francaviglia,
Alessio Savini
Abstract:
Given the fundamental group $Γ$ of a finite-volume complete hyperbolic $3$-manifold $M$, it is possible to associate to any representation $ρ:Γ\rightarrow \text{Isom}(\mathbb{H}^3)$ a numerical invariant called volume. This invariant is bounded by the hyperbolic volume of $M$ and satisfies a rigidity condition: if the volume of $ρ$ is maximal, then $ρ$ must be conjugated to the holonomy of the hyp…
▽ More
Given the fundamental group $Γ$ of a finite-volume complete hyperbolic $3$-manifold $M$, it is possible to associate to any representation $ρ:Γ\rightarrow \text{Isom}(\mathbb{H}^3)$ a numerical invariant called volume. This invariant is bounded by the hyperbolic volume of $M$ and satisfies a rigidity condition: if the volume of $ρ$ is maximal, then $ρ$ must be conjugated to the holonomy of the hyperbolic structure of $M$. This paper generalizes this rigidity result by showing that if a sequence of representations of $Γ$ into $\text{Isom}(\mathbb{H}^3)$ satisfies $\lim_{n \to \infty} \text{Vol}(ρ_n) = \text{Vol}(M)$, then there must exist a sequence of elements $g_n \in \text{Isom}(\mathbb{H}^3)$ such that the representations $g_n \circ ρ_n \circ g_n^{-1}$ converge to the holonomy of $M$. In particular if the sequence $ρ_n$ converges to an ideal point of the character variety, then the sequence of volumes must stay away from the maximum. We conclude by generalizing the result to the case of $k$-manifolds and representations in $\text{Isom}(\mathbb H^m)$, where $m\geq k$.
△ Less
Submitted 22 December, 2018; v1 submitted 22 June, 2017;
originally announced June 2017.
-
Fibered knots and links in lens spaces
Authors:
Enrico Manfredi,
Alessio Savini
Abstract:
We take advantage of the correspondence between fibered links, open book decompositions and contact structures on a closed connected 3-dimensional manifold to determine a mixed link diagram presentation for a particular fibered link $L$ in the lens space $L(p,q)$. Moreover, we construct a diagram for the lift of $L$ in the 3-sphere $S^3$ in order to show that, for $q=1$, $L$ is compatible with the…
▽ More
We take advantage of the correspondence between fibered links, open book decompositions and contact structures on a closed connected 3-dimensional manifold to determine a mixed link diagram presentation for a particular fibered link $L$ in the lens space $L(p,q)$. Moreover, we construct a diagram for the lift of $L$ in the 3-sphere $S^3$ in order to show that, for $q=1$, $L$ is compatible with the standard contact structure of $L(p,1)$ when $p \leq -1$.
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
