Related papers: Rational linear subspaces of hypersurfaces over fi…
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…
Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…
We investigate the spaces of rational curves on a general hypersurface. In particular, we show that for a general degree $d$ hypersurface in $\mathbb{P}^n$ with $n \geq d+2$, the space $\overline{\mathcal{M}_{0,0}}(X,e)$ of degree $e$…
Let $C$ be the rational normal curve of degree $e$ in $\mathbb{P}^n$, and let $X\subset \mathbb{P}^n$ be a degree $d\ge 2$ hypersurface containing $C$. In previous work, I. Coskun and E. Riedl showed that the normal bundle $N_{C/X}$ is…
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows…
For natural numbers $n$ and $l > d \geq 2$, let $ES_d(l,n)$ be the minimum $N$ such that any set of at least $N$ points in $\mathbb{R}^d$ contains either $l$ points contained in a common $(d-1)$-dimensional hyperplane or $n$ points in…
We determine all triples $(e,d,n)$ for which a general degree $d$ hypersurface $X\subset \mathbb{P}^n$ contains a degree $e$ rational curve $C$ with balanced restricted tangent bundle $T_X|_C$. In addition, we show how to compute explicit…
Let $n,p,r$ be positive integers with $n \geq p\geq r$. A rank-$\overline{r}$ subset of $n$ by $p$ matrices (with entries in a field) is a subset in which every matrix has rank less than or equal to $r$. A classical theorem of Flanders…
This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$.
In this paper, we prove that smooth Calabi--Yau hypersurfaces of degree $d$ over complete unramified discrete valuation rings with residue characteristic $p$ are perfectoid split if $p$ is larger than the relative dimension and $p\nmid d$.…
Let $\mathscr{X}\to W$ be a flat family of generically irreducible hypersurfaces of degree $d\geq 2$ in $\PP^n$ with singular locus of dimension $t$, with $W$ unirational of dimension $r$. We prove that if $n$ is large enough with respect…
Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any \epsilon>0, we show that X contains O(B^{D+\epsilon}) rational points of…
It is known that the smooth rational threefolds of P^5 having a rational non-special surface of P^4 as general hyperplane section have degree d=3,... ,7. We study such threefolds X from the point of view of linear systems of surfaces in…
We design and analyze an algorithm for computing rational points of hypersurfaces defined over a finite field based on searches on "vertical strips", namely searches on parallel lines in a given direction. Our results show that, on average,…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$…
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 show that every bounded domain $D$ in $\mathbb R^n$ with smooth $p$-convex boundary for $2\le p < n$ admits a smooth defining function $\rho$ which is $p$-plurisubharmonic on $\overline D$; if in addition $bD$ has no $p$-flat points then…
We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…
Let n,d be positive integers, with d even (say d=2e). Let X_(n,d) denote the locus of degree d hypersurfaces in P^n which consist of two e-fold hyperplanes. We bound the regularity of the ideal of this variety. Moreover, we show that this…
We improve a bound due to the second author on number of rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact…