Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am constructing the algebraic cycle of an analytic set that is local complete intersection in a algebraic smooth variety using Chern classes.

-I would like to know which in the canonical Vector bundle associated to a local complete intersection, to just do the explicit calculation. (Can we do it even more explicit as in the case of the hypersurfaces?)

share|cite|improve this question
up vote 2 down vote accepted

Suppose $X$ is a complex manifold and let $Y\subset X$ be a divisor.

This means that you are given a covering $(U_i)_{i\in I}$ of $X$ and a family of holomorphic functions $(f_i)_{i\in I}$ with $f_i\in \mathcal O(U_i)$ and that these data are submitted to the condition that there exists $g_{ij}\in \mathcal O^*(U_{i}\cap U_{j})$ (non-vanishing holomorphic functions ) such that $f_i=g_{ij}f_j$ on $U_{i}\cap U_{j}$.
You can then construct a line bundle $\mathcal O(D)$ on $X$ thanks to the cocycle $g_{ij}$ and the restriction $\mathcal O(D)\mid D$ of that line bundle to $D$ is the conormal sheaf of $D$ in $X$.

If $D$ is smooth it is indeed the dual of the normal bundle, as the name implies: $$\mathcal O(D)\mid D=N^*(Y/X)=(\frac {T(X)\mid Y}{T(Y)})^*$$ The condition for $D$ to be smooth is that for every $i\in I$ the differential $d_yf_i\in T^*_y(X)$ be non-zero at each $y\in Y\cap U_i$.

The case of codimension higher than $1$ is more complicated.
However if $i: Y\hookrightarrow X$ is a local complete intersection defined by the sheaf $\mathcal I_Y\subset \mathcal O_X$, you still have a locally free normal sheaf on $Y$ defined by $\mathcal N(Y/X)=\mathcal Hom_{\mathcal O_Y}(\mathcal I_Y/\mathcal I_Y^2,\mathcal O_Y)$ .
Here is an online document on the subject, extracted from De Jong and collaborators' Stacks Project (look at section 33).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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