Related papers: A specialisation theorem for Lang-N\'eron groups
Andr\'{e} and Maulik--Poonen proved that for any smooth proper family $X\to B$ of varieties over an algebraically closed field of characteristic $0$, there is a closed fiber whose N\'{e}ron-Severi group has the same rank as that of the…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We study the set of isomorphism classes of polarized superspecial abelian varieties $(A,\lambda)$ of a fixed dimension over $\mathbb{F}_p$ with Frobenius endomorphism $\pi_A=\sqrt{-p}$ and $\ker \lambda =\ker \pi_A$. This set plays an…
Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…
Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…
The paper has three main applications. The first one is this Hilbert-Grunwald statement. If $f:X\rightarrow \Pp^1$ is a degree $n$ $\Qq$-cover with monodromy group $S_n$ over $\bar\Qq$, and finitely many suitably big primes $p$ are given…
Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…
Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion…
We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…
If $\bar\rho$ is an automorphic modulo $p$ Galois representation, it is natural to wonder if automorphic points are Zariski dense in the deformation space of $\bar\rho$. We prove new results in this direction in the case of a unitary group…
Let $A$ be an abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and an effective horizontal divisor $\mathcal{D} \subset \mathcal{A}$. We study $(S,…
We prove an algebraic version of a classical theorem in topology, asserting that an abelian p-group action on a smooth projective variety of positive dimension cannot fix exactly one point. When the group has only two elements, we prove…
We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…
Let K be a finitely generated field over Q, and A an abelian variety over K. Let <, > : A(K^a) x A(K^a) --> R be an arithmetic height pairing on A, where K^a is the algebric closure of K. For x_1,..., x_l \in A(K^a), we denote det(<x_i,…
Let $k$ be a field of characteristic $0$ and let $K = k(B)$ be the function field of a geometrically irreducible projective curve $B$ over $k$. Let $A/K$ be a $g$-dimensional abelian variety with $\mathrm{Tr}_{K/k}(A) = 0$. We prove that…
We show that a general $n$-dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $ h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp…
Let $X/K$ be a smooth projective variety defined over a number field, and let $f:X\to{X}$ be a morphism defined over $K$. We formulate a number of statements of varying strengths asserting, roughly, that if there is at least one point…
We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…
The paper is concerned with the following version of Hilbert's irreducibility theorem: if $\pi: X \to Y$ is a Galois $G$-covering of varieties over a number field $k$ and $H \subset G$ is a subgroup, then for all sufficiently large and…