Related papers: Saccheri's Rectilinear Quadrilaterals

It is well-known that the Euclidean plane has a standard 6-regular geodesic triangulation , and the unit sphere has a 5-regular geodesic triangulation, which is induced from the regular Dodecahedron, and the hyperbolic plane has an…

Consider the Euclidean space $\mathbb{R}^3$ endowed with a canonical semi-symmetric non-metric connection determined by a vector field $\mathsf{C}\in\mathfrak{X}(\mathbb{R}^3)$. We study surfaces when the sectional curvature with respect to…

A 2-dimensional framework is a straight line realisation of a graph in the Euclidean plane. It is radically solvable if the set of vertex coordinates is contained in a radical extension of the field of rationals extended by the squared edge…

We describe the first-order variations of the angles of Euclidean, spherical or hyperbolic polygons under infinitesimal deformations such that the lengths of the edges do not change. Using this description, we introduce a vector-valued…

We consider some constructions in hyperbolic geometry that are analogous to classical constructions in Euclidean geometry. We show that both Monge's theorem and the theorem on the concurrence of the common chords of three circles also hold…

This paper builds two detailed examples of generalized normal in non-Euclidean spaces, i.e. the hyperbolic and elliptic geometries. In the hyperbolic plane we define a n-sided hyperbolic polygon P, which is the Euclidean closure of the…

We classify Einstein metrics on $\mathbb{R}^4$ invariant under a four-dimensional group of isometries including a principal action of the Heisenberg group. The metrics are either Ricci-flat or of negative Ricci curvature. We show that all…

In this paper, we classify completely hyperbolic 3-manifolds corresponding to geometric limits of Kleinian surface groups isomorphic to $\pi_1(S)$ for a finite-type hyperbolic surface $S$. In the first of the three main theorems, we…

A projective manifold is algebraically hyperbolic if the degree of any curve is bounded from above by its genus times a constant, which is independent from the curve. This is a property which follows from Kobayashi hyperbolicity. We prove…

Motivated by a question of R.\ Nandakumar, we show that the Euclidean plane can be dissected into mutually incongruent convex pentagons of the same area and the same perimeter.

A curve is rectifying if it lies on a moving hyperplane orthogonal to its curvature vector. In this work, we extend the main result of [Chen 2017, Tamkang J. Math. 48, 209] to any space dimension: we prove that rectifying curves are…

The Erd\H{o}s-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$\delta$, at most $O(\delta^2)$ points…

We discuss two dimensional N-extended supersymmetry in Euclidean signature and its R-symmetry. For N=2, the R-symmetry is SO(2)\times SO(1,1), so that only an A-twist is possible. To formulate a B-twist, or to construct Euclidean N=2 models…

We define general rotational surfaces of elliptic and hyperbolic type in the pseudo-Euclidean 4-space with neutral metric which are analogous to the general rotational surfaces of C. Moore in the Euclidean 4-space. We study Lorentz general…

Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove…

We investigate the collapsing geometry of hyperk\"ahler 4-manifolds. As applications we prove two well-known conjectures in the field. (1) Any collapsed limit of unit-diameter hyperk\"ahler metrics on the K3 manifold is isometric to one of…

We construct the hyperbolic plane with its geodesic flow as the scale plus symmetry reduction of a three-body problem in the Euclidean plane. The potential is $-I/\Delta^2$ where $I$ is the triangle's moment of inertia and $\Delta$ its…

In this article we introduce the notion of Polyhedral Kahler manifolds, even dimensional polyhedral manifolds with unitary holonomy. We concentrate on the 4-dimensional case, prove that such manifolds are smooth complex surfaces, and…

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 Kummer extensions of number fields…

In this work, we introduce a new geometry based on the difference angle, an angle defined as the difference of slopes of two lines, together with an axiomatic system for angles. This framework provides a constructive approach to the…