Related papers: An Enriques Classification Theorem for Surfaces in…

Let $X$ be an integral affine or projective scheme of finite presentation over a perfect field. We prove that $X$ admits a resolution, that is, there exists a smooth scheme $\widetilde X$ and a projective birational morphism from…

We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain $n \ge \b_2-2$ disjoint smooth rational curves with self-intersection -2, where $\b_2$ is the…

Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This…

We prove that a regular projective surface $S$ over a field $k$ of characteristic $p \ge 7$, with $H^0(S,\mathcal{O}_S) = k$ and $-K_S$ being nef, is geometrically integral over $k$.

Working in characteristic two, I classify nonsmooth Enriques surfaces with normal crossing singularities. Using Kato's theory of logarithmic structures, I show that such surfaces are smoothable and lift to characteristic zero, provided they…

By a result of Serre, if $A$ is an elliptic curve without CM defined over a number field $L$, then the set of primes of $L$ for which $A$ has ordinary reduction has density $1$. Katz and Ogus proved the same is true when $A$ is an abelian…

Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal…

We classify elliptic fibrations birational to a nonsingular, minimal cubic surface over a field of characteristic zero. Our proof is adapted to provide computational techniques for the analysis of such fibrations, and we describe an…

For a real Enriques surface Y we prove that every homology class in H_1(Y(R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real…

A projective algebraic surface which is homeomorphic to a ruled surface over a curve of genus $g\ge 1$ is itself a ruled surface over a curve of genus $g$. In this note, we prove the analogous result for projective algebraic manifolds of…

Atiyah classifies vector bundles on elliptic curves $E$ over an algebraically closed field of any characteristic. On the other hand, a rank $2$ vector bundle on $E$ defines a surface $S$ with a $\mathbb{P}^1$-bundle structure on $E$. We…

We describe smooth rational projective algebraic surfaces X, over an algebraically closed field of characteristic different from 2, having an even set of four disjoint (-2)-curves N_1,...,N_4, i.e. such that N_1+...+N_4 is divisible by 2 in…

We show that every supersingular K3 surface is birational to a double cover of a projective plane.

We study birational transformations P^n--->S \subseteq P^N defined by linear systems of quadrics whose base locus is smooth and irreducible of dimension \leq3 and whose image S is sufficiently regular.

This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that…

Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it…

Let $\bar{Y}$ be a normal surface that is the canonical $\mu_2$- or $\alpha_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for…

Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote…

Let $S\to C$ be a smooth quasi-projective surface properly fibered onto a smooth curve. We prove that the multiplicativity of the perverse filtration on $H^*(S^{[n]},\mathbb{Q})$ associated with the natural map $S^{[n]}\to C^{(n)}$ implies…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…