Showing 1–5 of 5 results for author: Cartwright, D I

A refinement of Bézout's Lemma, and order 3 elements in some quaternion algebras over $\mathbb{Q}$

Authors: Donald I. Cartwright, Xavier Roulleau

Abstract: Given coprime positive integers $d',d''$, Bézout's Lemma tells us that there are integers $u,v$ so that $d'u-d''v=1$. We show that, interchanging $d'$ and $d''$ if necessary, we may choose $u$ and $v$ to be Loeschian numbers, i.e., of the form $|α|^2$, where $α\in\mathbb{Z}[j]$, the ring of integers of the number field $\mathbb{Q}(j)$, where $j^2+j+1=0$. We do this by using Atkin-Lehner elements i… ▽ More Given coprime positive integers $d',d''$, Bézout's Lemma tells us that there are integers $u,v$ so that $d'u-d''v=1$. We show that, interchanging $d'$ and $d''$ if necessary, we may choose $u$ and $v$ to be Loeschian numbers, i.e., of the form $|α|^2$, where $α\in\mathbb{Z}[j]$, the ring of integers of the number field $\mathbb{Q}(j)$, where $j^2+j+1=0$. We do this by using Atkin-Lehner elements in some quaternion algebras $\mathcal{H}$. We use this fact to count the number of conjugacy classes of elements of order 3 in an order $\mathcal{O}\subset\mathcal{H}$. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: 20 pages, comments welcome

MSC Class: 11R52

Finding generators and relations for groups acting on the hyperbolic ball

Authors: Donald I. Cartwright, Tim Steger

Abstract: In order to enumerate the fake projective planes, as announced in~\cite{CS}, we found explicit generators and a presentation for each maximal arithmetic subgroup $\barΓ$ of~$PU(2,1)$ for which the (appropriately normalized) covolume equals~$1/N$ for some integer~$N\ge1$. Prasad and Yeung \cite{PY1,PY2} had given a list of all such $\barΓ$ (up to equivalence). The generators were found by a compu… ▽ More In order to enumerate the fake projective planes, as announced in~\cite{CS}, we found explicit generators and a presentation for each maximal arithmetic subgroup $\barΓ$ of~$PU(2,1)$ for which the (appropriately normalized) covolume equals~$1/N$ for some integer~$N\ge1$. Prasad and Yeung \cite{PY1,PY2} had given a list of all such $\barΓ$ (up to equivalence). The generators were found by a computer search which uses the natural action of $PU(2,1)$ on the unit ball $B(\C^2)$ in~$\C^2$. Our main results here give criteria which ensure that the computer search has found sufficiently many elements of~$\barΓ$ to generate $\barΓ$, and describes a family of relations amongst the generating set sufficient to give a presentation of~$\barΓ$. We give an example illustrating details of how this was done in the case of a particular~$\barΓ$ (for which $N=864$). While there are no fake projective planes in this case, we exhibit a torsion-free subgroup~$Π$ of index~$N$ in~$\barΓ$, and give some properties of the surface~$Π\backslash B(\C^2)$. △ Less

Submitted 10 January, 2017; originally announced January 2017.

On the Cartwright-Steger surface

Authors: Donald I. Cartwright, Vincent Koziarz, Sai-Kee Yeung

Abstract: In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. △ Less

Submitted 10 March, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: A longer version of this paper, which contains some geometric results we have omitted here, provides more details of some calculations, and adopts a different approach to proving some results, can be found on the webpage of the first named author (see reference [CKY]). It is an update of version 1 of this paper

The spectrum of the averaging operator on a network (metric graph)

Authors: Donald I. Cartwright, Wolfgang Woess

Abstract: A network is a countable, connected graph X viewed as a one-complex, where each edge [x,y]=[y,x] (x,y in X^0, the vertex set) is a copy of the unit interval within the graph's one-skeleton X^1 and is assigned a positive conductance c(xy). A reference "Lebesgue" measure on X^1 is built up by using Lebesgue measure with total mass c(xy) on each edge [x,y]. There are three natural operators on X :… ▽ More A network is a countable, connected graph X viewed as a one-complex, where each edge [x,y]=[y,x] (x,y in X^0, the vertex set) is a copy of the unit interval within the graph's one-skeleton X^1 and is assigned a positive conductance c(xy). A reference "Lebesgue" measure on X^1 is built up by using Lebesgue measure with total mass c(xy) on each edge [x,y]. There are three natural operators on X : the transition operator P acting on functions on X^0 (the reversible Markov chain associated with the conductances), the averaging operator A over spheres of radius 1 on X^1, and the Laplace operator on X^1 (with Kirchhoff conditions weighted by c(.) at the vertices). The relation between the l^2-spectrum of P and the H^2-spectrum of the Laplacian was described by Cattaneo (Mh. Math. 124, 1997). In this paper we describe the relation between the l^2-spectrum of P and the L^2-spectrum of A. △ Less

Submitted 26 September, 2005; originally announced September 2005.

MSC Class: 47A10; 05C50; 58C40; 60J10

Journal ref: Illinois J. Math. 51 (2007) 805-830

Hyperbolic buildings, affine buildings and automatic groups

Authors: Donald I. Cartwright, Michael Shapiro

Abstract: We see that a building whose Coxeter group is hyperbolic is itself hyperbolic. Thus any finitely generated group acting co-compactly on such a building is hyperbolic, hence automatic. We turn our attention to affine buildings and consider a group $Γ$ which acts simply transitively and in a ``type-rotating'' way on the vertices of a locally finite thick building of type $\tilde A_n$. We show that… ▽ More We see that a building whose Coxeter group is hyperbolic is itself hyperbolic. Thus any finitely generated group acting co-compactly on such a building is hyperbolic, hence automatic. We turn our attention to affine buildings and consider a group $Γ$ which acts simply transitively and in a ``type-rotating'' way on the vertices of a locally finite thick building of type $\tilde A_n$. We show that $Γ$ is biautomatic, using a presentation of $Γ$ and unique normal form for each element of $Γ$, as described in ``Groups acting simply transitively on the vertices of a building of type $\tilde A_n$'' by D.I. Cartwright, to appear, Proceedings of the 1993 Como conference ``Groups of Lie type and their geometries''. △ Less

Submitted 21 April, 1994; originally announced April 1994.

Comments: Plain Tex, 12 pages, no figures

Report number: MAGNUS preprint #94-04-22A