There is no Enriques surface over the integers (Q2100727): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 2004.07025 / rank | |||
Normal rank |
Revision as of 01:55, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | There is no Enriques surface over the integers |
scientific article |
Statements
There is no Enriques surface over the integers (English)
0 references
24 November 2022
0 references
This paper establishes the non-existence of Enriques surfaces over the ring of integers. The main idea is to study the local system of numerical classes of invertible sheaves. Theorem 1: The stack \({\mathcal{M}}_{\mathrm{Enr}}\) of Enriques surfaces has fiber category \({\mathcal{M}}_{\mathrm{Enr}}(\mathbb{Z})=\emptyset\). That is, there is no smooth proper family of Enriques surfaces over the ring of integers \(\mathbb{Z}\). Theorem 1 is a consequence of the following Theorem 2: There is no Enriques surface \(Y\) over \(k=\mathbb{F}_2\) that is non-exceptional and has constant Picard scheme \(\mathrm{Pic}_{Y/k}=(\mathbb{Z}^{\oplus 10}\oplus(\mathbb{Z} /2 \mathbb{Z})_k\). Theorem 2 is deduced from an explicit classification of geometrically rational elliptic surface \(\phi: J\to\mathbb{P}^1\) over \(k=\mathbb{F}_2\) that have constant Picard scheme and satisfy certain additional conditions. This is formulated in the following Theorem 3: Up to isomorphism, there are exactly \(11\) Weierstrass equation \(y^2+a_1xy+\cdots= x^3+a_2x^2+\cdots\) with coefficients \(a_i\in\mathbb{F}_2[t]\) that define a geometrically rational elliptic surface \(\phi: J\to\mathbb{P}^1\) with constant Picard scheme \(\mathrm{Pic}_{J/\mathbb{F}_2}\) having at most one rational point \(a\in\mathbb{P}^1\) where \(J_a\) is semistable or supersingular. This generalizes the non-existance results for families of etale schemes (Minkowski), elliptic curves (Tate and Ogg), abelian varieties and more general smooth proper schemes with certain restrictions on Hodge nubmers (Fontaine and Abrashkin).
0 references
Enriques surfaces
0 references
elliptic surfaces
0 references
families over integers
0 references