arXiv research

In this paper we study the area of ideals triangles in a convex domain with its Hilbert geometry. We obtain a characterization of the hyperbolic geometry among all the Hilbert geometry in terms of area of ideals triangles. We also obtain a sharp lower bound on the hilbert area of ideal triangles, independant of the con…

Random hyperbolic surfaces have low Cheeger constants.

We prove, in the context of Hilbert geometry, the equivalence between the existence of an upper bound on the area of ideal triangles and the Gromov-hyperbolicity.

We prove the Goldman-Parker Conjecture: A complex hyperbolic ideal triangle group is directly embedded in PU(2,1) if and only if the product of its three standard generators is not elliptic. We also prove that such a group is indiscrete if the product of its three standard generators is elliptic. A novel feature of thi…

New dynamical approach defines symmedian as hyperbolic barycenter.

We consider hyperbolic manifolds with boundary, which admit an ideal triangulation with n ideal triangles and one edge. We prove that the number of these manifolds is $\exp(n\ln(n)+O(n))$.

A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decompo…

By introducing a finer version of the Kauffman bracket skein algebra, we show how to decompose the Kauffman bracket skein algebra of a surface into elementary blocks corresponding to the triangles in an ideal triangulation of the surface. The new skein algebra of an ideal triangle has a simple presentation. This gives …

Compactifies group representations into thin triangle spaces.

Infinite type surfaces can be perfectly divided into triangles.

Unified method to calculate Gromov norm for Kähler classes of bounded symmetric domains.

Geometric proof shows primes of form 3k+1 are norms of Eisenstein integers.

We prove that any two finite-area non-compact hyperbolic Riemann surfaces S and T have finite covers that are arbitrarily close in the normalized Weil-Petersson metric, where we normalize by dividing the square of the metric by the area of the surface. In the case where T is the modular surface this reduces to showing …

Decomposes $SL_3$ skein algebras for surfaces.

We prove that a "random" free group outer automorphism is an ageometric fully irreducible outer automorphism whose ideal Whitehead graph is a union of triangles. In particular, we show that its attracting (and repelling) tree is a nongeometric $\mathbb R$-tree all of whose branch points are trivalent

Study laws of cosines and sines for hyperbolic shapes with ideal vertices.

In this paper we consider a class of right-angled polyhedra in three-dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces of the polyhedron are obtained. Volumes of polyhedra with at most 23 faces are computed. It is shown that the minimum vo…

If a (cusped) surface S admits an ideal triangulation T with no shears, we show an efficient algorithm to give S as a quotient of hypebolic plane by a subgroup of PSL(2, Z). The algorithm runs in time O(n log n), where n is the number of triangles in the triangulation T. The algorithm generalizes to producing fundament…

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture.…

We determine the asymptotic growth rate of the diameter of the random hyperbolic surfaces constructed by Brooks and Makover. This model consists of a uniform gluing of $2n$ hyperbolic ideal triangles along their sides followed by a compactification to get a random hyperbolic surface of genus roughly $n/2$. We show that…

We study the systole of a random surface, where by a random surface we mean a surface constructed by randomly gluing together an even number of triangles. We study two types of metrics on these surfaces, the first one coming from using ideal hyperbolic triangles and the second one using triangles that carry a given Rie…

Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to present a new proof of Markov's theorem using hyperbolic geometry. The main ingr…

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?…

Study on knot types using thickness and length constraints.

The paper generalizes Farey tessellation to 3D hyperbolic space.

In hep-th/9805025, a result for the symmetric 3-loop massive tetrahedron in 3 dimensions was found, using the lattice algorithm PSLQ. Here we give a more general formula, involving 3 distinct masses. A proof is devised, though it cannot be accounted as a derivation; rather it certifies that an Ansatz found by PSLQ sati…

We investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings…

Napoleonic triangles don't exist in hyperbolic geometry.

New bounds on inscribed triangles in arbitrary planar domains.

A three-dimensional orthoscheme is defined as a tetrahedron whose base is a right-angled triangle and an edge joining the apex and a non-right-angled vertex is perpendicular to the base. A generalization, called complete orthoschemes, of orthoschemes is known in hyperbolic geometry. Roughly speaking, complete orthosche…

Paper calculates eigenvalues of a specific triangle on a sphere.

Study on Laplacian determinant in isosceles triangles, finding equilateral triangle minimizes determinant.

New method shows any triangle group generating pair is related to special coverings.

Based on hyperbolic geometric considerations, Roger and Yang introduced an extension of the Kauffman bracket skein algebra that includes arcs. In particular, their skein algebra is a deformation quantization of a certain commutative curve algebra, and there is a Poisson algebra homomorphism between the curve algebra an…

Complex hyperbolic triangle groups were first considered by Mostow in building the first nonarithmetic lattices in PU(2, 1). They are a natural generalization of the classical triangle groups acting on the hyperbolic plane. A well-known theorem of Takeuchi is that there are only finitely many Fuchsian triangle groups t…

Defines band maps in unoriented link Floer homology forming a skein exact triangle.

Proves a new skein exact triangle for real monopole Floer homology.

Study reveals hidden accidental parabolics in complex hyperbolic geometry.

New surgery exact triangles in Heegaard Floer homology for rational slopes.

We answer the question "Does the Y-triangle move preserve intrinsic knottedness?" in the negative by giving an example of a graph that is obtained from the intrinsically knotted graph K_7 by triangle-Y and Y-triangle moves but is not intrinsically knotted.

Study calculates eigenvalues and eigenfunctions for spherical triangles and finds fundamental gap behavior.

We show that the triangle with angles Pi/12, Pi/3 and 7*Pi/12 has the lattice property and compute this triangle's Veech group.

We study side-lengths of triangles in path metric spaces. We prove that unless such a space X is bounded, or quasi-isometric to line or half-line, every triple of real numbers satisfying the strict triangle inequalities, is realized by the side-lengths of a triangle in X. We construct an example of a complete path metr…

Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unorde…

New method proves mateability of triangle groups with Blaschke products.

In Lorentzian geometry, limited definition of angles restricts the use of angle bisectors in study of triangles. This paper redefines angle bisectors so that they can be used to study attributes of triangles. Using the new definition, this paper investigates the existence of the incenter and the isogonal conjugate of a…

A formula for Rademacher symbols in triangle groups is provided.

Study stabilizers of complex hyperbolic triangle groups, finding generators and signatures.