Related papers: How to calculate the proportion of everywhere loca…
We show that, for every prime number p, there exist infinitely many K3 surfaces over Q whose rational points lie dense in the space of p-adic points. We also show that there exists a K3 surface over Q whose rational points lie dense in the…
A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…
We study Lefschetz fixed point formulas for constructible sheaves with higher-dimensional fixed point sets. Under fairly weak assumptions, we prove that the local contributions from them are expressed by some constructible functions…
In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost…
We study solutions of a homogeneous quadratic equation $q(x_0,\dots, x_n)=0$, defined over a field $K$, where the $x_i$ are themselves homogeneous polynomials of some degree $d$ in $r+1$ variables. Equivalently, we are looking at rational…
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational…
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 establish the convergence theory of multiplicative Diophantine approximation for all non-degenerate, smooth manifolds. We also settle said convergence theory for all affine subspaces satisfying a highly generic and essentially optimal…
We study the solution theory of the whole-space static (elliptic) Hamilton-Jacobi-Bellman (HJB) equation in spectral Barron spaces. We prove that under the assumption that the coefficients involved are spectral Barron functions and the…
A Hopf hypersurface in complex hyperbolic space CH^n is one in which the complex structure applied to the normal vector is a principal direction at each point. In this paper, Hopf hypersurfaces for which the corresponding principal…
We construct locally recoverable codes with hierarchy from surfaces in $\mathbb{A}^3$ admitting a fibration by curves of Artin-Schreier or Kummer type. We derive the parameters of our codes by leveraging the geometry and arithmetic of the…
This article accompanies my June 1998 seminaire Bourbaki talk on Givental's work. After a quick review of descendent integrals in Gromov-Witten theory, I discuss Givental's formalism relating hypergeometric series to solutions of quantum…
For a convex domain $D$ bounded by the hypersurface $\partial D$ in a space of constant curvature we give sharp bounds on the width $R-r$ of a spherical shell with radii $R$ and $r$ that can enclose $\partial D$, provided that normal…
We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such…
We show that any smooth projective cubic hypersurface of dimension at least $29$ over the rationals contains a rational line. A variation of our methods provides a similar result over p-adic fields. In both cases, we improve on previous…
In this article we study Diophantine approximation and local distribution of a rational point on a toric surface obtained as a blow-up of $\mathbb{P}^1\times\mathbb{P}^1$. It turns out that outside a Zariski closed subset the best…
We use the determinant method of Bombieri-Pila and Heath-Brown and its Arakelov reformulation by Chen utilizing Bost's slope method to estimate the number of hypersurfaces required to cover the regular rational points with bounded Arakelov…
We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex…
This paper presents a high-order accurate numerical quadrature algorithm for evaluating integrals over curved surfaces and regions defined implicitly via a level set of a given function restricted to a hyperrectangle. The domain is divided…
Given a smooth cubic hypersurface $X$ over a finite field of characteristic greater than 3 and two generic points on $X$, we use a function field analogue of the Hardy-Littlewood circle method to obtain an asymptotic formula for the number…