Related papers: On the Hasse principle for complete intersections

Given a curve of genus 3 with an unramified double cover, we give an explicit description of the associated Prym-variety. We also describe how an unramified double cover of a non-hyperelliptic genus 3 curve can be mapped into the Jacobian…

We study an irreducible component H(X) of the Hilbert scheme Hilb^{2t+2}(X) of a smooth cubic hypersurface X containing two disjoint lines. For cubic threefolds, H(X) is always smooth, as shown in arXiv:2010.11622. We provide a second proof…

We study Dolbeault--Koszul cohomology $H^{p,q}(M)$ of flat affine manifolds. We proove a K\"unneth formula \[ H^{p,q}(M\times N) \cong \bigoplus_{i,j} H^{i,j}(M)\otimes H^{p-i,q-j}(N) \] for flat affine manifolds $M,N$ with at least one…

Let k be an algebraically closed subfield of the complex numbers, and X a variety defined over k. One version of the Beilinson-Hodge conjecture that seems to survive scrutiny is the statement that the Betti cycle class map cl_{r,m} :…

Let $K$ be a set of $q^2+2q+1$ points in $PG(4,q)$. We show that if every 3-space meets $K$ in either one, two or three lines, a line and a non-degenerate conic, or a twisted cubic, then $K$ is a ruled cubic surface. Moreover, $K$…

We consider $q$-analytic derivations of the $q$-Gauss summation formula for a $\, _2\phi _1$ that respect the symmetry in its upper parameters.

A formula is proved for the number of linear factors and irreducible cubic factors over $\mathbb{F}_l$ of the Hasse invariant $\hat H_{7,l}(a)$ of the Tate normal form $E_7(a)$ for a point of order $7$, as a polynomial in the parameter $a$,…

Let $X\subseteq \mathbb{P}^3$ be a smooth projective surface of degree $d\ge 4$ defined over a number field $K$, and let $N_{X^{\prime}}(B)$ be the number of rational points of $X$ of height at most $B$ that do not lie on lines contained in…

We consider systems $\vec{F}(\vec{x})$ of $R$ homogeneous forms of the same degree $d$ in $n$ variables with integral coefficients. If $n\geq d2^dR+R$ and the coefficients of $\vec{F}$ lie in an explicit Zariski open set, we give a…

If $X = V(f) \subset \mathbb P^N$ is a reduced complex hypersurface, the hessian of $f$ (or by abusing the terminology the hessian of $X$) is the determinant of the matrix of the second derivatives of the form $f$, that is the determinant…

We propose the concepts of intersection distribution and non-hitting index, which can be viewed from two related perspectives. The first one concerns a point set $S$ of size $q+1$ in the classical projective plane $PG(2,q)$, where the…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

For every $d\geq 2$, we construct a subset $D\subseteq \{1,2,\dots,n\}^d$ of size $n-o(n)$ such that every affine hyperplane of $\mathbb{R}^d$ intersects $D$ in at most $d$ points, and every hypersphere of $\mathbb{R}^n$ intersects $D$ in…

Fix a number field k. We prove that if there is an algorithm for deciding whether a smooth projective geometrically integral k-variety has a k-point, then there is an algorithm for deciding whether an arbitrary k-variety has a k-point and…

An affine hypersurface is said to admit a pointwise symmetry, if there exists a subgroup of the automorphism group of the tangent space, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator…

We obtain bounds for the number of variables required to establish Hasse principles, both for existence of solutions and for asymptotic formulae, for systems of additive equations containing forms of differing degree but also multiple forms…

For $S \in \mathbb{N}^n$ and $T \in \mathbb{N}$, the Subset Sum Problem (SSP) $\exists^? x \in \{0,1\}^n $ such that $S^T\cdot x = T$ can be interpreted as the problem of deciding whether the intersection of the positive unit hypercube $Q_n…

We give the first examples of smooth projective varieties $X$ over a finite field $\mathbb{F}$ admitting a non-algebraic torsion $\ell$-adic cohomology class of degree $4$ which vanishes over $\overline{\mathbb{F}}$. We use them to show…

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete…

This note is motivated by the Question 16 of http://cubics.wikidot.com: Which configurations of 15 points in the projective 3-space arise as eigenpoints of a cubic surface? We prove that a general eigenscheme in the projective n-space is…