Maximal Haagerup subgroups in \(\mathbb{Z}^{n + 1} \rtimes_{\rho_{n}} \mathrm{GL}_{2}(\mathbb{Z})\) (Q6579309)

A group \(G\) with the Haagerup property represents a strong negation of Kazhdan's property (T), or equivalently, a weak form of amenability, having important consequences for \(G\) such as the Baum-Connes and the related Novikov conjectures holding true. Even if by a result of \textit{M. Burger} [J. Reine Angew. Math. 413, 36--67 (1991; Zbl 0704.22009)], there exist non-amenable subgroups \(G\) of \(\mathrm{SL}_2(\mathbb{Z})\) such that the semi-direct product \(\mathbb{Z}^2 \rtimes G\) is not Haagerup, in spite of the fact that \(\mathbb{Z}^2\) and \(G\) are both Haagerup, it is still important to try to provide a list of all maximal Haagerup subgroups of such \(\mathbb{Z}^2 \rtimes G\).\N\NInspired by [Groups Geom. Dyn. 15, No. 3, 849--892 (2021; Zbl 1489.46066)], where \textit{Y. Jiang} and \textit{A. Skalski} classify maximal Haagerup subgroups of the semidirect product \(\mathbb{Z}^2 \rtimes \mathrm{SL}_2(\mathbb{Z})\), in this paper, the author extends this classification to a more general setting. He considers the semidirect product \(\mathbb{Z}^{n+1} \rtimes_{\rho_n} G\) and describes all its maximal Haagerup subgroups, where \(G\) a non-amenable subgroup of \(\mathrm{GL}_2(\mathbb{Z})\) and \(\rho_n\) represents the standard action of \(\mathrm{GL}_2(\mathbb{Z})\) on the space \(P^n(\mathbb{Z}) \cong \mathbb{Z}^{n+1}\) of homogeneous polynomials of degree \(n\) in two variables with integer coefficients. Even if the author's result looks the same as of Jiang and Skalski [loc. cit.], he employs totally different arguments for some of the proofs.