Related papers: Affine and projective universal geometry
A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms…
Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.
In the paper "Is there a Jordan geometry underlying quantum physics?" (Int. J. Theor. Phys., to appear; arXiv:0801.3069 [math-ph]), generalized projective geometries have been proposed as a framework for a geometric formulation of Quantum…
A novel approach is introduced to a very widely occurring problem, providing a complete, explicit resolution of it: minimisation of a convex quadratic under a general quadratic, equality or inequality, constraint. Completeness comes via…
We revisit the task of learning a Euclidean metric from data. We approach this problem from first principles and formulate it as a surprisingly simple optimization problem. Indeed, our formulation even admits a closed form solution. This…
We obtain several new characterizations of ultrametric spaces in terms of roundness, generalized roundness, strict p-negative type, and p-polygonal equalities (p > 0). This allows new insight into the isometric embedding of ultrametric…
A variational principle is applied to 4D Euclidean space provided with a tensor refractive index, defining what can be seen as 4-dimensional optics (4DO). The geometry of such space is analysed, making no physical assumptions of any kind.…
We deal with generalizations of the Fundamental Theorem of Projective Geometry to other related geometries (of dimension $\geq 3$) and non bijective maps. We consider locally projective geometries and locally affino-projective geometries…
In this dissertation we study basic local differential geometry, projective differential geometry, and prolongations of overdetermined geometric partial differential equations. It is simple to prolong an n-th order linear ordinary…
The proper Euclidean geometry is considered to be metric space and described in terms of only metric and finite metric subspaces (sigma-immanent description). Constructing the geometry, one does not use topology and topological properties.…
In this paper, generalized metrics mean metrics taking values in general linearly ordered Abelian groups. Using the Hahn fields, we first prove that for every generalized metric space, if the set of the Archimedean equivalence classes of…
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well…
I apply the algebraic framework developed in arXiv:1101.4542 to study geometry of elliptic spaces in 1, 2, and 3 dimensions. The background material on projectivised Clifford algebras and their application to Cayley-Klein geometries is…
We develop a classification of general Carrollian structures, permitting affine connections with both torsion and non-metricity. We compare with a recent classification of general Galilean structures in order to present a unified…
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…
We present a variety of geometrical and combinatorial tools that are used in the study of geometric structures on surfaces: volume, contact, symplectic, complex and almost complex structures. We start with a series of local rigidity results…
Non-Euclidean method of the generalized geometry construction is considered. According to this approach any generalized geometry is obtained as a result of deformation of the proper Euclidean geometry. The method may be applied for…
We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.