[論文レビュー] 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-部分代数のヒルベルト関数を調査し、イデアルから部分代数へとマカウレイの下界推測とフレーバーベルクの上界推測を拡張する。最小のヒルベルト関数は強安定部分空間によって達成され、特に 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.

研究の動機と目的

• 多項式環の K-部分代数へと、古典的なマカウレイおよびフレーバーベルクのヒルベルト関数に関する推測をイデアルから拡張すること。
• 次数 d の型の u 次元部分空間 V によって生成される代数 K[V ] の j 次斉次成分の次元の最小および最大を特定すること。
• u ≥ 2n のとき、dim V^j の上界が、dim S_{jd} と二項係数 C(u-1+j, u-1) の最小値として常に一般の V に対して達成されるかどうかを検討すること。
• ヒルベルト関数を最小化する強安定ベクトル空間の役割を調査し、極値ケースの組合せ論的および代数的特徴付けを提供すること。
• 特に u ≥ 2n の範囲において、一般の型によって生成される代数のヒルベルト関数の振る舞いに関する長年の未解決問題を解消すること。

提案手法

• 下界が単項式ベクトル空間によって達成されることを踏まえ、一般初期イデアルと項順序を用いて問題を単項式部分空間に還元する。
• 強安定ベクトル空間の理論を適用し、最小ヒルベルト関数を特徴づけ、最小値が任意の底体に依存しないことを示す。
• アポラリティ理論と双対性を用いて、4 変数における二次型の空間を分析し、特に 8 次元空間のアポラリ補空間に注目する。
• 特性 0 の体上の線形代数を用いて、4 変数における一般の 8 次元二次型空間 W に対して W^2 の次元を計算する。
• 8 次元の二次型空間 W に対して dim W^2 = 34 となる明示的例を構成し、上界 35 が常に達成されないことを示す。
• 対角化とシンジーギー（特に恒等式 x1x4·x2x3 = x1x2·x3x4）の分析を通じて、W^2 に少なくとも 2 つの独立な線形関係が存在することを示し、次元を 36 から最大 34 に低下させる。

実験結果

リサーチクエスチョン

• RQ1 次数 d の型の u 次元部分空間 V によって生成される代数 K[V ] の最小ヒルベルト関数は、常に強安定部分空間で達成されるか？
• RQ2 u ≥ 2n のとき、M(n,d,u,j) = min{dim S_{jd}, C(u-1+j, u-1)} は一般の V に対して常に達成されるか？
• RQ3 u ≥ 2n のとき、一般の V に対して V^j の次元が単純な上界を厳密に下回ることはあるか？
• RQ4 dim V^j が最小または最大となるとき、代数 K[V ] の正確な構造は何か？また、ヴェロネーゼ多様体の幾何とどのように関係するか？
• RQ5 本稿で提示された例以外に、M(n,d,u,j) < min{dim S_{jd}, C(u-1+j, u-1)} となる既知の例は他に存在するか？

主な発見

• 次数 d の型の u 次元部分空間 V によって生成される代数 K[V ] の最小ヒルベルト関数は、強安定ベクトル空間によって達成され、この最小値は底体 K に依存しない。
• n=4, d=2, u=8 のとき、4 変数における二次型の 8 次元部分空間 W の 2 次斉次成分 W^2 の最大次元は 34 であり、単純な上界 35 よりも厳密に小さい。
• この反例により、u ≥ 2n のとき、上界 M(n,d,u,j) = min{dim S_{jd}, C(u-1+j, u-1)} が常に成り立たないことが示され、自然な期待と矛盾する。
• 36 個の生成子からなる W^2 の次元が 36 から 34 に低下するのは、恒等式 x1x4·x2x3 = x1x2·x3x4 及びその類似物に起因する 2 つの独立な線形関係による。
• すべての積 xi xj (i<j) の空間と 2 つの一般の二次型の和として構成された 8 次元空間 W に対して、dim W^2 = 34 となる明示的構成が提供されている。このとき、シンジーギー行列のランクを最大にするように係数に条件を課す。
• 結果は任意の体、特に F_2 に対しても成り立ち、コンピュータ支援の検証により、特定の生成子の選択に対して dim W^2 = 34 であることが確認されている。