arXiv research

Paper constructs braid invariants using tropical Ptolemy equation.

The Ptolemy variety for SL(2,C) is an invariant of a topological ideal triangulation of a compact 3-manifold M. It is closely related to Thurston's gluing equation variety. The Ptolemy variety maps naturally to the set of conjugacy classes of boundary-unipotent SL(2,C)-representations, but (like the gluing equation var…

Researchers compute A-polynomials of manifolds using symplectic properties and cluster algebras.

It is known that a knot complement (minus two points) decomposes into ideal octahedra with respect to a given knot diagram. In this paper, we study the Ptolemy variety for such an octahedral decomposition in perspective of Thurston's gluing equation variety. More precisely, we compute explicit Ptolemy coordinates in te…

In a previous paper, we parametrized boundary-unipotent representations of a 3-manifold group into SL(n,C) using Ptolemy coordinates, which were inspired by A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we parametrize representations into PGL(n,C) using shape coordinates which are …

Lorentzian Ptolemy inequality linked to curvature bounds.

Study super cluster algebras from super Plücker and Ptolemy relations.

Geometric correspondence between spinors and horospheres in hyperbolic space.

New definition of twisted 1-loop invariant using Ptolemy coordinates.

The paper initiates a systematic study of Moebius structures and Ptolemy spaces. We conjecture that every compact Ptolemy space with circles and many space inversions is Moebius equivalent to the boundary at infinity of a rank one symmetric space of noncompact type. We prove this conjecture for the class of complex hyp…

In this paper, we construct invariants of braids, knots and links by studying dynamics of points in $\R^{2}$ and applying the Ptolemy relation $ac+bd=xy$.

Mathematical analysis shows Delisle-Euler map methods are optimal.

The Ptolemy coordinates for boundary-unipotent SL(n,C)-representations of a 3-manifold group were introduced in Garoufalidis-Thurston-Zickert inspired by the A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we define the Ptolemy field of a (generic) PSL(2,\C)-representation and prove …

Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free abelian groups. The constructions are based on the 3-dimensional interpretation of the…

We define Ptolemy coordinates for representations that are not necessarily boundary-unipotent. This gives rise to a new algorithm for computing the SL(2,C) A-polynomial, and more generally the SL(n,C) A-varieties. We also give a formula for the Dehn invariant of an SL(n,C)-representation.

The central extension of the Thompson group $T$ that arises in the quantized Teichmüller theory is 12 times the Euler class. This extension is obtained by taking a (partial) abelianization of the so-called braided Ptolemy-Thompson group introduced and studied in \cite{FK2}. We describe then the cyclic central extension…

Pursueing our investigations on the relations between Thompson groups and mapping class groups, we introduce the group $T^*$ (and its further generalizations) which is an extension of the Ptolemy-Thompson group $T$ by means of the full braid group $B_{\infty}$ on infinitely many strands. We prove that it is a finitely …

Paper develops techniques to create 3-manifold invariants.

The Ptolemy groupoid is a combinatorial groupoid generated by elementary moves on marked trivalent fatgraphs with three types of relations. Through the fatgraph decomposition of Teichmüller space, the Ptolemy groupoid is a mapping class group equivariant subgroupoid of the fundamental path groupoid of Teichmüller space…

In this paper we characterize compact extended Ptolemy metric spaces with many circles up to Möbius equivalence. This characterization yields a Möbius characterization of the $n$-dimensional spheres $S^n$ and hemispheres $S^n_+$ when endowed with their chordal metrics. In particular, we show that every compact extended…

We characterize the class of Gromov hyperbolic spaces, whose boundary at infinity allow canonical Möbius structures.

We start by describing how ideal triangulations on a surface degenerate under pinching of a multicurve. We use this process to construct a homomorphism from the Ptolemy groupoid of a surface to that of a pinched surface which is natural with respect to the action of the mapping class group. We then apply this construct…

The braided Ptolemy-Thompson group $T^*$ is an extension of the Thompson group $T$ by the full braid group $B_{\infty}$ on infinitely many strands. This group is a simplified version of the acyclic extension considered by Greenberg and Sergiescu, and can be viewed as a mapping class group of a certain infinite planar s…

We characterize the boundary at infinity of a complex hyperbolic space as a compact Ptolemy space that satisfies four incidence axioms.

A Moebius structure (on a set X) is a class of metrics having the same cross-ratios. A Moebius structure is ptolemaic if it is invariant under inversion operations. The boundary at infinity of a CAT(-1) space is in a natural way a Moebius space, which is ptolemaic. We give a free of classification proof of the followin…

Quantization of universal Teichmüller space provides projective representations of the Ptolemy-Thompson group, which is isomorphic to the Thompson group $T$. This yields certain central extensions of $T$ by $\mathbb{Z}$, called dilogarithmic central extensions. We compute a presentation of the dilogarithmic central ext…

New groups $Γ_n^k$ connect braids and 3-manifolds.

Proves existence of unique circle packings on polyhedral surfaces.

This paper connects spinors to horospheres in hyperbolic space.

The paper establishes correspondences between quaternionic spinors, Minkowski flags, and hyperbolic horospheres.

The mapping class group invariant ideal cell decomposition of the Teichmueller space of a punctured surface times an open simplex has been used in a number of computations. This paper answers a question about the asymptotics of this decomposition, namely, in a given cell of the decomposition, which curves can be short?…

We use a large census of hyperbolic 3-manifolds to experimentally investigate a conjecture of Neumann regarding the Bloch Group. We present an augmented census including, for feasible invariant trace fields, explicit manifolds (associated to that field) that appear to generate the Bloch group of that field. We also mak…

For a compact 3-manifold $N$ with non-empty boundary, Zickert gave a combinatorial formula for computing the volume and Chern-Simons invariant of a boundary parabolic representation $π_1(N)\rightarrow \mathrm{PSL}(2,\mathbb{C})$. In this paper, we introduce a notion of deformed Ptolemy varieties and extend the formula …

The origin of quasiconformal mappings, like that of conformal mappings, can be traced back to old cartography where the basic problem was the search for mappings from the sphere onto the plane with minimal deviation from conformality, subject to certain conditions which were made precise. In this paper, we survey the d…

We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S. In effect, $\nabla_G$ is the composition with the $ι_n$ maps of Le-Murakami-Ohtsu…

We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with …

New polynomial connects knot genus to 3-manifold geometry.

This work constructs a finite-dimensional projective representation for a quantum Teichmüller model.

The study proves properties of specific groups acting on cube complexes.

For a compact 3-manifold M with arbitrary (possibly empty) boundary, we give a parametrization of the set of conjugacy classes of boundary-unipotent representations of the fundamental group of M into SL(n,C). Our parametrization uses Ptolemy coordinates, which are inspired by coordinates on higher Teichmueller spaces d…

For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric side, this requires opening the surface at each interior marked point into an addit…

Based on earlier work of the latter two named authors on the higher super-Teichmueller space with $\mathcal{N}=1$, a component of the flat $OSp(1|2)$ connections on a punctured surface, here we extend to the case $\mathcal{N}=2$ of flat $OSp(2|2)$ connections. Indeed, we construct here coordinates on the higher super-T…

We introduce coordinates for a principal bundle $S\tilde T(F)$ over the super Teichmueller space $ST(F)$ of a surface $F$ with $s\geq 1$ punctures that extend the lambda length coordinates on the decorated bundle $\tilde T(F)=T(F)\times {\mathbb R}_+^s$ over the usual Teichmueller space $T(F)$. In effect, the action of…

The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class group can be identified with the fundamental group of Riemann's moduli space, it i…

New universal automorphic functions capture monstrous moonshine.

Study Galois groupoids of discret Painlevé equations.

Proves solvability of general inverse σ_k equations with constant coefficients.

We present an unsupervised approach for discovering semantic representations of mathematical equations. Equations are challenging to analyze because each is unique, or nearly unique. Our method, which we call equation embeddings, finds good representations of equations by using the representations of their surrounding …