Related papers: A geometric identity for Pappus' Theorem
The main theorem states that any complete connected Riemannian manifold of bounded geometry can be isometrically realized as a leaf with trivial holonomy in a compact Riemannian foliated space.
Guth and Katz proved that any point set $\mathcal P$ in the plane determines $\Omega(|\mathcal P|/\log|\mathcal P|)$ distinct distances. We show that when near to this lower bound, a point set $\mathcal P$ of the form $A\times A$ must…
For a three-dimensional theory with a coupling $\phi \epsilon ^{\mu \nu \lambda} v_\mu F_{\nu \lambda}$, where $v_\mu$ is an external constant background, we compute the interaction potential within the structure of the gauge-invariant but…
We give a natural definition of a Poisson Differential Algebra. Consistence conditions are formulated in geometrical terms. It is found that one can often locally put the Poisson structure on differential calculus in a simple canonical form…
The Lagrange identity expresses the second derivative of the moment of inertia of a system of material points through kinetic energy and homogeneous potential energy, from which follows the Jacobi well-known result on the instability of a…
Einstein-Cartan theory is formulated in (1+2)-dimensions using the algebra of exterior differential forms. A Dirac spinor is coupled to gravity and the field equations are obtained by a variational principle. The space-time torsion is found…
We solve the word problem of the identity $x(yz) = (xy)(yz)$ by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the free system of rank~1 relative to the above identity
We consider relations in Grassmann algebra corresponding to the four-dimensional Pachner move 3-3, assuming that there is just one Grassmann variable on each 3-face, and a 4-simplex weight is a Grassmann-Gaussian exponent depending on these…
We study notions of genericity in models of $\mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories…
A geometry of two sets (GTS) is given on manifolds $\mathfrak{M}$ and $\mathfrak{N}$ by a metric (two-point) function $f:\mathfrak{M\times N}\to R$. Its phenomenological symmetry (PS) means that for some numbers of points from each manifold…
A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum spaces we combine…
The necessary and sufficient conditions for a three-dimensional Riemannian metric to admit a transitive group of isometries are obtained. These conditions are Intrinsic, Deductive, Explicit and ALgorithmic, and they offer an IDEAL labeling…
In this article we present an axiomatic definition of sets with individuals and a definition of natural numbers and ordinals. We use the axioms pairs, union, power, regularity and separation. We define the equality of sets and of…
Answering a question of Benjamini, we present an isometry-invariant random partition of the Euclidean space $\mathbb{R}^d$, $d\geq 3$, into infinite connected indistinguishable pieces, such that the adjacency graph defined on the pieces is…
A natural extension of a homogeneous geodesic in homogeneous Riemannian spaces $G/H$, known as a two-step homogeneous geodesic, can be expressed of the form $\gamma(t)=\pi(\exp(tx)\exp(ty))$, where $x$ and $y$ are elements of the Lie…
Riemannian geometry in four dimensions, including Einstein's equations, can be described by means of a connection that annihilates a triad of two-forms (rather than a tetrad of vector fields). Our treatment of the conformal factor of the…
Motivated by some binomial coefficients identities encountered in our approach to the enumeration of convex polyominoes, we prove some more general identities of the same type, one of which turns out to be related to a strange evaluation of…
Copositive matrices and copositive polynomials are objects from optimization. We connect these to the geometry of Feynman integrals in physics. The integral is guaranteed to converge if its kinematic parameters lie in the copositive cone.…
This paper introduces arithmetic geometry for polynomial identity algebras using non-commutative (formal) deformation theory. Since formal deformation theory is inherently local the arithmetic and geometric results that follow give local…
We discuss parabolic versions of Euler's identity e^{it}=cos t + i sin t. A purely algebraic approach based on dual numbers is known to produce a very trivial relation e^{pt} = 1+pt. Therefore we use a geometric setup of parabolic rotations…