A Simple Application of Enriques-Severi-Zariski-Serre to the Local Fundamental Group Scheme

Some Further Remarks on the Local Fundamental Group Scheme

We prove that the Local Fundamental Group Scheme satisfies the Lefschetz - Bott theorems in characteristic p. The proofs are standard applications of the Enriques-Severi -Zariski-Serre vanishing theorems and known facts about the p-curvature

Neron-Severi group preserving lifting of K3 surfaces and applications

For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber is isomorphic. In this paper, using this result, we give a criterion for a K3 surface of finite height over a field of odd characteristic to be an Enriques K3 surface or to be a K3 surface in terms of the Neron-Severi lattice. Then we show every Kummer surface has an Enriques involution. We also give a classification of K3 surfaces of Picard rank of 20 over …

An Enriques involution of a supersingular K3 surface over odd characteristic

In this paper, we prove, as the complex case, a supersingular K3 surface over a field of odd characteristic has an Enriques involution if and only if there exists a primitive embedding of the twice of the Enriques lattice into the Neron-Severi group such that the orthogonal complement of the embedding has no vector of self-intersection -2 using the Crystalline Torelli theorem. By this criterion and some lattice calculation, we prove that when the characteristic of the base field is p=19 or p>23, a superingular K3 surface is an Enriques K3 surface if and only if the Artin invariant is less than…

Surfaces of Albanese general type and the Severi Conjecture

In 1932 F. Severi claimed, with an incorrect proof, that every smooth minimal projective surface $S$ such that the bundle $Ω^1_S$ is generically generated by global sections satisfies the topological inequality $2c_1^2(S)\ge c_2(S)$. According to Enriques-Kodaira classification, the above inequality is easily verified when the Kodaira dimension of the surface is $\le 1$, while for surfaces of general type it is still an open problem known as Severi conjecture. In this paper we prove Severi conjecture under the additional mild hypothesis that $S$ has ample canonical bundle. Moreover, under the …

有限域上恰当概型的奈龙-塞维里群

Néron--Severi groups of proper schemes over finite fields

研究有限域上恰当概型的奈龙 - 塞维里群，通过证明第一陈类映射，将\(\text{NS}(\overline{X})\otimes\mathbb{Z}_{\ell}\)与特定扎里斯基局部平凡类群等同，得到有限域类似定理，无需半正规性和不可约性。

Neron-Severi Lie algebra, autoequivalences of the derived category, and monodromy

Let X be a smooth complex projective variety. The group of autoequivalences of the derived category of X acts naturally on its singular cohomology H(X, Q) and we denote by Geq(X) the Zariski closure of its image in Gl(H(X, Q)). We study the relation of the Lie algebra LieGeq(X) and the Neron-Severi Lie algebra gNS(X) in case X has trivial canonical line bundle. At the same time for mirror symmetric families of (weakly) Calabi-Yau varieties we consider a conjecture of Kontsevich on the relation between the monodromy of one family and the group Geq(X) for a very general member X of the other fam…

Specialization of Néron-Severi groups in characteristic $p$

André and Maulik--Poonen proved that for any smooth proper family $X\to B$ of varieties over an algebraically closed field of characteristic $0$, there is a closed fiber whose Néron-Severi group has the same rank as that of the Néron-Severi group of the geometric generic fiber. We prove the analogous statement over algebraically closed fields of characteristic $p>0$ which are not isomorphic to $\overline{\mathbb{F}}_p$. Furthermore, we prove that for any algebraically closed field $k$ of characteristic $p>0$ and smooth proper family $X\to B$ of $k$-varieties, there exists a dense open subvarie…

On Brauer groups of double covers of ruled surfaces

Let X be a smooth double cover of a geometrically ruled surface defined over a separably closed field of characteristic different from 2. The main result of this paper is a finite presentation of the 2-torsion in the Brauer group of X with generators given by central simple algebras over the function field of X and relations coming from the Néron-Severi group of X. In particular, the result gives a central simple algebra representative for the unique nontrivial Brauer class on any Enriques surface. An example demonstrating the applications to the study of rational points is given.