Scribd
Upload
15 views

Boundedly Simple Groups

This document discusses bounded cohomology groups of boundedly simple groups. It contains three main points: 1) The singular part of the second bounded cohomology group (Hb,2(G)) of a boundedly simple group G is trivial. Hb,2(G) can be described in terms of quasicharacters and pseudocharacters. 2) A pseudocharacter must be constant on conjugacy classes in a boundedly simple group G. 3) Every element of a boundedly simple group G can be written as a product of at most m conjugates. This implies that any pseudocharacter of G must be bounded and thus trivial. Therefore, Hb,2(G) is

Uploaded by

Vamsi Vangara
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
15 views

Boundedly Simple Groups

This document discusses bounded cohomology groups of boundedly simple groups. It contains three main points: 1) The singular part of the second bounded cohomology group (Hb,2(G)) of a boundedly simple group G is trivial. Hb,2(G) can be described in terms of quasicharacters and pseudocharacters. 2) A pseudocharacter must be constant on conjugacy classes in a boundedly simple group G. 3) Every element of a boundedly simple group G can be written as a product of at most m conjugates. This implies that any pseudocharacter of G must be bounded and thus trivial. Therefore, Hb,2(G) is

Uploaded by

Vamsi Vangara
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Boundedly Simple Groups Have Trivial Bounded Cohomology

Igor V. Erovenko May 2, 2004

arXiv:math.GR/0407536 v1 30 Jul 2004

The goal of this short note is to observe that the singular part of the second bounded cohomology group of boundedly simple groups constructed in [3] is trivial. Recall that a group G is called m-boundedly simple if every element of G can be represented as a product of at most m conjugates of g or g1 for any g G. We recall that bounded cohomology Hb (G) of a group G (we will be considering only cohomology with coecients in the additive group of reals R with trivial action, so in our notations for cohomology the coecient module will be omitted) is dened using the complex
b b b b n+1 1 2 n Cb (G) Cb (G) Cb (G) Cb (G) R 0

0 =0

1 =0

n n of bounded cochains f : G G R, and b = n |Cb (G) is the bounded dier0 (G) = R and H 1 (G) = 0 for any group G, investigation ential operator. Since Hb b 2 of bounded cohomology starts in dimension 2. One observes that Hb (G) contains 2 a subspace Hb,2 (G) (called the singular part of the second bounded cohomology group), which has a simple algebraic description in terms of quasicharacters and 2 2 pseudocharacters, and the quotient space Hb (G)/Hb,2 (G) is canonically isomorphic to the bounded part of the ordinary cohomology group H 2 (G). See [2] for background and available results on bounded cohomology of groups. A function F : G R is called a quasicharacter if there exists a constant CF 0 such that |F (xy) F (x) F (y)| CF for all x, y G.

A function f : G R is called a pseudocharacter if f is a quasicharacter and in addition f (gn ) = nf (g) for all g G and n Z. We use the following notation: X(G) = the space of additive characters G R; QX(G) = the space of quasicharacters; P X(G) = the space of pseudocharacters; B(G) = the space of bounded functions. Then
2 Hb,2 (G) QX(G)/(X(G) B(G)) P X(G)/X(G) = =

(1)

2 as vector spaces (cf. [2, Proposition 3.2 and Theorem 3.5]). Special interest in Hb,2 is motivated in part by its connections with other structural properties of groups such as commutator length [1] and bounded generation [2]. 2 Theorem 1 If G is a boundedly simple group, then Hb,2 (G) = 0.

Proof. In view of (1) it suces to show that the group G does not have any nontrivial pseudocharacters. First, we observe that every pseudocharacter is constant on conjugacy classes. Indeed, suppose that f P X(G) and |f (gxg1 ) f (x)| = a > 0 for some x, g G. Then on the one hand |f (gxn g1 ) f (xn )| = |f (gxn g1 ) f (xn ) f (g) f (g1 )| is bounded independent of n, on the other hand |f (gxn g1 ) f (xn )| = n|f (gxg1 ) f (x)| = na as n , 2Cf

whence a contradiction. Suppose that G is m-boundedly simple. Then every element x of G can be written in the form x = g1 gk where k m and every gi is a conjugate of either g or g1 for some xed g G, whence |f (gi )| = |f (g)| for all i = 1, . . . , k. Then |f (x)| = |f (g1 gk ) f (g1 ) f (gk ) + f (g1 ) + + f (gk )| |f (g1 gk ) f (g1 ) f (gk )| + |f (g1 )| + + |f (gk )| (m 1)Cf + m|f (g)| which implies that f is bounded on G, hence must be trivial.

References
[1] Ch. Bavard, Longueur stable des commutateurs, Enseign. Math. 37 (1991), no. 12, 109150. [2] R.I. Grigorchuk, Some results on bounded cohomology, London Math. Soc. Lecture Note Ser. 204 (1995), 111163. [3] A. Muranov, Diagrams with selection and method for constructing boundedly generated and boundedly simple groups, Preprint, 2004.

Department of Mathematical Sciences University of North Carolina at Greensboro Greensboro NC 27402 E-mail: [email protected]

You might also like