Related papers: Ideal triangle groups, dented tori, and numerical …

Thurston introduced a technique for finding and deforming three-dimensional hyperbolic structures by gluing together ideal tetrahedra. We generalize this technique to study families of geometric structures that transition from hyperbolic to…

The first $\ell^2$ Betti number of a group is non-decreasing under various embeddings arising from first order logic. Strict inequality is proved for elementary embeddings of non-abelian proper subgroups within torsion free hyperbolic…

Turaev conjectured that the classification, realization and splitting results for Poincar\'e duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$.…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

We introduce the notion of ideal triangle in the Bruhat-Tits building associated to a split group -- it is analogous to the usual notion of triangle, but one vertex is "at infinity" in a certain direction. We prove that the algebraic…

The compact hyperbolic triangle group $\Delta(p,q,r)$ admits a canonical representation to $\mathrm{PSL}_2(\mathbf{R})$ with discrete image which is unique up to conjugation. The trace field of this representation is \[K =…

Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $\Gamma$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\in\Gamma$ if and only if $P\in…

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…

In this paper, we discuss a longstanding conjecture of Greenberg in the Iwasawa theory of elliptic curves. Greenberg's conjecture states that if $E/\mathbb{Q}$ is an elliptic curve with good ordinary reduction at $p$, and $E[p]$ is…

The multiplicative Horn problem is the following question: given three conjugacy classes $\mathcal{C}_1, \mathcal{C}_2, \mathcal{C}_3$ in a Lie group $G$, do there exist elements…

We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many…

For any torsion-free hyperbolic group $\Gamma$ and any group $G$ that is fully residually $\Gamma$, we construct algorithmically a finite collection of homomorphisms from $G$ to groups obtained from $\Gamma$ by extensions of centralizers,…

We prove that a regular elliptic isometry $f$ of complex hyperbolic space $\mathbf{H}_{\mathbb{C}}^2$ preserves a Lagrangian plane through its fixed point as a non-involution if and only if $f$ is real elliptic. In this case, the isometry…

We define a class of groups based on parallel computations by pushdown automata. This class generalizes automatic groups. It includes the fundamental groups of all 3-manifolds which obey Thurston' s geometrization conjecture. It also…

Gross and Popescu conjectured that the homogeneous ideal of an embedded $(1,d)$-polarized abelian surface is generated by quadrics and cubics for $d\geq 9$. We prove this using the projective normality of the embedding. It follows that the…

In this paper we prove that any strongly embedded subgroup of a K*-group G of finite Morley rank and odd type that does not interpret any bad field is solvable if its Pruefer 2-rank is at least 2. If the normal 2-rank of G is at least 3…

The discreteness problem, that is, the problem of determining whether or not a given finitely generated group G of orientation preserving isometries of hyperbolic three-space is discrete as a subgroup of the whole isometry group of…

Let $E/\mathbf{Q}$ be an elliptic curve and $p\geq 3$ be a prime. We prove the $p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes (i.e., such that the residual representation $E[p]$ is…

In this paper we study discreteness of complex hyperbolic triangle groups of type $[m,m,0;3,3,2]$, i.e. groups of isometries of the complex hyperbolic plane generated by three complex reflections of orders $3,3,2$ in complex geodesics with…

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…