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 gives
On the level set , the gradient cannot vanish, so is a smooth hypersurface.

New to topics? Read the docs here!