Searcharxiv⌕ Search

arXiv subjects

Yves Cornulier

Publications and source records attributed to Yves Cornulier.

At least 37 records · Page 2Linked to original sources

Nilpotent Lie algebras and systolic growth of nilmanifolds

Introduced by Gromov in the nineties, the systolic growth of a Lie group gives the smallest possible covolume of a lattice with a given systole. In a simply connected nilpotent Lie group, this function has polynomial growth, but can grow faster than the volume growth. We express this systolic growth function in terms of discrete cocompact subrings of the Lie algebra, making it more practical to estimate. After providing some general upper bounds, we develop methods to provide nontrivial lower bounds. We provide the first computations of the asymptotics of the systolic growth of nilpotent groups for which this is not equivalent to the volume growth. In particular, we provide an example for which the degree of growth is not an integer; it has dimension 7. Finally, we gather some open questions.

math.GR↗

Geometric presentations of Lie groups and their Dehn functions

We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomially bounded, according to the geometry of weights and of the 2-cohomology of their Lie algebras. Our work, which also addresses algebraic groups over local fields, uses and extends Abels' theory of multiamalgams of graded Lie algebras, in order to provide workable presentations of these groups.

math.GR↗

Gradings on Lie algebras, systolic growth, and cohopfian properties of nilpotent groups

We study the existence of various types of gradings on Lie algebras, such as Carnot gradings or gradings in positive integers, and prove that the existence of such gradings is invariant under extensions of scalars. As an application, we prove that if G is a finitely generated nilpotent group, its systolic growth is asymptotically equivalent to its word growth if and only if the Malcev completion of G is Carnot. We also characterize when G is non-cohopfian, in terms of the existence of a non-trivial grading in non-negative integers, and deduce that this property only depends on its real (or even complex) Malcev completion.

math.RA↗

Metric geometry of locally compact groups

This book offers to study locally compact groups from the point of view of appropriate metrics that can be defined on them, in other words to study "Infinite groups as geometric objects", as Gromov writes it in the title of a famous article. The theme has often been restricted to finitely generated groups, but it can favorably be played for locally compact groups. The development of the theory is illustrated by numerous examples, including matrix groups with entries in the the field of real or complex numbers, or other locally compact fields such as p-adic fields, isometry groups of various metric spaces, and, last but not least, discrete group themselves. Word metrics for compactly generated groups play a major role. In the particular case of finitely generated groups, they were introduced by Dehn around 1910 in connection with the Word Problem. Some of the results exposed concern general locally compact groups, such as criteria for the existence of compatible metrics on locally compact groups. Other results concern special classes of groups, for example those mapping onto the group of integers (the Bieri-Strebel splitting theorem for locally compact groups). Prior to their applications to groups, the basic notions of coarse and large-scale geometry are developed in the general framework of metric spaces. Coarse geometry is that part of geometry concerning properties of metric spaces that can be formulated in terms of large distances only. In particular coarse connectedness, coarse simple connectedness, metric coarse equivalences, and quasi-isometries of metric spaces are given special attention. The final chapters are devoted to the more restricted class of compactly presented groups, generalizing finitely presented groups to the locally compact setting. They can indeed be characterized as those compactly generated locally compact groups that are coarsely simply connected.

math.GR↗

Conjugate complex homogeneous spaces with non-isomorphic fundamental groups

Let X=G/H be the quotient of a connected reductive algebraic C-group G defined over the field of complex numbers C by a finite subgroup H. We describe the topological fundamental group of the homogeneous space X, which is nonabelian when H is nonabelian. Further, we construct an example of a homogeneous space X and an automorphism s of C such that the topological fundamental groups of X and of the conjugate variety sX are not isomorphic.

math.AG↗

Systolic growth of linear groups

We prove that the residual girth of any finitely generated linear group is at most exponential. This means that the smallest finite quotient in which the $n$-ball injects has at most exponential size. If the group is also not virtually nilpotent, it follows that the residual girth is precisely exponential.

math.GR↗

On the Koszul map of Lie algebras

We motivate and study the reduced Koszul map, relating the invariant bilinear maps on a Lie algebra and the third homology. We show that it is concentrated in degree 0 for any grading in a torsion-free abelian group, and in particular it vanishes whenever the Lie algebra admits a positive grading. We also provide an example of a 12-dimensional nilpotent Lie algebra whose reduced Koszul map does not vanish. In an appendix, we reinterpret the results of Neeb and Wagemann about the second homology of current Lie algebras, which are closely related to the reduced Koszul map.

math.RA↗

Contracting automorphisms and L^p-cohomology in degree one

We characterize those Lie groups, and algebraic groups over a local field of characteristic zero, whose first reduced L^p-cohomology is zero for all p>1, extending a result of Pansu. As an application, we obtain a description of Gromov-hyperbolic groups among those groups. In particular we prove that any non-elementary Gromov-hyperbolic algebraic group over a non-Archimedean local field of zero characteristic is quasi-isometric to a 3-regular tree. We also extend the study to semidirect products of a general locally compact group by a cyclic group acting by contracting automorphisms.

math.GR↗

Dehn function and asymptotic cones of Abels' group

We prove that Abels' group over an arbitrary nondiscrete locally compact field has a quadratic Dehn function. As applications, we exhibit connected Lie groups and polycyclic groups whose asymptotic cones have uncountable abelian fundamental group. We also obtain, from the case of finite characteristic, uncountably many non-quasi-isometric finitely generated solvable groups, as well as peculiar examples of fundamental groups of asymptotic cones.

math.GR↗

Sofic profile and computability of Cremona groups

In this paper, we show that Cremona groups are sofic. We actually introduce a quantitative notion of soficity, called sofic profile, and show that the group of birational transformations of a d-dimensional variety has sofic profile at most polynomial of degree d. We also observe that finitely generated subgroups of the Cremona group have a solvable word problem. This provides examples of finitely generated groups with no embeddings into any Cremona group, answering a question of S. Cantat.

math.GR↗

On equivariant embeddings of generalized Baumslag-Solitar groups

Let G be a group acting cocompactly without inversion on a tree X, with all vertex and edge stabilizers isomorphic to the same free abelian group Z^n. We prove that G has the Haagerup Property if and only if G is weakly amenable, and we give a necessary and sufficient condition for this to happen. In particular, denoting by d the rank of the fundamental group of the graph X modded out by G, we deduce that G has the Haagerup Property if either d=0, d=1, or n=1. In these three cases, we show that the L^p-compression rate of G is 1, and that its equivariant L^p-compression rate is max{1/p,1/2} (provided G is non-amenable). We also discuss quasi-isometric embeddings of G into a product of finitely many regular trivalent trees.

math.GR↗

On embeddings into compactly generated groups

We prove that there is a second countable locally compact group that does not embed as a closed subgroup in any compactly generated locally compact group, and discuss various related embedding and non-embedding results.

math.GR↗

Cross-wired lamplighter groups

We give a necessary and sufficient condition for a locally compact group to be isomorphic to a closed cocompact subgroup in the isometry group of a Diestel-Leader graph. As a consequence of this condition, we see that every cocompact lattice in the isometry group of a Diestel-Leader graph admits a transitive, proper action on some other Diestel-Leader graph. We also give some examples of lattices that are not virtually lamplighters. This implies the class of discrete groups commensurable to lamplighter groups is not closed under quasi-isometries and, combined with work of Eskin, Fisher and Whyte, gives a characterization of their quasi-isometry class.

math.GR↗

Asymptotic cones of Lie groups and cone equivalences

We introduce cone bilipschitz equivalences between metric spaces. These are maps, more general than quasi-isometries, that induce a bilipschitz homeomorphism between asymptotic cones. Non-trivial examples appear in the context of Lie groups, and we thus prove that the study of asymptotic cones of connected Lie groups can be reduced to that of solvable Lie groups of a special form. We also focus on asymptotic cones of nilpotent groups.

math.GR↗

Proper actions of wreath products and generalizations

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.

math.GR↗

Bounded characteristic classes and flat bundles

Let G be a connected Lie group, G^d the underlying discrete group, and BG, BG^d their classifying spaces. Let R denote the radical of G. We show that all classes in the image of the canonical map in cohomology H^*(BG,R)->H^*(BG^d,R) are bounded if and only if the derived group [R,R] is simply connected. We also give equivalent conditions in terms of stable commutator length and distortion.

math.AT↗