Smoothness of a nonzero homogeneous level set
ID: smoothness-of-a-nonzero-homogeneous-level-set
Let be homogeneous of positive degree over a field whose characteristic does not divide . The Euler homogeneous function theorem givesOn the level set , the gradient cannot vanish, so is a smooth hypersurface.
New to topics? Read the docs here!