Last week, Michael Brandenbursky from the Technion gave a talk at Caltech on an interesting connection between knot theory and quasimorphisms. Michael’s paper on this subject may be obtained from the arXiv. Recall that given a group , a quasimorphism is a function for which there is some least real number (called the *defect*) such that for all pairs of elements there is an inequality . Bounded functions are quasimorphisms, although in an uninteresting way, so one is usually only interested in quasimorphisms up to the equivalence relation that if the difference is bounded. It turns out that each equivalence class of quasimorphism contains a unique representative which has the extra property that for all and . Such quasimorphisms are said to be *homogeneous*. Any quasimorphism may be *homogenized* by defining (see e.g. this post for more about quasimorphisms, and their relation to stable commutator length).

Many groups that do not admit many homomorphisms to nevertheless admit rich families of homogeneous quasimorphisms. For example, groups that act weakly properly discontinuously on word-hyperbolic spaces admit infinite dimensional families of homogeneous quasimorphisms; see e.g. Bestvina-Fujiwara. This includes hyperbolic groups, but also mapping class groups and braid groups, which act on the complex of curves.

Michael discussed another source of quasimorphisms on braid groups, those coming from knot theory. Let be a knot invariant. Then one can extend to an invariant of pure braids on strands by where , and the “hat” denotes plat closure. It is an interesting question to ask: under what conditions on is the resulting function on braid groups a quasimorphism?

In the abstract, such a question is probably very hard to answer, so one should narrow the question by concentrating on knot invariants of a certain kind. Since one wants the resulting invariants to have some relation to the algebraic structure of braid groups, it is natural to look for functions which factor through certain algebraic structures on knots; Michael was interested in certain *homomorphisms* from the *knot concordance group* to . We briefly describe this group, and a natural class of homomorphisms.

Two oriented knots in the -sphere are said to be *concordant* if there is a (locally flat) properly embedded annulus in with and . Concordance is an equivalence relation, and the equivalence classes form a group, with connect sum as the group operation, and orientation-reversed mirror image as inverse. The only subtle aspect of this is the existence of inverses, which we briefly explain. Let be an arbitrary knot, and let denote the mirror image of with the opposite orientation. Arrange in space so that they are symmetric with respect to reflection in a dividing plane. There is an immersed annulus in which connects each point on to its mirror image on , and the self-intersections of this annulus are all disjoint embedded arcs, corresponding to the crossings of in the projection to the mirror. This annulus is an example of what is called a *ribbon* surface. Connect summing to by pushing out a finger of each into an arc in the mirror connects the ribbon annulus to a ribbon disk spanning . A ribbon surface (in particular, a ribbon disk) can be pushed into a (smoothly) embedded surface in a -ball bounding . Puncturing the -ball at some point on this smooth surface, one obtains a concordance from to the unknot, as claimed.

The resulting group is known as the *concordance group* of knots. Since connect sum is commutative, this group is abelian. Notice as above that a *slice* knot — i.e. a knot bounding a locally flat disk in the -ball — is concordant to the unknot. Ribbon knots (those bounding ribbon disks) are smoothly slice, and therefore slice, and therefore concordant to the trivial knot. Concordance makes sense for codimension two knots in any dimension. In higher even dimensions, knots are always slice, and in higher odd dimensions, Levine found an algebraic description of the concordance groups in terms of (Witt) equivalence classes of linking pairings on a Seifert surface; (some of) this information is contained in the *signature* of a knot.

Let be a knot (in for simplicity) with Seifert surface of genus . If are loops in , define to be the linking number of with , which is obtained from by pushing it to the positive side of . The function is a bilinear form on , and after choosing generators, it can be expressed in terms of a matrix (called the *Seifert matrix* of ). The *signature* of , denoted , is the signature (in the usual sense) of the symmetric matrix . Changing the orientation of a knot does not affect the signature, whereas taking mirror image multiplies it by . Moreover, if are Seifert surfaces for , one can form a Seifert surface for for which there is some sphere that intersects in a separating arc, so that the pieces on either side of the sphere are isotopic to the , and therefore the Seifert matrix of can be chosen to be block diagonal, with one block for each of the Seifert matrices of the ; it follows that . In fact it turns out that is a *homomorphism* from to ; equivalently (by the arguments above), it is zero on knots which are topologically slice. To see this, suppose bounds a locally flat disk in the -ball. The union is an embedded bicollared surface in the -ball, which bounds a -dimensional Seifert “surface” whose interior may be taken to be disjoint from . Now, it is a well-known fact that for any oriented -manifold , the inclusion induces a map whose kernel is *Lagrangian* (with respect to the usual symplectic pairing on of an oriented surface). Geometrically, this means we can find a basis for the homology of (which is equal to the homology of ) for which half of the basis elements bound -chains in . Let be obtained by pushing off in the positive direction. Then chains in and chains in are disjoint (since and are disjoint) and therefore the Seifert matrix of has a block form for which the lower right block is identically zero. It follows that also has a zero lower right block, and therefore its signature is zero.

The Seifert matrix (and therefore the signature), like the Alexander polynomial, is sensitive to the structure of the first homology of the universal abelian cover of ; equivalently, to the structure of the maximal metabelian quotient of . More sophisticated “twisted” and signatures can be obtained by studying further derived subgroups of as modules over group rings of certain solvable groups with torsion-free abelian factors (the so-called *poly-torsion-free-abelian* groups). This was accomplished by Cochran-Orr-Teichner, who used these methods to construct infinitely many new concordance invariants.

The end result of this discussion is the existence of many, many interesting homomorphisms from the knot concordance group to the reals, and by plat closure, many interesting invariants of braids. The connection with quasimorphisms is the following:

**Theorem**(Brandenbursky): A homomorphism gives rise to a quasimorphism on braid groups if there is a constant so that , where denotes -ball genus.

The proof is roughly the following: given pure braids one forms the knots , and . It is shown that the connect sum bounds a Seifert surface whose genus may be universally bounded in terms of the number of strands in the braid group. Pushing this Seifert surface into the -ball, the hypothesis of the theorem says that is uniformly bounded on . Properties of then give an estimate for the defect; qed.

It would be interesting to connect these observations up to other “natural” chiral, homogeneous invariants on mapping class groups. For example, associated to a braid or mapping class one can (usually) form a hyperbolic -manifold which fibers over the circle, with fiber and monodromy . The -invariant of is the signature defect where is a -manifold with with a product metric near the boundary, and is the first Pontriagin form on (expressed in terms of the curvature of the metric). Is a quasimorphism on some subgroup of (eg on a subgroup consisting entirely of pseudo-Anosov elements)?

Naive question. The dilatation lambda is a map from the mapping class group to R (or at least on pseudo-Anosovs, so replace the mapping class group with a subgroup consisting entirely of p-As if you want.) It satisfies lambda(g^n) = n lambda(g). Is there any chance this is a quasimorphism?

My guess is no, just on grounds that lambda is a bit like a function that sends matrices to the largest absolute value of an eigenvalue, and this isn’t a quasimorphism at all. (Indeed, for Gamma_{1,1} this really IS what lambda is so I guess that ends the question in at least one case.)

Dilatation satisfies for

positive, but unfortunately not for negative ; it is more like a norm (as your comment more or less observes). One can think of dilatation as a bit like translation length (in the Teichmuller metric); by contrast, a quasimorphism is less like the length of a geodesic than the integral of some -form over that geodesic. This idea leads to the concept of counting quasimorphisms, one of the few known general methods for constructing quasimorphisms on groups (under suitable negative curvature hypotheses). The Bestvina-Fujiwara construction of quasimorphisms on mapping class groups is of this nature.Stable norms — those satisfying — and quasimorphisms are related; for instance, there is a duality between stable commutator length (which is a (pseudo)-norm on the space of homologically trivial group 1-chains) and homogeneous quasimorphisms modulo homomorphisms (with the ”defect” norm). Another interesting relationship between norms and quasimorphisms is discussed in a paper of Burago-Ivanov-Polterovich (http://arxiv.org/abs/0710.1412).