Related papers: Gallucci's axiom revisited
We introduce two axioms in Laguerre geometry and prove that they provide a characterization of miquelian planes over fields of the characteristic different from 2. They allow to describe an involutory automorphism that sheds some new light…
The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the…
Phenomenological approaches to quantum gravity implement a minimum resolvable length-scale but do not link it to an underlying formalism describing geometric superpositions. Here, we introduce an intuitive approach in which points in the…
A common approach to metric-affine, local Poincar\'e, special-relativistic and Galilei spacetime geometry is developed. Starting from an affine composite bundle, we introduce local reference frames and their evolution along worldlines and…
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
The principal goal of this paper is to pass all quantum probability formulas to the projective space associated to the complex Hilbert space of a given quantum system, providing a more complete geometrization of quantum theory. Quantum…
We introduce the concept of a homogeneity supermanifold, which is, roughly speaking, a supermanifold equipped with a privileged atlas whose coordinates carry prescribed (real) homogeneity degrees. This structure defines a sheaf of graded…
We characterize the convergence spaces $(X,\xi)$ such that the space of points of $(\mathbb{P}X,\lim_{\xi})$ in the category of convergence lattices is $(X,\xi)$. On the way, we study variants of sobriety and of the axiom $T_{D}$ in…
We present a way of understanding the curvature of space-time, the basic philosophy being that the (linear) geometry of any space is determined by the (linear) functionals on the algebra(s) of any fields defined on the space. It is known…
The concept of number and its generalization has played a central role in the development of mathematics over many centuries and many civilizations. Noteworthy milestones in this long and arduous process were the developments of the real…
For curved projective manifolds we introduce a notion of a normal tractor frame field, based around any point. This leads to canonical systems of (redundant) coordinates that generalise the usual homogeneous coordinates on projective space.…
The traditional study of plane and space algebraic curves by looking at their tangent vectors, curvatures and torsions provides geometric, but unfortunately not sufficient information about individual curves in order to be able to…
We introduce and explore a new concept of evasive subspace with respect to a collection of subspaces sharing a common dimension, most notably partial spreads. We show that this concept generalises known notions of subspace scatteredness and…
The purpose of this paper is to prove that every finite set of points that can be constructed in the Euclidean plane by using a compass and a ruler can also be constructed by using unitary match-sticks in a non-simultaneous way and…
Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…
In the framework of Galilei classical mechanics (i.e., general relativistic classical mechanics on a spacetime with absolute time) developed by Jadczyk and Modugno, we analyse systematically the relations between symmetries of the geometric…
We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience…
We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper…
We propose a conceptually economical and computationally tractable completion of the foundations of gauge theory on quantum principal bundles \`{a} la Brzezi\'{n}ski--Majid to the case of general differential calculi and strong bimodule…
We introduce the notion of geometric purity in rigidly-compactly generated tt-categories by considering exact triangles that are pure at each tt-stalk. We develop a systematic study of this concept, including examples and applications. In…