BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Daniel Studenmund appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Locally symmetric spaces like $SL(n,\mathbb Z)\backslash SL_n(\mathbb R)/SO(n)$ contain immersed compact flat manifolds of dimension equal to the real rank. We give a lower bound for the contribution of these cycles to the homology of congruence covers. Similar results are proved for other families of locally symmetric spaces.
For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group. In contrast to $\text{SL}_n(\mathcal{O})$, we prove that the dualizing module of $\text{GL}_n(\mathcal{O})$ is sometimes the Steinberg module, but sometimes instead is a variant that takes into account a sort of orientation. Using this, we obtain vanishing and nonvanishing theorems for the cohomology of $\text{GL}_n(\mathcal{O})$ in its virtual cohomological dimension.
Fixing a subgroup $Γ$ in a group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] = n$. For pairs $Γ\leq A$, where $A$ is the automorphism group of a $p$-regular tree and $Γ$ is finitely generated, we show that this function can take on finite, countable, or uncountable cardinals. For almost all known branch groups $Γ$ (the first Grigorchuk group, the twisted twin Grigorchuk group, Pervova groups, Gupta-Sidki groups, etc.) acting on $p$-regular trees, this function is precisely $\aleph_0$ for any $n = p^k$.
Let Gamma be a lattice in a simply-connected solvable Lie group. We construct a Q-defined algebraic group A such that the abstract commensurator of Gamma is isomorphic to A(Q) and Aut(Gamma) is commensurable with A(Z). Our proof uses the algebraic hull construction, due to Mostow, to define an algebraic group H so that commensurations of Gamma extend to Q-defined automorphisms of H. We prove an analogous result for lattices in connected linear Lie groups whose semisimple quotient satisfies superrigidity.
Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilpotency class and dimension of $G$. In the general case, we give a method for finding an upper bound of the form $n^b$ where $b$ is a natural number determined by what we call a terraced filtration of $G$. Finally, we characterize nilpotent groups for which the word growth and full residual finiteness growth coincide.
We initiate the study of the $p$-local commensurability graph of a group, where $p$ is a prime. This graph has vertices consisting of all finite-index subgroups of a group, where an edge is drawn between $A$ and $B$ if $[A : A\cap B]$ and $[B: A\cap B]$ are both powers of $p$. We show that any component of the $p$-local commensurability graph of a group with all nilpotent finite quotients is complete. Further, this topological criterion characterizes such groups. In contrast to this result, we show that for any prime $p$ the $p$-local commensurability graph of any large group (e.g. a nonabelian free group or a surface group of genus two or more or, more generally, any virtually special group) has geodesics of arbitrarily long length.
Let Gamma be an S-arithmetic subgroup of a solvable algebraic group G over an algebraic number field F, such that the finite set S contains at least one place that is nonarchimedean. We construct a certain group H, such that if L is any local field and alpha is any homomorphism from Gamma to GL(n,L), then alpha virtually extends (modulo a bounded error) to a continuous homomorphism defined on some finite-index subgroup of H. In the special case where F is the field of rational numbers, the real-rank of G is 0, and Gamma is Zariski-dense in G, we may let H = G_S. We also point out a generalization that does not require G to be solvable.
We show that the abstract commensurator of an S-arithmetic subgroup of a solvable algebraic group over Q is isomorphic to the Q-points of an algebraic group, and compare this with examples of nonlinear abstract commensurators of S-arithmetic groups in positive characteristic. In particular, we include a description of the abstract commensurator of the lamplighter group.