Locally complete intersection maps and the proxy small property

Benjamin Briggs, Srikanth B. Iyengar, Janina C. Letz +1

It is proved that a map $\phi :R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small…