Related papers: Objectivity and Rigor in Classical Italian Algebra…
D.Bayer and D.Mumford introduced the degree complexity of a projective scheme for the given term order as the maximal degree of the reduced Gr\"{o}bner basis. It is well-known that the degree complexity with respect to the graded reverse…
One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…
In a Lombardi drawing of a graph the vertices are drawn as points and the edges are drawn as circular arcs connecting their respective endpoints. Additionally, all vertices have perfect angular resolution, i.e., all angles incident to a…
We study the geometry and arithmetic of so-called primary Burniat surfaces, a family of surfaces of general type arising as smooth bidouble covers of a del Pezzo surface of degree 6 and at the same time as \'etale quotients of certain…
Let X be a real algebraic surface. The comparison between the volume of real and complex loci of ample divisors D brings us to define the concordance, which is a number between 0 and 1. This number equals 1 when the Picard number is 1, and…
A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in…
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…
In his famous work, "Measurement of a Circle," Archimedes described a procedure for measuring both the circumference of a circle and the area it bounds. Implicit in his work is the idea that his procedure defines these quantities. Modern…
This is a case study of the algebraic boundary of convex hulls of varieties. We focus on surfaces in fourspace to showcase new geometric phenomena that neither curves nor hypersurfaces do. Our method is a detailed analysis of a general…
We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but…
Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…
Dans les ann\'ees 1940-1970, Alexandrov et l'"\'Ecole de Leningrad" ont d\'evelopp\'e une th\'eorie tr\`es riche des surfaces singuli\`eres. Il s'agit de surfaces topologiques, munie d'une m\'etrique intrins\`eque pour laquelle on peut…
Self-rational maps of generic algebraic K3 surfaces are conjectured to be trivial. We relate this conjecture to a conjecture concerning the irreducibility of the universal Severi varieties parametrizing nodal curves of given genus and…
We give upper bounds on the genus of a curve with general moduli assuming that it can be embedded in a projective nonsingular surface $Y$ so that $\dim(|C|) > 0$. We find such bounds for all types of surfaces of intermediate Kodaira…
We address the issue of angular measure, which is a contested issue for the International System of Units (SI). We provide a mathematically rigorous and axiomatic presentation of angular measure that leads to the traditional way of…
Rigid, hard and soft problems and results in arithmetic geometry are presented. "Soft" and "hard" in our paper are limited to the framework of solutions of quadratic forms over rings of integers of local and global fields, the…
Curvature is a fundamental geometric characteristic of smooth spaces. In recent years different notions of curvature have been developed for combinatorial discrete objects such as graphs. However, the connections between such discrete…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also…
Geometric number systems, obtained by extending the real number system to include new anticommuting square roots of +1 and -1, provide a royal road to higher mathematics by largely sidestepping the tedious languages of tensor analysis and…