Critical loci and second-order singularities in arbitrary characteristic
The critical loci of a map between smooth schemes over a field are the locally closed subschemes where the differential of has constant rank. We prove that if is the general member of a suitably large linear family of maps from a smooth -scheme to affine space, then the critical loci are smooth, except in characteristic 2 where the first critical locus may be singular at a finite set of points. Moreover, we compute the codimensions of the loci of second order singularities of such general maps . In characteristics different from 2, the codimensions we find agree with those found by Levine in the context of differential topology. Finally, assuming that is an algebraically closed and , we give a local description of an arbitrary map at points of its first critical locus . In the case of functions and nondegenerate critical points, this description recovers the usual one from Morse theory.