2
$\begingroup$

Let $X_1,X_2$ be two smooth hypersurfaces of degree $d$ in $\mathbb P^{n}$. Let $B=X_1\cap X_2$. Assume $B$ is smooth. Let $\mathcal N_{B/\mathbb P^n}$ be the normal bundle to $B$. Let $H$ be the class of a hyperplane in $\mathbb P^n$. Denote by $s_i$ the $i$-th Segre class of a line bundle.

Trying to generalize this example to higher dimensions, I am interested in computing $$s_{i-\mathrm{codim}(B,\mathbb P^{n})}(\mathcal N_{B/\mathbb P^{n}})(H\cdot B)^{n-i},$$ which should be an integer, for all $2=\mathrm{codim}(B,\mathbb P^n)<i\leqslant n$.

I am no expert in intersection theory, but it seems to me that this must be somewhat doable and I should be able to come up with explicit formulas depending on $d$ and $n$. My biggest trouble at the moment is understanding how to effectively compute the Segre classes and their intersection with subvarieties of the correct dimension.

Any comment or specific reference is appreciated, especially if it deals with similar examples for $n>3$. I have spent a considerable amount of time looking at Fulton's book in intersection theory as well as the notes by Einsenbud and Harris 'Intersection theory and all that' and Vakil's course in intersection theory but I did not make progress beyond here. I can write the problem in terms of Chern classes or use the standard short exact sequence to write it in terms of Chern classes of the tangent plane, but I did not get closer to getting a number.

$\endgroup$
  • 3
    $\begingroup$ The Segre classes of $\mathcal{O}(d)|_B^{ \oplus 2 }$ are $s_m(\mathcal{O}(d)|_B^{\oplus 2}) = (-1)^m(m+1)d^m (H\cdot B)^m$. Thus the intersection number $s_{m-2}(\mathcal{O}(d)|_B^{\oplus 2})\cdot (H\cdot B)^{n-m}$ equals $(-1)^{m}(m-1)d^m$. $\endgroup$ – Jason Starr Aug 15 '16 at 15:40
  • $\begingroup$ Thanks a lot @Jason. Is there a place way I can find how to do the computation for the Segre class? And is it possible there is a typo? Using your formula I get $$s_{m-2}(\mathcal{O}‌​(d)|_B^{\oplus 2})\cdot (H\cdot B)^{n-m} = (-1)^m(m-1)d^{m-2} (H\cdot B)^n=(-1)^m(m-1)d^{m-2}d^{2n}$$ but quite frankly I am not sure that the last part for $(H \cdot B)$ is correct. First of all dimensions do not seem to agree, as $B$ has dimension $n-2$, $H\cdot B$ has dimension $n-3$ so I would expect $(\cdot B)^n$ to be $0$. $\endgroup$ – Jesus Martinez Garcia Aug 15 '16 at 16:29
  • 2
    $\begingroup$ That intersection number should be $(-1)^m(m-1)d^{m-2}(H\cdot B)^{n-2}$. By Bezout's theorem, $(H\cdot B)^{n-2}$ equals $d^2$ times the Poincare dual of the class of a point. Thus, when you evaluate as an integer, the class gives $(-1)^m(m-1)d^{m-2}(d^2) = (-1)^m(m-1)d^m$. $\endgroup$ – Jason Starr Aug 15 '16 at 16:53
  • $\begingroup$ I see. You are totally right. Thanks. It also agrees with the computations I have for low dimensions. Do you have any reading suggestions to learn how to prove the formula? Thanks a lot. $\endgroup$ – Jesus Martinez Garcia Aug 15 '16 at 17:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.