Self-similarity conjecture for open subgroups of norm-one groups

Let KK be a finite extension of Qp\mathbb{Q}_p with ramification index ee and residue degree dd, let DD be a central division algebra over KK of degree nn, let Δ\Delta be a maximal order in DD, and write SL1(D)SL_1(D) for the group of elements of reduced norm one. For lNl\in\mathbb{N}, set

SL1l(D)=SL1(D)(1+pl),SL_1^l(D)=SL_1(D)\cap(1+\mathfrak{p}^l),

where p\mathfrak{p} is the unique maximal two-sided ideal of Δ\Delta.

Self-similarity conjecture. Assume that n2n\geq 2 and pd(n21)p\geq d(n^2-1). Then no open subgroup of SL1ne(D)SL_1^{ne}(D) is self-similar.

The conjecture generalizes the cited conjecture for self-similarity of norm-one groups and is supported by the theorem in the paper, which proves the corresponding non-self-similarity statement for SL1mne(D)SL_1^{mne}(D) under the stated hypotheses. Its full assertion for every open subgroup remains unresolved in the supplied text.

Sources & referencesView supporting material

Primary source

Francesco Noseda and Ilir Snopce, “On the self-similarity of the norm one group of p-adic division algebras”, arXiv:2303.14852 (2023).

Additional references

4 papers in this index state this conjecture (2019–2023). The statement above is taken from the most recent of them; the others are arXiv:2101.03639, arXiv:2010.09881, arXiv:1912.12375.

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.