Suppose I have a Cartier divisor D in a smooth variety X, and suppose I have a subvariety Y in X. Is it always possible to talk about restrict D to Y even when Y might be contained in D? I think it is true from a bundle point of view, because when I look at the example for standard blow up of Cn at the origin and restrict the exceptional divisor to itself, it makes sense. So my question is: what if I restrict D to a singular subvariety Y contained in D.

- Does it make sense. How to understand it?
- If the restriction is meaningful, is the restriction still Cartier in Y
- If D is only a Weil divisor, in general, is it meaningful to restrict it to a normal subvariety contained in D?

I really want to make it clear.

class, at least in the case of a Cartier divisor. For Weil divisors, even that might be out of reach. For an explicit example, seeExample 11.4.6in Fulton'sIntersection Theory. $\endgroup$