Search arXivSearch

arXiv · 2401.04635

Graph products and measure equivalence: classification, rigidity, and quantitative aspects

Abstract

We study graph products of groups from the viewpoint of measured group theory. We first establish a full measure equivalence classification of graph products of countably infinite groups over finite simple graphs with no transvection and no partial conjugation. This finds applications to their classification up to commensurability, and up to isomorphism, and to the study of their automorphism groups. We also derive structural properties of von Neumann algebras associated to probability measure-preserving actions of graph products. Variations of the measure equivalence classification statement are given with fewer assumptions on the defining graphs. We also provide a quantified version of our measure equivalence classification theorem, that keeps track of the integrability of associated cocycles. As an application, we solve an inverse problem in quantitative orbit equivalence for a large family of right-angled Artin groups. We then establish several rigidity theorems. First, in the spirit of work of Monod-Shalom, we achieve rigidity in orbit equivalence for probability measure-preserving actions of graph products, upon imposing extra ergodicity assumptions. Second, we establish a sufficient condition on the defining graph and on the vertex groups ensuring that a graph product G is rigid in measure equivalence among torsion-free groups (in the sense that every torsion-free countable group H which is measure equivalent to G, is in fact isomorphic to G). Using variations over the Higman groups as the vertex groups, we construct the first example of a group which is rigid in measure equivalence, but not in quasi-isometry, among torsion-free groups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Amandine Escalier, Camille Horbez. 2026-09-04. Graph products and measure equivalence: classification, rigidity, and quantitative aspects. https://arxiv.org/abs/2401.04635

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hyperfiniteness of boundary actions via tree decompositions

We study conditions for a countable group acting on a connected locally finite hyperbolic graph to induce a hyperfinite orbit equivalence relation on the Gromov boundary of the graph in terms of tree-decompositions of the graph. We prove that for a connected locally finite hyperbolic graph $X$ equipped with an action of a countable group $G$, if $(T, β)$ is a $G$-invariant tree-decomposition of $X$ such that each bag induces a connected subgraph $X_t$ of $X$ for each $t \in V(T)$, each adhesion set is finite and such that there are only finitely many $G$-orbits of edges of $T$, then the orbit equivalence relation of $G$ acting on the Gromov boundary $\partial X$ is hyperfinite provided the orbit equivalence relation of $G$ acting on $\partial T$ is hyperfinite and the orbit equivalence relations of the bag stabilizers acting on $\partial X_t$ are all hyperfinite. We show that the converse also holds if $(T, β)$ satisfies the additional property that each adhesion set distinguishes at least two ends of $X$.

math.GR

Compatible additions on a six-element commutative semigroup: equational bases and subvariety lattices

Let $M$ be the six-element commutative semigroup occurring as the common multiplicative reduct of the semirings $SR_6$ and $TR_6$. The closing paragraph of Shao, Ren, and Gao~\cite{ShaoRenGao2026} asks for the finite-basis and subvariety questions for the four remaining compatible additions on $M$. We answer these questions for the four isomorphism types $R_{01},R_{02},R_{11},R_{12}$. First, we classify all compatible additions on $M$: there are nine labelled additions and six isomorphism types, parametrized by $R_{ij}$ with $0\leq i\leq j\leq 2$. For each of the four new types we give a graph-theoretic criterion for every identity, an explicit infinite basis, and a proof of nonfinite basability. The generated varieties $\V(R_{01})$ and $\V(R_{02})$ have eleven subvarieties each, while $\V(R_{11})$ has sixty-six. The lattice $\Sub(\V(R_{12}))$ is countably infinite. Every identity in this variety reduces to a subset of twenty-five fixed identities together with two monotone path families $γ_n$ and $\gammaD_n$. This yields a canonical signature $(H,p,q)$, complete normal forms, explicit meet and join operations, and a formula for all covers. There are 153 fixed nodes, 43 one-parameter families, and 9 two-parameter families; exactly eighteen subvarieties are finitely based, and the unique limit subvariety is $\V(SR_6)$. The strong nonfinite-basis status of the four finite semirings remains open.

math.GR