Showing 1–34 of 34 results for author: de la Harpe, P

Spectra of infinite Cayley graphs, examples with pure band spectra

Authors: Pierre de la Harpe

Abstract: It is shown that there are groups $Γ$ with finite generating sets $S$ such that the adjacency operator of the Cayley graph ${\rm Cay}(Γ,S)$ is a disjoint union of $N$ intervals, for arbitrarily large integers $N$. It is shown that there are groups $Γ$ with finite generating sets $S$ such that the adjacency operator of the Cayley graph ${\rm Cay}(Γ,S)$ is a disjoint union of $N$ intervals, for arbitrarily large integers $N$. △ Less

Submitted 9 February, 2024; originally announced February 2024.

MSC Class: 05C50; 47A10

Spectral multiplicity functions of adjacency operators of graphs and cospectral infinite graphs

Authors: Pierre de la Harpe

Abstract: The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this article is to review some examples of infinite graphs for which the spectral multiplicity function of the adjacency operator has been determined. The second purpos… ▽ More The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this article is to review some examples of infinite graphs for which the spectral multiplicity function of the adjacency operator has been determined. The second purpose of this article is to show explicit examples of infinite connected graphs which are cospectral, i.e., which have unitarily equivalent adjacency operators, and explicit examples of infinite connected graphs which are uniquely determined by their spectrum. △ Less

Submitted 5 March, 2024; v1 submitted 8 August, 2023; originally announced August 2023.

MSC Class: 05C50; 47A10

On groups of smooth maps into a simple compact Lie group, revisited

Authors: Pierre de la Harpe

Abstract: Let $X$ be a closed smooth manifold, $G$ be a simple connected compact real Lie group, $M (G)$ be the group of all smooth maps from $X$ to $G$, and $M_0 (G)$ be its connected component for the $\mathcal C^\infty$-compact open topology. It is shown that maximal normal subgroups of $M_0 (G)$ are precisely the inverse images of the centre $Z(G)$ of $G$ by the evaluation homomorphisms… ▽ More Let $X$ be a closed smooth manifold, $G$ be a simple connected compact real Lie group, $M (G)$ be the group of all smooth maps from $X$ to $G$, and $M_0 (G)$ be its connected component for the $\mathcal C^\infty$-compact open topology. It is shown that maximal normal subgroups of $M_0 (G)$ are precisely the inverse images of the centre $Z(G)$ of $G$ by the evaluation homomorphisms $M_0 (G) \to G, \hskip.1cm γ\mapsto γ(a)$, for $a \in X$. This in turn is a consequence of a result on the group $\mathcal C^\infty_{n, G}$ of germs at the origin $O$ of $\mathbf R^n$ of smooth maps $\mathbf R^n \to G$: this group has a unique maximal normal subgroup, which is the inverse image of $Z(G)$ by the evaluation homomorphism $\mathcal C^\infty_{n, G} \to G, \hskip.1cm \underline γ\mapsto \underline γ(O)$. This article provides corrections for part of an earlier article [Harp--88]. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: This article provides corrections for part of an earlier article by the Author: On groups of smooth maps into a simple compact Lie group, Comment. Math. Helv. 63 (1988), no. 3, 450--463

MSC Class: 22E65

Spectral measures and dominant vertices in graphs of bounded degree

Authors: Claire Bruchez, Pierre de la Harpe, Tatiana Nagnibeda

Abstract: A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on… ▽ More A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on $Σ(A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $μ_w$ is absolutely continuous with respect to $μ_v$ (it then follows that, for all $ξ\in \ell^2(V)$, the measure $μ_ξ$ is absolutely continuous with respect to $μ_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all. △ Less

Submitted 10 August, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

On the prehistory of growth of groups

Authors: Pierre de la Harpe

Abstract: The subject of growth of groups has been active in the former Soviet Union since the early 50's and in the West since 1968, when articles of Švarc and Milnor have been published, independently. The purpose of this note is to quote a few articles showing that, before 1968 and at least retrospectively, growth has already played some role in various subjects. The subject of growth of groups has been active in the former Soviet Union since the early 50's and in the West since 1968, when articles of Švarc and Milnor have been published, independently. The purpose of this note is to quote a few articles showing that, before 1968 and at least retrospectively, growth has already played some role in various subjects. △ Less

Submitted 25 May, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

Comments: 15 pages

MSC Class: 20 F 69

Unitary representations of groups, duals, and characters

Authors: Bachir Bekka, Pierre de la Harpe

Abstract: This is an expository book on unitary representations of topological groups, and of several dual spaces, which are spaces of such representations up to some equivalence. The most important notions are defined for topological groups, but a special attention is paid to the case of discrete groups. The unitary dual of a group $G$ is the space of equivalence classes of its irreducible unitary repres… ▽ More This is an expository book on unitary representations of topological groups, and of several dual spaces, which are spaces of such representations up to some equivalence. The most important notions are defined for topological groups, but a special attention is paid to the case of discrete groups. The unitary dual of a group $G$ is the space of equivalence classes of its irreducible unitary representations; it is both a topological space and a Borel space. The primitive dual is the space of weak equivalence classes of unitary irreducible representations. The normal quasi-dual is the space of quasi-equivalence classes of traceable factor representations; it is parametrized by characters, which can be finite or infinite. The theory is systematically illustrated by a series of specific examples: Heisenberg groups, affine groups of infinite fields, solvable Baumslag-Solitar groups, lamplighter groups, and general linear groups. Operator algebras play an important role in the exposition, in particular the von Neumann algebras associated to a unitary representation and C*-algebras associated to a locally compact group. △ Less

Submitted 16 December, 2019; originally announced December 2019.

MSC Class: 22D10; 22D25

Groups with irreducibly unfaithful subsets for unitary representations

Authors: Pierre-Emmanuel Caprace, Pierre de la Harpe

Abstract: Let $G$ be a group. A subset $F \subset G$ is called irreducibly faithful if there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \neq \mathrm{id}$ for all $x \in F \smallsetminus \{e\}$. Otherwise $F$ is called irreducibly unfaithful. Given a positive integer $n$, we say that $G$ has Property $P(n)$ if every subset of size $n$ is irreducibly faithful. Every group has… ▽ More Let $G$ be a group. A subset $F \subset G$ is called irreducibly faithful if there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \neq \mathrm{id}$ for all $x \in F \smallsetminus \{e\}$. Otherwise $F$ is called irreducibly unfaithful. Given a positive integer $n$, we say that $G$ has Property $P(n)$ if every subset of size $n$ is irreducibly faithful. Every group has $P(1)$, by a classical result of Gelfand and Raikov. Walter proved that every group has $P(2)$. It is easy to see that some groups do not have $P(3)$. We provide a complete description of the irreducibly unfaithful subsets of size $n$ in a countable group $G$ (finite or infinite) with Property $P(n-1)$: it turns out that such a subset is contained in a finite elementary abelian normal subgroup of $G$ of a particular kind. We deduce a characterization of Property $P(n)$ purely in terms of the group structure. It follows that, if a countable group $G$ has $P(n-1)$ and does not have $P(n)$, then $n$ is the cardinality of a projective space over a finite field. A group $G$ has Property $Q(n)$ if, for every subset $F \subset G$ of size at most $n$, there exists an irreducible unitary representation $π$ of $G$ such that $π(x) \ne π(y)$ for any distinct $x, y$ in $F$. Every group has $Q(2)$. For countable groups, it is shown that Property $Q(3)$ is equivalent to $P(3)$, Property $Q(4)$ to $P(6)$, and Property $Q(5)$ to $P(9)$. For $m, n \ge 4$, the relation between Properties $P(m)$ and $Q(n)$ is closely related to a well-documented open problem in additive combinatorics. △ Less

Submitted 17 October, 2019; v1 submitted 13 July, 2018; originally announced July 2018.

Comments: 45 pages

MSC Class: 43A65; 22D10

Brouwer degree, domination of manifolds, and groups presentable by products

Authors: Pierre de la Harpe

Abstract: For oriented connected closed manifolds of the same dimension, there is a transitive relation: $M$ dominates $N$, or $M \ge N$, if there exists a continuous map of non-zero degree from $M$ onto $N$. Section 1 is a reminder on the notion of degree (Brouwer, Hopf), Section 2 shows examples of domination and a first set of obstructions to domination due to Hopf, and Section 3 describes obstructions i… ▽ More For oriented connected closed manifolds of the same dimension, there is a transitive relation: $M$ dominates $N$, or $M \ge N$, if there exists a continuous map of non-zero degree from $M$ onto $N$. Section 1 is a reminder on the notion of degree (Brouwer, Hopf), Section 2 shows examples of domination and a first set of obstructions to domination due to Hopf, and Section 3 describes obstructions in terms of Gromov's simplicial volume. In Section 4 we address the particular question of when a given manifold can (or cannot) be dominated by a product. These considerations suggest a notion for groups (fundamental groups), due to D. Kotschick and C. Löh: a group is presentable by a product if it contains two infinite commuting subgroups which generate a subgroup of finite index. The last section shows a small sample of groups which are not presentable by products; examples include appropriate Coxeter groups. △ Less

Submitted 21 September, 2016; originally announced September 2016.

MSC Class: 55M25; 57N65

Zooming in on the large-scale geometry of locally compact groups

Authors: Yves de Cornulier, Pierre de la Harpe

Abstract: The purpose of this survey is to describe how locally compact groups can be studied as geometric objects. We will emphasize the main ideas and skip or just sketch most proofs, often referring the reader to our much more detailed book arXiv:1403.3796 The purpose of this survey is to describe how locally compact groups can be studied as geometric objects. We will emphasize the main ideas and skip or just sketch most proofs, often referring the reader to our much more detailed book arXiv:1403.3796 △ Less

Submitted 15 June, 2016; originally announced June 2016.

Comments: 17 pages

Conjugacy growth series of some infinitely generated groups

Authors: Roland Bacher, Pierre De La Harpe

Abstract: It is observed that the conjugacy growth series of the infinite fini-tary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar met… ▽ More It is observed that the conjugacy growth series of the infinite fini-tary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Computations suggest a class of finite graphs, that we call partition-complete, which generalizes the class of semi-hamiltonian graphs, and which is of independent interest. The coefficients of a series related to the finitary alternating group satisfy congruence relations analogous to Ramanujan congruences for the partition function. They follow from partly conjectural "generalized Ramanujan congruences", as we call them, for which we give numerical evidence in Appendix C. △ Less

Submitted 15 June, 2016; v1 submitted 25 March, 2016; originally announced March 2016.

Report number: IF\_PREPUB

Amenability and paradoxical decompositions for pseudogroups and for discrete metric spaces

Authors: Tullio Ceccherini-Silberstein, Rostislav I. Grigorchuk, Pierre de la Harpe

Abstract: This is an expostion of various aspects of amenability and paradoxical decompositions for groups, group actions and metric spaces. First, we review the formalism of pseudogroups, which is well adapted to stating the alternative of Tarski, according to which a pseudogroup without invariant mean gives rise to paradoxical decompositions, and to defining a Følner condition. Using a Hall-Rado Theorem o… ▽ More This is an expostion of various aspects of amenability and paradoxical decompositions for groups, group actions and metric spaces. First, we review the formalism of pseudogroups, which is well adapted to stating the alternative of Tarski, according to which a pseudogroup without invariant mean gives rise to paradoxical decompositions, and to defining a Følner condition. Using a Hall-Rado Theorem on matchings in graphs, we show then for pseudogroups that existence of an invariant mean is equivalent to the Følner condition; in the case of the pseudogroup of bounded perturbations of the identity on a locally finite metric space, these conditions are moreover equivalent to the negation of the Gromov's so-called doubling condition, to isoperimetric conditions, to Kesten's spectral condition for related simple random walks, and to various other conditions. We define also the minimal Tarski number of paradoxical decompositions associated to a non-amenable group action (an integer $\ge 4$), and we indicate numerical estimates (Sections II.4 and IV.2). The final chapter explores for metric spaces the notion of supramenability, due for groups to Rosenblatt. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: This post on arXiv is the published version with the following changes: (i) the caution following Definition 28, (ii) the addition of a missing hypothesis in Proposition 38, (iii) the updating of some references, and (iv) the correction of a few minor typos. Moreover, we have collected comments on several items in a new Chapter VI, after the first list of references

MSC Class: 43A07; 22F05; 54E40; 05C63

Journal ref: Proc. Steklov Inst. Math. 224 (1999), 57--97

Presentability by products for some classes of groups

Authors: P. de la Harpe, D. Kotschick

Abstract: In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index subgroups which are quotients of products of two commuting infinite subgroups. The classes we discuss here include groups of small virtual cohomological dimension and irreducible Zariski dense subgroups of appropriate algebraic groups. This leads to applications to groups of… ▽ More In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index subgroups which are quotients of products of two commuting infinite subgroups. The classes we discuss here include groups of small virtual cohomological dimension and irreducible Zariski dense subgroups of appropriate algebraic groups. This leads to applications to groups of positive deficiency, to fundamental groups of three-manifolds and to Coxeter groups. For finitely generated groups presentable by products we discuss the problem of whether the factors in a presentation by products may be chosen to be finitely generated. △ Less

Submitted 11 April, 2016; v1 submitted 25 September, 2014; originally announced September 2014.

Comments: small edits and addition of an appendix in v2, now 20 pages; added Remark 4.6 suggested by a referee in v3; to appear, without the appendix, in the Journal of Topology and Analysis

MSC Class: 20F65; 22E40; 57M05

Journal ref: J. Topol. Anal. 9 (2017), 27--49

Amenability and ergodic properties of topological groups: from Bogolyubov onwards

Authors: Rostislav Grigorchuk, Pierre de la Harpe

Abstract: The purpose of this expository article is to revisit the notions of amenability and ergodicity, and to point out that they appear for topological groups that are not necessarily locally compact in articles by Bogolyubov (1939), Fomin (1950), Dixmier (1950), and Rickert (1967). The purpose of this expository article is to revisit the notions of amenability and ergodicity, and to point out that they appear for topological groups that are not necessarily locally compact in articles by Bogolyubov (1939), Fomin (1950), Dixmier (1950), and Rickert (1967). △ Less

Submitted 23 July, 2015; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: Terminology has been changed for reasons explained in Remark 3.15. Otherwise, minor corrections have been made

MSC Class: 43A07

Metric geometry of locally compact groups

Authors: Yves Cornulier, Pierre de la Harpe

Abstract: 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… ▽ More 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. △ Less

Submitted 4 August, 2016; v1 submitted 15 March, 2014; originally announced March 2014.

Comments: Book in preparation (233p). Comments and corrections welcome! an index was added in v3

MSC Class: 20F65 (Primary); 20F05; 22D05; 51F99; 54E35; 57M07; 57T20 (Secondary)

Journal ref: EMS Tracts in Mathematics Vol. 25, European Math. Society, 2016

Amenable groups without finitely presented amenable covers

Authors: Mustafa Gokhan Benli, Rostislav Grigorchuk, Pierre De La Harpe

Abstract: The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$ is amenable, e.g. of intermediate growth, (iii) any finitely presented group $E$ with a quotient isomorphic to $G$ contains non-abelian free subgroups, or the st… ▽ More The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$ is amenable, e.g. of intermediate growth, (iii) any finitely presented group $E$ with a quotient isomorphic to $G$ contains non-abelian free subgroups, or the stronger (iii') any finitely presented group with a quotient isomorphic to $G$ is large. △ Less

Submitted 3 May, 2013; v1 submitted 10 June, 2012; originally announced June 2012.

The Fuglede-Kadison determinant, theme and variations

Authors: Pierre de la Harpe

Abstract: We review the definition of determinants for finite von Neumann algebras, due to Fuglede and Kadison (1952), and a generalisation for appropriate groups of invertible elements in Banach algebras, from a paper by Skandalis and the author (1984). After some reminder on K-theory and Whitehead torsion, we hint at the relevance of these determinants to the study of $L^2$-torsion in topology. We review the definition of determinants for finite von Neumann algebras, due to Fuglede and Kadison (1952), and a generalisation for appropriate groups of invertible elements in Banach algebras, from a paper by Skandalis and the author (1984). After some reminder on K-theory and Whitehead torsion, we hint at the relevance of these determinants to the study of $L^2$-torsion in topology. △ Less

Submitted 7 July, 2012; v1 submitted 6 July, 2011; originally announced July 2011.

MSC Class: 46L10; 46L05; 46Hxx; 46L80; 57Q10

Malnormal subgroups and Frobenius groups: basics and examples

Authors: Pierre de la Harpe, Claude Weber, Appendix by Denis Osin

Abstract: Malnormal subgroups occur in various contexts. We review a large number of examples, and we compare the situation in this generality to that of finite Frobenius groups of permutations. In a companion paper [HaWe], we analyse when peripheral subgroups of knot groups and 3-manifold groups are malnormal. Malnormal subgroups occur in various contexts. We review a large number of examples, and we compare the situation in this generality to that of finite Frobenius groups of permutations. In a companion paper [HaWe], we analyse when peripheral subgroups of knot groups and 3-manifold groups are malnormal. △ Less

Submitted 15 April, 2011; originally announced April 2011.

On malnormal peripheral subgroups in fundamental groups of 3-manifolds

Authors: Pierre de la Harpe, Claude Weber

Abstract: Let $K$ be a non-trivial knot in the 3-sphere, $E_K$ its exterior, $G_K = π_1(E_K)$ its group, and $P_K = π_1(\partial E_K) \subset G_K$ its peripheral subgroup. We show that $P_K$ is malnormal in $G_K$, namely that $gP_Kg^{-1} \cap P_K = \{e\}$ for any $g \in G_K$ with $g \notin P_K$, unless $K$ is in one of the following three classes: torus knots, cable knots, and composite knots; these are exa… ▽ More Let $K$ be a non-trivial knot in the 3-sphere, $E_K$ its exterior, $G_K = π_1(E_K)$ its group, and $P_K = π_1(\partial E_K) \subset G_K$ its peripheral subgroup. We show that $P_K$ is malnormal in $G_K$, namely that $gP_Kg^{-1} \cap P_K = \{e\}$ for any $g \in G_K$ with $g \notin P_K$, unless $K$ is in one of the following three classes: torus knots, cable knots, and composite knots; these are exactly the classes for which there exist annuli in $E_K$ attached to $T_K$ which are not boundary parallel (Theorem 1 and Corollary 2). More generally, we characterise malnormal peripheral subgroups in the fundamental group of a compact orientable irreducible 3-manifold with boundary a non-empty union of tori (Theorem 3). Proofs are written with non-expert readers in mind. Half of our paper (Sections 7 to 10) is a reminder of some three-manifold topology as it flourished before the Thurston revolution. In a companion paper [HaWeOs], we collect general facts on malnormal subgroups and Frobenius groups, and we review a number of examples. △ Less

Submitted 15 April, 2011; originally announced April 2011.

Groups with faithful irreducible projective unitary representations

Authors: Bachir Bekka, Pierre de la Harpe

Abstract: For a countable group G and a multiplier c on G with values in the circle, we study the property of G having a unitary projective c-representation which is both irreducible and projectively faithful. We show that this property is equivalent to G being the quotient of an appropriate group by its centre. A criterion is given in terms of the minisocle of G. Several examples are described to show the… ▽ More For a countable group G and a multiplier c on G with values in the circle, we study the property of G having a unitary projective c-representation which is both irreducible and projectively faithful. We show that this property is equivalent to G being the quotient of an appropriate group by its centre. A criterion is given in terms of the minisocle of G. Several examples are described to show the existence of various behaviours. △ Less

Submitted 22 September, 2010; originally announced September 2010.

Comments: 27 pages

MSC Class: 20C25; 22D10

Journal ref: Forum Math. 25, 505--531 (2013)

Topologie, théorie des groupes et problèmes de décision. Célébration d'un article de Max Dehn de 1910

Authors: Pierre de la Harpe

Abstract: This paper, in French, is a celebration of Max Dehn, and an essay of describing some of his results published in the beginning of the 1910's, and their offspring. It has been written up for a winter school in Les Diablerets, March 7-12, 2010: Geometry, topology and computation in groups, 100 years since Dehn's Decision Problems. This paper, in French, is a celebration of Max Dehn, and an essay of describing some of his results published in the beginning of the 1910's, and their offspring. It has been written up for a winter school in Les Diablerets, March 7-12, 2010: Geometry, topology and computation in groups, 100 years since Dehn's Decision Problems. △ Less

Submitted 25 June, 2010; v1 submitted 5 April, 2010; originally announced April 2010.

Comments: 41 pages. Several typos and minor points have been revised for Version 2. The paper will appear in "La Gazette des Mathématiciens"

MSC Class: 01A60; 20F10; 57M25; 57M35

C$^*$-simple groups: amalgamated free products, HNN extensions, and fundamental groups of 3-manifolds

Authors: Pierre de la Harpe, Jean-Philippe Préaux

Abstract: We establish sufficient conditions for the C$^*$-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their normal subgroups; for example normal subgroups of Baumslag-Solitar groups. The second class is that of fundamental groups of compact 3-manifolds, related to the first class by their Kneser-Milnor and JS… ▽ More We establish sufficient conditions for the C$^*$-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their normal subgroups; for example normal subgroups of Baumslag-Solitar groups. The second class is that of fundamental groups of compact 3-manifolds, related to the first class by their Kneser-Milnor and JSJ-decompositions. Much of our analysis deals with conditions on an action of a group $Γ$ on a tree $T$ which imply the following three properties: abundance of hyperbolic elements, better called strong hyperbolicity, minimality, both on the tree $T$ and on its boundary $\partial T$, and faithfulness in a strong sense. An important step in this analysis is to identify automorphism of $T$ which are \emph{slender}, namely such that their fixed-point sets in $\partial T$ are nowhere dense for the shadow topology. △ Less

Submitted 26 June, 2011; v1 submitted 18 September, 2009; originally announced September 2009.

Comments: 43 pages

MSC Class: 22D25; 20E08; 20F65; 57N10

Journal ref: Journal of Topology & Analysis, 3 (4), (2011), pp. 451-489

Representation zeta functions of wreath products with finite groups

Authors: Laurent Bartholdi, Pierre de la Harpe

Abstract: Let G be a group which has for all n a finite number r_n(G) of irreducible complex linear representations of dimension n. Let $ζ(G,s) = \sum_{n=1}^{\infty} r_n(G) n^{-s}$ be its representation zeta function. First, in case G is a permutational wreath product of H with a permutation group Q acting on a finite set X, we establish a formula for $ζ(G,s)$ in terms of the zeta functions of H and of… ▽ More Let G be a group which has for all n a finite number r_n(G) of irreducible complex linear representations of dimension n. Let $ζ(G,s) = \sum_{n=1}^{\infty} r_n(G) n^{-s}$ be its representation zeta function. First, in case G is a permutational wreath product of H with a permutation group Q acting on a finite set X, we establish a formula for $ζ(G,s)$ in terms of the zeta functions of H and of subgroups of Q, and of the Moebius function associated with the lattice of partitions of X in orbits under subgroups of Q. Then, we consider groups W(Q,k) which are k-fold iterated wreath products of Q, and several related infinite groups W(Q), including the profinite group, a locally finite group, and several finitely generated groups, which are all isomorphic to a wreath product of themselves with Q. Under convenient hypotheses (in particular Q should be perfect), we show that r_n(W(Q)) is finite for all n, and we establish that the Dirichlet series $ζ(W(Q),s)$ has a finite and positive abscissa of convergence s_0. Moreover, the function $ζ(W(Q),s)$ satisfies a remarkable functional equation involving $ζ(W(Q),es)$ for e=1,...,|X|. As a consequence of this, we exhibit some properties of the function, in particular that $ζ(W(Q),s)$ has a singularity at s_0, a finite value at s_0, and a Puiseux expansion around s_0. We finally report some numerical computations for Q the simple groups of order 60 and 168. △ Less

Submitted 22 February, 2010; v1 submitted 31 August, 2008; originally announced September 2008.

Comments: 35 pages, amstex source

MSC Class: 11M41; 20C15; 20E22

Journal ref: Groups Geom. Dyn. 4 (2010), 209--249

Spaces of closed subgroups of locally compact groups

Authors: Pierre de la Harpe

Abstract: The set $\Cal C(G)$ of closed subgroups of a locally compact group $G$ has a natural topology which makes it a compact space. This topology has been defined in various contexts by Vietoris, Chabauty, Fell, Thurston, Gromov, Grigorchuk, and many others. The purpose of the talk was to describe the space $\Cal C(G)$ first for a few elementary examples, then for $G$ the complex plane, in which cas… ▽ More The set $\Cal C(G)$ of closed subgroups of a locally compact group $G$ has a natural topology which makes it a compact space. This topology has been defined in various contexts by Vietoris, Chabauty, Fell, Thurston, Gromov, Grigorchuk, and many others. The purpose of the talk was to describe the space $\Cal C(G)$ first for a few elementary examples, then for $G$ the complex plane, in which case $\Cal C(G)$ is a 4--sphere (a result of Hubbard and Pourezza), and finally for the 3--dimensional Heisenberg group $H$, in which case $\Cal C(H)$ is a 6--dimensional singular space recently investigated by Martin Bridson, Victor Kleptsyn and the author \cite{BrHK}. These are slightly expanded notes prepared for a talk given at several places: the Kortrijk workshop on {\it Discrete Groups and Geometric Structures, with Applications III,} May 26--30, 2008; the {\it Tripode 14,} École Normale Supérieure de Lyon, June 13, 2008; and seminars at the EPFL, Lausanne, and in the Université de Rennes 1. The notes do not contain any other result than those in \cite{BrHK}, and are not intended for publication. △ Less

Submitted 12 November, 2008; v1 submitted 13 July, 2008; originally announced July 2008.

Comments: 12 pages

MSC Class: 22D05; 22E25; 22E40

The Chabauty space of closed subgroups of the three-dimensional Heisenberg group

Authors: Martin R. Bridson, Pierre de la Harpe, Victor Kleptsyn

Abstract: When equipped with the natural topology first defined by Chabauty, the closed subgroups of a locally compact group $G$ form a compact space $\Cal C(G)$. We analyse the structure of $\Cal C(G)$ for some low-dimensional Lie groups, concentrating mostly on the 3-dimensional Heisenberg group $H$. We prove that $\Cal C(H)$ is a 6-dimensional space that is path--connected but not locally connected. Th… ▽ More When equipped with the natural topology first defined by Chabauty, the closed subgroups of a locally compact group $G$ form a compact space $\Cal C(G)$. We analyse the structure of $\Cal C(G)$ for some low-dimensional Lie groups, concentrating mostly on the 3-dimensional Heisenberg group $H$. We prove that $\Cal C(H)$ is a 6-dimensional space that is path--connected but not locally connected. The lattices in $H$ form a dense open subset $\Cal L(H) \subset \Cal C(H)$ that is the disjoint union of an infinite sequence of pairwise--homeomorphic aspherical manifolds of dimension six, each a torus bundle over $(\bold S^3 \smallsetminus T) \times \bold R$, where $T$ denotes a trefoil knot. The complement of $\Cal L(H)$ in $\Cal C(H)$ is also described explicitly. The subspace of $\Cal C(H)$ consisting of subgroups that contain the centre $Z(H)$ is homeomorphic to the 4--sphere, and we prove that this is a weak retract of $\Cal C(H)$. △ Less

Submitted 18 November, 2008; v1 submitted 23 November, 2007; originally announced November 2007.

Comments: Minor edits. Final version. To appear in the Pacific Journal. 41 pages, no figures

MSC Class: 22D05; 22E25; 22E40

Estimates for simple random walks on fundamental groups of surfaces

Authors: Laurent Bartholdi, Serge Cantat, Tullio Ceccherini-Silberstein, Pierre de la Harpe

Abstract: Numerical estimates are given for the spectral radius of simple random walks on Cayley graphs. Emphasis is on the case of the fundamental group of a closed surface, for the usual system of generators. Numerical estimates are given for the spectral radius of simple random walks on Cayley graphs. Emphasis is on the case of the fundamental group of a closed surface, for the usual system of generators. △ Less

Submitted 14 December, 2006; originally announced December 2006.

Comments: 22 pages, 5 figures, amstex

MSC Class: 60J15; 20F32

Journal ref: Colloq. Math. 72 (1997), no. 1, 173--193

Irreducibly represented groups

Authors: Bachir Bekka, Pierre de la Harpe

Abstract: A group is irreducibly represented if it has a faithful irreducible unitary representation. For countable groups, a criterion for irreducible representability is given, which generalises a result obtained for finite groups by W. Gaschütz in 1954. In particular, torsionfree groups and infinite conjugacy class groups are irreducibly represented. We indicate some consequences of this for operator a… ▽ More A group is irreducibly represented if it has a faithful irreducible unitary representation. For countable groups, a criterion for irreducible representability is given, which generalises a result obtained for finite groups by W. Gaschütz in 1954. In particular, torsionfree groups and infinite conjugacy class groups are irreducibly represented. We indicate some consequences of this for operator algebras. In particular, we charaterise up to isomorphism the countable subgroups $Δ$ of the unitary group of a separable infinite dimensional Hilbert space $\Cal H$ of which the bicommutants $Δ''$ (in the sense of the theory of von Neumann algebras) coincide with the algebra of all bounded linear operators on $\Cal H$. △ Less

Submitted 14 January, 2008; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: 18 pages

MSC Class: 22D10; 20C07

Journal ref: Comment. Math. Helv. 83, 847--868 (2008)

The true prosoluble completion of a group: examples and open problems

Authors: Goulnara Arzhantseva, Pierre de la Harpe, Delaram Kahrobaei

Abstract: The true prosoluble completion $P\Cal S (Γ)$ of a group $Γ$ is the inverse limit of the projective system of soluble quotients of $Γ$. Our purpose is to describe examples and to point out some natural open problems. We discuss a question of Grothendieck for profinite completions and its analogue for true prosoluble and true pronilpotent completions. 1. Introduction. 2. Completion with respec… ▽ More The true prosoluble completion $P\Cal S (Γ)$ of a group $Γ$ is the inverse limit of the projective system of soluble quotients of $Γ$. Our purpose is to describe examples and to point out some natural open problems. We discuss a question of Grothendieck for profinite completions and its analogue for true prosoluble and true pronilpotent completions. 1. Introduction. 2. Completion with respect to a directed set of normal subgroups. 3. Universal property. 4. Examples of directed sets of normal subgroups. 5. True prosoluble completions. 6. Examples. 7. On the true prosoluble and the true pronilpotent analogues of Grothendieck's problem. △ Less

Submitted 7 May, 2006; v1 submitted 12 December, 2005; originally announced December 2005.

Comments: 15 pages; A revised version: Proposition 1 was wrong in the first version of the paper

MSC Class: 20E18; 20F14; 20F22

On simplicity of reduced C*-algebras of groups

Authors: Pierre de la Harpe

Abstract: A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified, including non-elementary Gromov hyperbolic groups and lattices in semisimple groups. In this exposition, C*-simplicity for countable groups is shown to be an ext… ▽ More A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified, including non-elementary Gromov hyperbolic groups and lattices in semisimple groups. In this exposition, C*-simplicity for countable groups is shown to be an extreme case of non-amenability. The basic examples are described and several open problems are formulated. △ Less

Submitted 20 September, 2005; originally announced September 2005.

Comments: 23 pages

MSC Class: 22D25; 46L05

Groupes fondamentaux des varietes de dimension 3 et algebres d'operateurs

Authors: Pierre de la Harpe, Jean-Philippe Preaux

Abstract: We provide a geometric characterization of manifolds of dimension 3 with fundamental groups of which all conjugacy classes except 1 are infinite, namely of which the von Neumann algebras are factors of type $II_1$: they are essentially the 3-manifolds with infinite fundamental groups on which there does not exist any Seifert fibration. Otherwise said and more precisely, let $M$ be a compact co… ▽ More We provide a geometric characterization of manifolds of dimension 3 with fundamental groups of which all conjugacy classes except 1 are infinite, namely of which the von Neumann algebras are factors of type $II_1$: they are essentially the 3-manifolds with infinite fundamental groups on which there does not exist any Seifert fibration. Otherwise said and more precisely, let $M$ be a compact connected 3-manifold and let $Γ$ be its fundamental group, supposed to be infinite and with at least one finite conjugacy class besides 1. If $M$ is orientable, then $Γ$ is the fundamental group of a Seifert manifold; if $M$ is not orientable, then $Γ$ is the fundamental group of a Seifert manifold modulo $\Bbb P$ in the sense of Heil and Whitten \cite{HeWh--94}. We make heavy use of results on 3-manifolds, as well classical results (as can be found in the books of Hempel, Jaco, and Shalen), as more recent ones (solution of the Seifert fibred space conjecture). △ Less

Submitted 20 September, 2005; originally announced September 2005.

Comments: 21 pages

MSC Class: 57M05; 57M27; 20F34; 46L35

Journal ref: Annales Mathématiques de la faculté des sciences de Toulouse, Série 6, 16 (3), (2007), pp 561-589

Decompositions de groupes par produit direct et groupes de Coxeter

Authors: Yves de Cornulier, Pierre de la Harpe

Abstract: We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be… ▽ More We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be the direct product. If Gamma is moreover torsion-free, it follows that Gamma is uniquely decomposable in direct product of indecomposable groups. △ Less

Submitted 18 July, 2005; originally announced July 2005.

Comments: 23 pages, 0 figure

MSC Class: 20E34 (primary); 20F55 (secondary)

Journal ref: Geometric Group Theory, Trends in Math. 75-102, BirkhÃ?user 2007

Construction of spherical cubature formulas using lattices

Authors: Pierre De La Harpe, Claude Pache, Boris B. Venkov

Abstract: We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidian lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on the sphere of dimension n-1 for n=4, 8, 12, 14, 16, 20, 23, and 24, and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Progr… ▽ More We construct cubature formulas on spheres supported by homothetic images of shells in some Euclidian lattices. Our analysis of these cubature formulas uses results from the theory of modular forms. Examples are worked out on the sphere of dimension n-1 for n=4, 8, 12, 14, 16, 20, 23, and 24, and the sizes of the cubature formulas we obtain are compared with the lower bounds given by Linear Programming. △ Less

Submitted 2 December, 2005; v1 submitted 24 May, 2005; originally announced May 2005.

Expanding graphs, Ramanujan graphs, and 1-factor perturbations

Authors: Pierre de la Harpe, Antoine Musitelli

Abstract: We construct (k+-1)-regular graphs which provide sequences of expanders by adding or substracting appropriate 1-factors from given sequences of k-regular graphs. We compute numerical examples in a few cases for which the given sequences are from the work of Lubotzky, Phillips, and Sarnak (with k-1 the order of a finite field). If k+1 = 7, our construction results in a sequence of 7-regular expan… ▽ More We construct (k+-1)-regular graphs which provide sequences of expanders by adding or substracting appropriate 1-factors from given sequences of k-regular graphs. We compute numerical examples in a few cases for which the given sequences are from the work of Lubotzky, Phillips, and Sarnak (with k-1 the order of a finite field). If k+1 = 7, our construction results in a sequence of 7-regular expanders with all spectral gaps at least about 1.52. △ Less

Submitted 16 March, 2005; originally announced March 2005.

MSC Class: 80E25

Cubature formulas, geometrical designs, reproducing kernels, and Markov operators

Authors: Pierre De La Harpe, Claude Pache

Abstract: Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to lar… ▽ More Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups. △ Less

Submitted 15 February, 2005; originally announced February 2005.

MSC Class: Primary 05B30; 65D32. Secondary 46E22

Mapping class groups and outer automorphism groups of free groups are C*-simple

Authors: Martin R. Bridson, Pierre de la Harpe

Abstract: We prove that the reduced C*-algebras of centerless mapping class groups and outer automorphism groups of free groups are simple, as are the irreducible pure subgroups of mapping class groups and the analogous subgroups of outer automorphism groups of free groups. We prove that the reduced C*-algebras of centerless mapping class groups and outer automorphism groups of free groups are simple, as are the irreducible pure subgroups of mapping class groups and the analogous subgroups of outer automorphism groups of free groups. △ Less

Submitted 12 June, 2003; originally announced June 2003.

Comments: 10 pages, amstex. J. Functional Analysis, to be published

MSC Class: 20F28; 20F65; 46L55; 57N05