-
The geometry in Plato's Meno
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.
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
-
arXiv:2106.04642 [pdf, ps, other]
The G-index of a closed, spin, hyperbolic manifold of dimension 2 or 4
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.
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
-
Extended Reality (XR) Remote Research: a Survey of Drawbacks and Opportunities
Abstract: Extended Reality (XR) technology - such as virtual and augmented reality - is now widely used in Human Computer Interaction (HCI), social science and psychology experimentation. However, these experiments are predominantly deployed in-lab with a co-present researcher. Remote experiments, without co-present researchers, have not flourished, despite the success of remote approaches for non-XR invest… ▽ More
Submitted 20 January, 2021; originally announced January 2021.
-
arXiv:2004.07284 [pdf, ps, other]
Hyperbolic 24-cell 4-manifolds with one cusp
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.
Submitted 15 April, 2020; originally announced April 2020.
MSC Class: 57M50
-
arXiv:2003.03378 [pdf, ps, other]
Co-Seifert fibrations of compact flat 3-orbifolds
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
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
-
arXiv:2002.12799 [pdf, ps, other]
Co-Seifert Fibrations of Compact Flat Orbifolds
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
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
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.
Submitted 9 December, 2019; originally announced December 2019.
Comments: 12 pages and 5 figures
MSC Class: 57M50; 20B20
-
arXiv:1803.06382 [pdf, ps, other]
Harmonic spinors on the Davis hyperbolic 4-manifold
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
Submitted 16 March, 2018; originally announced March 2018.
Comments: 33 pages and 2 figures
MSC Class: 53C27
-
arXiv:1607.03503 [pdf, ps, other]
A Bieberbach theorem for crystallographic group extensions
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.
Submitted 12 July, 2016; originally announced July 2016.
Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1112.3981
MSC Class: 20H15
-
arXiv:1506.03727 [pdf, ps, other]
Salem numbers and arithmetic hyperbolic groups
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
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
-
arXiv:1306.6613 [pdf, ps, other]
Closed flat Riemannian 4-manifolds
Abstract: In this paper we describe the classification of all the geometric fibrations of a closed flat Riemannian 4-manifold over a 1-orbifold.
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
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
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
-
arXiv:1112.3981 [pdf, ps, other]
Fibered orbifolds and crystallographic groups, II
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
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
-
arXiv:1009.3231 [pdf, ps, other]
Right-angled Coxeter polytopes, hyperbolic 6-manifolds, and a problem of Siegel
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.
Submitted 16 September, 2010; originally announced September 2010.
Comments: 32 pages
Journal ref: Math. Ann. 354 (2012) 871-905
-
arXiv:0910.5732 [pdf, ps, other]
JSJ decompositions of Coxeter groups over FA subgroups
Abstract: A group G has property FA if G fixes a point of every tree on which G acts without inversions. We prove that every Coxeter system of finite rank has a visual JSJ decomposition over subgroups with property FA. As an application, we reduce the twist conjecture to Coxeter systems that are indecomposable with respect to amalgamated products over visual subgroups with property FA.
Submitted 29 October, 2009; originally announced October 2009.
Comments: 17 pages
MSC Class: 20F55
-
arXiv:0910.0267 [pdf, ps, other]
On normal subgroups of an amalgamated product of groups with applications to knot theory
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.
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
-
arXiv:0804.0427 [pdf, ps, other]
Fibered orbifolds and crystallographic groups
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
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
-
arXiv:0706.3911 [pdf, ps, other]
On the rank of a Coxeter group
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
Submitted 26 June, 2007; originally announced June 2007.
Comments: 21 pages
MSC Class: 20F55
-
arXiv:math/0607428 [pdf, ps, other]
Quotient isomorphism invariants of a finitely generated Coxeter group
Abstract: In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that ca… ▽ More
Submitted 18 July, 2006; originally announced July 2006.
MSC Class: 20F55
-
arXiv:math/0607301 [pdf, ps, other]
Chordal Coxeter Groups
Abstract: A solution of the isomorphism problem is presented for the class of Coxeter groups W that have a finite set of Coxeter generators S such that the underlying graph of the presentation diagram of the system (W,S) has the property that every cycle of length at least four has a cord. As an application, we construct counterexamples to two main conjectures concerning the isomorphism problem for Coxete… ▽ More
Submitted 12 July, 2006; v1 submitted 12 July, 2006; originally announced July 2006.
MSC Class: 20F55
-
arXiv:math/0502293 [pdf, ps, other]
Complements of tori and Klein bottles in the 4-sphere that have hyperbolic structure
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
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
-
arXiv:math/0501075 [pdf, ps, other]
Matching theorems for systems of a finitely generated Coxeter group
Abstract: In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.
Submitted 16 May, 2006; v1 submitted 6 January, 2005; originally announced January 2005.
Comments: This paper replaces our earlier paper "On the isomorphism problem for finitely generated Coxeter groups. I, Basic matching". 49 pages. Sections 7-10 are new
MSC Class: 20F55
Journal ref: Algebr. Geom. Topol. 7 (2007) 919-956
-
arXiv:math/0410474 [pdf, ps, other]
The smallest hyperbolic 6-manifolds
Abstract: By gluing together copies of an all-right angled Coxeter polytope a number of open hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of hyperbolic 6-manifolds having the smallest possible volume.
Submitted 30 March, 2005; v1 submitted 21 October, 2004; originally announced October 2004.
Comments: More details added in the last section. To appear in Electronic Research Announcements of the AMS
MSC Class: 57M50
Journal ref: Electron. Res. Announc. Amer. Math. Soc. 11 (2005), 40-46
-
arXiv:math/0312436 [pdf, ps, other]
Some examples of aspherical 4-manifolds that are homology 4-spheres
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
Submitted 23 December, 2003; originally announced December 2003.
Comments: 6 pages, LaTex
MSC Class: 57N13
-
Peaks in the Hartle-Hawking Wave Function from Sums over Topologies
Abstract: Recent developments in ``Einstein Dehn filling'' allow the construction of infinitely many Einstein manifolds that have different topologies but are geometrically close to each other. Using these results, we show that for many spatial topologies, the Hartle-Hawking wave function for a spacetime with a negative cosmological constant develops sharp peaks at certain calculable geometries. The peaks… ▽ More
Submitted 19 November, 2003; v1 submitted 30 September, 2003; originally announced October 2003.
Comments: 16 pages,LaTeX, no figures; v2: some changes coming from revision of a math reference: wave function peaks sharp but not infinite; v3: added paragraph in intro on interpretation of wave function
Report number: UCD-2003-10
Journal ref: Class.Quant.Grav.21:729-742,2004
-
arXiv:math/0308125 [pdf, ps, other]
Integral Congruence Two Hyperbolic 5-Manifolds
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
Submitted 13 August, 2003; originally announced August 2003.
Comments: 21 pages, 2 figures, LaTeX
MSC Class: 30F40; 51M10; 53C25
-
On the Growth of the Number of Hyperbolic Gravitational Instantons with respect to Volume
Abstract: In this paper, we show that the number of hyperbolic gravitational instantons grows superexponentially with respect to volume. As an application, we show that the Hartle-Hawking wave function for the universe is infinitely peaked at a certain closed hyperbolic 3-manifold.
Submitted 1 September, 2000; originally announced September 2000.
Comments: 9 pages and 2 tables
Journal ref: Class.Quant.Grav. 17 (2000) 2999-3007