2
$\begingroup$

Consider a polynomial ring $\mathbb C[x_1,\ldots,x_n]$ that is $\mathbb Z_{\ge 0}$-graded by degree. Let $I$ and $J$ be two homogeneous ideals therein with the same Hilbert series, i.e. with their homogeneous components of degree $n$ having the same dimension for any $n\in\mathbb Z_{\ge 0}$.

In its most general form my question is whether some kind of relationship between $I$ and $J$ follows from this condition. Or, in slightly different terms, whether one may somehow describe the set of all ideals with a given Hilbert series.

For instance, the aforementioned set of ideals is a poset with respect to taking initial ideals. Are there any general results concerning this poset?

$\endgroup$
8
  • 5
    $\begingroup$ Look into Hilbert schemes $\endgroup$ Commented Feb 14, 2018 at 1:31
  • 1
    $\begingroup$ Check out lexicographic ideals as well. $\endgroup$
    – Aaron Dall
    Commented Feb 14, 2018 at 10:01
  • $\begingroup$ @AviSteiner Thank you! My knowledge of Hilbert schemes is very basic so I will certainly take a closer look. I must, however, say that in the cases I'm interested in $I$ and $J$ are of infinite codimension. Would Hilbert schemes still be of help here? $\endgroup$ Commented Feb 14, 2018 at 23:40
  • $\begingroup$ @AaronDall Thank you! Could those be the same as the lex-segment ideals from Miller's and Sturmfels's book? I read the corresponding section quite a while ago but, if I'm not mistaken, they show that these ideals are, in a sense, extremal among those with the same Hilbert function and not much apart from that. Should I look elsewhere? $\endgroup$ Commented Feb 14, 2018 at 23:51
  • $\begingroup$ @imakhlin They’re ideals in a polynomial ring of dimension n. So, their codimemsion (however you’re defining it) is at most n. Certainly not infinite. $\endgroup$ Commented Feb 15, 2018 at 2:18

0

You must log in to answer this question.