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?

  • 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.