Take the 2-minute tour ×
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.

Let $X$ be a smooth variety and let $Y\subset X$ be a smooth subvariety. Let $f:Y'\to Y$ be a (say, finite surjective) morphism. When $f$ is the identity, the cohomology group $H^0(Y',f^*N_Y)$ measures the first order deformations of $Y$ in $X$. My question is:

Does the group $H^0(Y',f^*N_Y)$ have a deformation-theoretic interpretation for other $f$?

Of course you could say that this group fits into an exact sequence involving $H^0(Y,f^*T_X|_Y)$ which measures deformations of the morphism $f$, but my question is really whether he above group measures something by its own.

I am mostly interested in the cases where $f$ is the Frobenius or the normalization map.

share|improve this question
    
You have the map $g:Y'\to X$ which is the composition of $f$ and of the inclusion. I think your $H^0$ measures first-order deformations of $g$. –  user8268 Feb 29 '12 at 9:23
    
Wouldn't these lie in $H^0(Y',g^*T_X)$? –  john Feb 29 '12 at 9:34
    
ah sorry; my comment makes no sense –  user8268 Feb 29 '12 at 18:25

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.