Related papers: Constructive Projective Geometry
We study intersections of projective convex sets in the sense of Steinitz. In a projective space, an intersection of a nonempty family of convex sets splits into multiple connected components each of which is a convex set. Hence, such an…
In this text, we explore the tools that Projective Differential Geometry can provide for the asymptotic analysis of classical fields on projectively compact manifolds. We emphasise on the case of order 2-compactifications and develop, in…
Since the end of the 19th century, and after the works of F. Klein and H. Poincar\'e, it is well known that models of elliptic geometry and hyperbolic geometry can be given using projective geometry, and that Euclidean geometry can be seen…
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 goal of this paper is to experiment new math concepts and theories, especially if they run counter to the classical ones. To prove that contradiction is not a catastrophe, and to learn to handle it in an (un)usual way. To transform the…
For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such…
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric…
Natural philosophy integrates scientific observation with abstract frameworks, often using a mathematical Ansatz to hypothesise about physical phenomena. Exploring the possibility of other universes, however, challenges assumptions that…
Any representational enterprise must omit variation in order to function. NASA still uses Newtonian mechanics, though Einstein superseded Newton, and the standard picture of scientific progress cannot explain how. A description that omitted…
The study of the topology of polynomial maps originates from classical questions in affine geometry, such as the Jacobian Conjecture, as well as from works of Whitney, Thom, and Mather in the 1950-70s on diffeomorphism types of smooth maps.…
We show that the cyclic and epicyclic categories which play a key role in the encoding of cyclic homology and the lambda operations, are obtained from projective geometry in characteristic one over the infinite semifield F of "max-plus…
We present two new constructions in the usual euclidean plane. We only deal with 'Grecian Geometry', with this phrase we mean elementary geometry in the two-dimensional space R 2 . We describe and prove two propositions about 'projections'.…
Each vector space that is endowed with a quadratic form determines its Clifford algebra. This algebra, in turn, contains a distinguished group, known as the Lipschitz group. We show that only a quotient of this group remains meaningful in…
We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…
Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So,…
It is understood now that all projective (and conformal) invariants of Riemannian metrics can be found by a transparent construction based on representation theory. So this article with a partial and quite cumbersome construction of…
We discuss the position of intuitionistic mathematics within the field of constructive mathematics. We discuss some principles defended and used by Brouwer but rejected by Bishop, like the Coninuity Principle, the Fan Theorem and the Bar…
This work is a continuation of [1]. As in the previous article, here we will describe some interesting ideas and a lot of new theorems in plane geometry related to them.
We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a…
Focus of this study is to explore some aspects of mathematical foundations for using complex manifolds as a model for space-time. More specifically, certain equations of motions have been derived as a Projective geodesic on a real manifold…