Metric Kaplansky conjecture for bounded metric groups

Let KK be a finite field, let ε>0\varepsilon>0 and NNN\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,bK[G]a,b\in K[G] with l(a),l(b)Nl(a),l(b)\leq N and ab1Δ(G)ab-1\in\Delta(G),

ab1S<δ(ε,N)ba1S<ε.\|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).

Sources & referencesView supporting material

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.