On the number of certain del Pezzo surfaces of degree four violating the Hasse principle
Let \(\{D, A, B\}\subseteq\mathbb{Z}\); the authors consider the projective del Pezzo surface \(S(D; A, B)\) defined as the intersection of two quadrics: \[ t_{0}t_{1}=t_{2}^{2} - Dt_{3}^{2}, \] \[ (t_{0} + At_{1})(t_{0} + Bt_{1})=t_{2}^{2} - Dt_{4}^{2}. \] For \(N\in\mathbb{N}\), let \(R_{1}(D, N)\) (respectively, \(R_{2}(D, N)\)) be the number of smooth surfaces \(S(D; A, B)\) with \(|A| < N, |B| < N\) satisfying the condition: ``\(S(D; A, B)(\mathbb{Q}_{p})\neq\emptyset\) for all primes \(p\) of \(\mathbb{Q}\), including the infinite one'' (respectively, the condition: ``there is a Brauer-Manin obstruction to the Hasse principle for the surface \(S(D; A, B)\)''). Building on their previous work [Ann. Inst. Fourier 67, No. 4, 1783--1807 (2017; Zbl 1446.11124)], the authors prove that if \(D > 1\) and \(D\equiv 1\bmod 8\), then \[ R_{1}(D, N) = b N^{2} + O(N^{\gamma (D)})\text{ with }b>0,\ \gamma (D) < 2 \] and \[ R_{2}(D, N) = 4 N^{2}(\log 2N)^{-1/2}\sum_{k=0}^{P} c_{k}(\log 2N)^{-k/2}+ O_{D, P}(N^{2}(\log 2N)^{-3/4-P}), \] as \(N\rightarrow\infty\). Here \(c_{k}\) are explicitly given real constants, which do not depend on a non-negative integer \(P\), and \(c_{0} > 0\). It is conjectured that a failure of the Hasse principle for a del Pezzo surface can always be explained by some Brauer-Manin obstruction; subject to this conjecture, it follows from the authors' results that asymptotically almost all the surfaces \(S(D; A, B)\) satisfy the Hasse principle (as soon as the integers \(D\) are chosen to satisfy the condition: \(D > 1\) and \(D\equiv 1\bmod 8\)).
scientific article