SearcharxivSearch

arXiv subjects

Filippo Sarti

Publications and source records attributed to Filippo Sarti.

11 recordsLinked to original sources

Superrigidity for representations of transverse measured groupoids

For $i=1,\ldots,k$, let $\mathbf{G}_i$ be a connected, simply connected, semisimple algebraic group over some local field $κ_i$ of characteristic zero. Let $G_i=\mathbf{G}_i(κ_i)$ be the $κ_i$-points of $\mathbf{G}_i$ and denote by $G=\prod_{i=1}^k G_i$. If we assume that $G$ has higher rank and each factor has positive rank, given an ergodic transverse $G$-system $(X,μ,Y)$, we prove a superrigidity phenomenon for Zariski dense representations of the transverse groupoid $(G \ltimes X)|_Y$ into either an almost simple or a reductive algebraic group.

math.DS

Simplicial volume via foliated simplices and duality

Let $M$ be a triangulated oriented closed connected manifold with universal cover $\widetilde{M}\to M$ and fundamental group $Γ=π_1(M)$ and consider an essentially free measure preserving action $Γ\curvearrowright (X,μ)$ on a standard Borel probability space. We study the space $Γ\backslash(\widetilde{M}\times X)$ equipped with the measured foliation defined by Sauer and the theory of singular foliated simplices in this setting. We define its real singular foliated homology and compare it to classical singular homology. In particular, we construct a foliated fundamental class and prove that its norm coincides with the simplicial volume of $M$, formalizing ideas of Gromov. Passing to the dual chain complex, we define the singular foliated bounded cohomology. When $M$ is aspherical we establish an isometric isomorphism with the measurable bounded cohomology of the action groupoid $Γ\curvearrowright X$. As a consequence of a foliated duality principle, we odeduce vanishing criteria for the simplicial volume of $M$ in terms of the vanishing of the measurable bounded cohomology of the action groupoid and/or of its transverse groupoids.

math.GT

Bounded cohomological induction for transverse measured groupoids

We establish an induction isomorphism in the context of measurable bounded cohomology of discrete measured groupoid, which generalizes the Eckmann-Shapiro isomorphism in bounded cohomology of lattices due to Burger and Monod. In our wider setting, the role of lattices is taken by the class of transverse measured groupoids $(\mathcal{G}, ν)$ associated with a cross-section $Y$ in a pmp dynamical system $(X, μ)$ of a lcsc group $G$ such that the associated hitting time process of $Y$ is locally integrable. Typical examples are given by pattern groupoids of strong approximate lattices. Under the assumptions that $G$ is unimodular we show that the measurable bounded cohomology of $(\mathcal{G}, ν)$ is isomorphic to the continuous bounded cohomology of $G$ with coefficients in $\text{L}^{\infty}(X, μ)$. As a consequence, if $G$ is amenable, then $(\mathcal{G}, ν)$ is boundedly acyclic, and in general the restriction map $\text{H}_{\text{cb}}^\bullet (G; \mathbb{R}) \to \text{H}_{\text{mb}}^\bullet ((\mathcal{G}, ν);\underline{\mathbb{R}})$ is injective. Moreover, it follows from known results in continuous bounded cohomology that if $G$ is a semisimple higher rank Lie group of Hermitian (respectively complex classical) type, then the second (respectively third) measurable bounded cohomology of $(\mathcal{G}, ν)$ is generated by the restriction of the bounded Kähler class (respectively bounded Borel class). These are the first explicit computations of non-trivial bounded cohomology groups of measured groupoids which are not isomorphic to an action groupoid.

math.DS

Measurable bounded cohomology of measured groupoids

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 standard Borel 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. Other relevant consequences are related to the cohomological vanishing for actions of the Thompson group $F$, of higher rank lattices and of lattices in products of locally compact groups. We obtain a variant of the Eckmann-Shapiro isomorphism for transitive actions. In the case of a higher rank simple Lie group, we show that the cohomology of the action is actually determined by the usual cohomology of a suitable lattice. For amenable groupoids, we prove that the measurable bounded cohomology is trivial. This generalizes previous results by Monod, Anantharaman-Delaroche and Renault, and Blank.

math.DS

Boundary maps and reducibility for cocycles into the isometries of CAT(0)-spaces

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)$.

math.GT

Boundaries and equivariant maps for ergodic groupoids

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.

math.DS

Parametrized Kähler class and Zariski dense orbital 1-cohomology

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

math.GT

Measurable bounded cohomology of $t$-discrete measured groupoids via resolutions

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.

math.AT

Bounded Cohomology Classes of Exact Forms

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.

math.GT

Superrigidity of maximal measurable cocycles of complex hyperbolic lattices

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$.

math.GT

Counting surface branched covers

To a branched cover f between orientable surfaces one can associate a certain branch datum D(f), that encodes the combinatorics of the cover. This D(f) satisfies a compatibility condition called the Riemann-Hurwitz relation. The old but still partly unsolved Hurwitz problem asks whether for a given abstract compatible branch datum D there exists a branched cover f such that D(f)=D. One can actually refine this problem and ask how many these f's exist, but one must of course decide what restrictions one puts on such f's, and choose an equivalence relation up to which one regards them. And it turns out that quite a few natural choices are possible. In this short note we carefully analyze all these choices and show that the number of actually distinct ones is only three. To see that these three choices are indeed different we employ Grothendieck's dessins d'enfant.

math.GT