Related papers: Diophantine Geometry over Groups IX: Envelopes and…
We introduce ideas from geometric group theory related to boundaries of groups. This is a mostly expository paper. We consider the visual boundary of a free abelian group, and show that it is an uncountable set with the trivial topology.
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy…
The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from…
In this article, we extend Anderson's higher-dimensional Dehn filling construction to a large class of infinite-volume hyperbolic manifolds. This gives an infinite family of topologically distinct asymptotically hyperbolic Einstein…
Using classical results of infinite-dimensional geometry, we show that the isometry group of the Urysohn space, endowed with its usual Polish group topology, is homeomorphic to the separable Hilbert space. The proof is basedon a lemma about…
We introduce the notion of a "crystallographic sphere packing," defined to be one whose limit set is that of a geometrically finite hyperbolic reflection group in one higher dimension. We exhibit for the first time an infinite family of…
The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often…
Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to…
We embark on a tour that takes us through four closely related topics: the dual concepts of independence and spanning in finite abelian groups and the analogous dual concepts of designs and distance sets on spheres. We review some of the…
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and…
Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing ground fields of arithmetic hyperbolic reflection groups are defined, and good bounds of their degrees (over Q) are obtained. For example, degree…
A paratopological group $G$ has a {\it suitable set} $S$. The latter means that $S$ is a discrete subspace of $G$, $S\cup \{e\}$ is closed, and the subgroup $\langle S\rangle$ of $G$ generated by $S$ is dense in $G$. Suitable sets in…
Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively…
Anabelian geometry suggests that, for suitably geometric objects, their \'etale fundamental groups determine the geometric objects up to isomorphism. From a group-theoretic viewpoint, this philosophy requires rigidity properties, which…
We find algebraic conditions on a group equivalent to the position of its Diophantine problem in the Chomsky Hierarchy. In particular, we prove that a finitely generated group has a context-free Diophantine problem if and only if it is…
Hyperbolic deep learning leverages the metric properties of hyperbolic spaces to develop efficient and informative embeddings of hierarchical data. Here, we focus on the solvable group structure of hyperbolic spaces, which follows naturally…
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior…
Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
In this paper we prove that the Diophantine problem in iterated restricted wreath products $G$ of arbitrary non-trivial free abelian groups $A_1,\ldots, A_k$, $k>1$ of finite ranks is undecidable, i.e., there is no algorithm that given a…