BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
William M. Goldman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery.
A Margulis spacetime is a complete flat affine Lorentzian 3-manifold with free fundamental group. Associated to $M$ is a noncompact complete hyperbolic surface $Σ$. We study double extensions of $π_1 (M) \cong π_1 (Σ)$ when $Σ$ is homeomorphic to a projective plane minus two discs. We classify proper actions of this double extension on Minkowski space and show that there exist proper actions that do not admit crooked fundamental domains.
We derive an identity for Margulis invariants of affine deformations of a complete orientable one-ended hyperbolic sur- face following the identities of McShane, Mirzakhani and Tan- Wong-Zhang. As a corollary, a deformation of the surface which infinitesimally lengthens all interior simple closed curves must in- finitesimally lengthen the boundary.
A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangulation of S. This paper classifies and analyzes the structure of crooked ideal triangles, which play the same role for Margulis spacetimes as ideal triangles play for hyperbolic surfaces. This extends our previous work on affine deformations of three-holed sphere and two-holed cross surfaces.
Crooked planes were defined by Drumm to bound fundamental polyhedra in Minkowski space for Margulis spacetimes. They were extended by Frances to closed polyhedral surfaces in the conformal compactification of Minkowski space (Einstein space) which we call crooked surfaces. The conformal model of anti-de Sitter space is the interior of the quotient of Einstein space by an involution fixing an Einstein plane. The purpose of this note is to show that the crooked planes defined in anti-de Sitter space recently by Danciger-Guéritaud-Kassel lift to restrictions of crooked surfaces in Einstein space which are adapted under the involution of Einstein space defining anti-de Sitter space.
We define deformations of $RP^2$-manifolds.
A Margulis spacetime is a complete affine 3-manifold M with nonsolvable fundamental group. Associated to every Margulis spacetime is a noncompact complete hyperbolic surface S. We show that every Margulis spacetime is orientable, even though S may be nonorientable. We classify Margulis spacetimes when S is homeomorphic to a two-holed cross-surface, that is, the complement of two disjoint discs in the real projective plane. We show that every such manifold is homeomorphic to a solid handlebody of genus two, and admits a fundamental polyhedron bounded by crooked planes. Furthermore, the deformation space is a bundle of convex quadrilateral cones over the space of marked hyperbolic structures. The sides of each quadrilateral cone are defined by invariants of the two boundary components and the two orientation-reversing simple curves. The two-holed cross-surface, together with the three-holed sphere, are the only topologies for which the deformation space of complete affine structures is finite-sided.
We present a list of open questions on various aspects of AdS geometry, that is, the geometry of Lorentz spaces of constant curvature -1. When possible we point out relations with homogeneous spaces and discrete subgroups of Lie groups, to Teichmüller theory, as well as analogs in hyperbolic geometry.
We survey developments arising from Milnor's 1958 paper, "On the existence of a connection with curvature zero" and his 1977 paper, "On fundamental groups of complete affinely flat manifolds".
Let Σbe a compact orientable surface with genus g and n boundary components B = (B_1,..., B_n). Let c = (c_1,...,c_n) in [-2,2]^n. Then the mapping class group MCG of Σacts on the relative SU(2)-character variety X_c := Hom_C(π, SU(2))/SU(2), comprising conjugacy classes of representations ρwith tr(ρ(B_i)) = c_i. This action preserves a symplectic structure on the smooth part of X_c, and the corresponding measure is finite. Suppose g = 1 and n = 2. Let J be the subgroup of MCG generated by Dehn twists along null homologous simple loops in Σ. Then the action of J on X_c is ergodic for almost all c.
A natural family of affine cubic surfaces arises from SL(2)-characters of the 4-holed sphere and the 1-holed torus. The ideal locus is a tritangent plane which is generic in the sense that the cubic curve at infinity consists of three lines pairwise intersecting in three double points. We show that every affine cubic surface which is smooth at infinity and whose ideal locus is a generic tritangent plane arises as a relative SL(2)-character variety of the 4-holed sphere. Every such affine cubic for which all the periodic automorphisms of the tritangent plane extend to automorphisms of the cubic arises as a relative SL(2)-character variety of a 1-holed torus.
Let M be a Margulis spacetime whose associated complete hyperbolic surface S has compact convex core. Generalizing the correspondence between closed geodesics on M and closed geodesics on S, we establish an orbit equivalence between recurrent spacelike geodesics on M and recurrent geodesics on S. In contrast, no timelike geodesic recurs in either forward or backwards time.
In his 1990 doctoral thesis, Todd Drumm showed that proper affine deformations of free Fuchsian groups could be constructed as Schottky groups using a new family of hypersurfaces called "crooked planes." The existence of proper affine deformations of Fuchsian Schottky groups was demonstrated by Margulis in the early 1980's, answering a question raised by Milnor in 1977. This paper expounds Drumm's result, at least in the case of Fuchsian Schottky groups (that is, when the group contains no parabolic elements).
Motivated by Felix Klein's notion that geometry is governed by its group of symmetry transformations, Charles Ehresmann initiated the study of geometric structures on topological spaces locally modeled on a homogeneous space of a Lie group. These locally homogeneous spaces later formed the context of Thurston's 3-dimensional geometrization program. The basic problem is for a given topology S and a geometry X = G/H, to classify all the possible ways of introducing the local geometry of G/H into S. For example, a sphere admits no local Euclidean geometry: there is no metrically accurate Euclidean atlas of the earth. One develops a space whose points are equivalence classes of geometric structures on S, which itself exhibits a rich geometry and symmetries arising from the topological symmetries of S. In this talk I will survey several examples of the classification of locally homogeneous geometric structures on manifolds in low dimension, and how it leads to a general study of surface group representations. In particular geometric structures are a useful tool in understanding local and global properties of deformation spaces of representations of fundamental groups.
Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for every such complete hyperbolic surface Sigma, the deformation space identifies with two opposite octants in R^3. Furthermore every M admits a fundamental polyhedron bounded by crooked planes. Therefore M is homeomorphic to an open solid handlebody of genus two. As an explicit application of this theory, we construct proper affine deformations of an arithmetic Fuchsian group inside Sp(4,Z).
Let S be a compact orientable surface with genus g and n boundary components d_1,...,d_n. Let b = (b_1, ..., b_n) where b_n lies in [-2,2]. Then the mapping class group of S acts on the relative SU(2)-character variety X comprising conjugacy classes of representations f of the fundamental group F of S, where trace f(d_i) = b_i. This action preserves a symplectic structure on the open dense smooth submanifold of X. corresponding to irreducible representations. This subset has full measure and is connected. In this note we use the symplectic geometry of this space to give a new proof that this action is ergodic.
This paper applies the authors' forthcoming work, "Affine deformations of a three-holed sphere" in Lorentzian geometry to prove a result in hyperbolic geometry. Namely, an infinitesimal deformation of a hyperbolic structure of a three-holed sphere which infinitesimally lengthens the three boundary components infinitesimally lengthens every closed geodesic. The proof interprets the derivative of the geodesic length function as the Margulis invariant (signed marked Lorentzian length spectrum) of the corresponding affine deformation. The aforementioned results imply that the affine deformation is proper, and hence by Margulis's Opposite Sign Lemma, every closed geodesic infinitesimmaly lengthens.
The conjugacy class of a generic unimodular 2 by 2 complex matrix is determined by its trace, which may be an arbitrary complex number. In the nineteenth century, it was known that a generic pair (X,Y) of such pairs is determined up to conjugacy by the triple of traces (tr(X),tr(Y),tr(XY), which may be an arbitary element of C^3. This paper gives an elementary and detailed proof of this fact, which was published by Vogt in 1889. The folk theorem describing the extension of a representation to a representation of the index-two supergroup which is a free product of three groups of order two, is described in detail, and related to hyperbolic geometry. When n > 2, the classification of conjugacy-classes of n-tuples in SL(2,C) is more complicated. We describe it in detail when n= 3. The deformation spaces of hyperbolic structures on some simple surfaces S whose fundamental group is free of rank two or three are computed in trace coordinates. (We only consider the two orientable surfaces whose fundamental group has rank 3.)
This paper concerns the relationship between locally homogeneous geometric structures on topological surfaces and the moduli of polystable Higgs bundles on Riemann surfaces, due to Hitchin and Simpson. In particular we discuss the uniformization of Riemann surfaces by hyperbolic geometry from this viewpoint, and survey more recent developments in this theory.
The Einstein universe is the conformal compactification of Minkowski space. It also arises as the ideal boundary of anti-de Sitter space. The purpose of this article is to develop the synthetic geometry of the Einstein universe in terms of its homogeneous submanifolds and causal structure, with particular emphasis on dimension $2 + 1$, in which there is a rich interplay with symplectic geometry.
For n>2, the action of the outer automorphism group of the rank n free group F_n on the SU(2)-character variety Hom(F_n,SU(2))/SU(2)$ is ergodic with respect to the Lebesgue measure class.
The energy of harmonic sections of flat bundles of nonpositively curved (NPC) length spaces over a Riemann surface $S$ is a function $E_ρ$ on Teichmüller space $\Teich$ which is a qualitative invariant of the holonomy representation $ρ$ of $π_1(S)$. Adapting ideas of Sacks-Uhlenbeck, Schoen-Yau and Tromba, we show that the energy function $E_ρ$ is proper for any convex cocompact representation of the fundamental group. More generally, if $ρ$ is a discrete embedding onto a normal subgroup of a convex cocompact group $Γ$, then $E_ρ$ defines a proper function on the quotient $\Teich/Q$ where $Q$ is the subgroup of the mapping class group defined by $Γ/ρ(π_1(S))$. When the image of $ρ$ contains parabolic elements, then $E_ρ$ is not proper. Using the recent solution of Marden's Tameness Conjecture, we show that if $ρ$ is a discrete embedding into $\SLtC$, then $E_ρ$ is proper if and only if $ρ$ is quasi-Fuchsian. These results are used to prove that the mapping class group acts properly on the subset of convex cocompact representations.
This expository paper details the theory of rank one Higgs bundles over a closed Riemann surface X and their relationship to representations of the fundamental group of X. We construct an equivalence between the deformation theories of flat connections and Higgs pairs. This provides an identification of moduli spaces arising in different contexts. The moduli spaces are real Lie groups. From each context arises a complex structure, and the different complex structures define a hyper-Kaehlerstructure. The twistor space, real forms, and various group actions are computed explicitly in terms of the Jacobian of X. We describe the moduli spaces and their geometry in terms of the Riemann period matrix of X. This is the simplest case of the theory developed by Hitchin, Simpson and others. We emphasize its formal aspects that generalize to higher rank Higgs bundles over higher dimensional Kaehler manifolds.
The group Gamma of automorphisms of the polynomial kappa(x,y,z) = x^2 + y^2 + z^2 - xyz -2 is isomorphic to PGL(2,Z) semi-direct product with (Z/2+Z/2). For t in R, Gamma-action on ktR = kappa^{-1}(t) intersect R displays rich and varied dynamics. The action of Gamma preserves a Poisson structure defining a Gamma-invariant area form on each ktR. For t < 2, the action of Gamma is properly discontinuous on the four contractible components of ktR and ergodic on the compact component (which is empty if t < -2). The contractible components correspond to Teichmueller spaces of (possibly singular) hyperbolic structures on a torus M-bar. For t = 2, the level set ktR consists of characters of reducible representations and comprises two ergodic components corresponding to actions of GL(2,Z) on (R/Z)^2 and R^2 respectively. For 2 < t <= 18, the action of Gamma on ktR is ergodic. Corresponding to the Fricke space of a three-holed sphere is a Gamma-invariant open subset Omega subset R^3 whose components are permuted freely by a subgroup of index 6 in Gamma. The level set ktR intersects Omega if and only if t > 18, in which case the Gamma-action on the complement ktR - Omega is ergodic.