Skip to content

Instantly share code, notes, and snippets.

@siddhartha-gadgil
Created January 23, 2018 03:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save siddhartha-gadgil/5f54c38985fcd3fa942b9ccc0b0907a3 to your computer and use it in GitHub Desktop.
Save siddhartha-gadgil/5f54c38985fcd3fa942b9ccc0b0907a3 to your computer and use it in GitHub Desktop.
speaker title date time venue
Siddhartha Gadgil and Apoorva Khare (IISc Mathematics)
Eigenfunctions Seminar: Homogeneous length functions on Groups: A polymath adventure
15 January, 2018
4 pm
LH-1, Mathematics Department

Terence Tao posted on his blog a question of Apoorva Khare, asking whether the free group on two generators has a length function $l: F_2 \to\mathbb{R}$ (i.e., satisfying the triangle inequality) which is homogeneous, i.e., such that $l(g^n) = nl(g)$. A week later, the problem was solved by an active collaboration of several mathematicians (with a little help from a computer) through Tao's blog. In fact a more general result was obtained, namely that any homogeneous length function on a group $G$ factors through its abelianization $G/[G, G]$.

I will discuss the proof of this result and also the process of discovery (in which I had a minor role).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment