A freeness criterion without patching for modules over local rings

Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar Khare

It is proved that if $\phi :A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at…