分岐域の研究
不定域イデアルの層と別方向への拡張