Haagerup property

In mathematics, the Haagerup property, named after Uffe Haagerup and also known as Gromov's a-T-menability, is a property of groups that is a strong negation of Kazhdan's property (T). Property (T) is considered a representation-theoretic form of rigidity, so the Haagerup property may be considered a form of strong nonrigidity; see below for details.

The Haagerup property is interesting to many fields of mathematics, including harmonic analysis, representation theory, operator K-theory, and geometric group theory.

Perhaps its most impressive consequence is that groups with the Haagerup Property satisfy the Baum–Connes conjecture and the related Novikov conjecture. Groups with the Haagerup property are also uniformly embeddable into a Hilbert space.

Definitions

Let be a second countable locally compact group. The following properties are all equivalent, and any of them may be taken to be definitions of the Haagerup property:

  1. There is a proper continuous conditionally negative definite function .
  2. has the Haagerup approximation property, also known as Property : there is a sequence of normalized continuous positive-definite functions which vanish at infinity on and converge to 1 uniformly on compact subsets of .
  3. There is a strongly continuous unitary representation of which weakly contains the trivial representation and whose matrix coefficients vanish at infinity on .
  4. There is a proper continuous affine isometric action of on a Hilbert space.

Examples

There are many examples of groups with the Haagerup property, most of which are geometric in origin. The list includes:

Sources

  • Cherix, Pierre-Alain; Cowling, Michael; Jolissaint, Paul; Julg, Pierre; Valette, Alain (2001), Groups with the Haagerup property. Gromov's a-T-menability., Progress in Mathematics, 197, Basel: Birkhäuser Verlag, doi:10.1007/978-3-0348-8237-8, ISBN 3-7643-6598-6, MR 1852148
gollark: There's an event-driven API too.
gollark: It's a websocket communications thing which uses my (or another but nobody else hosts one) server.
gollark: Quick API summary:```lualocal skynet = require "skynet"skynet.send(channel, message)skynet.receive(channel)```
gollark: https://github.com/osmarks/skynet
gollark: Skynet or enchat?
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.