Equality of asymptotic norms in the free-group completion

Let GG be a group with norm \|\cdot\|, and let F(G)F(G) denote the free group on the underlying set of GG, with generators written g\overline g. For g1,,gnGg_1,\dots,g_n\in G, compare the normalized norm of their product in GG with the normalized free-group norm of the product of the corresponding powered generators. Asymptotic norm conjecture. For any g1,,gnGg_1,\dots,g_n\in G,

limk1kg1kgnk=limk1kg1kgnkF(G).\lim_{k\to\infty}\frac{1}{k}\|g_1^k\cdots g_n^k\|=\lim_{k\to\infty}\frac{1}{k}\|\overline{g_1^k}\cdots\overline{g_n^k}\|_{F(G)}.

This equality is presented as the additional condition needed to establish that the relevant homomorphisms are isometric embeddings; the source does not state a resolution.

Sources & referencesView supporting material

Primary source

Jarek Kędra and Assaf Libman, “Directional asymptotic cones of groups equipped with bi-invariant metrics”, arXiv:2207.12704 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.