arXiv research

Efficient method computes ${ m SL}(3,\mathbb{C})$-character varieties for two-generator groups.

Study of origamis' singularities for groups of prime-power order.

Let F_n denote the free group generated by n letters. The purpose of this article is to show that Hol(F_2), the holomorph of the free group on two generators, is linear. Consequently, any split group extension of F_2 by a linear group H is linear. This result gives a large linear subgroup of Aut(F_3). A second applicat…

We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an inva…

This is an expository article about groups generated by two isometries of the complex hyperbolic plane.

We give an arithmetic criterion which is sufficient to imply the discreteness of various two-generator subgroups of $PSL(2,{\bold C})$. We then examine certain two-generator groups which arise as extremals in various geometric problems in the theory of Kleinian groups, in particular those encountered in efforts to dete…

Groups with similar pro-$p$ completions have two-generated subgroups that are free.

The study examines discrete subgroups of PSL2 over non-archimedean fields.

There are certain families of words and word sequences (words in the generators of a two-generator group) that arise frequently in the Teichm{ü}ller theory of hyperbolic three-manifolds and Kleinian and Fuchsian groups and in the discreteness problem for two generator matrix groups. We survey some of the families of su…

We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees.

We observe that a sharp result on the exponential growth rate of the number of primitive elements exists for the free group on two generators.

Paper characterizes relation numbers for parabolic two-generator groups.

We determine the rank of the fundamental group of those hyperbolic 3-manifolds fibering over the circle whose monodromy is a sufficiently high power of a pseudo-Anosov map. Moreover, we show that any two generating sets with minimal cardinality are Nielsen equivalent.

Techniques are introduced which determine the geometric structure of non-simple two-generator $3$-manifolds from purely algebraic data. As an application, the satellite knots in the $3$-sphere with a two-generator presentation in which at least one generator is represented by a meridian for the knot are classified.

We show that up to commensurability there are only finitely many cocompact arithmetic Kleinian groups generated by rotations. This implies, in particular, that there exist only finitely many conjugacy classes of cocompact two generated arithmetic Kleinian groups. The proof of the main result is based on a generalized G…

For two generator free Fuchsian groups, the quotient three manifold is a genus two solid handlebody and its boundary is a hyperelliptic Riemann surface. The convex core is also a hyperelliptic Riemann surface. We find the Weierstrass points of both of these surfaces. We then generalize the notion of a hyperelliptic Rie…

We determine C-special subgroups of the Bianchi groups of index bounded above by 120 by effectivising the arguments of Agol-Long-Reid. These subgroups are congruence of level 2 or 4 and retract to the free group on two generators. As a consequence, we find a C-special 20-sheeted cover of the figure-eight knot complemen…

The paper generalizes Nielsen equivalence to 2-orbifolds.

Study polynomial trace identities in $SL(2,\IC)$ using quaternion algebras.

In this article we survey and describe various aspects of the geometry and arithmetic of Kleinian groups - discrete nonelementary groups of isometries of hyperbolic $3$-space. In particular we make a detailed study of two-generator groups and discuss the classification of the arithmetic generalised triangle groups (and…

We give a complete list of orbifolds uniformised by discrete non-elementary two-generator subgroups of PSL(2,C) without invariant plane whose generators and their commutator have real traces.

We determine the L^2-Betti numbers of all one-relator groups and all surface-plus-one-relation groups (surface-plus-one-relation groups were introduced by Hempel who called them one-relator surface groups). In particular we show that for all such groups G, the L^2-Betti numbers b_n^{(2)}(G) are 0 for all n>1. We also o…

In this paper, we prove two generalized versions of the Cheeger-Gromoll splitting theorem via the non-negativity of the Bakry-Émery Ricci curavture on complete Riemannian manifolds.

The abstract explores Artin presentations and their connection to 4-manifolds using triangle groups.

Study shows similar result to Margulis for Cantor set homeomorphisms.

The automorphisms of a two-generator free group acting on the space of orientation-preserving isometric actions of on hyperbolic 3-space defines a dynamical system. Those actions which preserve a hyperbolic plane but not an orientation on that plane is an invariant subsystem, which reduces to an action on R^3 by polyno…

We consider non-elementary representations of two generator free groups in $PSL(2,\mathbb{C})$, not necessarily discrete or free, $G = < A, B >$. A word in $A$ and $B$, $W(A,B)$, is a palindrome if it reads the same forwards and backwards. A word in a free group is {\sl primitive} if it is part of a minimal generating …

Let $G = \langle A,B \rangle$ be a non-elementary two generator subgroup of the isometry group of $\mathbb{H}^2$, the hyperbolic plane. If $G$ is discrete and free and geometrically finite, its quotient is a pair of pants and in prior work we produced a formula for the number of essential self intersections (ESIs) of a…

Discrete subgroups of quaternionic hyperbolic isometries are proven under certain conditions.

We study the universal character ring of some families of one-relator groups. As an application, we calculate the universal character ring of two-generator one-relator groups whose relators are palindrome, and, in particular, of the (-2,2m+1,2n+1)-pretzel knot for all integers m and n. For the (-2,3,2n+1)-pretzel knot,…

Uniform negative immersions prove coherence of one-relator groups.

The paper finds minimal generating sets and abelianizes the quasitoric braid group.

Study covers of Chamanara surface with large Veech groups.

Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free t…

In this paper we demonstrate how the geometrically motivated algorithm to determine whether a two generator real Mobius group acting on the Poincare plane is or is not discrete can be interpreted as a non-Euclidean Euclidean algorithm. That is, the algorithm can be viewed as an application of the Euclidean division alg…

Determining the space of free discrete two generator groups of Möbius transformations is an old and difficult problem. In this paper we show how to construct large balls of full dimension in this space. To do this, we begin with a marked discrete group of non-separating disjoint circle type. Such a group determines thr…

Two conditions on primitive elements are shown to be equivalent.

The Thurston norm of a 3-manifold measures the complexity of surfaces representing two-dimensional homology classes. We study the possible unit balls of Thurston norms of 3-manifolds $M$ with $b_1(M) = 2$, and whose fundamental groups admit presentations with two generators and one relator. We show that even among this…

Inverse braid monoid describes a structure on braids where the number of strings is not fixed. So, some strings of initial $n$ may be deleted. In the paper we show that many properties and objects based on braid groups may be extended to the inverse braid monoids. Namely we prove an inclusion into a monoid of partial m…

In earlier work we introduced geometrically natural probability measures on the group of all Möbius transformations in order to study "random" groups of Möbius transformations, random surfaces, and in particular random two-generator groups, that is groups where the generators are selected randomly, with a view to estim…

Algorithm determines discrete, free subgroups of SL2 over non-archimedean fields.

We calculate the universal character ring of a class of two-generator, one-relator groups. As an application we give a less technical proof of a result in [LT] on the universal character ring of the (-2,3,2n+1)-pretzel knot. We also give an elementary proof of a result in [Ma] on the character variety of the (-2,3,2n+1…

We give two generalizations of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action: 1) replacing the torus action by a compact connected Lie group action, 2) replacing the manifold having a torus action by an equivariant map. This provides a systematic method for calcula…

Study on representations of four-punctured sphere group in hyperbolic spaces.

Researchers calculate the cohomology of a specific lens space combination.

Two free homotopy classes of closed curves in an orientable surface with negative Euler characteristic are said to be length equivalent if for any hyperbolic structure on the surface, the length of the geodesic in one class is equal to the length of the geodesic in the other class. We show that there are elements in th…

Our aim is to generalize the result that two generic complex line arrangements are equivalent. In fact for a line arrangement A we associate its defining polynomial, the product of a_ix+b_iy+c_i, so that A = (f=0). We prove that the defining polynomials of two generic line arrangements are, up to a small deformation, t…

Let G be a two generator subgroup of PSL(2,C). The Jorgensen number J(G) of G is defined by J(G)=inf{ |tr^2 A-4|+|tr[A,B]-2| ; G=<A,B>}. If G is a non-elementary Kleinian group, then J(G) >= 1. This inequality is called Jorgensen's inequality. In this paper, we show that, for any r >= 1, there exists a non-elementary K…