higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Given a complete quadrangle and a line not through a vertex of the quadrangle and in the same plane as the quadrangle, consider the 6 points of intersection of sides of the quadrangle with the line .
Pappus’ involution theorem is a result in projective geometry stating that in the above situation there is a projective involution (a projective automorphism which is also an involution) of the line which interchanges each of the intersections of a side of the quadrangle with with the intersection of the opposite side of the quadrangle with .
This morphism of projective spaces is not a perspectivity but a composition of two perspectivities.
John Bamberg, Tim Penttila, Analytic projective geometry, Cambridge University Press 2023 doi
Ruben Vigara: An application of Pappus’ Involution Theorem in euclidean and non-euclidean geometry [arXiv:1412.7414]
Last revised on April 15, 2025 at 15:34:25. See the history of this page for a list of all contributions to it.