Gotzmann monomials in four variables

It is a widely open problem to determine which monomials in the $n$-variable polynomial ring $K[x_1,dots,x_n]$ over a field $K$ have the Gotzmann property, emph{i.e.} induce a Borel-stable Gotzmann monomial ideal. Since 2007, only the case $n le 3$ was known. Here we solve the problem for the case $n=4$. The solution involves a surprisingly intricate characterization.

È un problema ampiamente aperto determinare quali monomi nell'anello dei polinomi $K[x_1,dots,x_n]$ in n variabili su un campo k hanno la proprietà di Gotzmann,i.e. un ideal di Borel stabile che è Gotzkmann. Dal 2007, solo il caso n minore o uguale a 3 era noto. Qui risolviamo il problema per il caso $ n = 4 $. La soluzione prevede una caratterizzazione sorprendentemente complessa.