Related papers: A vanishing theorem on fake projective planes with…
On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique,…
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…
Recently, Prasad and Yeung classified all possible fundamental groups of fake projective planes. According to their result, many fake projective planes admit a nontrivial group of automorphisms, and in that case it is isomorphic to…
We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the…
Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that $H^j(X,\Omega^i_X\otimes L)=0$ for every $j>0$, $i\geq 0$, and $L$ ample. This holds for toric varieties, but not for most other varieties. We…
The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of…
Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our…
Fundamental groups of fake projective planes fall into fifty distinct isomorphism classes, one for each complex conjugate pair. We prove that this is not the case for their algebraic fundamental groups: there are only forty-six isomorphism…
We prove that if $B$ is a $k$-positive holomorphic line bundle on a compact hyperk\"ahler manifold $M,$ then $H^p (M,\Omega^q\otimes B)=0$ for $p>n+[\frac{k}{2}]$ and any nonnegative integer $q.$ In a special case $k=0$ and $q=0$ we recover…
We prove a general vanishing theorem for the cohomology of products of symmetric and skew-symmetric powers of an ample vector bundle on a smooth complex projective variety. Special cases include an extension of classical theorems of…
A fake projective plane is a compact complex manifold of dimension 2 which has the same Betti numbers as the complex projective plane, but not isomorphic to the complex projective plane. As was shown by D. Mumford, there exists at least one…
Inspired by the methods of Voisin, the first two authors recently proved that one could read off the gonality of a curve C from the syzygies of its ideal in any one embedding of sufficiently large degree. This was deduced from from a…
We find explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$, which lies in the same class as the fake projective plane $(a=7,p=2,\emptyset,D_3 2_7)$ with $21$ automorphisms whose equations were previously found by…
This article contains a new argument which proves vanishing of the first cohomology for negative vector bundles over a complex projective variety if the rank of the bundle is smaller than the dimension of the base. Similar argument is…
We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective…
We describe degenerations of projective plane curves to curves containing a fixed line $l$ as a component, and show that $H^1({\overline V}_{n,d,m}, {\Cal O} (r))=0, r \in{\Bbb Z}$, where $V_{n,d,m}\subset {\Bbb P}^N (N = n(n+3)/2)$ is the…
In this article we prove a general result on a nef vector bundle $E$ on a projective manifold $X$ of dimension $n$ depending on the vector space $H^{n,n} (X, E). $ It is also shown that $H^{n,n} (X, E)=0$ for an indecomposable nef rank 2…
We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles…
This paper is an addition to the book [54] on Compact projective planes. Such planes, if connected and finite-dimensional, have a point space of topological dimension 2, 4, 8, or 16, the classical example in the last case being the…
Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$. We prove…