Geometric consequences of extremal behavior in a theorem of Macaulay

F. S. Macaulay gave necessary and sufficient conditions on the growth of a nonnegative integer-valued function which determine when such a function can be the Hilbert function of a standard graded k-algebra. We investigate some algebraic and geometric consequences which arise from the extremal cases of Macaulay's theorem. Our work also builds on the fundamental work of G. Gotzmann. Our principal applications are to the study of Hilbert functions of zeroschemes with uniformity conditions. As a consequence, we have new strong limitations on the possible Hilbert functions of the points which arise as a general hyperplane section of an irreducible curve.