[论文解读] On Fröberg-Macaulay conjectures for algebras

Mats Boij, Aldo Conca|arXiv (Cornell University)|Jan 1, 2018

Commutative Algebra and Its Applications参考文献 8被引用 1

一句话总结

本文研究了在多项式环中由固定次数 d 的齐次形式生成的 K-子代数的 Hilbert 函数，将 Macaulay 的下界猜想和 Fr"oberg 的上界猜想从理想推广到子代数。研究证明，最小 Hilbert 函数由强稳定子空间实现，并给出了一个反例，表明当 u ≥ 2n 时，基于 j 个形式中单项式的数量的朴素上界可能不成立，具体证明了 M(4,2,8,2) = 34 < 35，与预期最大值矛盾。

ABSTRACT

Macaulay's theorem and Fröberg's conjecture deal with the Hilbert function of homogeneous ideals in polynomial rings $S$ over a field $K$. In this short note we present some questions related to variants of Macaulay's theorem and Fröberg's conjecture for $K$-subalgebras of polynomial rings. In details, given a subspace $V$ of forms of degree $d$ we consider the $K$-subalgebra $K[V]$ of $S$ generated by $V$. What can be said about Hilbert function of $K[V]$? The analogy with the ideal case suggests several questions. To state them we start by recalling Macaulay's theorem, Fröberg's conjecture and Gotzmann's persistence theorem for ideals. Then we presents the variants for $K$-subalgebras along with some partial results and examples.

研究动机与目标

• 将经典的 Macaulay 和 Fr"oberg 关于 Hilbert 函数的猜想从理想推广到多项式环的 K-子代数。
• 确定由 n 个变量中次数为 d 的形式的 u 维子空间 V 生成的代数 K[V ] 的第 j 个齐次分量的最小和最大可能维数。
• 研究当 u ≥ 2n 时，dim V^j 的上界是否总是由 min{dim S_{jd}, C(u-1+j, u-1)} 给出，并且对一般 V 是否总能达到该上界。
• 探讨强稳定向量空间在最小化 Hilbert 函数中的作用，并提供极值情形的组合与代数刻画。
• 解决关于由一般形式生成的代数的 Hilbert 函数行为的长期悬而未决问题，特别是在 u ≥ 2n 的情形下。

提出的方法

• 使用一般初等理想和项序将问题约化为单项式子空间，利用最小下界由单项式向量空间实现的事实。
• 应用强稳定向量空间理论来刻画最小 Hilbert 函数，表明无论基域为何，最小值均由此类空间实现。
• 利用对偶性和 apolarity 理论分析四变量中的二次型空间，特别关注 8 维空间的 apolar 正交补。
• 在特征为 0 的域上使用线性代数，计算四变量中一般 8 维二次型空间 W 的 W^2 的维数。
• 构造了 8 维二次型空间的显式例子，使得 dim W^2 = 34，表明 35 的上界并不总能达到。
• 通过一个概念性论证，利用二次型的对角化和 syzygy 的分析（特别是恒等式 x1x4·x2x3 = x1x2·x3x4），证明 W^2 中至少存在两个线性无关关系，使维数从 36 降至最多 34。

实验结果

研究问题

• RQ1 由 n 个变量中次数为 d 的形式的 u 维子空间 V 生成的代数 K[V ] 的最小 Hilbert 函数是否总在强稳定子空间处实现？
• RQ2 当 u ≥ 2n 时，上界 M(n,d,u,j) = min{dim S_{jd}, C(u-1+j, u-1)} 是否对一般 V 总能达到？
• RQ3 当 u ≥ 2n 时，一般 V 的 dim V^j 是否可能严格小于朴素上界？
• RQ4 当 dim V^j 达到最小或最大时，代数 K[V ] 的精确结构是什么？其与 Veronese 曲面几何有何关联？
• RQ5 除了本文给出的情形外，是否存在其他已知情况使得 M(n,d,u,j) < min{dim S_{jd}, C(u-1+j, u-1)}？

主要发现

• 由 n 个变量中次数为 d 的形式的 u 维子空间 V 生成的代数 K[V ] 的最小 Hilbert 函数由强稳定向量空间实现，且该最小值与基域 K 无关。
• 当 n=4, d=2, u=8 时，四变量中任意 8 维二次型子空间 W 的第二齐次分量 W^2 的最大维数为 34，严格小于朴素上界 35。
• 该反例表明，当 u ≥ 2n 时，上界 M(n,d,u,j) = min{dim S_{jd}, C(u-1+j, u-1)} 并不总是成立，与自然预期相矛盾。
• 维数从 36 降至 34 的原因在于 W^2 的 36 个生成元之间存在两个独立的线性关系，这源于恒等式 x1x4·x2x3 = x1x2·x3x4 及其类似形式。
• 提供了 8 维空间 W 的显式构造，使得 dim W^2 = 34，方法为将所有乘积 xi xj (i<j) 的空间与两个一般二次型相加，并通过系数条件确保 syzygy 矩阵的满秩。
• 该结果在任意域上成立，包括 F_2，其中计算机辅助验证确认对特定生成元选择，有 dim W^2 = 34。