English

Hypersurface model-fields of definition for smooth hypersurfaces and their twists

Number Theory 2018-04-18 v1 Algebraic Geometry

Abstract

Given a smooth projective variety of dimension n11n-1\geq 1 defined over a perfect field kk that admits a non-singular hypersurface modelin Pkn\mathbb{P}^n_{\overline{k}} over k\overline{k}, a fixed algebraic closure of kk, it does not necessarily have a non-singular hypersurface model defined over the base field kk. We first show an example of such phenomenon: a variety defined over kk admitting non-singular hypersurface models but none defined over kk. We also determine under which conditions a non-singular hypersurface model over kk may exist. Now, even assuming that such a smooth hypersurface model exists, we wonder about the existence of non-singular hypersurface models over kk for its twists. We introduce a criterion to characterize twists possessing such models and we also show an example of a twist not admitting any non-singular hypersurface model over kk, i.e for any n2n\geq 2, there is a smooth projective variety of dimension n1n-1 over kk which is a twist of a smooth hypersurface variety over kk, but itself does not admit any non-singular hypersurface model over kk. Finally, we obtain a theoretical result to describe all the twists of smooth hypersurfaces with cyclic automorphism group having a model defined over kk whose automorphism group is generated by a diagonal matrix.

Keywords

Cite

@article{arxiv.1804.06118,
  title  = {Hypersurface model-fields of definition for smooth hypersurfaces and their twists},
  author = {Eslam Badr and Francesc Bars},
  journal= {arXiv preprint arXiv:1804.06118},
  year   = {2018}
}