不定域イデアルには層係数コホモロジーには無い何らかの情報が隠されているのか?