We introduce a quantum trace map for an ideally triangulated hyperbolic knot complement S^3∖K. The map assigns a quantum operator to each element of Kauffmann Skein module of the 3-manifold. The quantum operator lives in a module generated by products of quantized edge parameters of the ideal triangulation modulo some equivalence relations determined by gluing equations. Combining the quantum map with a state-integral model of SL(2,C) Chern-Simons theory, one can define perturbative invariants of knot K in the knot complement whose leading part is determined by its complex hyperbolic length. We then conjecture that the perturbative invariants determine an asymptotic expansion of the Jones polynomial for a link composed of K and K. We propose the explicit quantum trace map for figure-eight knot complement and confirm the length conjecture up to the second order in the asymptotic expansion both numerically and analytically.

We undertake a systematic study of the infinitesimal geometry of the Thurston metric, showing that the topology, convex geometry and metric geometry of the tangent and cotangent spheres based at any marked hyperbolic surface representing a point in Teichmüller space can recover the marking and geometry of this marked surface. We then translate the results concerning the infinitesimal structures to global geometric statements for the Thurston metric, most notably deriving rigidity statements for the Thurston metric analogous to the celebrated Royden theorem.

We study Thurston’s Lipschitz and curve metrics, as well as the arc metric on the Teichmüller space of one-hold tori equipped with complete hyperbolic metrics with boundary holonomy of fixed length. We construct natural Lipschitz maps between two surfaces equipped with such hyperbolic metrics that generalize Thurston’s stretch maps and prove the following: (1) On the Teichmüller space of the torus with one boundary component, the Lipschitz and the curve metrics coincide and define a geodesic metric on this space. (2) On the same space, the arc and the curve metrics coincide when the length of the boundary component is ≤4arcsinh(1), but differ when the boundary length is large. We further apply our stretch map generalization to construct novel Thurston geodesics on the Teichmüller spaces of closed hyperbolic surfaces, and use these geodesics to show that the sum-symmetrization of the Thurston metric fails to exhibit Gromov hyperbolicity.

The action of the mapping class group of the thrice-punctured projective plane on its GL(2,C) character variety produces an algorithm for generating the simple length spectra of quasi-Fuchsian thrice-punctured projective planes. We apply this algorithm to quasi-Fuchsian representations of the corresponding fundamental group to prove: a sharp upper-bound for the length its shortest geodesic, a McShane identity and the surprising result of non-polynomial growth for the number of simple closed geodesic lengths.

We prove a McShane-type identity: a series, expressed in terms of geodesic lengths, that sums to 2π for any closed hyperbolic surface with one distinguished point. To do so, we prove a generalized Birman-Series theorem showing that the set of complete geodesics on a hyperbolic surface with large cone angles is sparse.

We show that Norbury’s McShane identity for nonorientable cusped hyperbolic surfaces N generalizes to quasifuchsian representations of π1(N) as well as pseudo-Anosov mapping Klein bottles with singular fibers given by N.

For fixed subgroups Fix(ϕ) of automorphisms ϕ on hyperbolic 3-manifold groups π1(M), we observed that rk(Fix(ϕ))<2rk(π1(M)) and the constant 2 in the inequality is sharp; we also classify all possible groups Fix(ϕ).

Dunfield-Garoufalidis and Boyer-Zhang proved that the A-polynomial of a nontrivial knot in S3 is nontrivial. In this paper, we use holonomy perturbations to prove the non-triviality of the A-polynomial for a nontrivial, null-homotopic knot in an irreducible 3-manifold. Also, we give a strong constraint on the A-polynomial of a knot in the 3-sphere.

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology 3-spheres. As an application, we give explicit constrains on the intersection forms of spin 4-manifolds bounded by Brieskorn spheres ±Σ(2,3,6k±1). Along the way, we also give an alternative proof of Furuta-Kametanni's improvement of 10/8-theorem for closed spin-4 manifolds.

A surgery on a knot in 3-sphere is called SU(2)-cyclic if it gives a manifold whose fundamental group has no non-cyclic SU(2) representations. Using holonomy perturbations on the Chern-Simons functional, we prove that the distance of two SU(2)-cyclic surgery coefficients is bounded by the sum of the absolute values of their numerators. This is an analog of Culler-Gordon-Luecke-Shalen's cyclic surgery theorem.