We establish the analytic Hasse principle for Diophantine systems consisting of one diagonal form of degree $k$ and one general form of degree $d$, where $d$ is smaller than $k$. By employing a hybrid method that combines ideas from the study of general forms with techniques adapted to the diagonal case, we are able to obtain bounds that grow exponentially in $d$ but only quadratically in $k$, reflecting the growth rates typically obtained for both problems separately. We also discuss some of the most interesting generalisations of our approach.
It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least $3$ over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at…
We prove a Hasse principle for solving equations of the form ax+by+cz=0 where x, y, z belong to a given finite index subgroup of the multiplicative group of rational numbers. From this we deduce a Hasse principle for diagonal curves over fields of algebraic numbers with finitely generated Galois group.
The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.
By means of the Hardy-Littlewood method, we apply a new mean value theorem for exponential sums to confirm the truth, over the rational numbers, of the Hasse principle for pairs of diagonal cubic forms in thirteen or more variables.
We establish the Hasse Principle for systems of r simultaneous diagonal cubic equations whenever the number of variables exceeds 6r and the associated coefficient matrix contains no singular r x r submatrix, thereby achieving the theoretical limit of the circle method for such systems.
Employing Brüdern's and Wooley's new complification method, we establish an asymptotic Hasse principle for the number of solutions to a system of r_3 cubic and r_2 quadratic diagonal forms, when the number of cubic equations is at least double the number of quadratic forms. The number of variables required is lower than in earlier work. In particular, we achieve essentially square root cancellation for systems of one quadratic and arbitrarily many cubic equations.
Motivated by the work of Candelas, de la Ossa and Rodriguez-Villegas [6], we study the relations between Hasse-Witt matrices and period integrals of Calabi-Yau hypersurfaces in both toric varieties and partial flag varieties. We prove a conjecture by Vlasenko [23] on higher Hasse-Witt matrices for toric hypersurfaces following Katz's method of local expansion [14, 15]. The higher Hasse-Witt matrices also have close relation with period integrals. The proof gives a way to pass from Katz's congruence relations in terms of expansion coefficients [15] to Dwork's congruence relations [8] about peri…
We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic at least $7$, and smooth complete intersections of two quadrics of dimension at least $3$ in odd characteristics. In Appendix A we explain how to modify a previous argument of the author to prove weak approximation for cubic hypersurfaces defined over function fields of curves over algebraically closed fields of characteristic at least $7$. In Appendix B we…
For any finite field k of characteristic exceeding 3, the Hasse principle and weak approximation is established for non-singular cubic hypersurfaces X over the function field k(t), provided that X has dimension at least 6.
Given a number field $k$ and a positive integer $d$, in this paper we consider the following question: does there exist a smooth diagonal surface of degree $d$ in $\mathbb{P}^3$ over $k$ which contains a line over every completion of $k$, yet no line over $k$? We answer the problem using Galois cohomology, and count the number of counter-examples using a result of Erdős.
It is well-known that the Hasse principle holds for quadric hypersurfaces. The Hasse principle fails for integral points on smooth quadric hypersurfaces of dimension 2 but the failure can be completely explained by the Brauer-Manin obstruction. We investigate how often the family of quadric hypersurfaces $ax^2 + by^2 +cz^2 = n$ has a Brauer-Manin obstruction. We improve previous bounds of Mitankin.
We establish an analytic Hasse principle for linear spaces of affine dimension m on a complete intersection over an algebraic field extension K of Q. The number of variables required to do this is no larger than what is known for the analogous problem over Q. As an application we show that any smooth hypersurface over K whose dimension is large enough in terms of the degree is K-unirational, provided that either the degree is odd or K is totally imaginary.
In this paper, we establish a strategy for the calculation of the proportion of everywhere locally soluble diagonal hypersurfaces of $\mathbb{P}^{n}$ of fixed degree. Our strategy is based on the product formula established by Bright, Browning and Loughran. Their formula reduces the problem into the calculation of the proportions of $\mathbb{Q}_{v}$-soluble diagonal hypersurfaces for all places $v$. As worked examples, we carry out our strategy in the cases of quadratic and cubic hypersurfaces. As a consequence, we prove that around $99.99\%$ of diagonal cubic $4$-folds have $\mathbb{Q}$-ratio…
We compute the Artin $L$-function of a diagonal hypersurface D_λ over a finite field associated to a character of a finite group acting on D_λ , and under some condition, express it in terms of hypergeometric functions and Jacobi sums over the finite field. As an application, we consider the Dwork hypersurfaces and obtain relations among certain hypergeometric functions over different finite fields.
Cubic surfaces failing the integral Hasse principle
University of Bath（巴斯大学）；Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；Leibniz Universität Hannover（汉诺威莱布尼茨大学）
We show that transcendental elements of the Brauer group of an algebraic surface can obstruct the Hasse principle. We construct a general K3 surface X of degree 2 over Q, together with a two-torsion Brauer class A that is unramified at every finite prime, but ramifies at real points of X. Motivated by Hodge theory, the pair (X,A) is constructed from a double cover of P^2 x P^2 ramified over a hypersurface of bi-degree (2,2).
A generalisation of Waring's problem, considered first by Arkhipov and Karatsuba, is the question of representing not an integer, but a given polynomial, as a sum of powers of linear polynomials. We investigate a related problem and prove a Hasse principle for the number of identical representations of a set of given forms by homogeneous polynomials of general shape. The result leads to sizeable improvements for estimates of the number of linear spaces on the intersection of hypersurfaces.
We establish the non-singular Hasse Principle for pairs of diagonal quartic equations in 22 or more variables. Our methods involve the estimation of a certain entangled two-dimensional 21st moment of quartic smooth Weyl sums via a novel cubic moment of Fourier coefficients.
Let $D_λ^d$ denote the family of monomial deformations of diagonal hypersurface over a finite field $\mathbb{F}_q$ given by \begin{align*} D_λ^d: X_1^d+X_2^d+\cdots+X_n^d=λd X_1^{h_1}X_2^{h_2}\cdots X_n^{h_n}, \end{align*} where $d,n\geq2$, $h_i\geq1$, $\sum_{i=1}^n h_i=d$, and $\gcd(d,h_1,h_2,\ldots, h_n)=1$. The Dwork hypersurface is the case when $d=n$, that is, $h_1=h_2=\cdots =h_n=1$. Formulas for the number of $\mathbb{F}_q$-points on the Dwork hypersurfaces in terms of McCarthy's $p$-adic hypergeometric functions are known. In this article we provide a formula for the number of $\mathbb…
Let $n\geq 2$, and let $f$ be a polynomial of degree at least 2 with coefficients in a number field or a characteristic 0 function field $K$. We present two arithmetic applications of a recent theorem of Medvedev-Scanlon to the dynamics of the map $(f,...,f):\ (\bP^1_{K})^n\longrightarrow (\bP^1_K)^n$, namely the dynamical analogues of the Hasse principle and the Bombieri-Masser-Zannier height bound theorem. In particular, we prove that the Hasse principle holds when we intersect an orbit and a preperiodic subvariety, and that points in the intersection of a curve with the union of all periodi…
Given a non-singular diagonal cubic hypersurface $X\subset\mathbb{P}^{n-1}$ over $\mathbb{F}_q(t)$ with $\mathrm{char} (\mathbb{F}_q)\neq 3$, we show that the number of rational points of height at most $|P|$ is $O(|P|^{3+\varepsilon})$ for $n=6$ and $O(\lvert P \rvert^{2+\varepsilon})$ for $n=4$. In fact, if $n=4$ and $\mathrm{char}(\mathbb{F}_q) >3$ we prove that the number of rational points away from any rational line contained in $X$ is bounded by $O(|P|^{3/2+\varepsilon})$. From the result in $6$ variables we deduce weak approximation for diagonal cubic hypersurfaces for $n\geq 7$ over $…
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 of like degree. Apart from the very general estimates of Schmidt and Browning--Heath-Brown, which give weak results when specialized to the diagonal situation, this is the first result on such "hybrid" systems.
We establish improved mean value estimates associated with the number of integer solutions of certain systems of diagonal equations, in some instances attaining the sharpest conjectured conclusions. This is the first occasion on which bounds of this quality have been attained for Diophantine systems not of Vinogradov type. As a consequence of this progress, whenever $u \ge 3v$ we obtain the Hasse principle for systems consisting of $v$ cubic and $u$ quadratic diagonal equations in $6v+4u+1$ variables, thus attaining the convexity barrier for this problem.
