Smooth point on an irreducible hypersurface in positive characteristic
ID: smooth-point-on-an-irreducible-hypersurface-in-positive-characteristic
Let be algebraically closed of characteristic and let be irreducible. Some partial derivative of is nonzero: otherwise every exponent is divisible by , and perfection of would make a th power. If the gradient vanished at every point of , the Strong Hilbert Nullstellensatz would put each partial derivative in , impossible by degree. Hence has a smooth point and minimum tangent dimension .
New to topics? Read the docs here!