AMR-011-0004 · Complete proof

Adjoining a Haar-Generic Matrix to a Parabolic-Free Subgroup of SL₂(Qₚ)

Manuscript 29 August 2026 · Online 2 September 2026

math.GRmath.PRUnrefereed preprint

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
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}
}