Related papers: Gallucci's axiom revisited
Here we briefly describe some topics along the lines of projective spaces and related geometric constructions connected to linear algebra, which provide fundamental examples in classical geometry and analysis.
The article presents a new approach to euclidean plane geometry based on projective geometric algebra (PGA). It is designed for anyone with an interest in plane geometry, or who wishes to familiarize themselves with PGA. After a brief…
We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems.
Given a class of functions $F$ on a probability space $(\Omega,\mu)$, we study the structure of a typical coordinate projection of the class, defined by $\{(f(X_i))_{i=1}^N : f \in F\}$, where $X_1,...,X_N$ are independent, selected…
This is an attempt to present axioms for Euclidean geometry, aiming at the following goals: to work with geometric notions (thus not merely identify points with pairs of numbers, giving a special status to a particular coordinate system);…
In a projective space we fix some set of points, a horizon, and investigate the complement of that horizon. We prove, under some assumptions on the size of lines, that the ambient projective space, together with its horizon, both can be…
We develop a generalized projective gauge theory of gravity and spinorial matter, incorporating both non-metricity and torsion. The work is divided into three parts. Part I provides a thorough review of General Relativity, Metric-Affine…
In this article we discuss how to construct canonical \emph{strong} Carrollian geometries at time/space like infinity of projectively compact Ricci flat Einstein manifolds $(M,g)$ and discuss the links between the underlying projective…
A point $P$ in projective space is said to be Galois with respect to a hypersurface if the function field extension induced by the projection from $P$ is Galois. We present a hyperplane section theorem for Galois points. Precisely, if $P$…
Let $P$ be a set of points and $L$ a set of lines in the (extended) Euclidean plane, and $I \subseteq P\times L$, where $i =(p,l) \in I$ means that point $p$ and line $l$ are incident. The incidences can be interpreted as quadratic…
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of these in a higher version of the Zariski topos, in order to do…
The objective of this manuscript is to introduce and develop the concept of a generalized $\theta$-parametric metric space-a novel extension that enriches the modern metric fixed point theory. We study of its fundamental properties,…
In this article, I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us (the…
To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…
The classical theory of the cross-ratio is a beautiful case study of the moduli of ordered points of the projective line and of invariants of the action of $PGL_2$. We generalize the theory of the cross-ratio to the setting of $S$-valued…
In this paper, we investigate the configuration theorems of Desargues and Pappus in a synthetic geometric way. We provide a bridge between the two configurations with a third one that can be considered a specification for both. We do not…
We construct Grassmann spaces associated with the incidence geometry of regular and tangential subspaces of a symplectic copolar space, show that the underlying metric projective space can be recovered in terms of the corresponding…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it…
The Gale transform, an involution on sets of points in projective space, appears in a multitude of guises, in subjects as diverse as optimization, coding theory, theta-functions, and recently in our proof that certain general sets of points…