发表机构
Stockholm University（斯德哥尔摩大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文研究一般 $\mu$-幂理想与一般型理想 Hilbert 级数是否相同的问题，证明一般答案是否定的，并给出精确的障碍条件；同时证明 $r\le n+1$ 时肯定成立，并在三元和四元情形构造反例。
AI 中文摘要
\cite{FLOS18} 中的问题 F 询问：由 $r$ 个一般 $\mu$-幂型生成的理想（其中 $\mu\vdash d$ 是非纯分拆）是否与由 $r$ 个 $d$ 次一般型生成的理想具有相同的 Hilbert 级数 $G_{n,d,r}=\big[(1-t^d)^r(1-t)^{-n}\big]_+$。我们证明答案是否定的，并精确确定自然障碍何时存在。我们的主要工具是一个对偶包含关系，它将 $\mu$ 的一个显著的大部分转化为对偶射影空间中的重点线性系统。这产生了一个单一的\emph{主障碍}（定理 \ref{thm:master}）：当 $\PP^{n-1}$ 中 $r$ 个一般点时，齐次系统 $\LL(q;m^r)$ 非空而 $\LL(q;(m-a)^r)$ 具有非正虚拟维数，则存在反例。我们用一个正面结果（定理 \ref{thm:small-r}）补充：由 Stanley 定理，只要 $r\le n+1$，问题 F 对\emph{每个} $\mu$ 都有肯定答案。对于三元型，该障碍精确地在 $5\le r\le 8$ 时产生反例，极值曲线由过五点的圆锥曲线和 del Pezzo 曲面上的 $(-1)$-曲线乘积给出。对于 $r\le 4$ 和 $r=9$，它无条件为空；并且假设 Nagata 猜想，对于 $r\ge 10$ 的每个非纯 $\mu$ 也为空。我们还获得了四元情形 $r=9$ 的反例。一个精确的有限域证书表明，$d=14$，$\mu=(13,1)$ 是五个三元生成元的\emph{第一个}失败。
英文摘要
Problem F of \cite{FLOS18} asks whether an ideal generated by $r$ generic $μ$-power forms, where $μ\vdash d$ is a non-pure partition, has the same Hilbert series $G_{n,d,r}=\big[(1-t^d)^r(1-t)^{-n}\big]_+$ as an ideal generated by $r$ generic forms of degree $d$. We show that the answer is negative, and we determine exactly when the natural obstruction is available. Our main tool is an apolarity inclusion that converts a distinguished large part of $μ$ into a fat-point linear system in the dual projective space. This yields a single \emph{master obstruction} (Theorem \ref{thm:master}): a counterexample exists whenever, for $r$ general points of $\PP^{n-1}$, the homogeneous system $\LL(q;m^r)$ is non-empty while $\LL(q;(m-a)^r)$ has non-positive virtual dimension. We complement this with a positive result (Theorem \ref{thm:small-r}): by Stanley's theorem, Problem F has a positive answer for \emph{every} $μ$ as soon as $r\le n+1$. For ternary forms, the obstruction produces counterexamples precisely for $5\le r\le 8$, with extremal curves given by the conic through five points and products of $(-1)$-curves on del Pezzo surfaces. It is vacuous unconditionally for $r\le 4$ and $r=9$, and, assuming Nagata's conjecture, for every non-pure $μ$ when $r\ge 10$. We also obtain counterexamples in four variables for $r=9$. An exact finite-field certificate shows that $d=14$, $μ=(13,1)$ is the \emph{first} failure for five ternary generators.
Comments11 pages, no figures
