Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.37237

Redundant generation in $\operatorname{PSL}_2\left(\mathbb{Q}_p\right)$

Yair Glasner·Amit Levinson-Sela
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a free group on $n$ generators, $F_n$, and a topological group $G$, $\operatorname{Aut}\left(F_n\right)$ acts on $\operatorname{Epi}\left(F_n,G\right)$, the set of homomorphisms $f:F_n \rightarrow G$ with dense image. $f\in \operatorname{Epi}\left(F_n,G\right)$ is called redundant if there is a proper free factor $A < F_n$ whose image under $f$ is dense in $G$. For $n \ge 3$, $G = \operatorname{PSL}_2 \left(\mathbb{Q}_p\right)$, we prove that every $f\in \operatorname{Epi}\left(F_n,G\right)$ with torsion-free image is redundant, and give sufficient conditions for $f$ to be redundant even when its image is not torsion-free.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yair Glasner, Amit Levinson-Sela. 2026-09-29. Redundant generation in $\operatorname{PSL}_2\left(\mathbb{Q}_p\right)$. https://arxiv.org/abs/2609.37237

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The finite basis problem for $2\times 2$ triangular Boolean matrix semirings and incidence semirings

An explicit finite identity basis is given for the eight-element semiring of upper triangular Boolean \(2\times2\) matrices in the signature \((+,\cdot)\). The basis consists of a known multiplicative basis, the ai-semiring laws, and 30 mixed identities, each using at most eight variables. The proof combines a finite basis for the multiplicative reduct with finite rules for shuffling words, duplicating a marked occurrence, and interchanging adjacent occurrences while adding prescribed witnesses. This converts the one-letter gap criterion into a derivation of every valid semiring identity. We also study the band subvariety, a distinguished 156-element interval of the subvariety lattice, congruences, flat members, and finite representations of free algebras. Every \(m\)-letter word has an equivalent subword of length at most \(m^2\) for \(m\geq2\), and the free algebras have doubly exponential rank growth. For arbitrary partially ordered sets, we determine the equational theory of Boolean relation semirings and of finite-support incidence semirings over nontrivial bounded distributive lattices: finite height \(h\) gives the theory of \(T_h\), while unbounded height gives precisely the identities of all additively idempotent semirings.

math.GR↗
arXiv2026

Uniquely labelled geodesics of Coxeter groups

Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.

math.GR↗