arXiv subjects
Publications and source records attributed to Domenico Valloni.
We study the Brauer-Manin set of smooth projective surfaces over global fields of positive characteristic for which Kodaira vanishing fails. Our results apply in particular to Raynaud surfaces.
Let $X$ be a smooth projective surface over a number field $K$. Assume that $X$ has an elliptic fibration over $\mathbb{P}^1_K$ with at least one singular fibre and a section. Let $\mathcal{X}/U$ be a smooth projective model of $X$ over some open subset $U \subset \mathrm{Spec}(\mathcal{O}_K)$. We show that $\ker\bigl(\mathrm{CH}^2(\mathcal{X}) \rightarrow \mathrm{CH}^2(X)\bigr)$ is a finitely generated group.
We study $p$-torsion Brauer classes in positive characteristic arising from differential forms. We relate this construction to the Brauer group of supersingular K3 surfaces and analyze the contribution of these classes to the Brauer-Manin obstruction. As an application, we examine the Brauer-Manin set of supersingular K3 surfaces and of varieties admitting many differential forms.
In this paper, we study maps between moduli spaces of lattice-polarized K3 surfaces induced by sublattices of prime index. We show that these maps can be used to determine if a rational point of the moduli space belongs to the Noether-Lefschetz locus. As an application, we prove that the Bombieri-Lang conjecture implies non-density statements for the rational points in the Noether-Lefschetz locus, as predicted by a conjecture of Shafarevich.
Let $R$ be a complete valuation ring of mixed characteristic $(0,p)$ with algebraically closed fraction field $K$ and residue field $k$. Let $X/R$ be a smooth projective morphism. We show that if $X_k$ is stably rational, then $H^3(X_K, \mathbb Z_p)$ is torsion-free. The proof uses integral $p$-adic Hodge theory of Bhatt-Morrow-Scholze and the study of differential forms in positive characteristic. We then apply this result to study the Noether problem for finite $p$-groups.
We use lattice theory to study the isogeny class of a K3 surface. Starting from isotropic Brauer classes, we construct isogenies via Kneser method of neighboring lattices. We also determine the fields of definition of isogenous K3 surfaces, and study Kneser construction over number fields. We then apply our results to relate conjectures about the finiteness of Brauer groups and Néron-Severi lattices of K3 surfaces.
Let $X/ \mathbb{C}$ be a K3 surface with complex multiplication by the ring of integers of a CM field $E$. We show that $X$ can always be defined over an Abelian extension $K/E$ explicitly determined by the discriminant form of the lattice $\mathrm{NS}(X)$. We then construct a model of $X$ over $K$ via Galois-descent and we study some of its basic properties, in particular we determine its Galois representation explicitly. Finally, we apply our results to give upper and lower bounds for a minimal field of definition for $X$ in terms of the class number of $E$ and the discriminant of $\mathrm{NS}(X)$.
We prove that every element of order 2 in the Brauer group of a complex Kummer surface X descends to an Enriques quotient of X. In 'generic' cases this gives a bijection between the set Enr(X) of Enriques quotients of X up to isomorphism and the set of Brauer classes of X of order 2. For some K3 surfaces of Picard rank 20 we prove that the fibres of the map from Enr(X) to Br(X)[2] above the non-zero points have the same order.
We study K3 surfaces with complex multiplication following the classical work of Shimura on CM abelian varieties. After we translate the problem in terms of the arithmetic of the CM field and its idèles, we proceed to study some abelian extensions that arise naturally in this context. We then make use of our computations to determine the fields of moduli of K3 surfaces with CM and to classify their Brauer groups. More specifically, we provide an algorithm that given a number field $K$ and a CM number field $E$, returns a finite lists of groups which contains $\mathrm{Br}(\overline{X})^{G_K}$ for any K3 surface $X/K$ that has CM by the ring of integers of $E$. We run our algorithm when $E$ is a quadratic imaginary field (a condition that translates into $X$ having maximal Picard rank) generalizing similar computations already appearing in the literature.
We study a new object that can be attached to an abelian variety or a complex torus: the invariant Brauer group, as recently defined by Yang Cao. Over the field of complex numbers this is an elementary abelian 2-group with an explicit upper bound on the rank. We exhibit many cases in which the invariant Brauer group is zero, and construct complex abelian varieties in every dimension starting with 2, both simple and non-simple, with invariant Brauer group of order 2. We also address the situation in finite characteristic and over non-closed fields.