Projective Space: Points and Planes

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.1611.06852

2016-11-13

Abstract:We take points and planes as fundamental, lines as derived, in an axiomatic formulation of three-dimensional projective space, the self-dual nature of which formulation renders automatic the principle of duality.

Combinatorics

What problem does this paper attempt to address?

Projective Space: Reguli and Projectivity

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.1506.08217

2015-06-27

Abstract:We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.

Combinatorics
Projective Space: Harmonicity and Projectivity

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.1612.08422

2016-12-27

Abstract:For an axiomatization of three-dimensional projective space based on points and planes, we discuss appropriate versions of the harmonicity axiom and the projectivity axiom, showing that each axiom is equivalent to its spatial dual.

Combinatorics
Projective Space: Tetrads and Harmonicity

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.1612.01913

2016-12-07

Abstract:Within an axiomatic framework for three-dimensional projective space based on lines alone, we explore the Fano axiom of harmonicity according to which the diagonal lines of a complete quadrilateral are not concurrent.

Combinatorics
A Constructive Real Projective Plane

Mark Mandelkern

DOI: https://doi.org/10.1007/s00022-015-0272-4

2024-04-26

Abstract:The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify the consistency of the axioms; it is based on the usual model in three-dimensional Euclidean space, using only constructive properties of the real numbers. The methods of strict constructivism, following principles put forward by Errett Bishop, reveal the hidden constructive content of a portion of classical geometry. A number of open problems remain for future studies.

Metric Geometry
On Real Projective Plane Constructions and Their Isomorphisms

Noah Everett,Patrick Fleming

2024-03-02

Abstract:The real projective plane has three well know isomorphic constructions: the extended euclidean plane, unit (hemi)sphere, and three dimensional vector space over the reals. In this paper we find the isomorphisms that map between these three constructions. Additionally we investigate their relationship to direction-sensitive photosensors which use lens(es) to transform light's direction to a position on a local plane. This transformation, done by lenses is a physical version of an isomorphism between projective plane constructions

Algebraic Geometry
Mutually orthogoval projective and affine spaces

Mark Saaltink

2024-03-20

Abstract:A recent paper showed how to find sets of finite affine or projective planes constructed on a common set of points, so that lines of one plane meet lines of a different plane in at most two points. In this paper, those results are generalized in two different ways to spaces of higher dimension. The simpler of the two generalizations admits many solutions, both affine and projective. For the stronger definition, where a line of one space must be an arc in the other, we show the existence of pairs of projective spaces of dimension one less than a prime.

Combinatorics
Projective rigidity of point-line configurations in the plane

Leah Berman,Signe Lundqvist,Bernd Schulze,Brigitte Servatius,Herman Servatius,Klara Stokes,Walter Whiteley

2024-07-27

Abstract:In this paper, we establish a general setup for studying incidence-preserving motions of projective geometric configurations of points and lines via a "projective rigidity matrix". The spaces of infinitesimal motions of a point-line configuration and dependencies amongst the point-line incidences can be interpreted as the kernel and co-kernel of this projective rigidity matrix, respectively. We also introduce a symmetry-adapted projective rigidity matrix for analysing symmetric configurations and their symmetry-preserving motions. The symmetry may be a point group or a more general symmetry, such as an autopolarity.

Metric Geometry,Algebraic Geometry,Differential Geometry,Group Theory
Projective Space in Synthetic Algebraic Geometry

Felix Cherubini,Thierry Coquand,Matthias Hutzler,David Wärn

2024-05-23

Abstract:Working in an abstract, homotopy type theory based axiomatization of the higher Zariski-topos called synthetic algebraic geometry, we show that the Picard group of projective n-space is the integers, the automorphism group of projective n-space is PGL(n+1) and morphisms between projective standard spaces are given by homogenous polynomials in the usual way.

Algebraic Geometry,Logic
Self-dual Harmonicity: the planar case

P.L. Robinson

DOI: https://doi.org/10.48550/arXiv.1705.00376

2017-05-01

Abstract:We present a manifestly geometrically self-dual version of the Fano harmonicity axiom for the projective plane.

Combinatorics
Axiomatization of geometry employing group actions

Jerzy Dydak

DOI: https://doi.org/10.48550/arXiv.1501.00285

2015-01-01

Metric Geometry

Abstract:The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a topological, not a metric concept. That leads quickly to the notion of connectedness without any need to dwell on the definition of topology. In our approach line segments must be connected. Lines and planes are unified via the concept of separation: lines are separated into two components by each point, planes contain lines that separate them into two components as well. We add a subgroup of bijections preserving line segments and establishing unique isomorphism of basic geometrical sets, and the axiomatic structure is complete. Of fundamental importance is the Fixed Point Theorem that allows for creation of the concepts of length and congruency of line segments. The resulting structure is much more in sync with modern science than other axiomatic approaches to planar geometry. For instance, it leads naturally to the Erlangen Program in geometry. Our Conditions of Homogeneity and Rigidity have two interpretations. In physics, they correspond to the basic tenet that independent observers should arrive at the same measurement and are related to boosts in special relativity. In geometry, they mean uniqueness of congruence for certain geometrical figures. Another thread of the paper is the introduction of boundary at infinity, an important concept of modern mathematics, and linking of Pasch Axiom to endowing boundaries at infinity with a natural relation of betweenness. That way spherical geometry can be viewed as geometry of boundaries at infinity.
Projective spaces over $\mathbb{F}_{1^{\ell}}$

Koen Thas

DOI: https://doi.org/10.48550/arXiv.1607.04513

2016-07-15

Algebraic Geometry

Abstract:In this essay we study various notions of projective space (and other schemes) over $\mathbb{F}_{1^\ell}$, with $\mathbb{F}_1$ denoting the field with one element. Our leading motivation is the "Hiden Points Principle," which shows a huge deviation between the set of rational points as closed points defined over $\mathbb{F}_{1^\ell}$, and the set of rational points defined as morphisms $\texttt{Spec}(\mathbb{F}_{1^\ell}) \mapsto \mathcal{X}$. We also introduce, in the same vein as Kurokawa [13], schemes of $\mathbb{F}_{1^\ell}$-type, and consider their zeta functions.
Of lines and planes

S. G. Bervoets

DOI: https://doi.org/10.1080/00050326.1992.10438772

1992-03-01

Australian Surveyor

Abstract:A professional inquiry from a surveyor as to how to compute the angle between two inclined planes in space led to the presentation in this paper of different kinds of equations for lines and planes. Their relationships are discussed, and it is shown how the parameters are found. The emphasis is on coordinate transformation from one reference system to another by means of a rotation matrix. The rotation matrix, together with the two sets of three-dimensional coordinates, allows the users to retain their conventional perceptions of space. An example is included of striking a plane through a number of data points, so as to determine the location and the perpendicular offset of those points with respect to the plane. May 1991
Constructive Projective Geometry

Mark Mandelkern

DOI: https://doi.org/10.1017/9781009039888.008

2024-02-01

Abstract:Of the great theories of classical mathematics, projective geometry, with its powerful concepts of symmetry and duality, has been exceptional in continuing to intrigue investigators. The challenge put forth by Errett Bishop (1928-1983), "Every theorem proved with nonconstructive methods presents a challenge: to find a constructive version, and to give it a constructive proof", motivates a large portion of current constructive work. This challenge can be answered by discovering the hidden constructive content of classical projective geometry. Here we briefly outline, with few details, recent constructive work on the real projective plane, and projective extensions of affine planes. Special note is taken of a number of interesting open problems that remain; these show that constructive projective geometry is still a theory very much in need of further effort. The Bishop-type constructive mathematics discussed in the present paper proceeds from a viewpoint well-nigh opposite that of either formal logic or recursive function theory.

Metric Geometry
Stolarsky's invariance principle for projective spaces

M.M. Skriganov

DOI: https://doi.org/10.1016/j.jco.2019.101428

2019-12-17

Abstract:We show that Stolarsky's invariance principle, known for point distributions on the Euclidean spheres, can be extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. A part of the results (Theorem~1.1 ana Corollary~1.1) was given early in the previous paper [22], while the explicit formulas for the constants in the invariance principles for projective spaces (Theorem~1.2 and Corollary~1.2) are new.

Combinatorics,Metric Geometry
New model of non-Euclidean plane

Piotr Błaszczyk,Anna Petiurenko

DOI: https://doi.org/10.48550/arXiv.2302.12768

2023-02-20

History and Overview

Abstract:We present a new model of a non-Euclidean plane, in which angles in a triangle sum up to $\pi$. It is a subspace of the Cartesian plane over the field of hyperreal numbers $\mathbb{R}^*$. The model enables one to represent the negation of equivalent versions of the parallel axiom, such as the existence of the circumcircle of a triangle, and Wallis' or Lagendre's axioms, as well as the difference between non-Euclidean and hyperbolic planes. The model has unique educational advantages as expounding its crucial ideas requires only the basics of Cartesian geometry and non-Archimedean fields.
On projective group properties of the $6D$ pseudo-Riemannian space

Zolfira Zakirova

DOI: https://doi.org/10.1007/s10582-006-0038-1

2005-06-24

Abstract:We study the six-dimensional pseudo-Riemannian spaces with two time-like coordinates that admit non-homothetic infinitesimal projective transformations. The metrics are manifestly obtained and the projective group properties are determined. We also find a generic defining of projective motion in the 6-dimensional rigid h-space.

Differential Geometry
Principal Lines on an Ellipsoid in a Minkoswki Tridimensional Space

R. Garcia,D. Tejada

2023-05-30

Abstract:The description of principal lines of the ellipsoid on the 3-dimensional Minkowski space is established. A global principal parametrization of a triple orthogonal system of quadrics is also achieved, and the focal set of the ellipsoid is sketched.

General Mathematics
Projective Duality, Unexpected Hypersurfaces and Logarithmic Derivations of Hyperplane Arrangements

Bill Trok

DOI: https://doi.org/10.48550/arXiv.2003.02397

2020-03-05

Abstract:Several papers have been written studying unexpected hypersurfaces. We say a finite set of points Z admits unexpected hypersurfaces if a general union of fat linear subspaces imposes less that the expected number of conditions on the ideal of Z. In this paper, we introduce the concept of a very unexpected hypersurface. This is a stronger condition which takes into account an explanation for some hypersurfaces previously considered unexpected. We then develop a duality theory to relate the study of very unexpected hypersurfaces to the derivations of dual hyperplane arrangements. This allows us to generalize results in the plane of Cook, Harbourne, Migliore, Nagel Faenzi, and Vallés to higher dimensions. In particular, we give a criterion to determine if a set Z admits very unexpected hypersurfaces in the case Z is invariant under the action of an irreducible reflection group on the ambient projective space. Our approach has new applications even in the projective plane where we are able to place strong conditions on sets of points Z which admit certain types of unexpected curves. We close relating Terao's Freeness Conjecture for line arrangements to a conjecture due to G. Dirac on configurations of points in the real plane.

Algebraic Geometry,Commutative Algebra
Projective path to points at infinity in spherically symmetric spacetimes

Donato Bini,Giampiero Esposito

2024-10-04

Abstract:This paper proves that, in a four-dimensional spherically symmetric spacetime manifold, one can consider coordinate transformations expressed by fractional linear maps which give rise to isometries and make it possible to bring infinity down to a finite distance. The projective boundary of spherically symmetric spacetimes here studied is the disjoint union of three points: future timelike infinity, past timelike infinity, spacelike infinity, and the three-dimensional products of half-lines with a 2-sphere. Geodesics are then studied in the projectively transformed (t',r',theta',phi') coordinates for Schwarzschild spacetime, with special interest in their way of approaching our points at infinity. Next, Nariai, de Sitter and Godel spacetimes are studied with our projective method. Since the kinds of infinity here defined depend only on the symmetry of interest in a spacetime manifold, they have a broad range of applications, which motivate the innovative analysis of Schwarzschild, Nariai, de Sitter and Godel spacetimes.

General Relativity and Quantum Cosmology,High Energy Physics - Theory
Reduced and non-reduced linear spaces: Lines and points

Enrico Carlini,Maria Virginia Catalisano,Anthony V. Geramita

DOI: https://doi.org/10.48550/arXiv.1308.6796

2013-08-31

Abstract:In this paper we consider the problem of determining the Hilbert function of schemes X of the proiective space P^n which are the generic union of s lines and one m-multiple point. We completely solve this problem for any s and m when n > 3. When n=3 we find several defective such schemes and conjecture that they are the only ones. We verify this conjecture in several cases.

Algebraic Geometry

Projective Space: Points and Planes

Projective Space: Reguli and Projectivity

Projective Space: Harmonicity and Projectivity

Projective Space: Tetrads and Harmonicity

A Constructive Real Projective Plane

On Real Projective Plane Constructions and Their Isomorphisms

Mutually orthogoval projective and affine spaces

Projective rigidity of point-line configurations in the plane

Projective Space in Synthetic Algebraic Geometry

Self-dual Harmonicity: the planar case

Axiomatization of geometry employing group actions

Projective spaces over $\mathbb{F}_{1^{\ell}}$

Of lines and planes

Constructive Projective Geometry

Stolarsky's invariance principle for projective spaces

New model of non-Euclidean plane

On projective group properties of the $6D$ pseudo-Riemannian space

Principal Lines on an Ellipsoid in a Minkoswki Tridimensional Space

Projective Duality, Unexpected Hypersurfaces and Logarithmic Derivations of Hyperplane Arrangements

Projective path to points at infinity in spherically symmetric spacetimes

Reduced and non-reduced linear spaces: Lines and points