Related papers: Computing the Teichmueller polynomial
In this work we provide a novel approach for computing the coefficients of the characteristic polynomial of a square matrix. We demonstrate that each coefficient can be efficiently represented by a set of circle graphs. Thus, one can employ…
We introduce a certain type of representations for the quantum Teichmuller space of a punctured surface, which we call local representations. We show that, up to finitely many choices, these purely algebraic representations are classified…
We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This…
We give an extension of Fox's formula of the Alexander polynomial for double branched covers over the three-sphere. Our formula provides the Reidemeister torsion of a double branched cover along a knot for a non-trivial one dimensional…
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\"uller space, the Ptolemy groupoid is a mapping class…
We propose a general framework for studying pseudo-Anosov homeomorphisms on translation surfaces. This new approach, among other consequences, allows us to compute the systole of the Teichmueller geodesic flow restricted to the…
We construct a functor which maps conjugate pseudo-Anosov automorphisms of a surface to the so-called stably isomorphic stationary AF-algebras; the functor gives new topological invariants of three dimensional manifolds coming from the…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
In this paper we study \emph{threefolds isogenous to a product of mixed type} i.e. quotients of a product of three compact Riemann surfaces $C_i$ of genus at least two by the action of a finite group $G$, which is free, but not diagonal. In…
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be…
We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected)…
We study a topological method to calculate the first Milnor fiber cohomology of a defining polynomial of a reduced projective hyperplane arrangement $X$ of degree $d$. We can show the vanishing of a monodromy eigenspace of the first Milnor…
It is important to have effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex before we…
We use discrete holomorphic polynomials to prove that, given a refining sequence of critical maps of a Riemann surface, any holomorphic function can be approximated by a converging sequence of discrete holomorphic functions.
We show that the reduced quantum hyperbolic invariants of pseudo-Anosov diffeomorphisms of punctured surfaces are intertwiners of local representations of the quantum Teichm\"uller spaces. We characterize them as the only intertwiners that…
We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our…
Given a set of $n$ distinct real numbers, our goal is to form a symmetric, unreduced, tridiagonal, matrix with those numbers as eigenvalues. We give an algorithm which is a stable implementation of a naive algorithm forming the…
We establish a criterion for certain mapping classes of a surface homeomorphisms to be pseudo-Anosov in terms of the geometry of hyperbolic 3-manifolds and Gromov-hyperbolic surface group extensions. Specifically, any element of the…
A method is presented for constructing closed surfaces out of Euclidean polygons with infinitely many segment identifications along the boundary. The metric on the quotient is identified. A sufficient condition is presented which guarantees…