Related papers: A Pascal's Theorem for rational normal curves
The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We…
We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…
We construct a (smooth, projective) surface over the field of rational numbers, which is a counterexample to the Hasse principle not accounted for by the Manin obstruction. The construction relies on the classical 4-descent on elliptic…
We prove a discrete analog of a certain four-vertex theorem for space curves. The smooth case goes back to the work of Beniamino Segre and states that a closed and smooth curve whose tangent indicatrix has no self-intersections admits at…
Let $E$ be an elliptic curve described by either an Edwards model or a twisted Edwards model over $\mathbb{F}_p$, namely, $E$ is defined by one of the following equations $x^2+y^2=a^2(1+x^2y^2),\, a^5-a\not\equiv 0$ mod $p$, or,…
In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of…
A telegraphic survey of some of the standard results and conjectures about the set $C({\bf Q})$ of rational points on a smooth projective absolutely connected curve $C$ over ${\bf Q}$.
We present a criterion when six points chosen on the sides of a triangle belong to the same conic. Using this tool we show how the two geometrical gems - celebrated Poncelet's theorem of projective geometry and incredible Morley's theorem…
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
In this paper, we study the geometry of points in complex projective space that satisfy the Cayley-Bacharach condition with respect to the complete linear system of hypersurfaces of given degree. In particular, we improve a result by Lopez…
The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are…
We study the surface $\bar{S}$ parametrizing cuboids: it is defined by the equations relating the sides, face diagonals and long diagonal of a rectangular box. It is an open problem whether a `rational box' exists, i.e., a rectangular box…
In the Euclidean plane ${\bf{E}}^2$, fix four pairwise distinct points \begin{equation*} \label{eqA} \begin{array}{ccc} A=(a_1,a_2),\ B=(b_1,b_2),\ C=(c_1,c_2),\ D=(d_1,d_2), \end{array} \end{equation*} together with four non-zero real…
In this paper we give for all $n \geq 2$, d>0, $g \geq 0$ necessary and sufficient conditions for the existence of a pair (X,C), where X is a K3 surface of degree 2n in $\matbf{P}^{n+1}$ and C is a smooth (reduced and irreducible) curve of…
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. It is described by a system of four quadratic equations with respect to six…
Traves and Wehlau recently gave a straightedge construction that checks whether 10 points lie on a plane cubic curve. They also highlighted several open problems in the synthetic geometry of cubics. Hermann Grassmann investigated incidence…
There are many four vertex type theorems appearing in the literature, coming in both smooth and discrete flavors. The most familiar of these is the classical theorem in differential geometry, which states that the curvature function of a…
Given a quadratic polynomial with rational coefficients, we investigate the existence of consecutive squares in the orbit of a rational point under the iteration of the polynomial. We display three different constructions of $1$-parameter…
A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbol{\sigma}(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbol{\sigma}: \mathbb{R}^{n-1} \rightarrow…
We study combinatorial configurations with the associated point and line graphs being strongly regular. Examples not belonging to known classes such as partial geometries and their generalizations or elliptic semiplanes are constructed.…