Showing 1–43 of 43 results for author: Valette, A

Amenable actions of real and $p$-adic algebraic groups

Authors: Alain J. Valette

Abstract: Let $K$ be a locally compact field of characteristic 0. Let $G$ be a linear algebraic group defined over $K$, acting algebraically on an algebraic variety $V$. We prove that the action of $G(K)$ (the group of $K$-rational points of $G$) on $V(K)$ is topologically amenable, if and only if all points stabilizers in $G(K)$ are solvable-by-compact. This follows by combining a result by Borel-Serre \ci… ▽ More Let $K$ be a locally compact field of characteristic 0. Let $G$ be a linear algebraic group defined over $K$, acting algebraically on an algebraic variety $V$. We prove that the action of $G(K)$ (the group of $K$-rational points of $G$) on $V(K)$ is topologically amenable, if and only if all points stabilizers in $G(K)$ are solvable-by-compact. This follows by combining a result by Borel-Serre \cite{BoSe} with the following fact: let $G$ be a second countable locally compact group acting continuously on a second countable locally compact space $Y$. If the action $G\curvearrowright Y$ is smooth (i.e. the Borel structure on $G\backslash Y$ is countably separated), then topological amenability of $G\curvearrowright Y$ is equivalent to amenability of all point stabilizers in $G$. △ Less

Submitted 9 May, 2024; originally announced May 2024.

A remark on $\mathscr{C}^\infty$ definable equivalence

Authors: Anna Valette, Guillaume Valette

Abstract: We establish that if a submanifold $M$ of $\mathbb{R}^n$ is definable in some o-minimal structure then any definable submanifold $N\subset \mathbb{R}^n$ which is $\mathscr{C}^\infty$ diffeomorphic to $M$, with a diffeomorphism $h:N\to M$ that is sufficiently close to the identity, must be $\mathscr{C}^\infty$ definably diffeomorphic to $M$. The definable diffeomorphism between $N$ and $M$ is then… ▽ More We establish that if a submanifold $M$ of $\mathbb{R}^n$ is definable in some o-minimal structure then any definable submanifold $N\subset \mathbb{R}^n$ which is $\mathscr{C}^\infty$ diffeomorphic to $M$, with a diffeomorphism $h:N\to M$ that is sufficiently close to the identity, must be $\mathscr{C}^\infty$ definably diffeomorphic to $M$. The definable diffeomorphism between $N$ and $M$ is then provided by a tubular neighborhood of $M$. △ Less

Submitted 19 April, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: Final version

MSC Class: 32B20; 58C25; 03C64

Journal ref: Annales Polonici Mathematici vol. 131.1 (2023), 79-84

Semialgebraic Calderon-Zygmund theorem on regularization of the distance function

Authors: Beata Kocel-Cynk, Wiesław Pawłucki, Anna Valette

Abstract: We prove that, for any closed semialgebraic subset $W$ of $\mathbb{R}^n$ and for any positive integer $p$, there exists a Nash function $f:\mathbb{R}^n\setminus W\longrightarrow (0, \infty)$ which is equivalent to the distance function from $W$ and at the same time it is $Λ_p$-regular in the sense that $|D^αf(x)|\leq C d(x, W)^{1- |α|}$, for each $x\in \mathbb{R}^n\setminus W$ and each… ▽ More We prove that, for any closed semialgebraic subset $W$ of $\mathbb{R}^n$ and for any positive integer $p$, there exists a Nash function $f:\mathbb{R}^n\setminus W\longrightarrow (0, \infty)$ which is equivalent to the distance function from $W$ and at the same time it is $Λ_p$-regular in the sense that $|D^αf(x)|\leq C d(x, W)^{1- |α|}$, for each $x\in \mathbb{R}^n\setminus W$ and each $α\in \mathbb{N}^n$ such that $1\leq |α|\leq p$, where $C$ is a positive constant. In particular, $f$ is Lipschitz. Some applications of this result are given. △ Less

Submitted 19 April, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: Final version

MSC Class: 14P20; 57R35; 14P10; 32B20

Journal ref: Mathematische Annalen (2024)

Listening broadband physical model for microphones: a first step

Authors: Laurent Millot, Antoine Valette, Manuel Lopes, Gérard Pelé, Mohammed Elliq, Dominique Lambert

Abstract: We will present a first step in design of a broadband physical model for microphones. Within the proposed model, classical directivity patterns (omnidirectional, bidirectional and cardioids family) are refound as limit cases: monochromatic excitation, low frequency and far-field approximation. Monophonic pieces of music are used as sources for the model so we can listen the simulation of the assoc… ▽ More We will present a first step in design of a broadband physical model for microphones. Within the proposed model, classical directivity patterns (omnidirectional, bidirectional and cardioids family) are refound as limit cases: monochromatic excitation, low frequency and far-field approximation. Monophonic pieces of music are used as sources for the model so we can listen the simulation of the associated recorded sound field in realtime thanks to a Max/MSP application. Listening and subbands analysis show that the directivity is a function of frequential subband and source location. This model also exhibits an interesting proximity effect. Audio demonstrations will be given.Paper 6638 presented at the 120th Convention of the Audio Engineering Society, Paris, 2006 △ Less

Submitted 4 January, 2024; originally announced January 2024.

Journal ref: 120th Convention of the Audio Engineering Society, Audio Engineering Society, May 2006, Paris, France

The linear $\SL_2(\Z)$-action on $\T^n$: ergodic and von Neumann algebraic aspects

Authors: Paul Jolissaint, Alain Valette

Abstract: The unique irreducible representation of $\SL_2(\R)$ on $\R^n$ induces an action, called the \textit{linear action}, of $\SL_2(\Z)$ on the torus $\T^n$ for every $n\geq 2$. For $n$ odd, it factors through $\PSL_2(\Z)$, so we denote by $G_n$ the group $\SL_2(\Z)$ for $n$ even, and $\PSL_2(\Z)$ for $n$ odd. We prove that the action is free and ergodic for every $n\geq 2$, that if $h\in \SL_2(\Z)$ is… ▽ More The unique irreducible representation of $\SL_2(\R)$ on $\R^n$ induces an action, called the \textit{linear action}, of $\SL_2(\Z)$ on the torus $\T^n$ for every $n\geq 2$. For $n$ odd, it factors through $\PSL_2(\Z)$, so we denote by $G_n$ the group $\SL_2(\Z)$ for $n$ even, and $\PSL_2(\Z)$ for $n$ odd. We prove that the action is free and ergodic for every $n\geq 2$, that if $h\in \SL_2(\Z)$ is a hyperbolic element and if $n$ is even, then the action of the subgroup generated by $h$ is still ergodic, but also that, for $n$ odd, no amenable subgroup of $\PSL_2(\Z)$ acts ergodically on $\T^n$. We deduce also that every ergodic sub-equivalence relation $\Rr$ of the orbital equivalence relation $\mathcal{S}_n$ of $G_n$ on $\T^n$ is either amenable or rigid, extending a result by Ioana for $n=2$. This result has the following corollaries: firstly, for $n\geq 2$ even, if $H$ is a maximal amenable subgroup of $\SL_2(\Z)$ containing an hyperbolic matrix, then the associated crossed product II$_1$ factor $L^\infty(\T^n)\rtimes H$ is a maximal Haagerup subalgebra of $L^\infty(\T^n)\rtimes \SL_2(\Z)$; secondly , for every $n$, the fundamental group of $L^\infty(\T^n)\rtimes G_n$ is trivial. △ Less

Submitted 9 April, 2024; v1 submitted 5 November, 2023; originally announced November 2023.

Comments: Section 3.2 fully re-written due to gap detected in the original version. Revised version to appear in Journal of Operator Theory

MSC Class: 37A20 (Primary); 28D05; 46L36 (Secondary)

Maximal Haagerup subgroups in $\mathbb{Z}^{n+1}\rtimes_{ρ_n}GL_2(\mathbb{Z})$

Authors: Alain Valette

Abstract: For $n\geq 1$, let $ρ_n$ denote the standard action of $GL_2(\Z)$ on the space $P_n(\Z)\simeq\Z^{n+1}$ of homogeneous polynomials of degree $n$ in two variables, with integer coefficients. For $G$ a non-amenable subgroup of $GL_2(\Z)$, we describe the maximal Haagerup subgroups of the semi-direct product $\Z^{n+1}\rtimes_{ρ_n} G$, extending the classification of Jiang-Skalski \cite{JiSk} of the ma… ▽ More For $n\geq 1$, let $ρ_n$ denote the standard action of $GL_2(\Z)$ on the space $P_n(\Z)\simeq\Z^{n+1}$ of homogeneous polynomials of degree $n$ in two variables, with integer coefficients. For $G$ a non-amenable subgroup of $GL_2(\Z)$, we describe the maximal Haagerup subgroups of the semi-direct product $\Z^{n+1}\rtimes_{ρ_n} G$, extending the classification of Jiang-Skalski \cite{JiSk} of the maximal Haagerup subgroups in $\Z^2\rtimes SL_2(\Z)$. We prove that, for $n$ odd, the group $P_n(\Z)\rtimes SL_2(\Z)$ admits infinitely many pairwise non-conjugate maximal Haagerup subgroups which are free groups; and that, for $n$ even, the group $P_n(\Z)\rtimes GL_2(\Z)$ admits infinitely many pairwise non-conjugate maximal Haagerup subgroups which are isomorphic to $SL_2(\Z)$. △ Less

Submitted 9 October, 2023; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: Third version, with classification of maximal amenable subgroups of $SL_2(\mathbb{Z})$

Equivariant K-homology and K-theory for some discrete planar affine groups

Authors: Ramon Flores, Sanaz Pooya, Alain Valette

Abstract: We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimesΓ(2)$ (where $Γ(2)$ is the congruence subgroup of level 2). For each of them, we compute both sides of the Baum-Connes conjecture, namely the equivariant $K$-homology of the classifying space $\underline{E}G$ for proper actions on the left-hand side, and the analyt… ▽ More We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimesΓ(2)$ (where $Γ(2)$ is the congruence subgroup of level 2). For each of them, we compute both sides of the Baum-Connes conjecture, namely the equivariant $K$-homology of the classifying space $\underline{E}G$ for proper actions on the left-hand side, and the analytical K-theory of the reduced group $C^*$-algebra on the right-hand side. The computation of the LHS is made possible by the existence of a 3-dimensional model for $\underline{E}G$, which allows to replace equivariant K-homology by Bredon homology. We pay due attention to the presence of torsion in $G$, leading to an extensive study of the wallpaper groups associated with finite subgroups. For the second and third groups, the computations in $K_0$ provide explicit generators that are matched by the Baum-Connes assembly map. △ Less

Submitted 26 November, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: v2: minor changes, to appear in IMRN, accepted version

MSC Class: 46L80; 55R40

The exceptional simple Lie group $F_{4(-20)}$, after J. Tits

Authors: Alain Valette

Abstract: This is a semi-survey paper, where we start by advertising Tits' synthetic construction from \cite{Tits}, of the hyperbolic plane $H^2(Cay)$ over the Cayley numbers $Cay$, and of its automorphism group which is the exceptional simple Lie group $G=F_{4(-20)}$. Let $G=KAN$ be the Iwasawa decomposition. Our contributions are: a) Writing down explicitly the action of $N$ on $H^2(Cay)$ in Tits'model, f… ▽ More This is a semi-survey paper, where we start by advertising Tits' synthetic construction from \cite{Tits}, of the hyperbolic plane $H^2(Cay)$ over the Cayley numbers $Cay$, and of its automorphism group which is the exceptional simple Lie group $G=F_{4(-20)}$. Let $G=KAN$ be the Iwasawa decomposition. Our contributions are: a) Writing down explicitly the action of $N$ on $H^2(Cay)$ in Tits'model, facing the lack of associativity of $Cay$. b) If $MAN$ denotes the minimal parabolic subgroup of $G$, characterizing $M$ geometrically. △ Less

Submitted 24 November, 2022; originally announced November 2022.

MSC Class: 22E15 (Primary); 51A10 (Secondary)

Journal ref: Innov. Incidence Geom. 20 (2023) 599-610

Uniform Poincaré inequality in o-minimal structures

Authors: Anna Valette, Guillaume Valette

Abstract: We first define the trace on a domain $Ω$ which is definable in an o-minimal structure. We then show that every function $u\in W^{1,p}(Ω)$ vanishing on the boundary in the trace sense satisfies Poincaré inequality. We finally show, given a definable family of domains $(Ω_t)_{t\in \mathbb{R}^k}$, that the constant of this inequality remains bounded, if so does the volume of $Ω_t$. We first define the trace on a domain $Ω$ which is definable in an o-minimal structure. We then show that every function $u\in W^{1,p}(Ω)$ vanishing on the boundary in the trace sense satisfies Poincaré inequality. We finally show, given a definable family of domains $(Ω_t)_{t\in \mathbb{R}^k}$, that the constant of this inequality remains bounded, if so does the volume of $Ω_t$. △ Less

Submitted 17 April, 2024; v1 submitted 9 November, 2021; originally announced November 2021.

MSC Class: 26D10; 32B20; 46E35

Journal ref: Mathematical Inequalities and Applications vol. 26 (2023), 141-150

Wasserstein distance and metric trees

Authors: Maxime Mathey-Prevot, Alain Valette

Abstract: We study the Wasserstein (or earthmover) metric on the space $P(X)$ of probability measures on a metric space $X$. We show that, if a finite metric space $X$ embeds stochastically with distortion $D$ in a family of finite metric trees, then $P(X)$ embeds bi-Lipschitz into $\ell^1$ with distortion $D$. Next, we re-visit the closed formula for the Wasserstein metric on finite metric trees due to Eva… ▽ More We study the Wasserstein (or earthmover) metric on the space $P(X)$ of probability measures on a metric space $X$. We show that, if a finite metric space $X$ embeds stochastically with distortion $D$ in a family of finite metric trees, then $P(X)$ embeds bi-Lipschitz into $\ell^1$ with distortion $D$. Next, we re-visit the closed formula for the Wasserstein metric on finite metric trees due to Evans-Matsen \cite{EvMat}. We advocate that the right framework for this formula is real trees, and we give two proofs of extensions of this formula: one making the link with Lipschitz-free spaces from Banach space theory, the other one algorithmic (after reduction to finite metric trees). △ Less

Submitted 5 October, 2021; originally announced October 2021.

Comments: 17 pages

MSC Class: 05C05; 05C12; 46B85; 68R12

Trace operators on bounded subanalytic manifolds

Authors: Anna Valette, Guillaume Valette

Abstract: We prove that if $M\subset \mathbb{R}^n$ is a bounded subanalytic submanifold of $\mathbb{R}^n$ such that $B(x_0,ε)\cap M$ is connected for every $x_0\in\overline{M}$ and $ε>0$ small, then, for $p\in [1,\infty)$ sufficiently large, the space $C^\infty(\overline{M})$ is dense in the Sobolev space $W^{1,p}(M)$. We also show that for $p$ large, if $A\subset \overline{M}\setminus M$ is subanalytic the… ▽ More We prove that if $M\subset \mathbb{R}^n$ is a bounded subanalytic submanifold of $\mathbb{R}^n$ such that $B(x_0,ε)\cap M$ is connected for every $x_0\in\overline{M}$ and $ε>0$ small, then, for $p\in [1,\infty)$ sufficiently large, the space $C^\infty(\overline{M})$ is dense in the Sobolev space $W^{1,p}(M)$. We also show that for $p$ large, if $A\subset \overline{M}\setminus M$ is subanalytic then the restriction map** $ C^\infty(\overline{M})\ni u\mapsto u_{|A}\in L^p(A)$ is continuous (if $A$ is endowed with the Hausdorff measure), which makes it possible to define a trace operator, and then prove that compactly supported functions are dense in the kernel of this operator. We finally generalize these results to the case where our assumption of connectedness at singular points of $\overline{M}$ is dropped. △ Less

Submitted 21 October, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

MSC Class: 46E35; 32B20; 14P10

On arithmetic properties of solvable Baumslag-Solitar groups

Authors: Laurent Hayez, Tom Kaiser, Alain Valette

Abstract: For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in… ▽ More For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\mathbb{Z}[1/m])$ and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\mathbb{Z}[1/m])$, where the levels $N_k$ are coprime with $m$ and $N_k|N_{k+1}$. We prove: - if an arithmetic box space has $D_α$, then $α\le\frac{1}{2}$~; - if the family $(N_k)_k$ of levels is supported on finitely many primes, the corresponding arithmetic box space has $D_{1/2}$~; - if the family $(N_k)_k$ of levels is supported on a family of primes with positive analytic primitive density, then the corresponding arithmetic box space does not have $D_α$, for every $α>0$. Moreover, we prove that if we embed $BS(1,m)$ in the group of invertible upper-triangular matrices $T_n(\mathbb{Z}[1/m])$, then every finite index subgroup of the embedding contains a congruence subgroup. This is a version of the congruence subgroup property (CSP). △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: 16 pages

MSC Class: 20F65 (Primary) 20F16; 20F69 (Secondary)

Poincaré inequality on subanalytic sets

Authors: Anna Valette, Guillaume Valette

Abstract: Let $Ω$ be a subanalytic bounded open subset of $\mathbb{R}^n$, with possibly singular boundary. We show that given $p\in [1,\infty)$, there is a constant $C$ such that for any $u\in W^{1,p}(Ω)$ we have $||u-u_Ω||_{L^p} \le C||\nabla u||_{L^p},$ where we have set $u_Ω:=\frac{1}{|Ω|}\int_Ω u.$ Let $Ω$ be a subanalytic bounded open subset of $\mathbb{R}^n$, with possibly singular boundary. We show that given $p\in [1,\infty)$, there is a constant $C$ such that for any $u\in W^{1,p}(Ω)$ we have $||u-u_Ω||_{L^p} \le C||\nabla u||_{L^p},$ where we have set $u_Ω:=\frac{1}{|Ω|}\int_Ω u.$ △ Less

Submitted 23 April, 2021; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: final version

MSC Class: 26D10; 32B20; 14P10

The Chabauty space of $\mathbb{Q}_p^\times$

Authors: Antoine Bourquin, Alain Valette

Abstract: Let $\mathcal{C}(G)$ denote the Chabauty space of closed subgroups of the locally compact group $G$. In this paper, we first prove that $\mathcal{C} (\mathbb{Q}_p^\times)$ is a proper compactification of $\mathbb{N}$, identified with the set $N$ of open subgroups with finite index. Then we identify the space $\mathcal{C}(\mathbb{Q}_p^\times) \smallsetminus N$ up to homeomorphism: e.g. for $p=2$, i… ▽ More Let $\mathcal{C}(G)$ denote the Chabauty space of closed subgroups of the locally compact group $G$. In this paper, we first prove that $\mathcal{C} (\mathbb{Q}_p^\times)$ is a proper compactification of $\mathbb{N}$, identified with the set $N$ of open subgroups with finite index. Then we identify the space $\mathcal{C}(\mathbb{Q}_p^\times) \smallsetminus N$ up to homeomorphism: e.g. for $p=2$, it is the Cantor space on which 2 copies of $\overline{\mathbb{N}}$ (the 1-point compactification of $\mathbb{N}$) are glued. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Journal ref: Involve 14 (2021) 89-102

The Baum-Connes conjecture: an extended survey

Authors: Maria Paula Gomez Aparicio, Pierre Julg, Alain Valette

Abstract: We present a history of the Baum-Connes conjecture, the methods involved, the current status, and the mathematics it generated. We present a history of the Baum-Connes conjecture, the methods involved, the current status, and the mathematics it generated. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Efroymson's approximation theorem for globally subanalytic functions

Authors: Anna Valette, Guillaume Valette

Abstract: Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic map** on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous semialgebraic function then there is a $\mathcal{C}^\infty$ semialgebraic function $g:M\to \mathbb{R}$ such that $|f-g|<\varepsilon$. We prove a generalization of this… ▽ More Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic map** on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous semialgebraic function then there is a $\mathcal{C}^\infty$ semialgebraic function $g:M\to \mathbb{R}$ such that $|f-g|<\varepsilon$. We prove a generalization of this result to the globally subanalytic category. Our theorem actually holds in a larger framework since it applies to every function which is definable in a polynomially bounded o-minimal structure (expanding the real field) that admits $\mathcal{C}^\infty$ cell decomposition. We also establish approximation theorems for Lipschitz and $\mathcal{C}^1$ definable functions. △ Less

Submitted 14 May, 2019; originally announced May 2019.

MSC Class: 14P10; 32B20; 41A30; 58A07

Chabauty Limits of Subgroups of $SL(n, \mathbb{Q}_p)$

Authors: Corina Ciobotaru, Arielle Leitner, Alain Valette

Abstract: We study the Chabauty compactification of two families of closed subgroups of $SL(n,\mathbb{Q}_p)$. The first family is the set of all parahoric subgroups of $SL(n,\mathbb{Q}_p)$. Although the Chabauty compactification of parahoric subgroups is well studied, we give a different and more geometric proof using various Levi decompositions of $SL(n,\mathbb{Q}_p)$. Let $C$ be the subgroup of diagonal m… ▽ More We study the Chabauty compactification of two families of closed subgroups of $SL(n,\mathbb{Q}_p)$. The first family is the set of all parahoric subgroups of $SL(n,\mathbb{Q}_p)$. Although the Chabauty compactification of parahoric subgroups is well studied, we give a different and more geometric proof using various Levi decompositions of $SL(n,\mathbb{Q}_p)$. Let $C$ be the subgroup of diagonal matrices in $SL(n, \mathbb{Q}_p)$. The second family is the set of all $SL(n,\mathbb{Q}_p)$-conjugates of $C$. We give a classification of the Chabauty limits of conjugates of $C$ using the action of $SL(n,\mathbb{Q}_p)$ on its associated Bruhat--Tits building and compute all of the limits for $n\leq 4$ (up to conjugacy). In contrast, for $n\geq 7$ we prove there are infinitely many $SL(n,\mathbb{Q}_p)$-nonconjugate Chabauty limits of conjugates of $C$. Along the way we construct an explicit homeomorphism between the Chabauty compactification in $\mathfrak{sl}(n, \mathbb{Q}_p)$ of $SL(n,\mathbb{Q}_p)$-conjugates of the $p$-adic Lie algebra of $C$ and the Chabauty compactification of $SL(n,\mathbb{Q}_p)$-conjugates of $C$. △ Less

Submitted 20 August, 2018; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 32 pages Arguments strengthened to remove assumption p does not divide n. (Theorems now true for all n.) Ideas added to sections 4,6 and 7. Alain Valette added as author

MSC Class: 22

Property (T), finite-dimensional representations, and generic representations

Authors: Michal Doucha, Maciej Malicki, Alain Valette

Abstract: Let $G$ be a discrete group with property (T). It is a standard fact that, in a unitary representation of $G$ on a Hilbert space $\mathcal{H}$, almost invariant vectors are close to invariant vectors, in a quantitative way. We begin by showing that, if a unitary representation has some vector whose coefficient function is close to a coefficient function of some finite-dimensional unitary represent… ▽ More Let $G$ be a discrete group with property (T). It is a standard fact that, in a unitary representation of $G$ on a Hilbert space $\mathcal{H}$, almost invariant vectors are close to invariant vectors, in a quantitative way. We begin by showing that, if a unitary representation has some vector whose coefficient function is close to a coefficient function of some finite-dimensional unitary representation $σ$, then the vector is close to a sub-representation isomorphic to $σ$: this makes quantitative a result of P.S. Wang [Wa]. We use that to give a new proof of a result by D. Kerr, H. Li and M. Pichot [KLP], that a group $G$ with property (T) and such that $C^*(G)$ is residually finite-dimensional, admits a unitary representation which is generic (i.e. the orbit of this representation in $\mathrm{Rep}(G,\mathcal{H})$ under the unitary group $U(\mathcal{H})$ is comeager). We also show that, under the same assumptions, the set of representations equivalent to a Koopman representation is comeager in $\mathrm{Rep}(G,\mathcal{H})$. △ Less

Submitted 13 November, 2017; originally announced November 2017.

Locally compact groups with every isometric action bounded or proper

Authors: Romain Tessera, Alain Valette

Abstract: A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine isometric actions on $L^p$-spaces. We explore properties PL and $BP_{L^p}$ and prove that they are equivalent for some interesting classes of groups: abelian group… ▽ More A locally compact group $G$ has property PL if every isometric $G$-action either has bounded orbits or is (metrically) proper. For $p>1$, say that $G$ has property $BP_{L^p}$ if the same alternative holds for the smaller class of affine isometric actions on $L^p$-spaces. We explore properties PL and $BP_{L^p}$ and prove that they are equivalent for some interesting classes of groups: abelian groups, amenable almost connected Lie groups, amenable linear algebraic groups over a local field of characteristic 0. The appendix by Corina Ciobotaru provides new examples of groups with property PL, including non-linear ones. △ Less

Submitted 2 May, 2017; originally announced May 2017.

Comments: 29 pages; with an appendix by Corina Ciobotaru

MSC Class: 22

K-homology and K-theory for the lamplighter groups of finite groups

Authors: Ramón Flores, Sanaz Pooya, Alain Valette

Abstract: Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit proof of the Baum-Connes conjecture (without coefficients), that states that the assembly map $μ_i^L:K_i^L(\underline{E} L)\rightarrow K_i(C^*L)\;(i=0,1)$ is an i… ▽ More Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit proof of the Baum-Connes conjecture (without coefficients), that states that the assembly map $μ_i^L:K_i^L(\underline{E} L)\rightarrow K_i(C^*L)\;(i=0,1)$ is an isomorphism. Actually, $K_0(C^*L)$ is free abelian of countable rank, with an explicit basis consisting of projections in $C^*L$, while $K_1(C^*L)$ is infinite cyclic, generated by the unitary of $C^*L$ implementing the shift. Finally we show that, for $F$ abelian, the $C^*$-algebra $C^*L$ is completely characterized by $|F|$ up to isomorphism. △ Less

Submitted 15 October, 2016; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: 32 pages, 3 figures; v2. reference added

MSC Class: 46L80 (primary); 55R40 (secondary)

K-theory for the $C^*$-algebras of the solvable Baumslag-Solitar groups

Authors: Sanaz Pooya, Alain Valette

Abstract: We provide a new computation of the K-theory of the group $C^*$-algebra of the solvable Baumslag-Solitar group $BS(1,n)\;(n\neq 1)$; our computation is based on the Pimsner-Voiculescu 6-terms exact sequence, by viewing $BS(1,n)$ as a semi-direct product $\mathbb{Z}[1/n]\rtimes\mathbb{Z}$. We deduce from it a new proof of the Baum-Connes conjecture with trivial coefficients for $BS(1,n)$. We provide a new computation of the K-theory of the group $C^*$-algebra of the solvable Baumslag-Solitar group $BS(1,n)\;(n\neq 1)$; our computation is based on the Pimsner-Voiculescu 6-terms exact sequence, by viewing $BS(1,n)$ as a semi-direct product $\mathbb{Z}[1/n]\rtimes\mathbb{Z}$. We deduce from it a new proof of the Baum-Connes conjecture with trivial coefficients for $BS(1,n)$. △ Less

Submitted 19 April, 2016; originally announced April 2016.

Comments: 8 pages

MSC Class: 46L80

Expanders and box spaces

Authors: Ana Khukhro, Alain Valette

Abstract: We consider box spaces of finitely generated, residually finite groups $G$, and try to distinguish them up to coarse equivalence. We show that, for $n\geq 2$, the group $SL_n(\mathbb{Z})$ has a continuum of box spaces which are pairwise non-coarsely equivalent expanders. Moreover, varying the integer $n\geq 3$, expanders given as box spaces of $SL_n(\mathbb{Z})$ are pairwise inequivalent; similarl… ▽ More We consider box spaces of finitely generated, residually finite groups $G$, and try to distinguish them up to coarse equivalence. We show that, for $n\geq 2$, the group $SL_n(\mathbb{Z})$ has a continuum of box spaces which are pairwise non-coarsely equivalent expanders. Moreover, varying the integer $n\geq 3$, expanders given as box spaces of $SL_n(\mathbb{Z})$ are pairwise inequivalent; similarly, varying the prime $p$, expanders given as box spaces of $SL_2(\mathbb{Z}[\sqrt{p}])$ are pairwise inequivalent. A strong form of non-expansion for a box space is the existence of $α\in]0,1]$ such that the diameter of each component $X_n$ satisfies $diam(X_n)=Ω(|X_n|^α)$. By a result of Breuillard and Tointon, the existence of such a box space implies that $G$ virtually maps onto $\mathbb{Z}$: we establish the converse. For the lamplighter group $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$ and for a semi-direct product $\mathbb{Z}^2\rtimes\mathbb{Z}$, such box spaces are explicitly constructed using specific congruence subgroups. We finally introduce the full box space of $G$, i.e. the coarse disjoint union of all finite quotients of $G$. We prove that the full box space of a group map** onto the free group $\mathbb{F}_2$ is not coarsely equivalent to the full box space of an $S$-arithmetic group satisfying the Congruence Subgroup Property. △ Less

Submitted 4 September, 2015; originally announced September 2015.

Comments: 23 pages; comments welcome

A generalized Sard theorem on real closed fields

Authors: Anna Valette, Guillaume Valette

Abstract: We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework. We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework. △ Less

Submitted 14 March, 2015; originally announced March 2015.

MSC Class: 58K05; 14P10; 57R35

The Mayer-Vietoris Sequence for Graphs of Groups, Property (T), and the First $\ell^2$-Betti Number

Authors: Talia Fernós, Alain Valette

Abstract: We explore the Mayer-Vietoris sequence developed by Chiswell for the fundamental group of a graph of groups when vertex groups satisfy some vanishing assumption on the first cohomology (e.g. property (T), or vanishing of the first $\ell^2$-Betti number). We characterize the vanishing of first reduced cohomology of unitary representations when vertex stabilizer have property (T). We find necessary… ▽ More We explore the Mayer-Vietoris sequence developed by Chiswell for the fundamental group of a graph of groups when vertex groups satisfy some vanishing assumption on the first cohomology (e.g. property (T), or vanishing of the first $\ell^2$-Betti number). We characterize the vanishing of first reduced cohomology of unitary representations when vertex stabilizer have property (T). We find necessary and sufficient conditions for the vanishing of the first $\ell^2$-Betti number. We also study the associated Haagerup cocycle and show that it vanishes in first reduced cohomology precisely when the action is elementary. △ Less

Submitted 12 September, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 32 pages

MSC Class: 20F65; 20J06

Irreducible affine isometric actions on Hilbert spaces

Authors: Bachir Bekka, Thibault Pillon, Alain Valette

Abstract: We undertake a systematic study of irreducible affine isometric actions of locally compact groups on Hilbert spaces. It turns out that, while that are a few parallels of this study to the by now classical theory of irreducible unitary representations, these two theories differ in several aspects (for instance, the direct sum of two irreducible affine actions can still be irreducible). One of the m… ▽ More We undertake a systematic study of irreducible affine isometric actions of locally compact groups on Hilbert spaces. It turns out that, while that are a few parallels of this study to the by now classical theory of irreducible unitary representations, these two theories differ in several aspects (for instance, the direct sum of two irreducible affine actions can still be irreducible). One of the main tools we use is an affine version of Schur's lemma characterizing the irreducibility of an affine isometric group action. This enables us to describe for instance the irreducible affine isometric actions of nilpotent groups. As another application, a short proof is provided for the following result of Neretin: the restriction to a cocompact lattice of an irreducible affine action of locally compact group remains irreducible. We give a necessary and sufficient condition for a fixed unitary representation to be the linear part of an irreducible affine action. In particular, when the unitary representation is a multiple of the regular representation of a discrete group G, we show how this question is related to the L2-Betti number of G. After giving a necessary and sufficient condition for a direct sum of irreducible affine actions to be irreducible, we show the following super-rigidity result: if G is product of two or more locally compact groups, then every irreducible affine action of any irreducible co-compact lattice in G extends to an affine action of G, provided the linear part of this action does not weakly contain the trivial representation. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 39 pages

MSC Class: 22D10

Journal ref: Muenster J. of Math. 9 (2016), 1-34

Le problème de Kadison-Singer (The Kadison-Singer problem)

Authors: Alain Valette

Abstract: In 1959, R.V. Kadison and I.M. Singer asked whether each pure state of the algebra of bounded diagonal operators on $\ell^2$, admits a unique state extension to $B(\ell^2)$. The positive answer was given in June 2013 by A. Marcus, D. Spielman and N. Srivastava, who took advantage of a series of translations of the original question, due to C. Akemann, J. Anderson, N. Weaver,... Ultimately, the pro… ▽ More In 1959, R.V. Kadison and I.M. Singer asked whether each pure state of the algebra of bounded diagonal operators on $\ell^2$, admits a unique state extension to $B(\ell^2)$. The positive answer was given in June 2013 by A. Marcus, D. Spielman and N. Srivastava, who took advantage of a series of translations of the original question, due to C. Akemann, J. Anderson, N. Weaver,... Ultimately, the problem boils down to an estimate of the largest zero of the expected characteristic polynomial of the sum of independent random variables taking values in rank 1 positive matrices in the algebra of n-by-n matrices. △ Less

Submitted 20 September, 2014; originally announced September 2014.

Comments: Séminaire Bourbaki, Juin 2014; 66ème année, 2013-2014; $n^o$ 1088. To appear in Astérisque, in French

MSC Class: 05C50; 15A15; 26C10; 46L30

The Haagerup property is not invariant under quasi-isometry

Authors: Mathieu Carette, Sylvain Arnt, Thibault Pillon, Alain Valette

Abstract: Using the work of Cornulier-Valette and Whyte, we show that neither the Haagerup property nor weak amenability is invariant under quasi-isometry of finitely generated groups. Using the work of Cornulier-Valette and Whyte, we show that neither the Haagerup property nor weak amenability is invariant under quasi-isometry of finitely generated groups. △ Less

Submitted 21 March, 2014; originally announced March 2014.

Comments: 6 pages, appendix by Sylvain Arnt, Thibault Pillon and Alain Valette

MSC Class: 20F65; 20E08; 22D05; 22D10

L^2-Betti numbers and Plancherel measure

Authors: Henrik Densing Petersen, Alain Valette

Abstract: We compute $L^2$-Betti numbers of postliminal, locally compact, unimodular groups in terms of ordinary dimensions of reduced cohomology with coefficients in irreducible unitary representations and the Plancherel measure. This allows us to compute the $L^2$-Betti numbers for semi-simple Lie groups with finite center, simple algebraic groups over local fields, and automorphism groups of locally fini… ▽ More We compute $L^2$-Betti numbers of postliminal, locally compact, unimodular groups in terms of ordinary dimensions of reduced cohomology with coefficients in irreducible unitary representations and the Plancherel measure. This allows us to compute the $L^2$-Betti numbers for semi-simple Lie groups with finite center, simple algebraic groups over local fields, and automorphism groups of locally finite trees acting transitively on the boundary. △ Less

Submitted 1 July, 2013; originally announced July 2013.

Comments: 11 pages

On 1-cocycles induced by a positive definite function on a locally compact abelian group

Authors: Jordan Franks, Alain Valette

Abstract: For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, we consider on the one hand the unitary representation $π_\varphi$ associated to $\varphi$ by the GNS construction, on the other hand the probability measure $μ_\varphi$ on the Pontryagin dual $\hat{G}$ provided by Bochner's theorem. We give necessary and sufficient conditions for the vanishing of 1-cohom… ▽ More For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, we consider on the one hand the unitary representation $π_\varphi$ associated to $\varphi$ by the GNS construction, on the other hand the probability measure $μ_\varphi$ on the Pontryagin dual $\hat{G}$ provided by Bochner's theorem. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,π_\varphi)$ and reduced 1-cohomology $\bar{H}^1(G,π_\varphi)$. For example, $\bar{H}^1(G,π_\varphi)=0$ if and only if either $Hom(G,\mathbb{C})=0$ or $μ_\varphi(1_G)=0$, where $1_G$ is the trivial character of $G$. △ Less

Submitted 18 March, 2013; originally announced March 2013.

Comments: 7 pages

On equivariant embeddings of generalized Baumslag-Solitar groups

Authors: Yves Cornulier, Alain Valette

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

Submitted 30 December, 2012; originally announced December 2012.

Comments: 22 pages, no figure

MSC Class: Primary 20E08; Secondary 20F69; 30L05; 43A07; 46B85

Journal ref: Geom. Dedicata 175 (2015) 385-401

On a singular variety associated to a polynomial map**

Authors: Nguyen Thi Bich Thuy, Anna Valette, Guillaume Valette

Abstract: In the paper "Geometry of polynomial map** at infinity via intersection homology" the second and third authors associated to a given polynomial map** $F : \C^2 \to \C^2$ with nonvanishing jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of the map**. We generalize this result. In the paper "Geometry of polynomial map** at infinity via intersection homology" the second and third authors associated to a given polynomial map** $F : \C^2 \to \C^2$ with nonvanishing jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of the map**. We generalize this result. △ Less

Submitted 28 December, 2012; originally announced December 2012.

Comments: 1 figure

Journal ref: Volume 7 (2013), 190-204

$\ell^p$-distortion and $p$-spectral gap of finite regular graphs

Authors: Pierre-Nicolas Jolissaint, Alain Valette

Abstract: We give a lower bound for the $\ell^p$-distortion $c_p(X)$ of finite graphs $X$, depending on the first eigenvalue $λ_1^{(p)}(X)$ of the $p$-Laplacian and the maximal displacement of permutations of vertices. For a $k$-regular vertex-transitive graph it takes the form $c_p(X)^{p}\geq diam(X)^{p}λ_{1}^{(p)}(X)/2^{p-1}k$. This bound is optimal for expander families and, for $p=2$, it gives the exact… ▽ More We give a lower bound for the $\ell^p$-distortion $c_p(X)$ of finite graphs $X$, depending on the first eigenvalue $λ_1^{(p)}(X)$ of the $p$-Laplacian and the maximal displacement of permutations of vertices. For a $k$-regular vertex-transitive graph it takes the form $c_p(X)^{p}\geq diam(X)^{p}λ_{1}^{(p)}(X)/2^{p-1}k$. This bound is optimal for expander families and, for $p=2$, it gives the exact value for cycles and hypercubes. As a new application we give a non-trivial lower bound for the $\ell^2$-distortion of a family of Cayley graphs of $SL_n(q)$ ($q$ fixed, $n\geq 2$) with respect to a standard two-element generating set. △ Less

Submitted 2 July, 2013; v1 submitted 5 October, 2011; originally announced October 2011.

MSC Class: 05C50; 05C12; 05C45

Geometry of polynomial map**s at infinity via intersection homology

Authors: Anna Valette, Guillaume Valette

Abstract: For given polynomial map $F:\C^2\to\C^2$ with nonvanishing jacobian we associate a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map. For given polynomial map $F:\C^2\to\C^2$ with nonvanishing jacobian we associate a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map. △ Less

Submitted 14 July, 2010; originally announced July 2010.

The Howe-Moore property for real and p-adic groups

Authors: Raf Cluckers, Yves Cornulier, Nicolas Louvet, Romain Tessera, Alain Valette

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

Submitted 7 March, 2010; originally announced March 2010.

Comments: 25 pages, no figure

MSC Class: Primary 22D10; Secondary 22D05; 22E35; 43A35

Journal ref: Math. Scand. 109(2) (2011) 201-224

Reduced 1-cohomology and relative property (T)

Authors: Talia Fernós, Alain Valette

Abstract: Shalom characterized property (T) in terms of the vanishing of all reduced first cohomology. We characterize group pairs having the property that the restriction map on all first reduced cohomology vanishes. We show that, in a strong sense, this is inequivalent to relative property (T). Shalom characterized property (T) in terms of the vanishing of all reduced first cohomology. We characterize group pairs having the property that the restriction map on all first reduced cohomology vanishes. We show that, in a strong sense, this is inequivalent to relative property (T). △ Less

Submitted 6 December, 2009; originally announced December 2009.

Comments: 18 pages

MSC Class: 20C99; 20J06

Proper actions of wreath products and generalizations

Authors: Yves Cornulier, Yves Stalder, Alain Valette

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

Submitted 27 February, 2012; v1 submitted 25 May, 2009; originally announced May 2009.

Comments: 29 pages, Minor changes

MSC Class: 20F69 (Primary) 20E22; 43A05; 43A65 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 364 (2012), 3159-3184

Proper actions of lamplighter groups associated with free groups

Authors: Yves De Cornulier, Yves Stalder, Alain Valette

Abstract: Given a finite group $H$ and a free group $F_n$, we prove that the wreath product $H\wr F_n$ admits a metrically proper, isometric action on a Hilbert space. Given a finite group $H$ and a free group $F_n$, we prove that the wreath product $H\wr F_n$ admits a metrically proper, isometric action on a Hilbert space. △ Less

Submitted 10 November, 2007; v1 submitted 13 July, 2007; originally announced July 2007.

Comments: 6 pages. The part on Hilbert space compression from the first version of this paper, will be incorporated into a more elaborate paper on the subject

MSC Class: 20E22 (primary); 20F65 (Secondary)

The Euclidean distortion of the lamplighter group

Authors: Tim Austin, Assaf Naor, Alain Valette

Abstract: We show that the cyclic lamplighter group $C_2 \bwr C_n$ embeds into Hilbert space with distortion ${\rm O}(\sqrt{\log n})$. This matches the lower bound proved by Lee, Naor and Peres in \cite{LeeNaoPer}, answering a question posed in that paper. Thus the Euclidean distortion of $C_2 \bwr C_n$ is $Θ(\sqrt{\log n})$. Our embedding is constructed explicitly in terms of the irreducible representati… ▽ More We show that the cyclic lamplighter group $C_2 \bwr C_n$ embeds into Hilbert space with distortion ${\rm O}(\sqrt{\log n})$. This matches the lower bound proved by Lee, Naor and Peres in \cite{LeeNaoPer}, answering a question posed in that paper. Thus the Euclidean distortion of $C_2 \bwr C_n$ is $Θ(\sqrt{\log n})$. Our embedding is constructed explicitly in terms of the irreducible representations of the group. Since the optimal Euclidean embedding of a finite group can always be chosen to be equivariant, as shown by Aharoni, Maurey and Mityagin \cite{AhaMauMit} and by Gromov (see \cite{deCTesVal}), such representation-theoretic considerations suggest a general tool for obtaining upper and lower bounds on Euclidean embeddings of finite groups. △ Less

Submitted 31 May, 2007; originally announced May 2007.

MSC Class: 46B20; 54E40; 52C99

Isometric group actions on Banach spaces and representations vanishing at infinity

Authors: Yves de Cornulier, Romain Tessera, Alain Valette

Abstract: Our main result is that the simple Lie group $G=Sp(n,1)$ acts properly isometrically on $L^p(G)$ if $p>4n+2$. To prove this, we introduce property $({\BP}_0^V)$, for $V$ be a Banach space: a locally compact group $G$ has property $({\BP}_0^V)$ if every affine isometric action of $G$ on $V$, such that the linear part is a $C_0$-representation of $G$, either has a fixed point or is metrically prop… ▽ More Our main result is that the simple Lie group $G=Sp(n,1)$ acts properly isometrically on $L^p(G)$ if $p>4n+2$. To prove this, we introduce property $({\BP}_0^V)$, for $V$ be a Banach space: a locally compact group $G$ has property $({\BP}_0^V)$ if every affine isometric action of $G$ on $V$, such that the linear part is a $C_0$-representation of $G$, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have property $({\BP}_0^V)$. As a consequence for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on $L^2(G)$ is non-zero; and we characterize uniform lattices in those groups for which the first $L^2$-Betti number is non-zero. △ Less

Submitted 14 December, 2006; originally announced December 2006.

Comments: 28 pages

MSC Class: 22D10; 20J06

Journal ref: Transform. Groups 13 (2008), no. 1, 125--147

Isometric group actions on Hilbert spaces: structure of orbits

Authors: Yves de Cornulier, Romain Tessera, Alain Valette

Abstract: Our main result is that a finitely generated nilpotent group has no isometric action on an infinite-dimensional Hilbert space with dense orbits. In contrast, we construct such an action with a finitely generated metabelian group. Our main result is that a finitely generated nilpotent group has no isometric action on an infinite-dimensional Hilbert space with dense orbits. In contrast, we construct such an action with a finitely generated metabelian group. △ Less

Submitted 3 April, 2006; originally announced April 2006.

Comments: 12 pages, to appear in Canadian Math. J

MSC Class: 22D10; 43A35; 20F69

Journal ref: Canadian Math. J. 60 (2008), no. 5, 1001-1009

Wreath products with the integers, proper actions and Hilbert space compression

Authors: Yves Stalder, Alain Valette

Abstract: We prove that the properties of acting metrically properly on some space with walls or some CAT(0) cube complex are closed by taking the wreath product with \Z. We also give a lower bound for the (equivariant) Hilbert space compression of H\wr\Z in terms of the (equivariant) Hilbert space compression of H. We prove that the properties of acting metrically properly on some space with walls or some CAT(0) cube complex are closed by taking the wreath product with \Z. We also give a lower bound for the (equivariant) Hilbert space compression of H\wr\Z in terms of the (equivariant) Hilbert space compression of H. △ Less

Submitted 29 March, 2006; v1 submitted 20 March, 2006; originally announced March 2006.

Comments: Minor corrections

MSC Class: 20E22;20E08;20F65

Isometric group actions on Hilbert spaces: growth of cocycles

Authors: Yves de Cornulier, Romain Tessera, Alain Valette

Abstract: We study growth of 1-cocycles of locally compact groups, with values in unitary representations. Discussing the existence of 1-cocycles with linear growth, we obtain the following alternative for a class of amenable groups G containing polycyclic groups and connected amenable Lie groups: either G has no quasi-isometric embedding into Hilbert space, or G admits a proper cocompact action on some E… ▽ More We study growth of 1-cocycles of locally compact groups, with values in unitary representations. Discussing the existence of 1-cocycles with linear growth, we obtain the following alternative for a class of amenable groups G containing polycyclic groups and connected amenable Lie groups: either G has no quasi-isometric embedding into Hilbert space, or G admits a proper cocompact action on some Euclidean space. On the other hand, noting that almost coboundaries (i.e. 1-cocycles approximable by bounded 1-cocycles) have sublinear growth, we discuss the converse, which turns out to hold for amenable groups with "controlled" Folner sequences; for general amenable groups we prove the weaker result that 1-cocycles with sufficiently small growth are almost coboundaries. Besides, we show that there exist, on a-T-menable groups, proper cocycles with arbitrary small growth. △ Less

Submitted 2 December, 2006; v1 submitted 22 September, 2005; originally announced September 2005.

Comments: 26 pages, no figure. To appear in Geom. Funct. Anal

MSC Class: Primary 22D10; Secondary 43A07; 43A35; 20F69

Journal ref: Geom. Funct. Anal. 17(3) (2007), 770-792

Unbounded symmetric operators in $K$-homology and the Baum-Connes Conjecture

Authors: Hela Bettaieb, Michel Matthey, Alain Valette

Abstract: Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac operator on the circle and for the Dolbeault operator on closed surfaces. Two proofs are provided, one using topology and the other one, surprisingly involved, st… ▽ More Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac operator on the circle and for the Dolbeault operator on closed surfaces. Two proofs are provided, one using topology and the other one, surprisingly involved, sticking to analysis, on the basis of the previous result. As a second application, we construct, in a purely analytical language, various homomorphisms linking the homology of a group in low degree, the K-homology of its classifying space and the analytic K-theory of its C^*-algebra, in close connection with the Baum-Connes assembly map. For groups classified by a 2-complex, this allows to reformulate the Baum-Connes Conjecture. △ Less

Submitted 18 December, 2004; originally announced December 2004.

Comments: 42 pages, 3 figures