Equality of asymptotic norms in the free-group completion

At least 3 years old · documented by

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,…,gn∈Gg_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,…,gn∈Gg_1,\dots,g_n\in G,

lim⁡k→∞1k∥g1k⋯gnk∥=lim⁡k→∞1k∥g1k‾⋯gnk‾∥F(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.

References

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.