Shapes of polyhedra and triangulations of the sphere

The space of shapes of a polyhedron with given total angles less than 2\pi at each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take place a finite distance from a nonsingular point. The metric completion is a complex hyperbolic cone-manifold. In some interesting special cases, the metric completion is an orbifold. The concrete description of these spaces of shapes gives information about the combinatorial classification of triangulations of the sphere with no more than 6 triangles at a vertex.Comment: 39 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon1/paper25.abs.htm

Concerning the existence of Einstein and Ricci soliton metrics on solvable Lie groups

In this work we investigate solvable and nilpotent Lie groups with special metrics. The metrics of interest are left-invariant Einstein and algebraic Ricci soliton metrics. Our main result shows that the existence of a such a metric is intrinsic to the underlying Lie algebra. More precisely, we show how one may determine the existence of such a metric by analyzing algebraic properties of the Lie algebra in question and infinitesimal deformations of any initial metric. Our second main result concerns the isometry groups of such distinguished metrics. Among the completely solvable unimodular Lie groups (this includes nilpotent groups), if the Lie group admits such a metric, we show that the isometry group of this special metric is maximal among all isometry groups of left-invariant metrics. We finish with a similar result for locally left-invariant metrics on compact nilmanifolds.Comment: 28 page

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

Exotic smooth structures on nonpositively curved symmetric spaces

We construct series of examples of exotic smooth structures on compact locally symmetric spaces of noncompact type. In particular, we obtain higher rank examples, which do not support Riemannian metric of nonpositive curvature. The examples are obtained by taking the connected sum with an exotic sphere. To detect the change of the smooth structure we use a tangential map from the locally symmetric space its dual compact type twin.Comment: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-18.abs.htm

Teen Hleath: Live: Using Radio To Promote Teen Voices in Media

IMPACT. 1: Engaged 30 teen participants in weekly sessions over course of the year -- 2. Established relationships between community partners -- 3. Laid the groundwork for a continued partnership between Youth Beat Radio and Barack Community Recreation Center.COMMUNITY PARTNERS: Barack Community Recreation Center; Youth Beat RadioPRIMARY CONTACT: Brynne PresserEmpower and increase awareness of relevant health issues in the South Side Community

On volumes of hyperbolic orbifolds

In this paper we derive an explicit lower bound on the volume of a hyperbolic $n$-orbifold for dimensions greater than or equal to four. Our main tool is H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a discrete subgroup of a semisimple Lie group.Comment: 19 pages, LaTeX; typos added, Section 5 revise

Flows and joins of metric spaces

We introduce the functor * which assigns to every metric space X its symmetric join *X. As a set, *X is a union of intervals connecting ordered pairs of points in X. Topologically, *X is a natural quotient of the usual join of X with itself. We define an Isom(X)-invariant metric d* on *X. Classical concepts known for H^n and negatively curved manifolds are defined in a precise way for any hyperbolic complex X, for example for a Cayley graph of a Gromov hyperbolic group. We define a double difference, a cross-ratio and horofunctions in the compactification X-bar= X union bdry X. They are continuous, Isom(X)-invariant, and satisfy sharp identities. We characterize the translation length of a hyperbolic isometry g in Isom(X). For any hyperbolic complex X, the symmetric join *X-bar of X-bar and the (generalized) metric d* on it are defined. The geodesic flow space F(X) arises as a part of *X-bar. (F(X),d*) is an analogue of (the total space of) the unit tangent bundle on a simply connected negatively curved manifold. This flow space is defined for any hyperbolic complex X and has sharp properties. We also give a construction of the asymmetric join X*Y of two metric spaces. These concepts are canonical, i.e. functorial in X, and involve no `quasi'-language. Applications and relation to the Borel conjecture and others are discussed.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper13.abs.htm

On hyperbolicity of SU(2)-equivariant, punctured disc bundles over the complex affine quadric

Given a holomorphic line bundle over the complex affine quadric $Q^2$, we investigate its Stein, SU(2)-equivariant disc bundles. Up to equivariant biholomorphism, these are all contained in a maximal one, say $\Omega_{max}$. By removing the zero section to $\Omega_{max}$ one obtains the unique Stein, SU(2)-equivariant, punctured disc bundle over $Q^2$ which contains entire curves. All other such punctured disc bundles are shown to be Kobayashi hyperbolic.Comment: 15 pages, v2: minor changes, to appear in Transformation Group

Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and diameter, and almost non-negative scalar curvature. Let r=1 if n=2,3 and r=2^{[n/2]-1}+1 if n\geq 4. We show that if the square of the Dirac operator on such a manifold has $r$ small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost nonnegative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface

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