English

An $\mathcal{O}$-acyclic variety of even index

Algebraic Geometry 2023-04-18 v3

Abstract

We give the first examples of O\mathcal{O}-acyclic smooth projective geometrically connected varieties over the function field of a complex curve, whose index is not equal to one. More precisely, we construct a family of Enriques surfaces over P1\mathbb{P}^{1} such that any multi-section has even degree over the base P1\mathbb{P}^{1} and show moreover that we can find such a family defined over Q\mathbb{Q}. This answers affirmatively a question of Colliot-Th\'el\`ene and Voisin. Furthermore, our construction provides counterexamples to: the failure of the Hasse principle accounted for by the reciprocity obstruction; the integral Hodge conjecture; and universality of Abel-Jacobi maps.

Keywords

Cite

@article{arxiv.2010.06079,
  title  = {An $\mathcal{O}$-acyclic variety of even index},
  author = {John Christian Ottem and Fumiaki Suzuki and with an appendix by Olivier Wittenberg},
  journal= {arXiv preprint arXiv:2010.06079},
  year   = {2023}
}

Comments

23 pages, comments are welcome, v3. the exposition is improved; to appear in Mathematische Annalen