THE CUP PRODUCT OF BROOKS QUASIMORPHISMS
MICHELLE BUCHER AND NICOLAS MONOD

arXiv:1710.02392v2 [math.GR] 3 Nov 2017

A BSTRACT. We prove the vanishing of the cup product of the bounded cohomology classes
associated to any two Brooks quasimorphisms on the free group. This is a consequence of the
vanishing of the square of a universal class for tree automorphism groups.

1. I NTRODUCTION
Although bounded cohomology found a great variety of applications, it remains so mysterious that even for a (non-abelian) free group F of finite rank, we do not know much about
it.
More precisely, beyond the trivial case of H1b ( F, R) = 0, it is known that both H2b ( F, R)
and H3b ( F, R) are infinite-dimensional. However, Hbn≥4 ( F, R) remains completely unknown;
in particular, we do not know whether H4b ( F, R) vanishes or not.
The first infinite family of non-trivial classes in H2b ( F, R) are provided by Brooks quasimorphisms [1] (anticipated by Johnson [7, 2.8] and Rhemtulla [12]); we recall their definition. Pick any reduced word w in a choice of free generators for F and consider the counting
function f w : F → R defined on g ∈ F by
f w ( g) = ♯{occurrences of w in g} − ♯{occurrences of w in g−1 }.
If w is reduced to one letter (or trivial), then f w is a homomorphism. In all other cases, f w
is a quasimorphism and defines a non-trivial class β w ∈ H2b ( F, R) unless w is conjugated
to a power of a letter. The space spanned by all these β w is infinite-dimensional [1][8] and
is dense in H2b ( F, R) for a suitable topology of pointwise convergence [4, 5.7]. (Following
Brooks, we allow overlaps when counting occurrences, whilst other authors do not; see [5,
p. 251] for the density in our setting.)
The aim of this note is to show that the cup product of any two elements in this dense
sub-space vanishes in H4b ( F, R).
Theorem 1. Let β w , β w′ ∈ H2b ( F, R) be the bounded cohomology classes associated to two Brooks
quasimorphisms on F.
Then β w ` β w′ = 0 in H4b ( F, R).
We were informed by N. Heuer that he independently obtained a similar result [6] by
methods completely different from ours.
We can give a rather transparent proof of Theorem 1 by realizing bounded cohomology
with the aligned chains that we introduced in [2]. This simplifies the combinatorics and allows
us to exhibit a natural explicit coboundary for the cup product.
Moreover, we can carry out this task at once for all w, w′ simultaneously — by working
instead with the universal class [ω ] that we now proceed to define (similar constructions
were considered in [10, §2], in [11, 7.11] and in [3, §9]).
1

2

M. BUCHER AND N. MONOD

Let T = (V, E) be a locally finite tree with Serre’s conventions, which means in particular
that an element of E represents an oriented edge and that E is endowed with a fixed-pointfree involution e 7→ e reversing the orientation. We denote by P the set of paths, namely
sequences p = (e1 , . . . , en ) of successive edges ei ∈ E without backtracking. The reverse
path is p = (en , . . . , e1 ) and n is the length of p. Given two vertices x, y we denote by [ x, y]
the path connecting them. The path module Ralt [ P] is the Aut( T )-module of all elements of
the free vector space R[ P] that change sign when replacing a path by its reverse. We define
an Aut( T )-equivariant map ϑ : V 2 → Ralt [ P] by setting
ϑ ( x0 , x1 )( p) = ±1
if p (respectively p) is contained as a sub-path in [ x0 , x1 ], and 0 in all other cases. We define
ω = dϑ : V 3 → Ralt [ P]
as the coboundary of ϑ. We recall here that d will always be the usual alternating sum of
the maps omitting the individual variables; we refer to the preliminaries below for explicit
values of ω.
In order to view ω as a cocycle in bounded cohomology, we need to specify a norm on
Ralt [ P]; of course, ϑ should be unbounded for this norm since otherwise the class of ω would
be trivial. The specific norm is however not too relevant; one property we want is that, when
restricted to the free vector space on the set of paths of length n, it is equivalent to the ℓ1 1
k · kn,1 whose normalisation
norm k · kn,1 . One explicit choice is the norm k · kpath = ∑n≥1 n!
factor 1/n! is an arbitrary way to ensure uniform boundedness statements in the proofs.
Furthermore, we write P for the completion of Ralt [ P]. Indeed, even though our arguments will be explicit and finitary, the general tools of continuous bounded cohomology
work best with Banach spaces.
A choice of free generators for the free group F determines an embedding of F into the
automorphism group of the corresponding tree T. We view ω as a cocycle for the continuous
∗ of the locally compact group Aut( T ).
bounded cohomology Hcb
Moreover, every path in T is labelled by a reduced word in F. Thus, given a reduced word
w, we can define an F-invariant bounded linear form λw on Ralt [ P], hence also on P, by
specifying its values on individual paths as follows:

 1 if w labels p,
−1 if w labels p,
λw ( p) =

0 otherwise.

This definition ensures that if g ∈ F labels [ x0 , x1 ], then

λ w ◦ ϑ ( x0 , x1 ) = f w ( g ) .
Therefore, we deduce immediately the following relation between the universal class [ω ]
and individual quasimorphisms.
Proposition 2. Let β w ∈ H2b ( F, R) be the bounded cohomology class associated to a Brooks quasimorphism on F for the chosen generators. Then β w is the image of the class of ω under the map
 rest
(λw )∗
H2cb Aut( T ), P −−→ H2b ( F, P ) −−−→ H2b ( F, R),

where the first arrow is the restriction map and the second is induced by λw .



THE CUP PRODUCT OF QUASIMORPHISMS

3

The cup product of two elements of H2cb (Aut( T ), P ) is a class in H4cb with values in the
b P (see
tensor product module P ⊗ P, which we can also (projectively) complete to P ⊗
the preliminaries for the norm). The naturality of the cup product now implies:
Corollary 3. Given two reduced words w and w′ , we keep all the above notation.
b P, is mapped to β w ` β w′
Then [ω ] ` [ω ], viewed as a class with coefficients in P ⊗

b P −→ H4b ( F, R)
H4cb Aut( T ), P ⊗
under the restriction followed by (λw ⊗ λw′ )∗ .



In view of Corollary 3, Theorem 1 is now an immediate consequence of the following
vanishing result for the square of the universal class [ω ].
Theorem 4. Let T be a locally finite tree.

bP .
Then the class of ω ` ω vanishes in H4cb Aut( T ), P ⊗

The remainder of this note is devoted to the proof of Theorem 4.
2. P RELIMINARIES

The cup-product of bounded cocycles ranging in Ralt [ P] or P is trivially bounded for any
cross-norm on the tensor product with underlying norm k · kpath on each factor. For crossnorms, we refer to [13]. We shall choose the projective cross-norm k · kπ and denote by
b P the corresponding completion. Since this is the largest cross-norm, the vanishing
P⊗
result of Theorem 4 with respect to k · kπ implies the corresponding vanishing for any other
cross-norm.
We say that a path p is carried by a path q, and write p ⊏ q, if either p or p is contained
in q as a sub-path. We attach a sign ±1 to these two cases, referred to as the orientation of p
relative to q. We define the interior Int( p) ⊆ V of a path p to consist of all the vertices of the
path except its two extremities.
Recall that any three vertices x0 , x1 , x2 ∈ V determine a center c ∈ V characterized as the
unique common vertex of all [ xi , x j ]. Given a path p, the definition of ω now shows that
ω ( x)( p) = ±1 when p is carried by some [ xi , x j ] and c ∈ Int( p), and that ω ( x)( p) vanishes
otherwise.
A path can contain at most n − 1 sub-paths of length n containing a given vertex in their
interior. Therefore, considering all three configurations and two orientations, we can bound
the norm of ω by
1
kω ( x)kpath ≤ 3 · 2 · ∑ (n − 1) = 6,
n!
n ≥1
witnessing that ω is indeed uniformly bounded.
Recall that a (q + 1)-tuple ( x0 , . . . , xq ) ∈ V q+1 is aligned if the vertices x0 , . . . , xq are contained in some geodesic segment of T. This tuple is furthermore said to be coherent if these
q + 1 vertices are distinct and in increasing order for one of the two linear orders induced
q +1
on { x0 , . . . , xq } by any such segment. We denote by Vcoh ⊆ V q+1 the set of coherent aligned
tuples.
Below, we shall be particularly interested in the above description of ω ( x) specialized to
3 . In that case, ω ( x )( p) = ±1 if x ∈ Int( p) and p is carried by
coherent triples x ∈ Vcoh
1

4

M. BUCHER AND N. MONOD

[ x0 , x2 ], with the sign given by the orientation of p relative to [ x0 , x2 ], and vanishes in all
other cases.
p
✲
s

s

s

x0

x1

x2

3. T HE

=⇒ ω = 1.

COHERENT RESOLUTION
q

Let E be any isometric Banach Aut( T )-module and recall that Hcb (Aut( T ), E) can be computed with the (non-augmented) complex ℓ∞ (V q+1 , E)Aut( T ) of Aut( T )-equivariant elements
of the resolution
(i)

0 −→ E −→ ℓ∞ (V, E) −→ ℓ∞ (V 2 , E) −→ ℓ∞ (V 3 , E) −→ · · ·
q +1

(see e.g. [9, 4.5.2]). There is a natural restriction map to the complex ℓ∞ (Vcoh , E) on coherent
tuples, but we warn the reader that the latter is not a resolution of E.
Recall that an element of ℓ∞ (V q+1 , E) is called alternating if any permutation σ of the variables corresponds to the multiplication by the signature sign(σ). We denote by τq the permuq +1

tation of {0, . . . , q} that reverses the order and observe that its signature is (−1)⌊ 2 ⌋ , where
q +1
⌊·⌋ denotes the integer part. Consider the Aut( T )-equivariant involution τ̂q of ℓ∞ (Vcoh , E)
defined by τ̂q (α)( x) = sign(τq )α( xτq ). Being an involution, it induces an eigenspace decomposition
q +1

q +1

q +1

∞
ℓ∞ (Vcoh , E) = ℓ∞
+ (Vcoh , E ) ⊕ ℓ− (Vcoh , E )
q +1

which is preserved by Aut( T ). Although ℓ∞ (Vcoh , E) is not a resolution, we have:
Proposition 5. The sub-complex
(ii)

1
∞
2
∞
3
0 −→ E −→ ℓ∞
+ (Vcoh , E ) −→ ℓ+ (Vcoh , E ) −→ ℓ+ (Vcoh , E ) −→ · · ·

is a resolution. Moreover, the map
q +1

Aq ◦ rest : ℓ∞ (V q+1 , E) −→ ℓ∞
+ (Vcoh , E )
from (i) to (ii) obtained by restriction followed by the projection Aq = (τ̂q + Id)/2 yields an isomorq
phism between Hcb (Aut( T ), E) and the cohomology of the complex
(iii)

1
Aut( T )
2
Aut( T )
3
Aut( T )
0 −→ ℓ∞
−→ ℓ∞
−→ ℓ∞
−→ · · ·
+ (Vcoh , E )
+ (Vcoh , E )
+ (Vcoh , E )

∞ (V q +1 , E ) the sub-space of alternating maps defined
Proof. Following [2], we denote by ℓA
on aligned tuples. The restriction to coherent tuples thus induces an isomorphism
q +1

∞
ℓA
(V q +1 , E ) ∼
= ℓ∞
+ (Vcoh , E ).

Therefore, the first statement is simply a reformulation of Corollary 8 of [2]. Moreover, as
∞ (V q +1 , E ) are relatively injective in the sense of bounded coobserved there, the modules ℓA
homology because the Aut( T )-action on the set of aligned tuples is proper, see [9, 4.5.2].
∞ (V q +1 , E ) is a direct factor of the larger space without the alternation conMore precisely, ℓA
dition, to which [9, 4.5.2] applies, and one concludes as in [9, 7.4.5] by an alternation map.

THE CUP PRODUCT OF QUASIMORPHISMS

5

A direct computation using the relation sign(τq ) · sign(τq+1 ) = (−1)q+1 shows that τ̂q is
q +1

a chain map. In particular, τ̂q automatically preserves the decomposition ℓ∞
± (Vcoh , E ) and
Aq is a chain map as well. Now the second statement follows by general cohomological
principles (see e.g. §7.2 in [9]).

4. A

PRIMITIVE FOR THE SQUARE OF

ω

ON COHERENT TUPLES

We define an Aut( T )-equivariant map
4
B : Vcoh
−→ Ralt [ P] ⊗ Ralt [ P]

by setting, for any coherent 4-tuple x and any paths p1 , p2 ∈ P,
B( x)( p1 , p2 ) = ±1
whenever all the following hold:
• both p1 and p2 are carried by [ x0 , x3 ],
• the interior of p1 and of p2 are disjoint,
• xi ∈ Int( pi ) for each i = 1, 2.
In that case, the sign ±1 is the product of the orientations of p1 and of p2 relative to [ x0 , x3 ].
All this is perhaps much more intuitive in a picture, drawn for two of the four orientation
possibilities:
p1

p2

s

s

s

s

x0

x1

x2

x3

p1

p2

s

s

s

s

x0

x1

x2

x3

✲

✲✛

✲

=⇒ B = 1.

=⇒ B = −1.

In all other cases, we set B( x)( p1 , p2 ) = 0.
Proposition 6. We have dB( x) = ω ` ω ( x) for every coherent 5-tuple x.
Proof. Let p1 , p2 ∈ P. By definition,
ω ` ω ( x)( p1 , p2 ) = ω ( x0 , x1 , x2 )( p1 ) · ω ( x2 , x3 , x4 )( p2 ).
Thus, ω ` ω ( x)( p1 , p2 ) 6= 0 if and only if all the following hold:

x1 ∈ Int( p1 ) and p1 ⊏ [ x0 , x2 ],
(iv)
x3 ∈ Int( p2 ) and p2 ⊏ [ x2 , x4 ].

As for dB, we observe that dB( x)( p1 , p2 ) = 0 unless possibly

 p1 , p2 have disjoint interior and are carried by [ x0 , x4 ],
x or x2 ∈ Int( p1 ),
(v)
 1
x2 or x3 ∈ Int( p2 ).

In the case when Conditions (v) are not satisfied, Conditions (iv) are not either; therefore in
that case dB and ω ` ω agree since they both vanish.

6

M. BUCHER AND N. MONOD

Suppose now that Conditions (v) are satisfied. By symmetry, we can assume that the
orientation of p1 and p2 are compatible with the orientation of [ x0 , x4 ] (and hence of [ x0 , x3 ]
and of [ x1 , x4 ]). Since p1 and p2 have disjoint interior, x2 is contained in at most one of Int( p1 )
or Int( p2 ); we can suppose that it is not contained in Int( p1 ), the other case being completely
analogous. We have now three cases:
First case: x1 ∈ Int( p1 ), x2 ∈
/ Int( p1 ) ∪ Int( p2 ) and x3 ∈ Int( p2 ).
p1

p2

✲

✲

s

s

s

s

s

x0

x1

x2

x3

x4

The value of ω ` ω ( x)( p1 , p2 ) is +1, while the only non-zero summand in
dB( x)( p1 , p2 ) = Σ4i=0 (−1)i B(. . . , xbi , . . . )

is the one for i = 2, which is indeed also +1.

Second case: x1 ∈ Int( p1 ) and x2 , x3 ∈ Int( p2 ).
p1

p2

✲

✲

s

s

s

s

s

x0

x1

x2

x3

x4

Condition (iv) is not satisfied and hence ω ` ω vanishes. As for dB, only the summands for
i = 2 and i = 3 are non-zero and cancel out to give dB( x)( p1 , p2 ) = 0.
Third case: x1 ∈ Int( p1 ), x2 ∈ Int( p2 ) and x3 ∈
/ Int( p2 ).
p1

p2

s

s

s

s

s

x0

x1

x2

x3

x4

✲

✲

Again, condition (v) is not satisfied and ω ` ω vanishes. As for dB, only the summands for
i = 3 and i = 4 are non-zero and cancel out to give dB( x)( p1 , p2 ) = 0.

5. P ROOF

OF

T HEOREM 4

We first verify that the primitive B is bounded.
4 with respect to the projective norm k · k .
Lemma 7. The map B is uniformly bounded on Vcoh
π
4 and consider abusively any path p as an element of R [ P ]. By definition of
Proof. Fix x ∈ Vcoh
i
the projective cross-norm, we can bound k B( x)kπ by ∑(k p1 kpath · k p2 kpath ), where the sum
runs over all pairs ( p1 , p2 ) on which B( x) does not vanish. Arguing as in our estimate for the
norm of ω, we have at most 2(n1 − 1)(n2 − 1) such pairs whenever we fix the length ni of

THE CUP PRODUCT OF QUASIMORPHISMS

7

each pi . Since on the other hand we have k pi kpath = 1/ni !, we conclude that B( x) has norm
at most
!2
n−1
2(n1 − 1)(n2 − 1)
=2 ∑
= 2.
∑
n1 !n2 !
n!
n
n1 ,n2


4
ℓ∞
+ (Vcoh , P ).

At this point, we conclude that A3 ( B) belongs to
Since A∗ is a chain map
(as pointed out in the proof of Proposition 5), we deduce from Proposition 6 that we have
A4 (ω ` ω ) = dA3 ( B). Now Proposition 5 implies that the class of ω ` ω vanishes, completing the proof of Theorem 4.

Acknowledgements. The authors are grateful to Tobias Hartnick for his comments.
R EFERENCES
[1] Robert Brooks, Some remarks on bounded cohomology, Riemann surfaces and related topics: Proceedings of the
1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), Ann. of Math. Stud., vol. 97,
Princeton Univ. Press, 1981, pp. 53–63.
[2] Michelle Bucher and Nicolas Monod, The bounded cohomology of SL2 over local fields and S-integers, 2017,
IMRN, in press.
[3] Bruno Duchesne and Nicolas Monod, Group actions on dendrites and curves, Preprint, arxiv:1609.00303v2,
2016.
[4] Rostislav I. Grigorchuk, Some results on bounded cohomology, Combinatorial and geometric group theory
(Edinburgh, 1993), London Math. Soc. Lecture Note Ser., vol. 204, Cambridge Univ. Press, Cambridge, 1995,
pp. 111–163.
[5] Tobias Hartnick and Pascal Schweitzer, On quasioutomorphism groups of free groups and their transitivity properties, J. Algebra 450 (2016), 242–281.
[6] Nicolaus Heuer, Cup product in bounded cohomology of the free group, Preprint, arxiv:1710.03193, 2017.
[7] Barry E. Johnson, Cohomology in Banach algebras, AMS, 1972, Mem. Am. Math. Soc. 127.
[8] Yoshihiko Mitsumatsu, Bounded cohomology and l 1 -homology of surfaces, Topology 23 (1984), no. 4, 465–471.
[9] Nicolas Monod, Continuous bounded cohomology of locally compact groups, Lecture Notes in Mathematics 1758,
Springer, Berlin, 2001.
[10] Nicolas Monod and Yehuda Shalom, Negative curvature from a cohomological viewpoint and cocycle superrigidity, C. R. Acad. Sci. Paris Sér. I Math. 337 (2003), no. 10, 635–638.
[11]
, Cocycle superrigidity and bounded cohomology for negatively curved spaces, Journal of Differential Geometry 67 (2004), 395–455.
[12] Akbar Hussein Rhemtulla, A problem of bounded expressibility in free products, Proc. Cambridge Philos. Soc.
64 (1968), 573–584.
[13] Raymond A. Ryan, Introduction to tensor products of Banach spaces, Springer Monographs in Mathematics,
Springer-Verlag London, Ltd., London, 2002.
U NIVERSITY OF G ENEVA , 1211 G ENEVA 4, S WITZERLAND
E-mail address: michelle.bucher-karlsson@unige.ch
EPFL, SB-MATH-EGG, 1015 L AUSANNE , S WITZERLAND
E-mail address: nicolas.monod@epfl.ch

