Related papers: Gallucci's axiom revisited
We apply a new notion of angle between projections to deduce criteria for uniform convergence results of the alternating projections method under several different settings: averaged projections, cyclic products, quasi-periodic products and…
In this paper, a strong convergence theorem for asymptotically nonexpansive mappings in a uniformly convex and smooth Banach space is proved by using metric projections. This theorem extends and improves the recent strong convergence…
Our purpose in this article is first, following [14], to find the topological upper limits of projections of secant planes to $C^{1}$ surfaces and the topological upper limits of projections of secant hyperplanes to $C^{1}$ hypersurfaces…
We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation…
A general framework for integration over certain infinite dimensional spaces is first developed using projective limits of a projective family of compact Hausdorff spaces. The procedure is then applied to gauge theories to carry out…
I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…
We introduce notions of combinatorial blowups, building sets, and nested sets for arbitrary meet-semilattices. This gives a common abstract framework for the incidence combinatorics occurring in the context of De Concini-Procesi models of…
We show that the unification of electromagnetism and gravity into a single geometrical entity can be beautifully accomplished in a theory with non-symmetric affine connection (${\Gamma}_{\mu\nu}^{\lambda}\neq{\Gamma}_{\nu\mu}^{\lambda}$),…
We study a generalized Einstein theory with the following two criteria:{\it i}) on the solar scale, it must be consistent with the classical tests of general relativity, {\it ii}) on the galactic scale, the gravitational potential is a sum…
We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of similar importance as was historically the process of…
We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial…
We distinguish the axiomatic study of proofs in geometry from study about geometry from general axioms for mathematics. We briefly report on an abuse of that distinction and its unfortunate effect on US high school education. We review a…
We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini and Tits. We also…
When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
We study the asymptotic distribution of the Galois orbits of generic sequences of algebraic points of small height in a projective variety over a number field. Our main result is a generalization of Yuan's equidistribution theorem that…
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present…
We give a new proof of a result of DiPippo and Wan for counting points of bounded height on projective spaces over global function fields. The new proof adapts the geometry of numbers arguments used by Schanuel in the number field case.
This is an attempt to model ambient space as a three-dimensional real affine space with a distinguished group of automorphisms containing the translations and acting freely and transitively on pairs consisting of a half-plane together with…
We briefly discuss new models of an `affine' theory of gravity in multidimensional space-times with symmetric connections. We use and generalize Einstein's proposal to specify the space-time geometry by use of the Hamilton principle to…