Skip to content

Instantly share code, notes, and snippets.

@siddhartha-gadgil
Created January 23, 2018 03:45
Show Gist options
  • Select an option

  • Save siddhartha-gadgil/5f54c38985fcd3fa942b9ccc0b0907a3 to your computer and use it in GitHub Desktop.

Select an option

Save siddhartha-gadgil/5f54c38985fcd3fa942b9ccc0b0907a3 to your computer and use it in GitHub Desktop.
speaker Siddhartha Gadgil and Apoorva Khare (IISc Mathematics)
title Eigenfunctions Seminar: Homogeneous length functions on Groups: A polymath adventure
date 15 January, 2018
time 4 pm
venue 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