SearcharxivSearch

arXiv subjects

Dylan P. Thurston

Publications and source records attributed to Dylan P. Thurston.

At least 19 recordsLinked to original sources

The intersection dual of geodesic currents

Geodesic currents on closed hyperbolic surfaces are measures on the unit tangent bundle invariant under geodesic flow and orientation reversal. Every geodesic current induces a dual function on curves via the geometric intersection pairing. It is natural to ask which curve functions are dual to geodesic currents, that is, which arise as intersection functionals of a geodesic current. In this paper we give a purely axiomatic and combinatorial characterization of curve functionals dual to geodesic currents. This yields a new definition of geodesic currents as curve functionals or, equivalently, as functions on surface groups, without reference to measures or flows. More precisely, we show that a function on curves arises as the geometric intersection pairing with a geodesic current if and only if it is additive under disjoint union and satisfies a simple \emph{smoothing} property: it is non-increasing under surgery of essential crossings. As applications, we obtain new axiomatic characterizations of measured laminations and hyperbolic length functions, and new descriptions of small surface group actions on real trees, including a concise proof of a classical theorem of Skora. We also provide a unified framework for dual geodesic currents arising from metric structures and generalized cross-ratios, including those associated with certain Anosov representations. Our approach subsumes all previously known constructions of dual geodesic currents and yields broad new families of examples.

math.GT

Ahlfors-regular conformal dimension and energies of graph maps

For a hyperbolic rational map $f$ with connected Julia set, we give upper and lower bounds on the Ahlfors-regular conformal dimension of its Julia set $J_f$ from a family of energies of associated graph maps. Concretely, the dynamics of $f$ is faithfully encoded by a pair of maps $π, ϕ: G_1 \to G_0$ between finite graphs that satisfies a natural expanding condition. Associated to this combinatorial data, for each $q \geq 1$, is a numerical invariant $\overline{E}^q[π,ϕ]$, its asymptotic $q$-conformal energy. We show that the Ahlfors-regular conformal dimension of $J_f$ is contained in the interval where $\overline{E}^q=1$. Among other applications, we give two families of quartic rational maps with Ahlfors-regular conformal dimension approaching 1 and 2, respectively.

math.DS

Towards the quantum exceptional series

We find a single two-parameter skein relation on trivalent graphs, the quantum exceptional relation, that specializes to a skein relation associated to each exceptional Lie algebra (in the adjoint representation). If a slight strengthening of Deligne's conjecture on the existence of a (classical) exceptional series is true, then this relation holds for a new two-variable quantum exceptional polynomial, at least as a power series near $q=1$. The single quantum exceptional relation can be viewed as a deformation of the Jacobi relation, and implies a deformation of the Vogel relation that motivated the conjecture on the classical exceptional series. We find a conjectural basis for the space of diagrams with $n$ loose ends modulo the quantum exceptional relation for $n \le 6$, with dimensions agreeing with the classical computations, and compute the matrix of inner products, and the quantum dimensions of idempotents. We use the skein relation to compute the conjectural quantum exceptional polynomial for many knots. In particular we determine (unconditionally) the values of the quantum polynomials for the exceptional Lie algebras on these knots. We can perform these computations for all links of Conway width less than $6$, which includes all prime knots with 12 or fewer crossings. Finally, we prove several specialization results relating our conjectural family to certain quantum group categories, and conjecture a number of exceptional analogues of level-rank duality.

math.QA

From curves to currents

Many natural real-valued functions of closed curves are known to extend continuously to the larger space of geodesic currents. For instance, the extension of length with respect to a fixed hyperbolic metric was a motivating example for the development of geodesic currents. We give a simple criterion on a curve function that guarantees a continuous extension to geodesic currents. The main condition of our criterion is the smoothing property, which has played a role in the study of systoles of translation lengths for Anosov representations. It is easy to see that our criterion is satisfied for almost all the known examples of continuous functions on geodesic currents, such as non-positively curved lengths or stable lengths for surface groups, while also applying to new examples like extremal length. We use this extension to obtain a new curve counting result for extremal length.

math.GT

A positive characterization of rational maps

When is a topological branched self-cover of the sphere equivalent to a rational map on CP^1? William Thurston gave one answer in 1982, giving a negative criterion (an obstruction to a map being rational). We give a complementary, positive criterion: the branched self-cover is equivalent to a rational map if and only if there is an elastic spine that gets "looser" under backwards iteration. This completes a series announced in arXiv:1502.02561 and started in arXiv:1507.05294 and arXiv:1607.00340.

math.DS

Conformal surface embeddings and extremal length

Given two Riemann surfaces with boundary and a homotopy class of topological embeddings between them, there is a conformal embedding in the homotopy class if and only if the extremal length of every simple multi-curve is decreased under the embedding. Furthermore, the homotopy class has a conformal embedding that misses an open disk if and only if extremal lengths are decreased by a definite ratio. This ratio remains bounded away from one under covers.

math.CV

Lower and Upper Bounds for Positive Bases of Skein Algebras

We show that the if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $(\hat{T}_n)$ is the only one which gives a positive basis.

math.GT

Generic Unlabeled Global Rigidity

Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths corresponding to the edges of $G$. In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an unknowable Euclidean transformation) from a given set of point-pair lengths together with knowledge of $d$ and $n$. In this setting the lengths are given simply as a set of real numbers; they are not labeled with the combinatorial data that describes which point-pair gave rise to which length, nor is data about $G$ given. We show, perhaps surprisingly, that in terms of generic uniqueness, labels have no effect. A generic configuration is determined by an unlabeled set of point-pair lengths (together with $d$ and $n$) iff it is determined by the labeled edge lengths.

math.MG

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

Naturality and mapping class groups in Heegaard Floer homology

We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.

math.GT

Generic Global Rigidity in Complex and Pseudo-Euclidean Spaces

In this paper we study the property of generic global rigidity for frameworks of graphs embedded in d-dimensional complex space and in a d-dimensional pseudo-Euclidean space ($R^d$ with a metric of indefinite signature). We show that a graph is generically globally rigid in Euclidean space iff it is generically globally rigid in a complex or pseudo-Euclidean space. We also establish that global rigidity is always a generic property of a graph in complex space, and give a sufficient condition for it to be a generic property in a pseudo-Euclidean space. Extensions to hyperbolic space are also discussed.

math.MG

Non-peripheral ideal decompositions of alternating knots

An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternating projections of hyperbolic knots. Our proof uses the small cancellation properties of the Dehn presentation of alternating knot groups, and an explicit solution to their word and conjugacy problems. In particular, we describe a planar complex that encodes all geodesic words that represent elements of the peripheral subgroup of an alternating knot group. This gives a polynomial time algorithm for checking if an element in an alternating knot group is peripheral. Our motivation for this work comes from the Volume Conjecture for knots.

math.GT

From Dominoes to Hexagons

There is a natural generalization of domino tilings to tilings of a polygon by hexagons, or, dually, configurations of oriented curves that meet in triples. We show exactly when two such tilings can be connected by a series of moves analogous to the domino flip move. The triple diagrams that result have connections to Legendrian knots, cluster algebras, and planar algebras.

math.CO

From rubber bands to rational maps: A research report

This research report outlines work, partially joint with Jeremy Kahn and Kevin Pilgrim, which gives parallel theories of elastic graphs and conformal surfaces with boundary. One one hand, this lets us tell when one rubber band network is looser than another, and on the other hand tell when one conformal surface embeds in another. We apply this to give a new characterization of hyperbolic critically finite rational maps among branched self-coverings of the sphere, by a positive criterion: a branched covering is equivalent to a hyperbolic rational map if and only if there is an elastic graph with a particular "self-embedding" property. This complements the earlier negative criterion of W. Thurston.

math.DS

Bordered Floer homology and the spectral sequence of a branched double cover I

Given a link in the three-sphere, Z. Szabó and the second author constructed a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double-cover. The aim of this paper and its sequel is to explicitly calculate this spectral sequence, using bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of filtered bimodules associated to Dehn twists and a pairing theorem for polygons. In this paper we give the first ingredient, and so obtain a combinatorial spectral sequence from Khovanov homology to Heegaard Floer homology; in the sequel we show that this spectral sequence agrees with the previously known one.

math.GT

Bordered Floer homology and the spectral sequence of a branched double cover II: the spectral sequences agree

Given a link in the three-sphere, Ozsváth and Szabó showed that there is a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double cover. The aim of this paper is to explicitly calculate this spectral sequence in terms of bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of bimodules associated to Dehn twists, and a general pairing theorem for polygons. The previous part (arXiv:1011.0499) focuses on computing the bimodules; this part focuses on the pairing theorem for polygons, in order to prove that the spectral sequence constructed in the previous part agrees with the one constructed by Ozsváth and Szabó.

math.GT

A positive basis for surface skein algebras

We show that the twisted SL(2) skein algebra of a surface has a natural basis (the bracelets basis) that is positive, in the sense that the structure constants for multiplication are positive integers.

math.GT

Computing HF^ by factoring mapping classes

Bordered Heegaard Floer homology is an invariant for three-manifolds with boundary. In particular, this invariant associates to a handle decomposition of a surface F a differential graded algebra, and to an arc slide between two handle decompositions, a bimodule over the two algebras. In this paper, we describe these bimodules for arc slides explicitly, and then use them to give a combinatorial description of HF^ of a closed three-manifold, as well as the bordered Floer homology of any 3-manifold with boundary.

math.GT