Inverse Systems of Zero-dimensional Schemes in P^n
arXiv:1107.0094
Abstract
The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic homogeneous form F of degree d apolar to Z determines Z when d is larger than an invariant b(Z). They also show that a natural upper bound for the Hiilbert function of Gorenstein Artin quotient of the coordinate ring is achieved for large socle degree. They show the uniqueness of generalized additive decompositions of a homogeneous form F into powers of linear forms, under suitable hypotheses. They include many examples.
38 p. We posted version 1 in July 2011, unchanged from a paper submitted in 2000. Version 2 is a long-delayed revision for clarity following referee comments, and is also updated