We construct a nonuniform lattice and an infinite family of uniform lattices in the automorphism group of a hyperbolic building with all links a fixed finite building of rank 2 associated to a Chevalley group. We use complexes of groups and basic facts about spherical buildings.
We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free
In this article, we study the manifold structure and the relatively hyperbolic structure of right-angled Coxeter groups with planar nerves. We then apply our results to the quasi-isometry problem for this class of right-angled Coxeter groups.
We study rigidity properties of lattices in hyperbolic n-space with n>2 and of surface groups in the context of (integrable) measure equivalence. The results for lattices in hyperbolic n-space with n>2 are generalizations of Mostow rigidity; they include a cocycle version of strong rigidity and an integrable measure equivalence classification. Despite the lack of Mostow rigidity for n=2 we show that cocompact lattices in SL(2,R) allow a similar integrable measure equivalence classification.
We prove, under the assumption of the virtual fibration conjecture for arithmetic hyperbolic 3-manifolds, that all arithmetic lattices in O(n,1), n> 4, and different from 7, are non-coherent. We also establish noncoherence of uniform arithmetic lattices of the simplest type in SU(n,1), n> 1, and of uniform lattices in SU(2,1) which have infinite abelianization.
We give an explicit construction of a maximal torsion-free finite-index subgroup of a certain type of Coxeter group. The subgroup is constructed as the fundamental group of a finite and non-positively curved polygonal complex. First we consider the special case where the universal cover of this polygonal complex is a hyperbolic building, and we construct finite-index embeddings of the fundamental group into certain cocompact lattices of the building. We show that in this special case the fundamental group is an amalgam of surface groups over free groups. We then consider the general case, and …
Based on the concept of dual cones introduced by J.Opgenorth we give an algorithm to compute a generating system of the group of automorphisms of a lattice endowed with a hyperbolic bilinear form.
A hyperbolic lattice is called \textit{$1.2$-reflective} if the subgroup of its automorphism group generated by all $1$- and $2$-reflections is of finite index. The main result of this article is a complete classification of $1.2$-reflective maximal anisotropic lattices of rank $4$.
A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding a maximal reflection sublattice in a given arithmetic subgroup of $O(n,1)$ of the simplest type. We provide an effective termination condition for Vinberg's semi-algorithm with which it becomes an algorithm for finding maximal reflection sublattices. The main new ingredient of the proof is an upper bound for the number of faces of an arithmetic hyperbolic Coxeter polyhedron in terms of its volume.
We prove that any action of a higher rank lattice on a Gromov-hyperbolic space is elementary. More precisely, it is either elliptic or parabolic. This is a large generalization of the fact that any action of a higher rank lattice on a tree has a fixed point. A consequence is that any quasi-action of a higher rank lattice on a tree is elliptic, i.e. it has Manning's property (QFA). Moreover, we obtain a new proof of the theorem of Farb-Kaimanovich-Masur that any morphism from a higher rank lattice to a mapping class group has finite image, without relying on the Margulis normal subgroup theorem…
A hyperbolic lattice is called \textit{$(1{,}2)$-reflective} if its automorphism group is generated by $1$- and $2$-reflections up to finite index. In this paper we prove that the fundamental polyhedron of a $\mathbb{Q}$-arithmetic cocompact reflection group in the three-dimensional Lobachevsky space contains an edge such that the distance between its framing faces is small enough. Using this fact we obtain a classification of $(1{,}2)$-reflective anisotropic hyperbolic lattices of rank $4$.
We present a general method to compute a presentation for any cusped arithmetic hyperbolic lattice $Γ$, applying a classical result of Macbeath to a suitable $Γ$-invariant horoball cover of the corresponding symmetric space. As applications we compute presentations for the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ for $d=1,3,7$ and the quaternion hyperbolic lattice ${\rm PU}(2,1,\mathcal{H})$ with entries in the Hurwitz integer ring $\mathcal{H}$. The implementation of the method for these groups is computer-assisted.
We use bounded cohomology to define a notion of volume of an SO(n,1)-valued representation of a lattice SO(n,1) and, using this tool, we give a complete proof of the volume rigidity theorem of Francaviglia and Klaff in this setting. Our approach gives in particular a proof of Thurston's version of Gromov's proof of Mostow Rigidity (also in the non-cocompact case), which is dual to the Gromov--Thurston proof using the simplicial volume invariant.}
We study the variety of actions of a fixed (Chevalley) group on arbitrary geodesic, Gromov hyperbolic spaces. In high rank we obtain a complete classification. In rank one, we obtain some partial results and give a conjectural picture.
For every two points $z_0,z_1$ in the upper half-plane, consider all elements $γ$ in the principal congruence group $Γ(N)$, acting on the upper half-plane by fractional linear transformations, such that the hyperbolic distance between $z_1$ and $γz_0$ is at most $R>0$. We study the distribution of angles between the geodesic rays $[z_1,γz_0]$ as $R\to \infty$, proving that the limiting distribution exists independently of $N$ and explicitly computing it. When $z_1=z_0$ this is found to be the uniform distribution on the interval $[-π/2,π/2]$.
Let $Γ$ denote a lattice in $SU(1,p)$, with $p$ greater than 1. We show that there exists no Zariski dense maximal representation with target $SU(m,n)$ if $n>m>1$. The proof is geometric and is based on the study of the rigidity properties of the geometry whose points are isotropic $m$-subspaces of a complex vector space $V$ endowed with a Hermitian metric $h$ of signature $(m,n)$ and whose lines correspond to the $2m$ dimensional subspaces of $V$ on which the restriction of $h$ has signature $(m,m)$.
Complex hyperbolic triangle groups were first considered by Mostow in building the first nonarithmetic lattices in PU(2, 1). They are a natural generalization of the classical triangle groups acting on the hyperbolic plane. A well-known theorem of Takeuchi is that there are only finitely many Fuchsian triangle groups that are also an arithmetic lattice in PSL_2(R). We consider similar finiteness theorem for complex hyperbolic triangle groups. In particular, we show that there are finitely many complex hyperbolic triangle groups with rational angular invariant which determine an arithmetic latt…
For n>3 we study spaces obtained from finite volume complete real hyperbolic n-manifolds by removing a compact totally geodesic submanifold of codimension two. We prove that their fundamental groups are relative hyperbolic, co-Hopf, biautomatic, residually hyperbolic, not Kähler, not isomorphic to lattices in virtually connected real Lie groups, have no nontrivial subgroups with property (T), have finite outer automorphism groups, satisfy Mostow-type Rigidity, have finite asymptotic dimension and rapid decay property, and satisfy Baum-Connes conjecture. We also characterize those lattices in r…
We consider the automorphism groups of various Lorentzian lattices over the Eisenstein, Gaussian, and Hurwitz integers, and in some of them we find reflection groups of finite index. These provide new finite-covolume reflection groups acting on complex and quaternionic hyperbolic spaces. Specifically, we provide groups acting on CH^n for all n<6 and n=7, and on HH^n for n=1,2,3 and 5. We compare our groups to those discovered by Deligne and Mostow and show that our largest examples are new. For many of these Lorentzian lattices we show that the entire symmetry group is generated by reflections…
Let $Γ$ be a non-elementary hyperbolic group and $μ$ be a probability on $Γ$. We study the $μ$-proximal, stationary actions, also known as boundary actions, of $Γ$. In particular, we are interested in the spectrum of Furstenberg entropies of $(Γ,μ)$-boundaries, and the lattice-theoretic and topological structure of the set $\mathcal{BL}(Γ,μ)$ of boundaries. We prove that all hyperbolic groups have infinitely many distinct boundaries, which attain an infinite set of distinct entropies. Additionally, for simple random walks on non-abelian free groups $F_d$, we establish that there are infinitely…
Systematic Approach to Hyperbolic Quantum Error Correction Codes
University of Saskatchewan(萨斯喀彻温大学);Centre for Quantum Topology and Its Applications (quanTA)(量子拓扑及其应用中心);Department of Mathematics and Statistics, University of Saskatchewan(萨斯喀彻温大学数学与统计系)
Let $X$ be a negatively curved symmetric space and $Γ$ a non-cocompact lattice in $\rm{Isom}(X)$. We show that small, parabolic-preserving deformations of $Γ$ into the isometry group of any negatively curved symmetric space containing $X$ remain discrete and faithful (the cocompact case is due to Guichard). This applies in particular to a version of Johnson-Millson bending deformations, providing for all $n$ infnitely many non-cocompact lattices in ${\rm SO}(n,1)$ which admit discrete and faithful deformations into ${\rm SU}(n,1)$. We also produce deformations of the figure-8 knot group into $…