Related papers: Triple planes with p_g=q=0
We consider the problem of computing a triangulation of the real projective plane P2, given a finite point set S={p1, p2,..., pn} as input. We prove that a triangulation of P2 always exists if at least six points in S are in general…
Let $C \s \pr^2$ be an irreducible plane curve whose dual $C^* \s \pr^{2*}$ is an immersed curve which is neither a conic nor a nodal cubic. The main result states that the Poincar\'e group $\pi_1(\pr^2 \se C)$ contains a free group with…
Let $X$ be a smooth projective hypersurface of dimension $\geq 5$ and let $E$ be an arithmetically Cohen-Macaulay bundle on $X$ of any rank. We prove that $E$ splits as a direct sum of line bundles if and only if $H^i_*(X, \wedge^2 E) = 0$…
This paper defines a new genus, the Cayley plane genus. By definition it is the universal multiplicative genus for oriented Cayley plane bundles. The main result (Theorem 2) is that it factors (tensor Q) through the product of the Ochanine…
We give first an easy construction of surfaces with $p_g=q=2, K^2=5$ and Albanese map of degree $3$, describing an irreducible connected component of the moduli space of surfaces of general type, which we show to be the only one of the Main…
A cubic surface in $P^3$ is known to contain 27 lines, out of which one can form 36 Schlafli double - sixes i.e., collections $l_1,...,l_6, l'_1,..., l'_6\}$ of 12 lines such that each $l_i$ meets only $l'_j, j\neq i$ and does not meet…
The sl_2-triples play a fundamental role for the structure theory of Lie algebras, and representation theory in general. Here we investigate sl_2-triples of global vector fields on schemes X in positive characteristics p>0, and develop a…
For a weighted projective line, the stable category of its vector bundles modulo lines bundles has a natural triangulated structure. We prove that, for any positive integers $p, q, r$ and $r'$ with $r'\leq r$, there is an explicit…
I consider the class of surfaces $X$ over algebraically closed fields with numerical invariants given in the title. In characteristic zero, this class contains fake projective planes which were introduced by David Mumford. I prove that in…
We consider a generalisation of the Seiberg-Witten invariant to the families Seiberg-Witten invariants of a smooth family of 4-manifolds with fibres diffeomorphic to a 4-manifold $X$. Of particular interest is the special case when the…
We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a…
We study minimal {\em double planes} of general type with $K^2=8$ and $p_g=0$, namely pairs $(S,\sigma)$, where $S$ is a minimal complex algebraic surface of general type with $K^2=8$ and $p_g=0$ and $\sigma$ is an automorphism of $S$ of…
A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C} P^2$ but not biholomorphic to it. We study the fake projective plane $\mathbb{P}_{\operatorname{fake}}^2 = (a = 7, p = 2, \emptyset, D_3 2_7)$ in the…
Given a general polarized $K3$ surface $S\subset \mathbb P^g$ of genus $g\le 14$, we study projections $S\hookrightarrow \mathbb P^g\dashrightarrow \mathbb P^2$ of minimal degree and their variational structure. In particular, we prove that…
Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the…
We prove the existence of $(20-2K^2)$-dimensional families of simply-connected surfaces with ample canonical class, $p_g=1$, and $1 \leq K^2 \leq 9$, and we study the relation with configurations of rational curves in K3 surfaces via…
In this note we show the existence of a family of elliptic conic bundles in P^4 of degree 8. This family has been overlooked and in fact falsely ruled out in a series of classification papers. Our surfaces provide a counterexample to a…
King's conjecture states that on every smooth complete toric variety $X$ there exists a strongly exceptional collection which generates the bounded derived category of $X$ and which consists of line bundles. We give a counterexample to this…
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first…
We use constructions of surfaces as abelian covers to write down exceptional collections of line bundles of maximal length for every surface $X$ in certain families of surfaces of general type with $p_g=0$ and $K_X^2=3,4,5,6,8$. We also…