You are currently browsing the tag archive for the ‘polymath14’ tag.
The Polymath14 online collaboration has uploaded to the arXiv its paper “Homogeneous length functions on groups“, submitted to Algebra & Number Theory. The paper completely classifies homogeneous length functions on an arbitrary group
, that is to say non-negative functions that obey the symmetry condition
, the non-degeneracy condition
, the triangle inequality
, and the homogeneity condition
. It turns out that these norms can only arise from pulling back the norm of a Banach space by an isometric embedding of the group. Among other things, this shows that
can only support a homogeneous length function if and only if it is abelian and torsion free, thus giving a metric description of this property.
The proof is based on repeated use of the homogeneous length function axioms, combined with elementary identities of commutators, to obtain increasingly good bounds on quantities such as , until one can show that such norms have to vanish. See the previous post for a full proof. The result is robust in that it allows for some loss in the triangle inequality and homogeneity condition, allowing for some new results on “quasinorms” on groups that relate to quasihomomorphisms.
As there are now a large number of comments on the previous post on this project, this post will also serve as the new thread for any final discussion of this project as it winds down.
In the tradition of “Polymath projects“, the problem posed in the previous two blog posts has now been solved, thanks to the cumulative effect of many small contributions by many participants (including, but not limited to, Sean Eberhard, Tobias Fritz, Siddharta Gadgil, Tobias Hartnick, Chris Jerdonek, Apoorva Khare, Antonio Machiavelo, Pace Nielsen, Andy Putman, Will Sawin, Alexander Shamov, Lior Silberman, and David Speyer). In this post I’ll write down a streamlined resolution, eliding a number of important but ultimately removable partial steps and insights made by the above contributors en route to the solution.
Theorem 1 Let
be a group. Suppose one has a “seminorm” function
which obeys the triangle inequality
for all
, with equality whenever
. Then the seminorm factors through the abelianisation map
.
Proof: By the triangle inequality, it suffices to show that for all
, where
is the commutator.
We first establish some basic facts. Firstly, by hypothesis we have , and hence
whenever
is a power of two. On the other hand, by the triangle inequality we have
for all positive
, and hence by the triangle inequality again we also have the matching lower bound, thus
for all . The claim is also true for
(apply the preceding bound with
and
). By replacing
with
if necessary we may now also assume without loss of generality that
, thus
Next, for any , and any natural number
, we have
so on taking limits as we have
. Replacing
by
gives the matching lower bound, thus we have the conjugation invariance
Next, we observe that if are such that
is conjugate to both
and
, then one has the inequality
Indeed, if we write for some
, then for any natural number
one has
where the and
terms each appear
times. From (2) we see that conjugation by
does not affect the norm. Using this and the triangle inequality several times, we conclude that
and the claim (3) follows by sending .
The following special case of (3) will be of particular interest. Let , and for any integers
, define the quantity
Observe that is conjugate to both
and to
, hence by (3) one has
which by (2) leads to the recursive inequality
We can write this in probabilistic notation as
where is a random vector that takes the values
and
with probability
each. Iterating this, we conclude in particular that for any large natural number
, one has
where and
are iid copies of
. We can write
where
are iid signs. By the triangle inequality, we thus have
noting that is an even integer. On the other hand,
has mean zero and variance
, hence by Cauchy-Schwarz
But by (1), the left-hand side is equal to . Dividing by
and then sending
, we obtain the claim.
The above theorem reduces such seminorms to abelian groups. It is easy to see from (1) that any torsion element of such groups has zero seminorm, so we can in fact restrict to torsion-free groups, which we now write using additive notation , thus for instance
for
. We think of
as a
-module. One can then extend the seminorm to the associated
-vector space
by the formula
, and then to the associated
-vector space
by continuity, at which point it becomes a genuine seminorm (provided we have ensured the symmetry condition
). Conversely, any seminorm on
induces a seminorm on
. (These arguments also appear in this paper of Khare and Rajaratnam.)
This post is a continuation of the previous post, which has attracted a large number of comments. I’m recording here some calculations that arose from those comments (particularly those of Pace Nielsen, Lior Silberman, Tobias Fritz, and Apoorva Khare). Please feel free to either continue these calculations or to discuss other approaches to the problem, such as those mentioned in the remaining comments to the previous post.
Let be the free group on two generators
, and let
be a quantity obeying the triangle inequality
and the linear growth property
for all and integers
; this implies the conjugation invariance
or equivalently
We consider inequalities of the form
for various real numbers . For instance, since
we have (1) for . We also have the following further relations:
Proposition 1
Proof: For (i) we simply observe that
For (ii), we calculate
giving the claim.
For (iii), we calculate
giving the claim.
For (iv), we calculate
giving the claim.
Here is a typical application of the above estimates. If (1) holds for , then by part (i) it holds for
, then by (ii) (2) holds for
, then by (iv) (1) holds for
. The map
has fixed point
, thus
For instance, if , then
.
Here is a curious question posed to me by Apoorva Khare that I do not know the answer to. Let be the free group on two generators
. Does there exist a metric
on this group which is
- bi-invariant, thus
for all
; and
- linear growth in the sense that
for all
and all natural numbers
?
By defining the “norm” of an element to be
, an equivalent formulation of the problem asks if there exists a non-negative norm function
that obeys the conjugation invariance
for all , the triangle inequality
for all , and the linear growth
for all and
, and such that
for all non-identity
. Indeed, if such a norm exists then one can just take
to give the desired metric.
One can normalise the norm of the generators to be at most , thus
This can then be used to upper bound the norm of other words in . For instance, from (1), (3) one has
A bit less trivially, from (3), (2), (1) one can bound commutators as
In a similar spirit one has
What is not clear to me is if one can keep arguing like this to continually improve the upper bounds on the norm of a given non-trivial group element
to the point where this norm must in fact vanish, which would demonstrate that no metric with the above properties on
would exist (and in fact would impose strong constraints on similar metrics existing on other groups as well). It is also tempting to use some ideas from geometric group theory (e.g. asymptotic cones) to try to understand these metrics further, though I wasn’t able to get very far with this approach. Anyway, this feels like a problem that might be somewhat receptive to a more crowdsourced attack, so I am posing it here in case any readers wish to try to make progress on it.
Recent Comments