6
$\begingroup$

For a smooth curve $C$ on a smooth, projective surface $S$ over $\mathbb{C}$, we have the genus formula:

$g(C) = 1 + \frac12(C^2 + C \cdot K_S)$

where $K_S$ is the canonical divisor. Is this formula still true for singular (e.g. reducible) curves on $S$ if one uses the arithmetic genus in the left hand side instead of the geometric genus?

  • 0
    Sorry if I am ignorant, but what do you mean by the square of a curve?Thanks for clarifying.2012-06-03
  • 0
    The self-intersection $C \cdot C$.2012-06-03
  • 0
    So the intersection is a number? It appears that I have to check out some definitions. Thanks again.2012-06-03
  • 2
    Dear @awllower: this is a long story! Given a smooth compact complex algebraic surface $S$, there is a bilinear form $Pic(S)\times Pic(S)\to \mathbb Z$, where $Pic$ denotes classes of divisors. A curve $C$ is a divisor so you can compute the value of that form on the pair $(class(C), class(C))$, and the result is (dangerously!) written $C.C$ or even worse $C^2$. It is rather technical but means intuitively that you somehow "deform" one copy of $C$ to $C'$ within $S$ and then $C.C$ is the ordinary cardinality of the set-theoretic intersection $C\cap C'$.2012-06-03

1 Answers 1

7

Yes, the formula is still true if $C\subset S$ is reduced, irreducible but not smooth.

The arithmetic genus is to be defined as $p_a(C)=dim_{\mathbb C}H^1(C,\mathcal O_C)$ and we then have $$p_a(C)= 1+\frac {deg[\mathcal K_S\otimes \mathcal O_S(C))\mid C]}{2} $$

You can find a proof in chapter II of this book.