Some results related to Macaulay’s theorem about Hilbert functions and applications

Source abstract

Let I be a homogeneous ideal in the polynomial ring [Formula: see text], where k is an algebraically closed field of characteristic zero. Macaulay’s Theorem provides constraints on the Hilbert function of I or [Formula: see text] from one degree to the next. Nowadays, the standard quotation of Macaulay’s theorem is [Formula: see text], which is regarding the quotient [Formula: see text] and the combinatorial computation in the formula involves the number d explicitly. However, the origin statement of Macaulay is in fact regarding the Hilbert function of I itself and the relevant combinatorics explicitly involves the number of variables (i.e. n) and does not depend on d. In this paper, we provide an elementary proof of the equivalence between these two versions of Macaulay’s theorem. The original degree-independent version is more suitable for problems such as those involving sums of polynomial squared norms. Motivated by the Hermitian analogue of Hilbert’s 17th problem, SOS conjecture and proper holomorphic mappings between complex unit balls, some questions lead to the study of Hermitian polynomials [Formula: see text] satisfying [Formula: see text] for some l and a holomorphic mapping [Formula: see text]. By using Macaulay’s Theorem, we derive new inequalities relating n, l, the signature [Formula: see text] of the coefficient matrix of [Formula: see text] and R (the rank of [Formula: see text]) and extend these results to norms of arbitrary signatures, which hold uniformly for all bidegrees of [Formula: see text].