BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Yves Cornulier contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study rigidity properties of lattices in terms of invariant means and commensurating actions (or actions on CAT(0) cube complexes). We notably study Property FM for groups, namely that any action on a discrete set with an invariant mean has a finite orbit.
This (quasi-)survey addresses the quasi-isometry classification of locally compact groups, with an emphasis on amenable hyperbolic locally compact groups. This encompasses the problem of quasi-isometry classification of homogeneous negatively curved manifolds. A main conjecture provides a general description; an extended discussion reduces this conjecture to more specific statements. In the course of the paper, we provide statements of quasi-isometric rigidity for general symmetric spaces of noncompact type and also discuss accessibility issues in the realm of compactly generated locally compact groups.
We study the near action of the group PC of piecewise continuous self-transformations of the circle. Elements of this group are only defined modulo indeterminacy on a finite subset, which raises the question of realizability: a subgroup of PC is said to be realizable if it can be lifted to a group of permutations of the circle. We show that every finitely generated abelian subgroup of PC is realizable. We show that this is not true for arbitrary subgroups, by exhibiting a non-realizable finitely generated subgroup of the group of interval exchanges with flips. The group of (oriented) interval exchanges is obviously realizable (choosing the unique left-continuous representative). We show that it has only two realizations (up to conjugation by a finitely supported permutation): the left and right-continuous ones.
We discuss the notion of sublinearly bilipschitz equivalences (SBE), which generalize quasi-isometries, allowing some additional terms that behave sublinearly with respect to the distance from the origin. Such maps were originally motivated by the fact they induce bilipschitz homeomorphisms between asymptotic cones. We prove here that for hyperbolic groups, they also induce Hölder homeomorphisms between the boundaries. This yields many basic examples of hyperbolic groups that are pairwise non-SBE. Besides, we check that subexponential growth is an SBE-invariant. The central part of the paper addresses nilpotent groups. While classification up to sublinearly bilipschitz equivalence is known in this case as a consequence of Pansu's theorems, its quantitative version is not. We introduce a computable algebraic invariant $e=e_G<1$ for every such group $G$, and check that $G$ is $O(r^e)$-bilipschitz equivalent to its associated Carnot group. Here $r\mapsto r^e$ is a quantitive sublinear bound. Finally, we define the notion of large-scale contractable and large-scale homothetic metric spaces. We check that these notions imply polynomial growth under general hypotheses, and formulate conjectures about groups with these properties.
We study the class of densely related groups. These are finitely generated (or more generally, compactly generated locally compact) groups satisfying a strong negation of being finitely presented, in the sense that new relations appear at all scales. Here, new relations means relations that do not follow from relations of smaller size. Being densely related is a quasi-isometry invariant among finitely generated groups. We check that a densely related group has none of its asymptotic cones simply connected. In particular a lacunary hyperbolic group cannot be densely related. We prove that the Grigorchuk group is densely related. We also show that a finitely generated group that is (infinite locally finite)-by-cyclic and which satisfies a law must be densely related. Given a class $\mathcal{C}$ of finitely generated groups, we consider the following dichotomy: every group in $\mathcal{C}$ is either finitely presented or densely related. We show that this holds within the class of nilpotent-by-cyclic groups and the class of metabelian groups. In contrast, this dichotomy is no longer true for the class of $3$-step solvable groups.
We study stability properties of the Haagerup property and of coarse embeddability in a Hilbert space, under certain semidirect products. In particular, we prove that they are stable under taking standard wreath products. Our construction also allows for a characterization of subsets with relative Property T in a standard wreath product.
We give an example of a sofic group, which is not a limit of amenable groups.
We prove that groups in a certain class of metabelian locally compact groups, have quadratic Dehn function. As an application, we embed the solvable Baumslag-Solitar groups into finitely presented metabelian groups with quadratic Dehn function. Also, we prove that Baumslag's finitely presented metabelian groups, in which the lamplighter groups embed, have quadratic Dehn function.
Let A be a locally compact abelian group, and H a locally compact group acting on A. Let G=HA be the semidirect product. We prove that the pair (G,A) has Kazhdan's Property T if and only if the only countably approximable H-invariant mean on the Borel subsets of the Pontryagin dual of A, supported at the neighbourhood of the trivial character, is the Dirac measure.
This survey purports to be an elementary introduction to compactly presented groups, which are the analogue of finitely presented groups in the broader realm of locally compact groups. In particular, compact presentation is interpreted as a coarse simple connectedness condition on the Cayley graph, and in particular is a quasi-isometry invariant. In the appendix, an example of a Lie group, not quasi-isometric to any homogeneous graph, is given; the short argument relies on results of Trofimov and Pansu, anterior to~1990.
We study the Cantor-Bendixson rank of metabelian and virtually metabelian groups in the space of marked groups, and in particular, we exhibit a sequence (G_n) of 2-generated, finitely presented, virtually metabelian groups of Cantor-Bendixson rank omega^n.
We consider in this paper a relative version of the Howe-Moore Property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or p-adic Lie groups, the pairs with the relative Howe-Moore Property with respect to a closed, normal subgroup. This involves, in one direction, structural results on locally compact groups all of whose proper closed characteristic subgroups are compact, and, in the other direction, some results about the vanishing at infinity of oscillatory integrals.
Let G be a real Lie group and H a lattice or, more generally, a closed subgroup of finite covolume in G. We show that the unitary representation lambda_{G/H} of G on L^2(G/H) has a spectral gap, that is, the restriction of lambda_{G/H} to the orthogonal of the constants in L^2(G/H) does not have almost invariant vectors. This answers a question of G. Margulis. We give an application to the spectral geometry of locally symmetric Riemannian spaces of infinite volume.
The space of marked commutative rings on n given generators is a compact metrizable space. We compute the Cantor-Bendixson rank of any member of this space. For instance, the Cantor-Bendixson rank of the free commutative ring on n generators is omega^n, where omega is the smallest infinite ordinal. More generally, we work in the space of finitely generated modules over a given commutative ring.