Difference between revisions of "Quasimorphism"

From Groupprops
Jump to: navigation, search
(Facts)
(Definition in terms of the language of cohomology)
 
(3 intermediate revisions by the same user not shown)
Line 19: Line 19:
 
==Facts==
 
==Facts==
  
* The collection of all quasimorphisms on a group <math>G</math> is avector space, with the vector space structure being pointwise addition and scalar multiplication of functions. This vector space is denoted <math>\hat{Q}(G)</math>. The subspace of homogeneous quasimorphisms is denoted <math>Q(G)</math>. The quotient space <math>\hat{Q}(G)/\operatorname{Hom}(G,\R)</math> is a normed vector space with the defect being the norm.
+
* The collection of all quasimorphisms on a group <math>G</math> is avector space, with the vector space structure being pointwise addition and scalar multiplication of functions. This vector space is denoted <math>\hat{Q}(G)</math>. The subspace of [[homogeneous quasimorphism]]s is denoted <math>Q(G)</math>. The quotient space <math>\hat{Q}(G)/\operatorname{Hom}(G,\R)</math> is a normed vector space with the defect being the norm.
 +
 
 +
===Definition in terms of the language of cohomology===
 +
 
 +
Suppose <math>G</math> is a [[group]]. Consider the [[cochain complex for a group action|cochain complex]] <math>C^*(G;\R)</math> for the trivial group action of <math>G</math> on <math>\R</math>. In particular:
 +
 
 +
* <math>C^1(G;\R)</math> is the additive group of all functions from <math>G</math> to <math>\R</math>. In this case, <math>C^1(G;\R)</math> has the structure of a <math>\R</math>-vector space.
 +
* <math>C^2(G;\R)</math> is the additive group of all functions from <math>G \times G</math> to <math>\R</math>, and also has the structure of a <math>\R</math>-vector space.
 +
 
 +
Consider the coboundary map of the cochain complex:
 +
 
 +
<math>d_1: C^1(G;\R) \to C^2(G;R)</math>
 +
 
 +
given as:
 +
 
 +
<math>d_1(f) := (x,y) \mapsto f(x) + f(y) - f(xy)</math>
 +
 
 +
The standard terminology is as follows:
 +
 
 +
* The kernel of <math>d_1</math> is the group of 1-cocycles for the trivial group action of <math>G</math> on <math>\R</math>, which coincides with the group <math>\operatorname{Hom}(G;\R)</math>. Moreover, the group of 1-coboundaries is trivial, so this also coincides with the first cohomology group <math>H^1(G;\R)</math>. See [[first cohomology group for trivial group action is naturally isomorphic to group of homomorphisms]].
 +
* The image of <math>d_1</math> is the group of [[2-coboundary for a group action|2-coboundaries for the trivial group action]] of <math>G</math> on <math>\R</math>, and is denoted <math>B^2(G;\R)</math>. This, too, is a <math>\R</math>-vector space.
 +
* The vector space <math>\hat{Q}(G)</math> that we are interested in is the inverse image under <math>d_1</math> of the vector subspace <math>B_{bdd}^2(G;\R)</math> of <math>B^2(G;\R)</math> comprising the 2-coboundaries that are ''bounded'' maps to <math>\R</math>.
 +
* By the [[first isomorphism theorem]] he quotient space <math>\hat{Q}(G)/\operatorname{Hom}(G,\R)</math> is isomorphic to <math>B_{bdd}^2(G;\R)</math>. Moreover, the defect norm on <math>\hat{Q}(G)/\operatorname{Hom}(G,\R)</math> corresponds with the <math>L^\infty</math>-norm on this vector space.
  
 
==Examples==
 
==Examples==

Latest revision as of 01:25, 5 February 2014

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with quasihomomorphism of groups

Definition

Suppose G is a group. A quasihomomorphism on G is a function f: G \to \R (where \R is the field of real numbers) satisfying the condition that there exists a positive real number D such that for all x,y \in G, we have:

|f(xy) - f(x) - f(y)| \le D

Note that D depends on f, but not on the choice of elements of G.

The smallest positive real number D that works is called the defect of the quasimorphism f. A quasimorphism of defect 0 is the same as a homomorphism to \R.

Other names for this concept are quasihomomorphism (not to be confused with a different notion of quasihomomorphism of groups) and pseudocharacter.

Homogenization

A homogeneous quasimorphism is a quasiomorphism that is also a 1-homomorphism of groups, i.e., its restriction to any cyclic subgroup of G is a homomorphism. For any quasimorphism f, we can consider its homogenization, defined as \mu_f := x \mapsto \lim_{n \to \infty} \frac{f(x^n)}{n}.

Facts

  • The collection of all quasimorphisms on a group G is avector space, with the vector space structure being pointwise addition and scalar multiplication of functions. This vector space is denoted \hat{Q}(G). The subspace of homogeneous quasimorphisms is denoted Q(G). The quotient space \hat{Q}(G)/\operatorname{Hom}(G,\R) is a normed vector space with the defect being the norm.

Definition in terms of the language of cohomology

Suppose G is a group. Consider the cochain complex C^*(G;\R) for the trivial group action of G on \R. In particular:

  • C^1(G;\R) is the additive group of all functions from G to \R. In this case, C^1(G;\R) has the structure of a \R-vector space.
  • C^2(G;\R) is the additive group of all functions from G \times G to \R, and also has the structure of a \R-vector space.

Consider the coboundary map of the cochain complex:

d_1: C^1(G;\R) \to C^2(G;R)

given as:

d_1(f) := (x,y) \mapsto f(x) + f(y) - f(xy)

The standard terminology is as follows:

Examples

  • Any set map from a group to \R with a bounded image is a quasimorphism. In particular, any continuous map from a compact topological group to \R is a quasimorphism. Examples include coordinate projections from compact manifolds embedded in \R^n. Note that the homogenization of any such quasimorphism is the zero quasimorphism, so such quasimorphisms are not interesting up to homogenization.
  • The rotation number quasimorphism is a homogeneous quasimorphism.

External links