arXiv subjects

William P. Thurston

Publications and source records attributed to William P. Thurston.

17 recordsLinked to original sources

arXiv2019

Degree-d-invariant laminations

Degree-$d$-invariant laminations of the disk model the dynamical action of a degree-$d$ polynomial; such a lamination defines an equivalence relation on $S^1$ that corresponds to dynamical rays of an associated polynomial landing at the same multi-accessible points in the Julia set. Primitive majors are certain subsets of degree-$d$-invariant laminations consisting of critical leaves and gaps. The space $\textrm{PM}(d)$ of primitive degree-$d$ majors is a spine for the set of monic degree-$d$ polynomials with distinct roots and serves as a parameterization of a subset of the boundary of the connectedness locus for degree-$d$ polynomials. The core entropy of a postcritically finite polynomial is the topological entropy of the action of the polynomial on the associated Hubbard tree. Core entropy may be computed directly, bypassing the Hubbard tree, using a combinatorial analogue of the Hubbard tree within the context of degree-$d$-invariant laminations.

math.DS↗

arXiv2018

Geometry and the Imagination in Minneapolis

This document consists of the collection of handouts for a two-week summer workshop entitled 'Geometry and the Imagination', led by John Conway, Peter Doyle, Jane Gilman and Bill Thurston at the Geometry Center in Minneapolis, June 17-28, 1991. The workshop was based on a course `Geometry and the Imagination' which we had taught twice before at Princeton.

math.DG↗

arXiv2007

Finite covers of random 3-manifolds

A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing two handlebodies by the result of a random walk in the mapping class group of a surface. For this model of random 3-manifold, we are able to compute the probabilities that the resulting manifolds have finite covers of particular kinds. Our results contrast with the analogous probabilities for groups coming from random balanced presentations, giving quantitative theorems to the effect that 3-manifold groups have many more finite quotients than random groups. The next natural question is whether these covers have positive betti number. For abelian covers of a fixed type over 3-manifolds of Heegaard genus 2, we show that the probability of positive betti number is 0. In fact, many of these questions boil down to questions about the mapping class group. We are lead to consider the action of mapping class group of a surface S on the set of quotients pi_1(S) -> Q. If Q is a simple group, we show that if the genus of S is large, then this action is very mixing. In particular, the action factors through the alternating group of each orbit. This is analogous to Goldman's theorem that the action of the mapping class group on the SU(2) character variety is ergodic.

math.GT↗

arXiv2005

Lower bounds on volumes of hyperbolic Haken 3-manifolds

We prove a volume inequality for 3-manifolds having C^0 metrics "bent" along a hypersurface, and satisfying certain curvature pinching conditions. The result makes use of Perelman's work on Ricci flow and geometrization of closed 3-manifolds. Corollaries include a new proof of a conjecture of Bonahon about volumes of convex cores of Kleinian groups, improved volume estimates for certain Haken hyperbolic 3-manifolds, and a lower bound on the minimal volume orientable hyperbolic 3-manifold. An appendix by Dunfield compares estimates of volumes of hyperbolic 3-manifolds drilled along a closed embedded geodesic with experimental data.

math.DG↗

arXiv2005

Mathematical Education

This essay, originally published in the Sept 1990 Notices of the AMS, discusses problems of our mathematical education system that often stem from widespread misconceptions by well-meaning people of the process of learning mathematics. The essay also discusses ideas for fixing some of the problems. Most of what I wrote in 1990 remains equally applicable today.

math.HO↗

arXiv2004

The Computational Complexity of Knot Genus and Spanning Area

We investigate the computational complexity of some problems in three-dimensional topology and geometry. We show that the problem of determining a bound on the genus of a knot in a 3-manifold, is NP-complete. Using similar ideas, we show that deciding whether a curve in a metrized PL 3-manifold bounds a surface of area less than a given constant C is NP-hard.

math.GT↗

arXiv2004

Area Inequalities for Embedded Disks Spanning Unknotted Curves

We show that a smooth unknotted curve in R^3 satisfies an isoperimetric inequality that bounds the area of an embedded disk spanning the curve in terms of two parameters: the length L of the curve and the thickness r (maximal radius of an embedded tubular neighborhood) of the curve. For fixed length, the expression giving the upper bound on the area grows exponentially in 1/r^2. In the direction of lower bounds, we give a sequence of length one curves with r approaching 0 for which the area of any spanning disk is bounded from below by a function that grows exponentially with 1/r. In particular, given any constant A, there is a smooth, unknotted length one curve for which the area of a smallest embedded spanning disk is greater than A.

math.DG↗

arXiv2002

The size of spanning disks for polygonal curves

Let $K$ be a closed polygonal curve in $\RR^3$ consisting of $n$ line segments. Assume that $K$ is unknotted, so that it is the boundary of an embedded disk in $\RR^3$. This paper considers the question: How many triangles are needed to triangulate a Piecewise-Linear (PL) spanning disk of $K$? The main result exhibits a family of unknotted polygons with $n$ edges, $n \to \infty$, such that the minimal number of triangles needed in any triangulated spanning disk grows exponentially with $n$. For each integer $n \ge 0$, there is a closed, unknotted, polygonal curve $K_n$ in $R^3$ having less than $10n+9$ edges, with the property that any Piecewise-Linear triangulated disk spanning the curve contains at least $2^{n-1}$ triangles.

math.GT↗

arXiv1999

On Three-Dimensional Space Groups

An entirely new and independent enumeration of the crystallographic space groups is given, based on obtaining the groups as fibrations over the plane crystallographic groups, when this is possible. For the 35 ``irreducible'' groups for which it is not, an independent method is used that has the advantage of elucidating their subgroup relationships. Each space group is given a short ``fibrifold name'' which, much like the orbifold names for two-dimensional groups, while being only specified up to isotopy, contains enough information to allow the construction of the group from the name.

math.MG↗

arXiv1998

Shapes of polyhedra and triangulations of the sphere

The space of shapes of a polyhedron with given total angles less than 2π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.

math.GT↗

arXiv1998

The Symbolic Dynamics of Tiling the Integers

A finite collection $P$ of finite sets tiles the integers iff the integers can be expressed as a disjoint union of translates of members of $P$. We associate with such a tiling a doubly infinite sequence with entries from $P$. The set of all such sequences is a sofic system, called a tiling system. We show that, up to powers of the shift, every shift of finite type can be realized as a tiling system.

math.CO↗

arXiv1998

Hyperbolic Structures on 3-manifolds, III: Deformations of 3-manifolds with incompressible boundary

This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.

math.GT↗

arXiv1998

Hyperbolic Structures on 3-manifolds, II: Surface groups and 3-manifolds which fiber over the circle

Geometrization theorem, fibered case: Every three-manifold that fibers over the circle admits a geometric decomposition. Double limit theorem: for any sequence of quasi-Fuchsian groups whose controlling pair of conformal structures tends toward a pair of projectively measured laminations that bind the surface, there is a convergent subsequence. This preprint also analyzes the quasi-isometric geometry of quasi-Fuchsian 3-manifolds. This eprint is based on a 1986 preprint, which was refereed and accepted for publication, but which I neglected to correct and return. The referee's corrections have now been incorporated, but it is largely the same as the 1986 version (which was a significant revision of a 1981 version).

math.GT↗

arXiv1998

Minimal stretch maps between hyperbolic surfaces

This paper develops a theory of Lipschitz comparisons of hyperbolic surfaces analogous to the theory of quasi-conformal comparisons. Extremal Lipschitz maps (minimal stretch maps) and geodesics for the `Lipschitz metric' are constructed. The extremal Lipschitz constant equals the maximum ratio of lengths of measured laminations, which is attained with probability one on a simple closed curve. Cataclysms are introduced, generalizing earthquakes by permitting more violent shearing in both directions along a fault. Cataclysms provide useful coordinates for Teichmuller space that are convenient for computing derivatives of geometric function in Teichmuller space and measured lamination space.

math.GT↗

arXiv1998

Hyperbolic Structures on 3-manifolds, I: Deformation of acylindrical manifolds

This is the first in a series of papers showing that Haken manifolds have hyperbolic structures; this first was published, the second two have existed only in preprint form, and later preprints were never completed. This eprint is only an approximation to the published version, which is the definitive form for part I, and is provided for convenience only. All references and quotations should be taken from the published version, since the theorem numbering is different and not all corrections have been incorporated into the present version. Parts II and III will be made available as eprints shortly.

math.GT↗

arXiv1997

Three-manifolds, Foliations and Circles, I

This paper investigates certain foliations of three-manifolds that are hybrids of fibrations over the circle with foliated circle bundles over surfaces: a 3-manifold slithers around the circle when its universal cover fibers over the circle so that deck transformations are bundle automorphisms. Examples include hyperbolic 3-manifolds of every possible homological type. We show that all such foliations admit transverse pseudo-Anosov flows, and that in the universal cover of the hyperbolic cases, the leaves limit to sphere-filling Peano curves. The skew R-covered Anosov foliations of Sergio Fenley are examples. We hope later to use this structure for geometrization of slithered 3-manifolds.

math.GT↗

arXiv1994

On proof and progress in mathematics

In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.

math.HO↗