Search for: All records

For every compact, connected manifold $M$, we prove the existence of a sentence ${\mathrm{\varphi <\#comment/>}}_M$in the language of groups such that the homeomorphism group of another compact manifold $N$satisfies ${\mathrm{\varphi <\#comment/>}}_M$if and only if $N$is homeomorphic to $M$. We prove an analogous statement for groups of homeomorphisms preserving Oxtoby–Ulam probability measures. 

The purpose of this paper is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs [Formula: see text] forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups [Formula: see text] agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of vector space expanders, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky–Zelmanov and Bourgain–Yehudayoff. 

Abstract Let $$\Delta $$ Δ be a hyperbolic triangle with a fixed area $$\varphi $$ φ . We prove that for all but countably many $$\varphi $$ φ , generic choices of $$\Delta $$ Δ have the property that the group generated by the $$\pi $$ π -rotations about the midpoints of the sides of the triangle admits no nontrivial relations. By contrast, we show for all $$\varphi \in (0,\pi ){\setminus }\mathbb {Q}\pi $$ φ ∈ ( 0 , π ) \ Q π , a dense set of triangles does afford nontrivial relations, which in the generic case map to hyperbolic translations. To establish this fact, we study the deformation space $$\mathfrak {C}_\theta $$ C θ of singular hyperbolic metrics on a torus with a single cone point of angle $$\theta =2(\pi -\varphi )$$ θ = 2 ( π - φ ) , and answer an analogous question for the holonomy map $$\rho _\xi $$ ρ ξ of such a hyperbolic structure $$\xi $$ ξ . In an appendix by Gao, concrete examples of $$\theta $$ θ and $$\xi \in \mathfrak {C}_\theta $$ ξ ∈ C θ are given where the image of each $$\rho _\xi $$ ρ ξ is finitely presented, non-free and torsion-free; in fact, those images will be isomorphic to the fundamental groups of closed hyperbolic 3-manifolds.