• Corpus ID: 227227595

Space vectors forming rational angles.

  title={Space vectors forming rational angles.},
  author={Kiran S. Kedlaya and Alexander Kolpakov and Bjorn Poonen and Michael O. Rubinstein},
  journal={arXiv: Metric Geometry},
We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $\pi$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $\pi$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of… 

Figures and Tables from this paper


(1) Given a tetrahedron, does it tile space? That is, can one fill space with copies of the tetrahedron? Aristotle claimed that one could tile space with copies of a regular tetrahedron, but 1800

Some Symmetric Pyramids with trivial Dehn invariant

For some symmetric pyramids of R 3 , we find Galois obstruction for their Dehn invariant to be zero, i.e. for the pyramids to be scissor equivalent to a cube. These conditions are that some associated

Geometric decomposition of abelian varieties of order 1

. Since the 1970s, the complete classification (up to isogeny) of abelian varieties over finite fields with trivial group of rational points has been known from results of Madan–Pal and Robinson; with

Kepler's conjecture and phase transitions in the high-density hard-core model on $\mathbb{Z}^3$

We perform a rigorous study of the identical sphere packing problem in Z3 and of phase transitions in the corresponding hard-core model. The sphere diameter D > 0 and the fugacity u ≫ 1 are the

Factorization of polynomials in hyperbolic geometry and dynamics

. Using factorization theorems for sparse polynomials, we compute the trace field of Dehn fillings of the Whitehead link, and (assuming Lehmer’s Conjecture) the minimal polynomial of the small



Simplices whose dihedral angles are all rational multiples of π, and related topics

We prove the following: (1) For every $${n \geq 2}$$n≥2, there are infinitely many, mutually non-similar n-dimensional simplices in $${\mathbb{R}^n}$$Rn whose dihedral angles are all rational

Rational angles in plane lattices

This paper is concerned with configurations of points in a plane lattice which determine angles that are rational multiples of {\pi}. We shall study how many such angles may appear in a given lattice

Rational elliptic surfaces and the trigonometry of tetrahedra

We study the trigonometry of non-Euclidean tetrahedra using tools from algebraic geometry. We establish a bijection between non-Euclidean tetrahedra and certain rational elliptic surfaces. We

Sums of roots of unity vanishing modulo a prime

Abstract. In 1976 J.H. Conway and A.J. Jones [1] proved a best possible result to classify the linear equations $ \sum\limits_{i=0}^{k-1} a_{i}\zeta_{i} = 0 $ satisfied over $ \mathbb{Q} $ by a

Classical 6j-symbols and the tetrahedron

A classical 6j-symbol is a real number which can be associated to a labelling of the six edges of a tetrahedron by irreducible representations of SU(2). This abstract association is traditionally

On linear relations between roots of unity

In a recent paper I. J. Schoenberg [1] considered relations where the a v are rational integers and the ζ v are roots of unity. We may in (1) replace all negative coefficients a v by − a v replacing

Solving algebraic equations in roots of unity.

The roots of unity are the torsion points of the group C which we can identify with the algebraic group Gm. The «-tuples of roots of unity (d, . . . , £n) are then just the torsion points of Gm x ...

The Number of Intersection Points Made by the Diagonals of a Regular Polygon

We give a formula for the number of interior intersection points made by the diagonals of a regular n-gon. The answer is a polynomial on each residue class modulo 2520. We also compute the number of

6j symbols for U_q(sl_2) and non-Euclidean tetrahedra

We relate the semiclassical asymptotics of the 6j symbols for the representation theory of the quantized enveloping algebra U_q(sl_2) at q a primitive root of unity, or q positive real, to the