An official website of the United States government
Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence
Abstract Given a smooth projective variety over a number field and an elementof its Brauer group, we consider the specialization of the Brauerclass at a place of good reduction for the variety and the class. Weare interested in the case of K3 surfaces.We show that a Brauer class on a very general polarized K3 surfaceover a number field becomes trivial after specialization at a set ofplaces of positive natural density. We deduce that there exist cubic fourfolds over number fields that are conjecturally irrational, with rational reduction at a positive proportion of places. We also deduce that there are twisted derivedequivalent K3 surfaces which become derived equivalent after reductionat a positive proportion of places.
more »
« less
- PAR ID:
- 10378143
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 0
- Issue:
- 0
- ISSN:
- 0075-4102
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract Deligne [9] showed that every K3 surface over an algebraically closed field of positive characteristic admits a lift to characteristic 0. We show the same is true for a twisted K3 surface. To do this, we study the versal deformation spaces of twisted K3 surfaces, which are particularly interesting when the characteristic divides the order of the Brauer class. We also give an algebraic construction of certain moduli spaces of twisted K3 surfaces over $${\operatorname {Spec}}\ \textbf {Z}$$ and apply our deformation theory to study their geometry. As an application of our results, we show that every derived equivalence between twisted K3 surfaces in positive characteristic is orientation preserving.more » « less
-
Abstract Given a K3 surface X over a number field K with potentially good reduction everywhere, we prove that the set of primes of K where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $$X_{\overline {K}}$$ has infinitely many rational curves or X has infinitely many unirational specialisations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field K with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of K .more » « less
-
Abstract We develop tools to analyze and compare the Brauer groups of spectra such as periodic complex and real ‐theory and topological modular forms, as well as the derived moduli stack of elliptic curves. In particular, we prove that the Brauer group of is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Our main computational focus is on the subgroup of the Brauer group consisting of elements trivialized by some étale extension, which we call the local Brauer group. Essential information about this group can be accessed by a thorough understanding of the Picard sheaf and its cohomology. We deduce enough information about the Picard sheaf of and the (derived) moduli stack of elliptic curves to determine the structure of their local Brauer groups away from the prime 2. At 2, we show that they are both infinitely generated and agree up to a potential error term that is a finite 2‐torsion group.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1515/crelle-2022-0056
