冪零理想層

為一個Y-概形,J為一個Z上的冪零理想層(nilpotent sheaf of ideals), 為 所確定的閉浸入。我們稱 是形式平展的,若對於所有的Y-態射 ,都存在唯一的Y-態射...