Excess intersection of divisors
Let be a complex nonsingular projective 3-fold of general type. We prove and for some positive integer . A direct consequence is the birationality of the pluricanonical map for all . Besides, the canonical volume has a universal lower bound .
Locally analytically, any isolated double point occurs as a double cover of a smooth surface. It can be desingularized explicitly via the canonical resolution, as it is very well-known. In this paper we explicitly compute the fundamental cycle of both the canonical and minimal resolution of a double point singularity and we classify those for which the fundamental cycle differs from the fiber cycle. Moreover we compute the conditions that a double point singularity imposes to pluricanonical systems....