Virtual Cartier divisors and blow-ups
摘要
We prove a universal property for blowups in regularly immersed subschemes, based on a notion we call “virtual effective Cartier divisor”. We also construct blow-ups of quasi-smooth closed immersions in derived algebraic geometry.