Metric Kaplansky conjecture for bounded metric groups

About 6 years old · traced to

Let KK be a finite field, let ε>0\varepsilon>0 and N∈NN\in\mathbb{N}. For a metric group (G,∥⋅∥)(G,\|\cdot\|) with ∥⋅∥≤1\|\cdot\|\leq 1, let K[G]K[G] be its group ring, let l(a)l(a) denote the relevant length of an element, let Δ(G)\Delta(G) denote the augmentation ideal, and let ∥⋅∥S\|\cdot\|_S denote the seminorm used in the source. Metric Kaplansky conjecture. There exists δ(ε,N)>0\delta(\varepsilon,N)>0 such that, for all a,b∈K[G]a,b\in K[G] with l(a),l(b)≤Nl(a),l(b)\leq N and ab−1∈Δ(G)ab-1\in\Delta(G),

∥ab−1∥S<δ(ε,N)⟹∥ba−1∥S<ε.\|ab-1\|_S<\delta(\varepsilon,N)\quad\Longrightarrow\quad\|ba-1\|_S<\varepsilon.

This is a quantitative form of Kaplansky's direct finiteness conjecture; the source says it is known for the permutation metric-group class, but gives no general estimate for δ(ε,N)\delta(\varepsilon,N).

References

Primary source

Michal Doucha and Jakub Gismatullin, “On Dual surjunctivity and applications”, arXiv:2008.10565 (2020).

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.