Fiber criteria for flatness and homomorphisms of flat affine group schemes

Abstract

A very useful result concerning flatness in Algebraic Geometry is EGA's “fiber” criterion. We propose similar fiber criteria to verify flatness of a module while avoiding “finiteness” assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes.