Adjoining a Haar-Generic Matrix to a Parabolic-Free Subgroup of SL₂(Qₚ)
Manuscript 29 August 2026 · Online 2 September 2026
Abstract
Let \(\Gamma\) be a countable subgroup of \(\G(\mathbb Q_p)\) containing no noncentral element of trace \(2\) or \(-2\) . We prove that, outside a Haar-null set of \(g\in\G(\mathbb Q_p)\) , the generated group \(\langle\Gamma,g\rangle\) has the same property. Thus adjoining one random element preserves the absence of parabolics almost surely, answering Question 4 in Miklós Abért's 2010 list. The key elementary lemma classifies the problematic one-variable generalized words: if all constants lie in a parabolic-free subgroup of \(\G\) and the trace of the word is identically \(2\) or \(-2\) , then the word map is identically \(I\) or \(-I\) . The proof evaluates the word on \(I+tN\) over the nilpotent cone. Its two highest coefficients force a central endpoint product and cancellation of the outer exponents, reducing the word by conjugation and induction. This manuscript is unrefereed and makes no absolute priority claim.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete proof
- Categories
- math.GR · math.PR
- Manuscript
- 29 August 2026
- Online release
- 2 September 2026
- Version
- 1.0 (typesetting revision 2026-09-05)
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
PDF typesetting revised 5 September 2026: author/contact layout and disclosure placement only. The DOI links to the original archived edition; the mathematical content is unchanged.
Citation
Alper Ferudun, “Adjoining a Haar-Generic Matrix to a Parabolic-Free Subgroup of SL₂(Qₚ),” EulerSolve Research Papers, AMR-011-0004, 2026. https://doi.org/10.5281/zenodo.22245813.
BibTeX
@misc{Ferudun2026Amr0110004,
author = {Ferudun, Alper},
title = {Adjoining a Haar-Generic Matrix to a Parabolic-Free Subgroup of SL₂(Qₚ)},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/amr-011-0004/},
doi = {10.5281/zenodo.22245813},
note = {AMR-011-0004; unrefereed preprint}
}