arXiv subjects

Corentin Correia

Publications and source records attributed to Corentin Correia.

6 recordsLinked to original sources

arXiv2026

On quantitative orbit equivalence for lamplighter-like groups

We focus on halo products, a class of groups introduced by Genevois and Tessera, and whose geometry mimics lamplighters. Famous examples are lampshufflers. Motivated by their work on the classifications up to quasi-isometry of these groups, we initiate a more quantitative study of their geometry. Indeed, it follows from the work of Delabie, Koivisto, Le Ma\^itre and Tessera that quantitative orbit equivalence between amenable groups is closely related to their large scale geometry, such a connection being justified by the use, in their main results, of a well-known quasi-isometry invariant: the isoperimetric profile. Inspired by their work on quantitative orbit equivalence between lamplighters, we prove a stability result for orbit equivalence of permutational halo products, going beyond the framework of standard halo products, using a new notion of orbit equivalence of pairs. Combined with our asymptotics of isoperimetric profiles obtained in an earlier article, we prove that most of these constructions are quantitatively optimal. For instance, we show that $\mathsf{Shuffler}(\mathbb{Z}^{k+\ell})$ and $\mathsf{Shuffler}(\mathbb{Z}^{k})$ are $\mathrm{L}^p$ orbit equivalent if and only if $p<\frac{k}{k+\ell}$, thus quantifying how much the geometries of these non-quasi-isometric groups differ. We finally build orbit equivalence couplings using the notion of F{\o}lner tiling sequences.

math.GR↗

arXiv2025

Obstructions for quantitative measure equivalence between locally compact groups

Given a measure equivalence coupling between two finitely generated groups, Delabie, Koivisto, Le Ma\^itre and Tessera have found explicit upper bounds on how integrable the associated cocycles can be. We extend these results to the broader framework of unimodular compactly generated locally compact groups. We also generalize a result by the first-named author, showing that the integrability threshold described in these statements cannot be achieved.

math.GR↗

arXiv2025

Isoperimetric profiles of lamplighter-like groups

Given a finitely generated amenable group $H$ satisfying some mild assumptions, we relate isoperimetric profiles of the lampshuffler group $\mathsf{Shuffler}(H)=\mathsf{FSym}(H)\rtimes H$ to those of $H$. Our results are sharp for all exponential growth groups for which isoperimetric profiles are known, including Brieussel-Zheng groups. This refines previous estimates obtained by Erschler and Zheng and by Saloff-Coste and Zheng. The most difficult part is to find an optimal upper bound, and our strategy consists in finding suitable lamplighter subgraphs in lampshufflers. This novelty applies more generally for many examples of halo products, a class of groups introduced recently by Genevois and Tessera as a natural generalisation of wreath products. Lastly, we also give applications of our estimates on isoperimetric profiles to the existence problem of regular maps between such groups.

math.GR↗

arXiv2025

Odomutants and flexibility results for quantitative orbit equivalence

We introduce new systems that we call odomutants, built by distorting the orbits of an odometer. We use these transformations for flexibility results in quantitative orbit equivalence. It follows from the work of Kerr and Li that if the cocycles of an orbit equivalence are $\log$-integrable, the entropy is preserved. Although entropy is also an invariant of even Kakutani equivalence, we prove that this relation and $L^{\frac{1}{2}}$ orbit equivalence are not the same, using a non-loosely Bernoulli system of Feldman which is an odomutant. We also show that Kerr and Li's result on preservation of entropy is optimal, namely we find odomutants of all positive entropies orbit equivalent to an odometer, with almost $\log$-integrable cocycles. We actually build a strong orbit equivalence between uniquely ergodic Cantor minimal homeomorphisms, so our result is a refinement of a famous theorem of Boyle and Handelman. We finally prove that Belinskaya's theorem is optimal for all the odometers, namely for every odometer, we find a odomutant which is almost-integrably orbit equivalent to it but not flip-conjugate. This yields an extension of a theorem by Carderi, Joseph, Le Ma\^itre and Tessera.

math.DS↗

arXiv2024

On the absence of quantitatively critical measure equivalence couplings

Given a measure equivalence coupling between two finitely generated groups, Delabie, Koivisto, Le Ma\^itre and Tessera have found explicit upper bounds on how integrable the associated cocycles can be. These bounds are optimal in many cases but the integrability of the cocycles with respect to these critical thresholds remained unclear. For instance, a cocycle from $\mathbb{Z}^{k+\ell}$ to $\mathbb{Z}^{k}$ can be $\mathrm{L}^p$ for all $p<\frac{k}{k+\ell}$ but not for $p>\frac{k}{k+\ell}$, and the case $p=\frac{k}{k+\ell}$ was an open question which we answer by the negative. Our main result actually yields much more examples where the integrability threshold given by Delabie-Koivisto-Le Ma\^itre-Tessera Theorems cannot be reached.

math.GR↗

arXiv2024

Rank-one systems, flexible classes and Shannon orbit equivalence

We build a Shannon orbit equivalence between the universal odometer and a variety of rank-one systems. This is done in a unified manner, using what we call flexible classes of rank-one transformations. Our main result is that every flexible class contains an element which is Shannon orbit equivalent to the universal odometer. Since a typical example of flexible class is $\{T\}$ when $T$ is an odometer, our work generalizes a recent result by Kerr and Li, stating that every odometer is Shannon orbit equivalent to the universal odometer. When the flexible class is a singleton, the rank-one transformation given by the main result is explicit. This applies to odometers and Chacon's map. We also prove that strongly mixing systems, systems with a given eigenvalue, or irrational rotations whose angle belongs to any fixed open subset of the real line form flexible classes. In particular, strong mixing, rationality or irrationality of the eigenvalues are not preserved under Shannon orbit equivalence.

math.DS↗