[論文レビュー] The Weak Lefschetz Property for monomial complete intersections

Andrew R. Kustin, Adela Vraciu|arXiv (Cornell University)|Oct 13, 2011

Commutative Algebra and Its Applications参考文献 7被引用数 7

ひとこと要約

本稿は、正の特性 $ p $ の体 $ k $ 上の単項完全交差 $ A = k[x_1,\dots,x_n]/(x_1^d,\dots,x_n^d) $ における弱レフシェッツ性質（WLP）の明確な条件を確立する。Frobenius技法と二項係数のToeplitz行列式を用いて、非Koszul関係の最小次数に基づきWLPを特徴付ける。主な結果は、$ n \geq 5 $ のとき、$ A $ がWLPを有するのは $ \left\lfloor \frac{n(d-1)+3}{2} \right\rfloor \leq p $ であるとき、かつそのときに限ることである。

ABSTRACT

Let $A=\pmb k[x_1,...,x_n]/{(x_1^d,...,x_n^d)}$, where $\pmb k$ is an infinite field. If $\pmb k$ has characteristic zero, then Stanley proved that $A$ has the Weak Lefschetz Property (WLP). Henceforth, $\pmb k$ has positive characteristic $p$. If $n=3$, then Brenner and Kaid have identified all $d$, as a function of $p$, for which $A$ has the WLP. In the present paper, the analogous project is carried out for $4\le n$. If $4\le n$ and $p=2$, then $A$ has the WLP if and only if $d=1$. If $n=4$ and $p$ is odd, then we prove that $A$ has the WLP if and only if $d=kq+r$ for integers $k,q,d$ with $1\le k\le \frac{p-1}2$, $r\in{\frac{q-1}2,\frac{q+1}2}$, and $q=p^e$ for some non-negative integer $e$. If $5\le n$, then we prove that $A$ has the WLP if and only if $\lfloor\frac{n(d-1)+3}2 floor\le p$. We first interpret the WLP for the ring ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ in terms of the degrees of the non-Koszul relations on the elements $x_1^d, ..., x_{n-1}^d, (x_1+ ... +x_{n-1})^d$ in the polynomial ring $\pmb k[x_1, ..., x_{n-1}]$. We then exhibit a sufficient condition for ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ to have the WLP. This condition is expressed in terms of the non-vanishing in $\pmb k$ of determinants of various Toeplitz matrices of binomial coefficients. Frobenius techniques are used to produce relations of low degree on $x_1^d$, ..., $x_{n-1}^d$, ${(x_1+ ... +x_{n-1})^d}$. From this we obtain a necessary condition for $A$ to have the WLP. We prove that the necessary condition is sufficient by showing that the relevant determinants are non-zero in $\pmb k$.

研究の動機と目的

• 本稿は、$ n=3 $ の場合に既に得られている弱レフシェッツ性質（WLP）の分類を、正の特性を持つ底体をもつ高次元の単項完全交差へと拡張することを目的としている。
• Artin環 $ A = k[x_1,\dots,x_n]/(x_1^d,\dots,x_n^d) $ がWLPを有する $ d $ と $ p $ の値を特定することを目的としている。特に $ n \geq 4 $ の場合を対象としている。
• 本研究は、$ n \geq 4 $ の場合、特に正の特性におけるWLPの挙動の理解の空白を埋めることを目的としている。
• 非Koszul関係の次数と、体 $ k $ 内での特定の行列式の非消滅性を分析することにより、WLPの必要十分条件を提供することを目的としている。

提案手法

• 著者らは、$ k[x_1,\dots,x_{n-1}] $ 内の要素 $ x_1^d, \dots, x_{n-1}^d, (x_1+\cdots+x_{n-1})^d $ 間の非Koszul関係の最小次数に基づき、WLPを再解釈する。
• 正の特性におけるReid, Roberts, Roitmanの結果を用いて、特定のコロナイデアルの最小生成次数を推定することで、WLPの十分条件を導出する。
• Frobenius自己準同型の技法を適用し、生成元上に低次の関係を構成することで、WLPの必要条件を得る。
• 特定の二項係数からなるToeplitz行列の行列式の非消滅性がWLPと同値であることが示され、特性依存の代数的議論により証明される。
• 証明は $ n $, $ p $, および $ d = kq + r $（$ q = p^e $）の分解に基づく場合分けによって進行し、最小生成次数に関する不等式を活用する。
• 主な技術的ステップは、Frobeniusによって生成される関係に基づく必要条件が、これらの行列式が $ k $ 内で非ゼロであることを示すことによって、十分条件であることも証明することにある。

実験結果

リサーチクエスチョン

• RQ1 $ n \geq 5 $ のとき、$ k[x_1,\dots,x_n]/(x_1^d,\dots,x_n^d) $ が正の特性において弱レフシェッツ性質（WLP）を有するための $ d $ と $ p $ の正確な条件は何か？
• RQ2 $ n = 4 $ かつ $ p $ が奇数のとき、$ d $ のどの値がWLPを保証するか？また、それらは $ k $, $ q = p^e $, および $ r $ を用いてどのようにパラメータ化されるか？
• RQ3 $ n \geq 4 $ かつ $ p = 2 $ の場合、なぜWLPは $ d = 1 $ のみで成立するのか？この現象を引き起こす構造的性質は何か？
• RQ4 $ x_1^d, \dots, x_{n-1}^d, (x_1+\cdots+x_{n-1})^d $ 上の非Koszul関係の次数は、完全交差環のWLPとどのように関係するか？
• RQ5 二項係数のToeplitz行列式がWLPを決定する役割を果たす理由は何か？なぜその行列式の非消滅性が $ k $ 内で必要かつ十分条件となるのか？

主な発見

• $ n \geq 5 $ のとき、環 $ A = k[x_1,\dots,x_n]/(x_1^d,\dots,x_n^d) $ は $ \left\lfloor \frac{n(d-1)+3}{2} \right\rfloor \leq p $ であるときかつそのときに限りWLPを有する。
• $ n = 4 $ かつ $ p $ が奇数のとき、$ A $ は $ d = kq + r $ かつ $ 1 \leq k \leq \frac{p-1}{2} $, $ r \in \left\{ \frac{q-1}{2}, \frac{q+1}{2} \right\} $, $ q = p^e $（$ e \geq 0 $）のとき、かつそのときに限りWLPを有する。
• $ n \geq 4 $ かつ $ p = 2 $ のとき、WLPは $ d = 1 $ のみで成立する。これは高次の $ d $ では特性2において行列式が消えるためである。
• $ x_1^d, \dots, x_{n-1}^d, (x_1+\cdots+x_{n-1})^d $ 上の非Koszul関係の最小次数は $ \left\lfloor \frac{n(d-1)+3}{2} \right\rfloor $ で上から抑えられ、この上限がWLPを決定する。
• 特定の二項係数のToeplitz行列式が $ k $ 内で非消滅することは、WLPの必要十分条件であり、Frobenius技法と場合分けによる議論により証明されている。
• 証明により、Frobeniusによって生成される関係に基づく必要条件が、関連する行列式が $ k $ 内で非ゼロであることを示すことによって、十分条件であることも示された。これにより、特徴付けが完結した。