Improper intersection of analytic curves.
Let be a desingularization of a normal surface . The group Pic is provided with an order relation , defined by . for any effective exceptional divisor . Comparing to the usual order relation we define the ceiling of which is an exceptional divisor. This notion allows us to improve the usual vanishing theorem and we deduce from it a numerical criterion for rationality and a genus formula for a curve on a normal surface; the difficulty lies in the case of a Weil divisor which is not a Cartier...
We give a relation between two theories of improper intersections, of Tworzewski and of Stückrad-Vogel, for the case of algebraic curves. Given two arbitrary quasiprojective curves V₁,V₂, the intersection cycle V₁ ∙ V₂ in the sense of Tworzewski turns out to be the rational part of the Vogel cycle v(V₁,V₂). We also give short proofs of two known effective formulae for the intersection cycle V₁ ∙ V₂ in terms of local parametrizations of the curves.
We consider the intersection multiplicity of analytic sets in the general situation. We prove that it is a regular separation exponent for complex analytic sets and so it estimates the Łojasiewicz exponent. We also give some geometric properties of proper projections of analytic sets.
We present a construction of an intersection product of arbitrary complex analytic cycles based on a pointwise defined intersection multiplicity.