Related papers: Determination of hyperovals by lines through a few…

We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of…

Let K be a field and let L/K be a finite extension. Let X/K be a scheme of finite type. A point of X(L) is said to be new if it does not belong to the union of X(F), when F runs over all proper subextensions of L. Fix now an integer g>0 and…

Let S be a set of 2n+1 points in the plane such that no three are collinear and no four are concyclic. A circle will be called point-splitting if it has 3 points of S on its circumference, n-1 points in its interior and n-1 in its exterior.…

We prove that for any nonlinear $f \in C^{1,\alpha}([0,1])$, the union of lines covering its graph has a Hausdorff dimension of at least $1+\alpha$, and this dimension bound is sharp. We then apply these geometric results to mathematical…

Given a smooth projective curve C defined over a number field and given two elliptic surfaces E_1/C and E_2/C along with sections P_i and Q_i of E_i (for i = 1,2), we prove that if there exist infinitely many algebraic points t on C such…

For a codimension 1 holomorphic foliation $\mathcal F$ on $\mathbb P_{\mathbb C}^{n}$ satisfying reasonable assumptions, there are estimations of the degree of invariant hypersurfaces H in terms of the degree of $\mathcal F$ (Carnicer,…

We show that for every second order Fuchsian linear differential equation $E$ with $n$ singularities of which $n-3$ are apparent there exists a hypergeometric equation $H$ and a linear differential operator with polynomial coefficients…

Fix $k,s,n\in \mathbb N$, and consider non-zero integers $c_1,\ldots ,c_s$, not all of the same sign. Provided that $s\ge k(k+1)$, we establish a Hasse principle for the existence of lines having integral coordinates lying on the affine…

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…

We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…

An affine hypersurface M is said to admit a pointwise symmetry, if there exists a subgroup G of Aut(T_p M) for all p in M, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator S. Here, we…

We show that for every morphism f between nonsingular hypersurfaces of dimension at least 3 and of general type in projective space, there is an everywhere defined endomorphism F of projective space that restricts to f. As a corollary, we…

We find all analytic surfaces in space $\mathbb{R}^3$ such that through each point of the surface one can draw two transversal circular arcs fully contained in the surface. The problem of finding such surfaces traces back to the works of…

In this note, we prove -- in dimension at most 4 -- a conjectue of Hao which says that a morphism $f : X \to A$ to a simple abelian variety $A$ is smooth if and only if there is a 1-form pulled back from A without any zeros. We also give a…

For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$.

We give two characterizations of hyperquadrics: one as non-degenerate smooth projective varieties swept out by large dimensional quadric subvarieties passing through a point; the other as $LQEL$-manifolds with large secant defects.

Many authors have investigated edge decompositions of graphs by the edge sets of isomorphic copies of special subgraphs. For $q$- dimensional hypercubes $Q_q$ various researchers have done this for cer- tain trees, paths, and cycles. In…

Let K be a field of characteristic p>0, and let q be a power of p. We determine all polynomials f in K[t]\K[t^p] of degree q(q-1)/2 such that the Galois group of f(t)-u over K(u) has a transitive normal subgroup isomorphic to PSL_2(q),…

In \cite{LWZ}, we establish Liouville-type theorems and decay estimates for solutions of a class of high order elliptic equations and systems without the boundedness assumptions on the solutions. In this paper, we continue our work in…

We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…