X가 p^n의 redeuced,irredcible subvariety일때

X의 ideal  sheaf은 x의 defining  idea l의

associated  sheaf  of  module  I~가 되나요?