arXiv subjects
Publications and source records attributed to Eric Dannetun.
We show that the Fr\"oberg conjecture holds in the second non-trivial degree for an ideal generated by generic forms of degree $d>2$. We also show that the conjecture is true up to degree $2d-1$ provided that the number of variables is sufficiently large.
We study ideals generated by $n+1$ powers of general linear forms in $R= k[x_1,\dots,x_n]$. By generalizing the ideas in a recent paper of Diethorn et al., we determine the Betti numbers of such ideals when at least one generator is a square. It follows that all such ideals are level. As a consequence, we show that a generic ideal in $R$ generated by $n+1$ forms, with at least one quadric generator, is level. We also determine the Betti numbers of the Artinian Gorenstein algebras linked to these almost complete intersections. By describing the dual generators of these algebras, we obtain a family of forms, including the elementary symmetric polynomials, whose annihilator ideals have the strong Lefschetz property. Finally, we give explicit generators for the annihilator ideal of any elementary symmetric polynomial.
Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial ring. In this paper we seek to determine when a product of two principal symmetric ideals is principal symmetric and when all the powers of a principal symmetric ideal are again principal symmetric ideals. We characterize the ideals that have the latter property as being generated by polynomials invariant up to a scalar multiple under permutation of variables. Recognizing principal symmetric ideals is an open question for the purpose of which we produce certain obstructions. We also demonstrate that the Hilbert functions of symmetric monomial ideals are not all given by symmetric monomial ideals, in contrast to the non-symmetric case.