Forgetful maps between Deligne-Mostow ball quotients

We study forgetful maps between Deligne-Mostow moduli spaces of weighted points on P^1, and classify the forgetful maps that extend to a map of orbifolds between the stable completions. The cases where this happens include the Livn\'e fibrations and the Mostow/Toledo maps between complex hyperbolic surfaces. They also include a retraction of a 3-dimensional ball quotient onto one of its 1-dimensional totally geodesic complex submanifolds

Superrigid subgroups and syndetic hulls in solvable Lie groups

This is an expository paper. It is not difficult to see that every group homomorphism from the additive group Z of integers to the additive group R of real numbers extends to a homomorphism from R to R. We discuss other examples of discrete subgroups D of connected Lie groups G, such that the homomorphisms defined on D can ("virtually") be extended to homomorphisms defined on all of G. For the case where G is solvable, we give a simple proof that D has this property if it is Zariski dense. The key ingredient is a result on the existence of syndetic hulls.Comment: 17 pages. This is the final version that will appear in the volume "Rigidity in Dynamics and Geometry," edited by M. Burger and A. Iozzi (Springer, 2002

The Quantized O(1,2)/O(2)×Z2O(1,2)/O(2)\times Z_2 Sigma Model Has No Continuum Limit in Four Dimensions. I. Theoretical Framework

The nonlinear sigma model for which the field takes its values in the coset space $O(1,2)/O(2)\times Z_2$ is similar to quantum gravity in being perturbatively nonrenormalizable and having a noncompact curved configuration space. It is therefore a good model for testing nonperturbative methods that may be useful in quantum gravity, especially methods based on lattice field theory. In this paper we develop the theoretical framework necessary for recognizing and studying a consistent nonperturbative quantum field theory of the $O(1,2)/O(2)\times Z_2$ model. We describe the action, the geometry of the configuration space, the conserved Noether currents, and the current algebra, and we construct a version of the Ward-Slavnov identity that makes it easy to switch from a given field to a nonlinearly related one. Renormalization of the model is defined via the effective action and via current algebra. The two definitions are shown to be equivalent. In a companion paper we develop a lattice formulation of the theory that is particularly well suited to the sigma model, and we report the results of Monte Carlo simulations of this lattice model. These simulations indicate that as the lattice cutoff is removed the theory becomes that of a pair of massless free fields. Because the geometry and symmetries of these fields differ from those of the original model we conclude that a continuum limit of the $O(1,2)/O(2)\times Z_2$ model which preserves these properties does not exist.Comment: 25 pages, no figure

Quantum error-correcting codes and 4-dimensional arithmetic hyperbolic manifolds

Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^\epsilon$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Z\'emor, who asked whether homological codes with such parameters could exist at all.Comment: 21 page

Can one hear the shape of the Universe?

It is shown that the recent observations of NASA's explorer mission "Wilkinson Microwave Anisotropy Probe" (WMAP) hint that our Universe may possess a non-trivial topology. As an example we discuss the Picard space which is stretched out into an infinitely long horn but with finite volume.Comment: 4 page

Are Small Hyperbolic Universes Observationally Detectable?

Using recent observational constraints on cosmological density parameters, together with recent mathematical results concerning small volume hyperbolic manifolds, we argue that, by employing pattern repetitions, the topology of nearly flat small hyperbolic universes can be observationally undetectable. This is important in view of the facts that quantum cosmology may favour hyperbolic universes with small volumes, and from the expectation coming from inflationary scenarios, that $\Omega_0$ is likely to be very close to one.Comment: 5 pages, 1 figure, LaTeX2e. A reference and two footnotes added. To appear in Class. Quantum Grav. 18 (2001) in the present for

Contracting automorphisms and L^p-cohomology in degree one

We characterize those Lie groups, and algebraic groups over a local field of characteristic zero, whose first reduced L^p-cohomology is zero for all p>1, extending a result of Pansu. As an application, we obtain a description of Gromov-hyperbolic groups among those groups. In particular we prove that any non-elementary Gromov-hyperbolic algebraic group over a non-Archimedean local field of zero characteristic is quasi-isometric to a 3-regular tree. We also extend the study to semidirect products of a general locally compact group by a cyclic group acting by contracting automorphisms.Comment: 27 pages, no figur

Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(\Gamma, 1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory

Algebraic volume density property of affine algebraic manifolds

We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of \C^n equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.Comment: 35 page