The main focus of this talk is to prove ascent of finiteness of flat dimension through local
homomorphisms. Descent is known classically, eg, it is in Cartan–Eilenberg's book on …