Showing 1–19 of 19 results for author: Ratcliffe, J G

The geometry in Plato's Meno

Authors: John G. Ratcliffe, Sophia Stone, Steven T. Tschantz

Abstract: In this paper, we analyze the two geometrical passages in Plato's Meno, (81c -- 85c) and (86e4 -- 87b2), from the points of view of a geometer in Plato's time and today. We give, in our opinion, a complete explanation of the difficult second geometrical passage. Our explanation solves an ingenious geometry puzzle that has baffled readers of Plato's Meno for over 2,400 years. In this paper, we analyze the two geometrical passages in Plato's Meno, (81c -- 85c) and (86e4 -- 87b2), from the points of view of a geometer in Plato's time and today. We give, in our opinion, a complete explanation of the difficult second geometrical passage. Our explanation solves an ingenious geometry puzzle that has baffled readers of Plato's Meno for over 2,400 years. △ Less

Submitted 1 September, 2023; v1 submitted 6 November, 2021; originally announced November 2021.

Comments: The solution of Plato's triangle inscription problem in the Meno that we describe in Section 9 of this paper is not new. It was already obtained in the 19th century. We shall have more to say about the history of this problem in the future

MSC Class: 01A20

The G-index of a closed, spin, hyperbolic manifold of dimension 2 or 4

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we develop general techniques for computing the G-index of a closed, spin, hyperbolic 2- or 4-manifold, and apply these techniques to compute the G-index of the fully symmetric spin structure of the Davis hyperbolic 4-manifold. In this paper, we develop general techniques for computing the G-index of a closed, spin, hyperbolic 2- or 4-manifold, and apply these techniques to compute the G-index of the fully symmetric spin structure of the Davis hyperbolic 4-manifold. △ Less

Submitted 14 May, 2022; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: 24 pages, 2 figures, 6 tables

MSC Class: 57M50; 58J20; 53C37

Hyperbolic 24-cell 4-manifolds with one cusp

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we describe all the hyperbolic 24-cell 4-manifolds with exactly one cusp. There are four of these manifolds up to isometry. These manifolds are the first examples of one-cusped hyperbolic 4-manifolds of minimum volume. In this paper, we describe all the hyperbolic 24-cell 4-manifolds with exactly one cusp. There are four of these manifolds up to isometry. These manifolds are the first examples of one-cusped hyperbolic 4-manifolds of minimum volume. △ Less

Submitted 15 April, 2020; originally announced April 2020.

MSC Class: 57M50

Co-Seifert fibrations of compact flat 3-orbifolds

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. In this paper, we apply our theory to classify all the geometric fibrations of compact, connected, flat $3$-orbifolds, over a 1-orbifold, up… ▽ More This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. In this paper, we apply our theory to classify all the geometric fibrations of compact, connected, flat $3$-orbifolds, over a 1-orbifold, up to affine equivalence. △ Less

Submitted 6 March, 2020; originally announced March 2020.

Comments: 32 pages and 17 tables. arXiv admin note: substantial text overlap with arXiv:1112.3981

MSC Class: 57M50; 20H15

Co-Seifert Fibrations of Compact Flat Orbifolds

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we develop the theory for classifying all the geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. We apply our classification theory to classify all the geometric fibrations of compact, connected, flat $2$-orbifolds, over a 1-orbifold, up to affine equivalence. This paper is an essential part of our project to give a geometric… ▽ More In this paper, we develop the theory for classifying all the geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to affine equivalence. We apply our classification theory to classify all the geometric fibrations of compact, connected, flat $2$-orbifolds, over a 1-orbifold, up to affine equivalence. This paper is an essential part of our project to give a geometric proof of the classification of all closed flat 4-manifolds. △ Less

Submitted 6 May, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1112.3981, arXiv:1306.6613. The introduction has been rewritten, section 2 has been shortened, and some new references have been added

MSC Class: 20H15; 57M50

Cusp transitivity in hyperbolic 3-manifolds

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we study multiply transitive actions of the group of isometries of a cusped finite-volume hyperbolic 3-manifold on the set of its cusps. In particular, we prove a conjecture of Vogeler that there is a largest $k$ for which such $k$-transitive actions exist, and that for each $k \geq 3$, there is an upper bound on the possible number of cusps. In this paper, we study multiply transitive actions of the group of isometries of a cusped finite-volume hyperbolic 3-manifold on the set of its cusps. In particular, we prove a conjecture of Vogeler that there is a largest $k$ for which such $k$-transitive actions exist, and that for each $k \geq 3$, there is an upper bound on the possible number of cusps. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 12 pages and 5 figures

MSC Class: 57M50; 20B20

Harmonic spinors on the Davis hyperbolic 4-manifold

Authors: John G. Ratcliffe, Daniel Ruberman, Steven T. Tschantz

Abstract: In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtle sign terms in the G-spin theorem for an isometry, with isolated fixed points,… ▽ More In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtle sign terms in the G-spin theorem for an isometry, with isolated fixed points, of a closed spin hyperbolic 2- or 4-manifold. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 33 pages and 2 figures

MSC Class: 53C27

A Bieberbach theorem for crystallographic group extensions

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(Γ,\mathrm{N})$ such that $Γ$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal subgroup of $Γ$ such that $Γ/\mathrm{N}$ is a crystallographic group. In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(Γ,\mathrm{N})$ such that $Γ$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal subgroup of $Γ$ such that $Γ/\mathrm{N}$ is a crystallographic group. △ Less

Submitted 12 July, 2016; originally announced July 2016.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1112.3981

MSC Class: 20H15

Salem numbers and arithmetic hyperbolic groups

Authors: Vincent Emery, John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper we prove that there is a direct relationship between Salem numbers and translation lengths of hyperbolic elements of arithmetic hyperbolic groups that are determined by a quadratic form over a totally real number field. As an application we determine a sharp lower bound for the length of a closed geodesic in a noncompact arithmetic hyperbolic n-orbifold for each dimension n. We also… ▽ More In this paper we prove that there is a direct relationship between Salem numbers and translation lengths of hyperbolic elements of arithmetic hyperbolic groups that are determined by a quadratic form over a totally real number field. As an application we determine a sharp lower bound for the length of a closed geodesic in a noncompact arithmetic hyperbolic n-orbifold for each dimension n. We also discuss a "short geodesic conjecture", and prove its equivalence with "Lehmer's conjecture" for Salem numbers. △ Less

Submitted 2 July, 2018; v1 submitted 11 June, 2015; originally announced June 2015.

Comments: The exposition in version 3 is more compact; this shortens the paper: 26 pages now instead of 37. A discussion on Lehmer's problem has been added in Section 1.2. Final version, to appear is Trans. AMS

MSC Class: 11E10; 11F06; 11R06; 30F40

Closed flat Riemannian 4-manifolds

Authors: Thomas P. Lambert, John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper we describe the classification of all the geometric fibrations of a closed flat Riemannian 4-manifold over a 1-orbifold. In this paper we describe the classification of all the geometric fibrations of a closed flat Riemannian 4-manifold over a 1-orbifold. △ Less

Submitted 27 June, 2013; originally announced June 2013.

Comments: 48 pages with 34 tables

MSC Class: 57N13

On volumes of hyperbolic Coxeter polytopes and quadratic forms

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we compute the covolume of the group of units of the quadratic form f_d^n(x) = x_1^2 + x_2^2 + . . . + x_n^2 - d x_{n+1}^2 with d an odd, positive, square-free integer. Mcleod has determined the hyperbolic Coxeter fundamental domain of the reflection subgroup of the group of units of the quadratic form f_3^n. We apply our covolume formula to compute the volumes of these hyperbolic C… ▽ More In this paper, we compute the covolume of the group of units of the quadratic form f_d^n(x) = x_1^2 + x_2^2 + . . . + x_n^2 - d x_{n+1}^2 with d an odd, positive, square-free integer. Mcleod has determined the hyperbolic Coxeter fundamental domain of the reflection subgroup of the group of units of the quadratic form f_3^n. We apply our covolume formula to compute the volumes of these hyperbolic Coxeter polytopes. △ Less

Submitted 3 April, 2012; v1 submitted 29 March, 2012; originally announced March 2012.

Comments: 17 pages, 1 Table, and 1 Figure. In version 2 we corrected some typos and clarified that the matrix S has integral entries

MSC Class: 20F55; 51F15; 11E45

Fibered orbifolds and crystallographic groups, II

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: Let G be an n-dimensional crystallographic group (n-space group). If G is a Z-reducible, then the flat n-orbifold E^n/G has a nontrivial fibered orbifold structure. We prove that this structure can be described by a generalized Calabi construction, that is, E^n/G is represented as the quotient of the Cartesian product of two flat orbifolds under the diagonal action of a structure group of isometri… ▽ More Let G be an n-dimensional crystallographic group (n-space group). If G is a Z-reducible, then the flat n-orbifold E^n/G has a nontrivial fibered orbifold structure. We prove that this structure can be described by a generalized Calabi construction, that is, E^n/G is represented as the quotient of the Cartesian product of two flat orbifolds under the diagonal action of a structure group of isometries. We determine the structure group and prove that it is finite if and only if the fibered orbifold structure has an orthogonally dual fibered orbifold structure. A geometric fibration of E^n/G corresponds to a space group extension 1 -> N -> G -> G/N -> 1. We give a criterion for the splitting of a space group extension in terms of the structure group action that is strong enough to detect the splitting of all the space group extensions corresponding to the standard Seifert fibrations of a compact, connected, flat 3-orbifold. If G is an arbitrary n-space group, we prove that the group Isom(E^n/G) of isometries of E^n/G is a compact Lie group whose component of the identity is a torus of dimension equal to the first Betti number of G. This implies that Isom(E^n/G) is finite if and only if G/[G,G] is finite. We describe how to classify all the geometric fibrations of compact, connected, flat n-orbifolds, over a 1-orbifold, up to affine equivalence. We apply our classification theory to the scientifically important case n = 3, and classify all the geometric fibrations of compact, connected, flat 3-orbifolds, over a 1-orbifold, up to affine equivalence. △ Less

Submitted 3 October, 2012; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: The data in Tables 1-18 has been double checked by a computer calculation. Errors in entries 48 and 56 of Table 17 and entry 5 of Table 18 have been corrected

MSC Class: 20H15; 55R65; 57M50; 57S30

Right-angled Coxeter polytopes, hyperbolic 6-manifolds, and a problem of Siegel

Authors: Brent Everitt, John G. Ratcliffe, Steven T. Tschantz

Abstract: By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable hyperbolic 6-manifolds having the smallest possible volume. By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable hyperbolic 6-manifolds having the smallest possible volume. △ Less

Submitted 16 September, 2010; originally announced September 2010.

Comments: 32 pages

Journal ref: Math. Ann. 354 (2012) 871-905

On normal subgroups of an amalgamated product of groups with applications to knot theory

Authors: John G. Ratcliffe

Abstract: In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an irreducible multilink in a homology 3-sphere fibers if and only if each of its multilink splice components fibers. In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an irreducible multilink in a homology 3-sphere fibers if and only if each of its multilink splice components fibers. △ Less

Submitted 6 January, 2010; v1 submitted 2 October, 2009; originally announced October 2009.

Comments: Some new references have been added to v3

MSC Class: 20E06; 57M25

Fibered orbifolds and crystallographic groups

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we prove that a normal subgroup N of an n-dimensional crystallographic group G determines a geometric fibered orbifold structure on the flat orbifold E^n/G, and conversely every geometric fibered orbifold structure on E^n/G is determined by a normal subgroup N of G, which is maximal in its commensurability class of normal subgroups of G. In particular, we prove that E^n/G is a fib… ▽ More In this paper, we prove that a normal subgroup N of an n-dimensional crystallographic group G determines a geometric fibered orbifold structure on the flat orbifold E^n/G, and conversely every geometric fibered orbifold structure on E^n/G is determined by a normal subgroup N of G, which is maximal in its commensurability class of normal subgroups of G. In particular, we prove that E^n/G is a fiber bundle, with totally geodesic fibers, over a b-dimensional torus, where b is the first Betti number of G. Let N be a normal subgroup of G which is maximal in its commensurability class. We study the relationship between the exact sequence 1 -> N -> G -> G/N -> 1 splitting and the corresponding fibration projection having an affine section. If N is torsion-free, we prove that the exact sequence splits if and only if the fibration projection has an affine section. If the generic fiber F = Span(N)/N has an ordinary point that is fixed by every isometry of F, we prove that the exact sequence always splits. Finally, we describe all the geometric fibrations of the orbit spaces of all 2- and 3-dimensional crystallographic groups building on the work of Conway and Thurston. △ Less

Submitted 20 October, 2009; v1 submitted 2 April, 2008; originally announced April 2008.

Comments: 26 pages, 1 Table. Some new theorems have been added to v2

MSC Class: 20H15

Journal ref: Algebr. Geom. Topol. 10 (2010) 1627-1664

On the rank of a Coxeter group

Authors: Michael L. Mihalik, John G. Ratcliffe

Abstract: Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined… ▽ More Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined by W. If W is finitely generated, then W may have sets of Coxeter generators S and S' of different ranks. In this paper, we determine the set of all possible ranks for an arbitrary finitely generated Coxeter group W. △ Less

Submitted 26 June, 2007; originally announced June 2007.

Comments: 21 pages

MSC Class: 20F55

Complements of tori and Klein bottles in the 4-sphere that have hyperbolic structure

Authors: Dubravko Ivansic, John G. Ratcliffe, Steven T. Tschantz

Abstract: Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of varying numbers of tori and Klein bottles in the 4-sphere. Finite covers of some of those manifolds are then shown to be complements of tori and Klein bottles i… ▽ More Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of varying numbers of tori and Klein bottles in the 4-sphere. Finite covers of some of those manifolds are then shown to be complements of tori and Klein bottles in other simply-connected closed 4-manifolds. All the examples are based on a construction of Ratcliffe and Tschantz, who produced 1171 noncompact hyperbolic 4-manifolds of minimal volume. Our examples are finite covers of some of those manifolds. △ Less

Submitted 24 August, 2005; v1 submitted 14 February, 2005; originally announced February 2005.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-41.abs.html

MSC Class: 57M50; 57Q45

Journal ref: Algebr. Geom. Topol. 5 (2005) 999-1026

Some examples of aspherical 4-manifolds that are homology 4-spheres

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, Problem 4.17 on R. Kirby's problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres In this paper, Problem 4.17 on R. Kirby's problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres △ Less

Submitted 23 December, 2003; originally announced December 2003.

Comments: 6 pages, LaTex

MSC Class: 57N13

Integral Congruence Two Hyperbolic 5-Manifolds

Authors: John G. Ratcliffe, Steven T. Tschantz

Abstract: In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form $H^5/Γ$ where $Γ$ is a torsion-free subgroup of minimal index of the congruence two subgroup $Γ^5_2$ of the group $Γ^5$ of positive units of the Lorentzian quadratic form $x_1^2+...+x_5^2-x_6^2$. We also show that $Γ^5_2$ is a reflection group with respect to a 5-dimensional right-angled co… ▽ More In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form $H^5/Γ$ where $Γ$ is a torsion-free subgroup of minimal index of the congruence two subgroup $Γ^5_2$ of the group $Γ^5$ of positive units of the Lorentzian quadratic form $x_1^2+...+x_5^2-x_6^2$. We also show that $Γ^5_2$ is a reflection group with respect to a 5-dimensional right-angled convex polytope in $H^5$. As an application, we construct a hyperbolic 5-manifold of smallest known volume $7ζ(3)/4$. △ Less

Submitted 13 August, 2003; originally announced August 2003.

Comments: 21 pages, 2 figures, LaTeX

MSC Class: 30F40; 51M10; 53C25