Related papers: Classifying $VII_0$ surfaces with $b_2 = 0$ via gr…
The aim of this article is to prove Bloch's conjecture (asserting that the group of rational equivalence classes of zero cycles of degree zero is trivial) for Inoue surfaces with p_g=0 and K^2 = 7. These surfaces can also be described as…
Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$…
The classification of class VII surfaces is a very difficult classical problem in complex geometry. It is considered by experts to be the most important gap in the Enriques-Kodaira classification table for complex surfaces. The standard…
We construct a new family of minimal smooth surfaces of general type with K^2=7 and p_g= 0. We show that for a surface in this family, its canonical divisor is ample and its bicanonical morphism is birational. We prove that these surfaces…
We show that a family of minimal surfaces of general type with p_g = 0, K^2=7, constructed by Inoue in 1994, is indeed a connected component of the moduli space: indeed that any surface which is homotopically equivalent to an Inoue surface…
Inoue constructed the first examples of smooth minimal complex surfaces of general type with $p_g=0$ and $K^2=7$.These surfaces are finite Galois covers of the $4$-nodal cubic surface with the Galois group, the Klein group…
Inspired by a construction by Arnaud Beauville of a surface of general type with $K^2 = 8, p_g =0$, the second author defined the Beauville surfaces as the surfaces which are rigid, i.e., they have no nontrivial deformation, and admit un…
We prove that any class $VII$ surface with $b_2=1$ has curves. This implies the "Global Spherical Shell conjecture" in the case $b_2=1$: Any minimal class $VII$ surface with $b_2=1$ admits a global spherical shell, hence it is isomorphic to…
We develop a general strategy, based on gauge theoretical methods, to prove existence of curves on class VII surfaces. We prove that, for $b_2=2$, every minimal class VII surface has a cycle of rational curves hence, by a result of…
We prove that any Inoue surface admits a unique holomorphic connection. Using this result we show that two Inoue surfaces $S=H\times\mathbb{C}/G$, $S'=H\times\mathbb{C}/G'$ are biholomorphic if and only if $G$, $G'$ are conjugate in the…
We give an affirmative answer to a conjecture of Ma. Kato, namely that every compact complex surface $S$ in Kodaira's class $VII_0$ with $b_2(S) > 0$ and $b_2(S)$ rational curves, admits a global spherical shell.
An orbifold version of Bogomolov decomposition theorem is established for compact K\"ahler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat…
The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. The triviality of the Bogomolov…
For a complex smooth projective surface $M$ with an action of a finite cyclic group $G$ we give a uniform proof of the isomorphism between the invariant $H^1(G, H^2(M, {\mathbb Z}))$ and the first cohomology of the divisors fixed by the…
The Bogomolov-Miyaoka-Yau inequality asserts that the Chern numbers of a surface X of general type in characteristic 0 satisfy the inequality c_1^2 <= 3c_2, a consequence of which is (K_X^2)/chi(O_X) <= 9. This inequality fails in…
Let $S$ be a smooth minimal complex surface of general type with $p_g=0$ and $K^2=7$. We prove that any involution on $S$ is in the center of the automorphism group of $S$. As an application, we show that the automorphism group of an Inoue…
A Beauville surface is a rigid complex surface of the form (C1 x C2)/G, where C1 and C2 are non-singular, projective, higher genus curves, and G is a finite group acting freely on the product. Bauer, Catanese, and Grunewald conjectured that…
The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is the subgroup of the Schur multiplier $H^2(G,\mathbb Q/\mathbb Z)$ consisting of the cohomology classes which vanish after restricting to every abelian subgroup of $G$. We give a new…
A Beauville surface is a complex algebraic surface that can be presented as a quotient of a product of two curves by a suitable action of a finite group. Bauer, Catanese and Grunewald have been able to intrinsically characterize the groups…
Lee and the second named author studied involutions on smooth minimal surfaces $S$ of general type with $p_g(S)=0$ and $K_S^2=7$. They gave the possibilities of the birational models $W$ of the quotients and the branch divisors $B_0$…