Related papers: A unified approach to Penner, Ptolemy, and Casey's…
We consider a Lorentzian analogue of the Ptolemy inequality and we prove that in the setting of globally hyperbolic spacetimes it is equivalent to a global timelike sectional curvature bound from above by zero. We investigate the link…
We give an explicit bijective correspondence between between nonzero pairs of complex numbers, which we regard as spinors or spin vectors, and horospheres in 3-dimensional hyperbolic space decorated with certain spinorial directions. This…
Three-term relations of the form AB+CD=EF arise in multiple mathematical contexts, including the Ptolemy equation for a cyclic quadrilateral, Casey's theorem on bitangents, Penner's relation for lambda lengths, and Pl\"ucker's identity for…
We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…
We observe that a large part of the volume of a hyperbolic polyhedron is taken by a tubular neighbourhood of its boundary, and use this to give a new proof for the finiteness of arithmetic maximal reflection groups following a recent work…
We prove a transverse diameter theorem in the context of Lorentzian foliations, which can be interpreted as a Hawking--Penrose-type singularity theorem for timelike geodesics transverse to the foliation. In order to develop the necessary…
We prove that any vector field on a three-dimensional compact manifold can be approximated in the C1-topology by one which is singular hyperbolic or by one which exhibits a homoclinic tangency associated to a regular hyperbolic periodic…
This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology,…
The great innovation of the Generalized Theorem is that it gives us the philosophy to work out the knowledge that the number of roots of an equation depends on the subfields of the functional terms of the equation they generate. Thus, the…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
Linde, Moore, and Nordahl introduced a generalisation of the honeycomb dimer model to higher dimensions. The purpose of this article is to describe a number of structural properties of this generalised model. First, it is shown that the…
The Newton line and the associated theorems by Newton and Gauss for tetragons and quadrilaterals are closely linked to some other theorems of Euclidean geometry: a theorem by Bocher on the existence of a nine-point conic of a quadrangle, a…
We obtain a gradient estimate for the Gauss maps from complete spacelike constant mean curvature hypersurfaces in Minkowski space into the hyperbolic space. As applications, we prove a Bernstein theorem which says that if the image of the…
We give explicit bijective correspondences between three families of objects: certain pairs of quaternions, which we regard as spinors; certain flags in (1+4)-dimensional Minkowski space; and horospheres in 4-dimensional hyperbolic space…
By analogy with complex numbers, a system of hyperbolic numbers can be introduced in the same way: z=x+h*y with h*h=1 and x,y real numbers. As complex numbers are linked to the Euclidean geometry, so this system of numbers is linked to the…
We describe the holonomy algebras of all canonical connections and their action on complex hyperbolic spaces $\mathbb{C}\mathrm{H}(n)$ in all dimensions ($n\in\mathbb{N}$). This thorough investigation yields a formula for all Kahler…
An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…
There are multiple generalisations of the Pythagorean theorem to spherical and hyperbolic geometry. A natural one, involving areas of disks with radii equal to the sides of a proper triangle, was discovered in the hyperbolic case by Maria…
New examples of harmonic unit vector fields on hyperbolic 3-space are constructed by exploiting the reduction of symmetry arising from the foliation by horospheres. This is compared and contrasted with the analogous construction in…
We translate Penrose's singularity theorem to a Finsler spacetime. To that end, causal concepts in Lorentzian geometry are extended, including definitions and properties of focal points and trapped surfaces, with careful attention paid to…