On isomorphisms between ideals of Fourier algebras of finite abelian groups (Q6565888)

The main result of this paper states that if \(p\) is a prime number, \(\alpha\in\mathbb{N}\), and \(G\) is an infinite abelian group such that its dual group \(\widehat{G}\) is a compact torsion group and does not contain any subgroup isomorphic to \((\mathbb{Z}_{p^\alpha})^{\omega}\), then there exists a sequence \((\Phi_G(N))_{N=1}^\infty\) that diverges to \(\infty\) such that every algebra isomorphism\N\[\NT: A(\mathbb{Z}_{p^\alpha}^N)\to I\N\]\Nwhere \(I\) is an ideal in \(A(G)\) satisfies \(\lVert T\rVert\ge \Phi_G(N)\). In the case where \(G\) is a \(p\)-group, the authors prove that \(\Phi_G(N)\) can be chosen to satisfy\N\[\N\Phi_G(N)>C(\log N)^{\frac{1}{4+c}}\N\]\Nwhile if \(G\) has no \(p\)-subgroups,\N\[\N\Phi_G(N)>C(\log(\log N))^{\frac{1}{4+c}}\N\]\Nwhere \(C\) and \(c\) are positive constants independent of \(N\).\N\NTheir proof utilises the deep results on additive combinatorics and number theory by \textit{B.~Green} and \textit{T.~Sanders} [Ann. Math. (2) 168, No.~3, 1025--1054 (2008; Zbl 1170.43003)], \textit{T.~Sanders} [J. Fourier Anal. Appl. 26, No.~2, Paper No.~25, 64~p. (2020; Zbl 1455.43002)]) and by \textit{J.-H. Evertse} [Compos. Math. 53, 225--244 (1984; Zbl 0547.10008)].