4
$\begingroup$

Let $S$ be a compact submanifold of $X$ smooth manifold. I know that $T_X|_S=T_S\oplus N_{S/X}$ where $N_{S/X}$ is the normal bundle. I have read that the euler class $e(N_{S/X})$ corresponds (via integration over S, i suppose) to the self intersection number $S\cdot S$. I've thought about it, but i don't know how to prove it, also i can't find the proof in any book. Do you know something about it?

$\endgroup$
8
  • $\begingroup$ To start: what is your definition of $e(N_{S/X})$? $\endgroup$
    – JHM
    Mar 8, 2013 at 2:14
  • 1
    $\begingroup$ IMO you are depriving yourself of some important suffering. $\endgroup$
    – JHM
    Mar 8, 2013 at 2:20
  • $\begingroup$ Your statement that $T_X|_S = T_S \oplus N_{S/X}$ is not true. There is an exact sequence relating these things, but it generally does not split. $\endgroup$ Mar 8, 2013 at 2:49
  • 11
    $\begingroup$ @Jack: words like "compact", "manifold", and "integration" suggest to me that Konrad is working in the differentiable category, where he may split to his heart's content. $\endgroup$ Mar 8, 2013 at 2:59
  • $\begingroup$ @Konrad: How do you define the self-intersection "number" unless $\dim(X)=2\dim(S)$? $\endgroup$
    – Mark Grant
    Mar 8, 2013 at 3:07

1 Answer 1

7
$\begingroup$

I've just taught this in my graduate class. Check these notes on intersection theory.

The result you want is contained in Thm. 4.7. Again, you need $2\dim S=\dim X$.

$\endgroup$
2
  • 1
    $\begingroup$ Your notes look very nice, thanks for sharing. $\endgroup$
    – Dave
    Mar 8, 2013 at 15:17
  • $\begingroup$ yes, i forgot the hypotesis $2dim S=dim X$, in particular $S$ is a complex curve in $X$. $S\cdot S=\int_X \eta_S\wedge \eta_S$. If $s_0:S\rightarrow N$ is the zero section of the normal bundle, to use thm 4.7 i guess you are impling that $\int_X \eta_S \wedge \eta_S =\int_N \eta_{s_0(S)}\wedge \eta_{s_0(S)}$.. but why is that? $\endgroup$
    – Konrad
    Mar 12, 2013 at 15:04

Not the answer you're looking for? Browse other questions tagged or ask your own question.