不定域イデアルについてちょっと教えてくれ。層を硬くしたもの?